Download III.2 Complete Metric Space

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Fundamental theorem of algebra wikipedia , lookup

Basis (linear algebra) wikipedia , lookup

Hilbert space wikipedia , lookup

Homological algebra wikipedia , lookup

Dual space wikipedia , lookup

Transcript
III.2 Complete Metric Space
Definition 1 A metric space is complete if every Cauchy sequence is convergent.
Note A sequence (xn ) is a Cauchy sequence if ∀ > 0 ∃N ∈ N such that
n, m > N ⇒ d(xn , xm ) < Theorem 1 A metric space X is compact if and only if it is complete and
totally bounded.
proof
(⇒) Since X is compact, it is totally bounded. And it is also sequentially compact. Thus every sequence(therefore every Cauchy sequence) has a convergent
subsequence. Then a cluster point becomes a limit point of the sequence by
the Cauchy condition. Hence X is complete.
(⇐) Since X is a metric space, it suffices to show that X is sequentially compact.
Let (xn ) be a sequence in X. We want to find a subsequence which is Cauchy,
then this is convergent by completeness
we apply totally boundedSn1of X. Now
1
ness to X: Let A1 be a 1-net of X = i=1 O1 (ai ). Since A1 is finite, there is a
{x1i |i = 1, 2, . . .} is
subsequence x1 = (x11 , x12 , . . . , x1n , . . .) of x = (xn ) such that S
1
2
1
contained in one of O1 (ai )’s. For a given 2 -net A2 of X = ni=1
O 1 (a2i ), there
2
is a subsequence x2 = (x21 , x22 , . . . , x2n , . . .) of x1 such that {x2i |i = 1, 2, . . .} is
contained in one of O 1 (a2i )’s. In this way we can construct subsequences xn ,
2
n = 1, 2, . . . and consider a sequence (x11 , x22 , x33 , . . .). Then this is obviously a
Cauchy sequence.
Homework 1 A subset of a complete metric space X is complete if and only
if it is closed.
Proposition 2 Rn is complete.
proof Let (xn ) be a Cauchy sequence.
(1st step ) (xn ) is bounded: ∃N such that n, m ≥ N ⇒ |xn − xm | < ε = 1.
Let M = max{|x1 |, · · · |xN |, |xN | + 1}. Then |xn | ≤ M, ∀n.
(2nd step ) Since B(0, M ) (= closed ball of radius M ) is a compact metric
space, it is complete and hence a Cauchy sequence (xn ) converges.
Recall Let X be a topological space. Let B(X, Rn ) be the vector space of
all bounded functions of X into Rn , and let C(X, Rn ) be the vector space of
1
all bounded continuous functions of X into Rn . The norm defined by kf k :=
supx∈X |f (x)| gives a normed linear space structure on these spaces.
Proposition 3 (1) B(X, Rn ) is complete.
(2) C(X, Rn ) is a closed subset of B(X, Rn ) and hence is complete.
proof
Let (fn ) be a Cauchy sequence in B(X, Rn ), i.e., ∀ε > 0, ∃N such that m, n >
N ⇒ kfm − fn k < ε. Then for each x ∈ X, (fn (x)) is a Cauchy sequence in
Rn , and hence converges to a point, say f (x).
Claim f is a uniform limit of (fn ), i.e., ∀ > 0, ∃N such that n ≥ N ⇒
|fn (x) − f (x)| < , ∀x ∈ X.
proof of claim Since (fn ) be a Cauchy sequence, ∀ > 0, ∃N such that n ≥
N ⇒ |fn (x) − fN (x)| < /2, ∀x ∈ X, which implies that |f (x) − fN (x)| ≤
, ∀x ∈ X. Now |f (x) − fn (x)| ≤ |f (x) − fN (x)| + |fN (x) − fn (x)| < , ∀x ∈ X.
2
This completes the proof of Claim.
Now f is clearly bounded since fn → f uniformly and fn is bounded. This
shows that f ∈ B(X, Rn ).
Uniform limit of continuous functions is continuous
Suppose that fn → f with fn ∈ C(X, Rn ). We want to show that f is continuous. Fix any x0 ∈ X and > 0.
Since fn → f uniformly, ∃N such that n ≥ N ⇒ |fn (x)−f (x)| < /3, ∀x ∈ X.
For a such fn with n ≥ N , since fn is continuous, ∃U (x0 ): open nbhd of x0
such that x ∈ U (x0 ) ⇒ |fn (x) − fn (x0 )| < /3.
Now x ∈ U (x0 ) ⇒ |f (x) − f (x0 )| ≤ |f (x) − fn (x)| + |fn (x) − fn (x0 )| + |fn (x0 ) −
f (x0 )| < .
[Diagram: Summary for metric spaces]
Homework 2 Find the examples of metric spaces which fit into the ’blanks’
of the above diagram.
Homework 3 Let D be a dense subset of a metric space X. If f : D → Y is
a uniformly continuous function which is defined on D, where Y is a complete
metric space, then f has a uniformly continuous extension f on X to Y and
the extension is unique.
2