PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] proof of Heine-Cantor theorem (Proof)

We seek to show that $f:K \to X$ is continuous with $K$ a compact metric space, then $f$ is uniformly continuous. Recall that for $f:K\to X$ , uniform continuity is the condition that for any $\varepsilon>0$ , there exists $\delta$ such that$$ d_K(x,y) < \delta \implies d_X (f(x),f(y)) < \epsilon$$ for all $x,y\in K$

Suppose $K$ is a compact metric space, $f$ continuous on $K$ . Let $\epsilon > 0$ . For each $k \in K$ choose $\delta_k$ such that $d(k,x) \leq \delta_k$ implies $d(f(k),f(x)) \leq \frac{\epsilon}{2}$ . Note that the collection of balls $B(k, \frac{\delta_k}{2} )$ covers $K$ , so by compactness there is a finite subcover, say involving $k_1, \ldots, k_n$ . Take \begin{equation*} \delta = \min_{i=1,\ldots,n} \frac{\delta_{k_i}}{2} \end{equation*}Then, suppose $d(x,y) \leq \delta$ . By the choice of $k_1,\ldots,k_n$ and the triangle inequality, there exists an $i$ such that $d(x,k_i),d(y,k_i) \leq \delta_{k_i}$ . Hence, \begin{eqnarray} d(f(x),f(y)) &\leq& d(f(x),f(k_i)) + d(f(y),f(k_i)) \\ &\leq& \frac{\epsilon}{2} + \frac{\epsilon}{2} \end{eqnarray} As $x,y$ were arbitrary, we have that $f$ is uniformly continuous.
This proof is similar to one found in Mathematical Principles of Analysis, Rudin.




Anyone with an account can edit this entry. Please help improve it!

"proof of Heine-Cantor theorem" is owned by drini. [ full author list (2) | owner history (2) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: analysis, similar, proof, triangle inequality, subcover, finite, compactness, covers, balls, collection, implies, uniform continuity, uniformly continuous, metric space, compact, continuous

This is version 7 of proof of Heine-Cantor theorem, born on 2005-03-27, modified 2005-05-10.
Object id is 6911, canonical name is DirectProofOfHeineCantorTheorem.
Accessed 2419 times total.

Classification:
AMS MSC46A99 (Functional analysis :: Topological linear spaces and related structures :: Miscellaneous)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)