Topology/Lesson 3

Metric Space

A metric space has very many useful properties and they are very good for beginning topology students to study because of their relative intuitive nature.

Definition

Let $X$ be a set. Then a metric on the set $X$ is a function $d:X\times X\to ℝ$ such that

1. $d(x,y)\ge 0$ and equality holds if and only if $x=y.$
2. $d(x,y)=d(y,x)$ (i.e., $d$ is symmetric).
3. $d(x,z)\le d(x,y)+d(y,z)$ (the triangle inequality).

We can define a topology on the set $X$ using the metric $d$ as follows. For $x\in X$ and $r>0$ define $B(x,r)=\{y\in X\mid d(x,y)<r\}.$ Then take the collection $\{B(x,r)\mid x\in X,r>0\}$ as a basis. Call this topology ${𝒯}_d.$

If $(X,𝒯)$ is a topological space, then we say that it is metrizable if there is a metric $d:X\times X\to ℝ$ such that $𝒯={𝒯}_d.$ If $X$ is metrizable and $d$ is such a metric then we call the pair $(X,d)$ a metric space.

Examples

1. The most obvious example is the space $ℝ$ together with the metric $d(x,y)=|x-y|$ which is called the standard metric on $ℝ.$
2. Any set has a metric on it. As an example, let $X$ be any set and let $d$ be given by $d(x,y)=\{\begin{array}{cc}1& x\ne y\\ 0& x=y\end{array}.$ It is left as an exercise to check that this is a metric, called the discrete metric because the topology it gives $X$ is the discrete topology.

Exercises

1. Show that the discrete metric is a metric and that it gives the discrete topology on $X.$

Isometries

The "isomorphism" in the category of topological spaces is homeomorphism, as we saw in Lesson 2. The "isomorphism" in the category of metric spaces is called "global isometry" and is much more strict than homeomorphism.

Definition

Let $(X,d)$ and $(Y,\rho )$ be metric spaces. Then a function $f:X\to Y$ is called an isometry if for all $x,y\in X$ we have $\rho (f(x),f(y))=d(x,y)$ (i.e. if distances are preserved). If $f$ is also surjective, then we say that $f$ is a global isometry.

Examples

1. If $(X,d)$ is any metric space, then the identity map is an isometry.
2. If $(Y,d)$ is a metric space and $X\subset Y$ then the inclusion map $i:X\to Y$ is an isometry.

Exercises

1. Show that every isometry is injective and therefore every global isometry is bijective.
2. Show that every isometry is an embedding and therefore every global isometry is a homeomorphism.
3. Find a function that is a homeomorphism but not an isometry.