{"id":736,"date":"2018-11-17T15:17:33","date_gmt":"2018-11-17T15:17:33","guid":{"rendered":"https:\/\/konrad.burnik.org\/wordpress\/?p=736"},"modified":"2020-12-19T20:40:12","modified_gmt":"2020-12-19T20:40:12","slug":"investigations-into-metric-bases-part1","status":"publish","type":"post","link":"https:\/\/konrad.burnik.org\/wordpress\/investigations-into-metric-bases-part1\/","title":{"rendered":"Investigations into infinite metric bases (Part 1\/2)"},"content":{"rendered":"

Let \"(X,d)\" be a metric space. Let \"A \subseteq X\" be such that for all \"x,y \in X\" the following implication holds: <\/p>\n

  <\/span>   <\/span>\"\[\left(\forall a \in A \ d(x,a) = d(a,y) \right) \implies x=y\]\"<\/p>\n

then we say \"A\" is a metric base<\/em> for \"(X,d)\". A sequence \"\alpha\" in \"X\" is called a dense sequence<\/em> iff \"\mathrm{Im}\ \alpha\" is a dense set<\/a>. A metric base \"A\" is a finite metric base<\/em> iff \"A\" is a finite set. Finding a finite metric base (if it exists) in a general metric space is already an interesting challenge and this will be explored in more detail in another post. Some information about how finite metric bases relate to computability can be found in another post<\/a>. The question of existence of infinite metric bases however seems a bit less challenging due to the following easy result.<\/p>\n

Proposition<\/strong>: Let \"(X,d)\" be a metric space. Let \"\alpha\" be a dense sequence in \"X\". Then \"\mathrm{Im}\ \alpha\" is a metric base for \"(X,d)\".<\/p>\n

Proof<\/em>. Let \"\alpha\" be a dense sequence and set \"A = \mathrm{Im}\ \alpha\". Let \"x,y\in X\". Suppose \"d(x,a) = d(y,a)\" for all \"a \in A\". Since \"\alpha\" is dense, there exists a sequence \"(\beta_i)\" in \"A\" such that \"\lim_i \beta_i = x\". This is equivalent to \"\lim_i d(\beta_i, x) =0\". Since \"d(x,a) = d(y,a)\" for all \"a \in A\" we have \"\lim_i d(\beta_i, y) = 0\".<\/p>\n

Set \"x_i=0\", \"y_i =d(x,y)\" and \"z_i = d(x,\beta_i) + d(\beta_i, y)\" for all \"i \in \mathbb{N}\". From the triangle inequality and non-negativity of the metric we now have \"x_i \leq y_i \leq z_i\" for all \"i \in \mathbb{N}\".<\/p>\n

Since \"\lim_i x_i = 0\" and \"\lim_i z_i = 0\", we have by the squeeze theorem<\/a> \"\lim_i y_i = \lim_i d(x,y) = 0\", therefore \"d(x,y) =0\" which implies \"x=y\". We conclude that \"A\" is a metric base for \"(X,d)\".<\/p>\n

Q.E.D.<\/p>\n

Obviously, by set inclusion we have that every \"A\subseteq X\" that contains a metric base is a metric base. What about  metric bases which are not dense in \"X\" and also do not contain a finite metric base? Formally, we have the following question:<\/p>\n

Question<\/strong>: Does there exist a metric space \"(X,d)\" such that it has an infinite metric base \"A\" with the following properties:<\/p>\n

    \n
  1. \"A\" is not dense;<\/li>\n
  2. for all finite metric bases \"B\" of \"(X,d)\" we have \"B \not \subseteq A\"?<\/li>\n<\/ol>\n

    More about that in the following posts.<\/p>\n

    0<\/span><\/a><\/div> <\/div>
    <\/div><\/div>
    <\/div>","protected":false},"excerpt":{"rendered":"

    Let be a metric space. Let be such that for all the following implication holds:     then we say is a metric base for . A sequence in is called a dense sequence iff is a dense set. A metric base is a finite metric base iff is a finite set. Finding a finite […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_mi_skip_tracking":false,"_exactmetrics_sitenote_active":false,"_exactmetrics_sitenote_note":"","_exactmetrics_sitenote_category":0,"_s2mail":"yes","footnotes":""},"categories":[8],"tags":[],"class_list":["post-736","post","type-post","status-publish","format-standard","hentry","category-metric-spaces"],"_links":{"self":[{"href":"https:\/\/konrad.burnik.org\/wordpress\/wp-json\/wp\/v2\/posts\/736","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/konrad.burnik.org\/wordpress\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/konrad.burnik.org\/wordpress\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/konrad.burnik.org\/wordpress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/konrad.burnik.org\/wordpress\/wp-json\/wp\/v2\/comments?post=736"}],"version-history":[{"count":38,"href":"https:\/\/konrad.burnik.org\/wordpress\/wp-json\/wp\/v2\/posts\/736\/revisions"}],"predecessor-version":[{"id":968,"href":"https:\/\/konrad.burnik.org\/wordpress\/wp-json\/wp\/v2\/posts\/736\/revisions\/968"}],"wp:attachment":[{"href":"https:\/\/konrad.burnik.org\/wordpress\/wp-json\/wp\/v2\/media?parent=736"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/konrad.burnik.org\/wordpress\/wp-json\/wp\/v2\/categories?post=736"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/konrad.burnik.org\/wordpress\/wp-json\/wp\/v2\/tags?post=736"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}