Previous page (Revision of real analysis ) | Contents | Next page (Convergence in metric spaces) |

One measures *distance on the line* **R** by:

The distance from *a* to *b* is |*a* - *b*|.

Some important properties of this idea are abstracted into:

**Definition**

A **metric space** is a set *X* together with a function *d* (called a **metric** or "distance function") which assigns a real number *d*(*x*, *y*) to every pair *x*, *y* *X* satisfying the properties (or *axioms*):

*d*(*x*,*y*) 0 and*d*(*x*,*y*) = 0*x*=*y*,

*d*(*x*,*y*) =*d*(*y*,*x*),

*d*(*x*,*y*) +*d*(*y*,*z*)*d*(*x*,*z*).

The last property is called the

**Examples**

- The prototype: the line
**R**with its usual distance*d*(*x*,*y*) = |*x*-*y*|. - The plane
**R**^{2}with the "usual distance" (measured using Pythagoras's theorem):

*d*((*x*_{1},*y*_{1}), (*x*_{2},*y*_{2})) = [(*x*_{1}-*x*_{2})^{2}+ (*y*_{1}-*y*_{2})^{2}].

This is sometimes called the 2-metric*d*_{2}.

- The same picture will give metric on the complex numbers
**C**interpreted as the Argand diagram. In this case the formula for the metric is now:

*d*(*z*,*w*) = |*z*-*w*|

where the | | in the formula represent the modulus of the complex number rather than the absolute value of a real number.

- The plane with the
*taxi cab metric**d*((*x*_{1},*y*_{1}), (*x*_{2},*y*_{2})) = |*x*_{1}-*x*_{2}| + |*y*_{1}-*y*_{2}|.

This is often called the 1-metric*d*_{1}.

- The plane with the
*supremum*or*maximum*metric*d*((*x*_{1},*y*_{1}), (*x*_{2},*y*_{2})) =*max*(|*x*_{1}-*x*_{2}|, |*y*_{1}-*y*_{2}| ).

It is often called the infinity metric*d*_{}.

These last examples turn out to be used a lot. To understand them it helps to look at the unit circles in each metric.

That is the sets {**x****R**^{2}|*d*(**0**,**x**) = 1 }.

We get the following picture:

- Take
*X*to be any set.

The discrete metric on the X is given by :*d*(*x*,*y*) = 0 if*x*=*y*and*d*(*x*,*y*) = 1 otherwise.

Then this*does*define a metric, in which no distinct pair of points are "close".

The fact that every pair is "spread out" is why this metric is called discrete. - Metrics on spaces of functions

These metrics are important for many of the applications in analysis.

Let*C*[0, 1] be the set of all continuous**R**-valued functions on the interval [0, 1].

We define metrics on by analogy with the above examples by:

*d*_{1}(*f*,*g*) = |*f*(*x*) -*g*(*x*)|*dx*

So the distance between functions is the area between their graphs.

*d*_{2}(*f*,*g*) = [ (*f*(*x*) -*g*(*x*))^{2}*dx*]

Although this does not have such case straight forward geometric interpretation as the last example, this case turns out to be the most important in practice. It corresponds to who doing a "least squares approximation".*d*_{}(*f*,*g*) =*max*{|*f*(*x*) -*g*(*x*))| | 0*x*1 }

Geometrically, this is the largest distance between the graphs.

- The triangle inequality
*does*hold for these metrics

- As in the
**R**^{2}case one may define*d*_{p}for any*p*1 and get a metric.

Now we can do some analysis in this new environment.

Previous page (Revision of real analysis ) | Contents | Next page (Convergence in metric spaces) |