Metric and Topological Spaces
Convergence in metric spaces
The definitions given earlier for R generalise very naturally.Given > 0 N N such that n > N d(xn, x) < .
The sequence (xn) in a metric space is convergent to x X if:
One may rephrase this as
(xn) x in the metric space X if the real sequence (d(xn , x)) 0 in R.
- The plane R2 with various metrics:
It turns out that for the metrics d1, d2 , d if a sequence is convergent in one metric, it is convergent in the others.
In fact for these metrics a sequence ((xi , yi)) in R2 converges to (x, y) if and only if (xi) x and (yi) y in R. That is, convergence is componentwise.
However, you should note that for any set with the discrete metric a sequence is convergent if and only if it is eventually constant.
So whether the sequence converges or not may depend on what metric you are using.
This becomes even more important in:
- C[0, 1] with various metrics.
Take the sequence (fn) with fn the function whose graph is:
Then d1(f1 , 0 ) = 1/n (where 0 is the zero-function) and so this sequence converges to the zero-function in d1.
However, in d we have d(fn , 0) = 1 for all n and so this sequence does not converge to the zero-function in the metric d. In fact it does not converge took any function.
We will look at C[0, 1] with the d-metric in more detail later.
JOC February 2004