View source for Topology/Lesson 3

==Metric Space==
A [[w:metric space|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 <math>X</math> be a set.  Then a ''metric'' on the set <math>X</math> is a function <math>d:X\times X\to \mathbb{R}</math> such that 
#<math>d(x,y)\ge 0</math> and equality holds if and only if <math>x=y.</math>
#<math>d(x,y)=d(y,x)</math> (i.e., <math>d</math> is [[w:symmetric function|symmetric]]).
#<math>d(x,z)\le d(x,y)+d(y,z)</math> (the [[w:triangle inequality|triangle inequality]]).

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

If <math>(X,\mathcal T)</math> is a topological space, then we say that it is ''metrizable'' if there is a metric <math>d:X\times X\to \mathbb{R}</math> such that <math>\mathcal T=\mathcal T_d.</math>  If <math>X</math> is metrizable and <math>d</math> is such a metric then we call the pair <math>(X,d)</math> a ''metric space''.  

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

===Exercises===
#Show that the discrete metric is a metric and that it gives the discrete topology on <math>X.</math>

==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 <math>(X,d)</math> and <math>(Y,\rho)</math> be metric spaces.  Then a function <math>f:X\to Y</math> is called an ''isometry'' if for all <math>x,y\in X</math> we have <math>\rho(f(x),f(y))=d(x,y)</math> (i.e. if distances are preserved).  If <math>f</math> is also surjective, then we say that <math>f</math> is a ''global isometry.''

===Examples===
#If <math>(X,d)</math> is any metric space, then the identity map is an isometry.
#If <math>(Y,d)</math> is a metric space and <math>X\subset Y</math> then the inclusion map <math>i:X\to Y</math> is an isometry.

===Exercises===
#Show that every isometry is injective and therefore every global isometry is bijective.
#Show that every isometry is an embedding and therefore every global isometry is a homeomorphism.
#Find a function that is a homeomorphism but not an isometry.
[[Category:Topology]]