General Topology/Metric spaces

Definition (metric):

Let $M$ be a set. A metric on $M$ is a function $d:M\times M\to \mathbb {R}$ such that

1. $\forall x,y\in M:d(x,y)\geq 0$
2. $d(x,y)=0\Leftrightarrow x=y$
3. $\forall x,y\in M:d(x,y)=d(y,x)$ ("symmetry")
4. $\forall x,y,z\in M:d(x,z)\leq d(x,y)+d(y,z)$ ("triangle inequality")

Definition (metric space):

Let $M$ be a set, together with a metric $d$ on it. Then $M$, together with $d$, is called a metric space.

Definition (open ball):

Let $(M,d)$ be a metric space, $x\in M</mathand<math>\epsilon >0$. The open ball of size $\epsilon$ centered at $x$ is defined to be the set

$B_{\epsilon }(x):=\{y\in M|d(x,y)<\epsilon$.

Definition (topology of a metric space):

Let $(M,d)$ be a metric space. The topology of $(M,d)$, which is a topology on the set $M$, is defined to be

Failed to parse (unknown function "\middle"): {\displaystyle \left\{ U \subseteq M \middle| \forall x \in U: \exists \epsilon > 0: B_\epsilon(x) \subseteq U \right\}} .

This definition is justified:

Proposition (metric induces topology):

Let $(M,d)$ be a metric space. Define $\tau \subseteq {\mathcal {P}}(M)$ as follows:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikibooks.org/v1/":): {\displaystyle \tau := \left\{ U \subseteq M \middle| \forall x \in U: \exists \epsilon > 0: B_\epsilon(x) \subseteq U \right\}}

Then $\tau$ is a topology on $M$.

Remark (open ball is open):

Note that each open ball is an open subset of the underlying metric space with the topology indicated above, since whenever $y\in B_{\epsilon }(x)$, we may choose $\delta :=\epsilon -d(x,y)>0$ and obtain $B_{\delta }(y)\subseteq B_{\epsilon }(x)$ due to $d(z,x)\leq d(z,y)+d(y,x)<\delta +d(x,y)=\epsilon$ for $z\in B_{\delta }(y)$.

Proof: This topology is precisely the topology that arises in the characterisation of topologies by their neighbourhoods when we choose the neighbourhoods $N(x)$ of a point to be those sets that for a sufficiently small $\epsilon >0$ contain $B_{\epsilon }(x)$. It is clear that the neighbourhoods thus defined satisfy 1.-3. of the definition, and by the above remark, they also satisfy 4., since an open ball is a neighbourhood of each of its points. $\Box$

Now subsets of metric spaces are again metric spaces (as can be easily verified), and the topology induced by the restriction of the metric of the larger space is the subspace topology:

Proposition (metric subspace has subspace topology):

Let $(M,d)$ be a metric space and $S\subseteq M$ be a subset. Then the topology on $S$ induced by the metric on $S$, namely $d|_{S\times S}$, is the subspace topology.

Proof: We only need to prove that they have the same open sets. $V\subseteq S$ being open in the subspace topology means that there exists $U\subseteq M$ open such that $U\cap S=V$. If that is the case, pick $x\in V$ arbitrary. By openness of $U$, choose $\epsilon =\epsilon (x)$ sufficiently small so that $B_{\epsilon }(x)\subseteq U$, where the ball is taken with respect to the metric on $M$. Then note that whenever $y\in S$ is such that $d|_{S\times S}(x,y)<\epsilon$, then $d(x,y)<\epsilon$ because by definition of restrictions, $d|_{S\times S}(x,y)=d(x,y)$. Therefore, whenever $d(x,y)<\epsilon$ for $y\in S$, we have $y\in S\cap B_{\epsilon }(x)\subseteq S\cap U=V$. For the other direction, suppose that $V\subseteq S$ is open in the metric topology induced by $d|_{S\times S}$ on $S$. $\Box$

Proposition (metric spaces are normal):

Let $(M,d)$ be a metric space. Then $M$ together with the topology induced by the metric $d$ is normal.

Proof: Let $A,B$ be two disjoint and closed subsets of $(M,d)$. For each $x\in A$, define $\delta _{x}>0$ sufficiently small so that $B_{\delta _{x}}(x)\cap B=\emptyset$, and similarly for $y\in B$. Then define

$U:=\bigcup _{x\in A}B_{\delta _{x}/2}(x)$, $V:=\bigcup _{y\in B}B_{\delta _{y}/2}(y)$.

Note that $A\subseteq U$, $B\subseteq V$. Suppose $z\in U\cap V$, and choose $x\in A$ and $y\in B$ so that $d(x,z)\leq \delta _{x}/2$ resp. $d(y,z)\leq \delta _{y}/2$. Both cases $\delta _{x}\leq \delta _{y}$ and $\delta _{y}\leq \delta _{x}$ lead to a contradiction by the triangle inequality. $\Box$

As usual, by choosing $\delta _{x}$, $\delta _{y}$ maximal by choosing the union of all the open balls satisfying the condition, one may avoid the axiom of choice.

Proposition (metric spaces are completely normal):

Let $(M,d)$ be a metric space. Then $(M,d)$, together with its subspace topology, is completely normal.

Proof: Let $S\subseteq M$ be any subset of $M$. As noted above, $S$ has the structure of a metric space, and General Topology/Metric spaces#metric spaces are normal. Further, its subspace topology equals the topology induced by its metric, so that it is normal in the subspace topology. Thus, $M$ is hereditary normal, that is, completely normal. $\Box$

Definition (proper space):

A metric space $(M,d)$ is called proper if and only if all of its closed balls are compact.

Proposition (closed point projection exists in proper spaces):

Let $(M,d)$ be a proper metric space, let $A\subset M$ be closed and let $x\in M\setminus A$. Then there exists a point $y\in A$ which has shortest distance to $x$ among all points in $A$.

Proof: Note that by the existence of infima over reals, the value

$\eta :=\inf _{z\in A}d(x,z)$

exists. Now define for $n\in \mathbb {N}$

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikibooks.org/v1/":): {\displaystyle K_n := \left\{z \in A \middle| d(x, z) \le \eta + \frac{1}{n} \right\}} ;

note that $K_{n}\neq \emptyset$ for all $n\in \mathbb {N}$ (since otherwise the infimal distance of $x$ to $A$ would be larger than $\eta$) and further $K_{1}\supseteq K_{2}\supseteq \cdots$. Further, each $K_{n}$ is compact as the closed subset of a Hausdorff space. Thus, we may apply Cantor's intersection theorem in order to obtain that

$\bigcap _{n\in \mathbb {N} }K_{n}\neq \emptyset$. Thus, let $y\in \bigcap _{n\in \mathbb {N} }K_{n}$.

Note that for each $z\in A$, $d(z,x)\geq \eta$ by the definition of infimums. Further, for each $n\in \mathbb {N}$, $d(x,y)\leq \eta +{\frac {1}{n}}$ by definition of $K_{n}$, so that $d(x,y)=\eta$. $\Box$

Proposition (metric spaces are uniform spaces):

Let $(M,d)$ be a metric space, and define

Failed to parse (unknown function "\middle"): {\displaystyle U_n :=\left\{ (x, y) \in M \times M \middle| d(x, y) < \frac{1}{n} \right\}} , and then Failed to parse (unknown function "\middle"): {\displaystyle \mathcal U := \left\{ U_n \middle| n \in \mathbb N \right\}} .

Then ${\mathcal {U}}$ is the basis for an entourage filter on $M\times M$.

Proof: Clearly, each subset of ${\mathcal {U}}$ contains the diagonal. Further, the intersection of any two elements of the basis equals a third due to the computation

$U_{n}\cap U_{m}=U_{\max\{m,n\}}$;

this implies that we really have a filter basis. Finally, let $V$ be an entourage. Pick $n\in \mathbb {N}$ such that $U_{n}\subseteq V$. Note first that $U_{n}$ is symmetric, since $d$ is symmetric. Then, choose then $m:=2n$. Suppose that $(x,z)\in U_{m}$ and $(z,y)\in U_{m}$, then $d(x,y)\leq d(x,z)+d(z,y)<{\frac {2}{2n}}={\frac {1}{n}}$. $\Box$

Proposition (metrics may be chosen bounded):

Let $(M,d)$ be a metric space, and let $\tau$ be the topology on $M$ induced by $d$. Then upon defining

$d'(x,y):={\frac {d(x,y)}{d(x,y)+1}}$,

we obtain that $d'$ is a bounded metric that induces the same topology on $M$ as $d$.

Proof: It is obvious that $d'(x,y)\leq 1$ for all $x,y\in M$. Suppose now that $x,y,z\in M$. Then

$d'(x,y)+d'(y,z)={\frac {d(x,y)}{1+d(x,y)}}+{\frac {d(y,z)}{1+d(y,z)}}={\frac {d(x,y)(1+d(y,z))+d(y,z)(1+d(x,y))}{(1+d(x,y))(1+d(y,z))}}={\frac {2d(x,y)d(y,z)+d(y,z)+d(x,y)}{d(x,y)+d(y,z)+d(x,y)d(y,z)+1}}$,

so that $d'(x,y)+d'(y,z)\geq d'(x,z)$ becomes equivalent to

${\begin{aligned}(1+d(x,z))[2d(x,y)d(y,z)+d(y,z)+d(x,y)]&\geq d(x,z)[d(x,y)+d(y,z)+d(x,y)d(y,z)+1]\\\Leftrightarrow 2d(x,y)d(y,z)+d(y,z)+d(x,y)+d(x,y)d(y,z)d(x,z)&\geq d(x,z)\\\end{aligned}}$

proving the triangle inequality, which is the only non-trivial thing that one has to show in showing that $d'$ is a metric. $\Box$

Proposition (countable product of metric spaces is metric):

Let $(M_{n},d_{n})_{n\in \mathbb {N} }$ be a sequence of metric spaces, and consider the (a priori only topological) space $M:=\prod _{n\in \mathbb {N} }M_{n}$ with product topology. Then $M$ is metrizable, and a possible metric is

$d((x_{n})_{n\in \mathbb {N} },(y_{n})_{n\in \mathbb {N} }):=\sum _{n=1}^{\infty }2^{-n}{\frac {d(x,y)}{1+d(x,y)}}$.

Example (infinite-dimensional real space):

Consider the space $\mathbb {R} ^{\mathbb {N} }$, the product of countably many copies of $\mathbb {R}$ together with the product topology induced by the Euclidean topology on $\mathbb {R}$.

Definition (proper space):

A proper space is a metric space $X$ so that all its closed balls are compact.

Proposition (existence of closest element in closed subspace for proper spaces):

Let $X$ be a metric space with metric $d$, let $A\subseteq X$ be closed and a proper space, and let $x\in A$. Then there exists $y\in A$ such that

$d(x,y)=\inf _{z\in A}d(x,z)$.

Proof: Set

$r:=\inf\{s>0|B_{s}(x)\cap A\neq \emptyset \}$.

Then the sets

$K_{n}:=B_{r+1/n}(x)\cap A$ ($n\in \mathbb {N}$)

form a descending family of nonempty compact and closed sets, since closed subsets of compact sets are compact and compact subsets of Hausdorff spaces are closed. Hence, Cantor's intersection theorem proves that there exists

$y\in \bigcap _{n\in \mathbb {N} }K_{n}$.

But then for each $n\in \mathbb {N}$, $d(x,y)\leq s+1/n$, so that in fact

$d(x,y)=s=\inf _{z\in A}d(x,z)$. $\Box$

Exercises

1. Let $M$ be a compact topological space, whose topology is induced by two metrics $d$ and $d'$. Prove that for every $\epsilon >0$, there exists $\delta >0$ such that $d(x,y)<\delta$ implies $d'(x,y)<\epsilon$ (and then by symmetry also the other way round).