John Stillwell - Naive Lie Theory.pdf - Index of
John Stillwell - Naive Lie Theory.pdf - Index of
John Stillwell - Naive Lie Theory.pdf - Index of
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
172 8 Topology<br />
true that f −1 (“open”)=“open” when f is continuous, and so the argument<br />
goes through.<br />
A convenient property <strong>of</strong> continuous functions on compact sets is uniform<br />
continuity. As always, a continuous f : S → T has the property<br />
that for each ε > 0 there is a δ > 0 such that f maps a δ-neighborhood <strong>of</strong><br />
each point P ∈ S into an ε-neighborhood <strong>of</strong> f (P) ∈ T . We say that f is<br />
uniformly continuous if δ depends only on ε, not on P.<br />
Uniform continuity. If K is a compact subset <strong>of</strong> R m and f : K → R n is<br />
continuous, then f is uniformly continuous.<br />
Pro<strong>of</strong>. Since f is continuous, for any ε > 0andanyP ∈ K there is a neighborhood<br />
N δ(P) (P) mapped by f into N ε/2 ( f (P)). To create some room to<br />
move later, we cover K with the half-sized neighborhoods N δ(P)/2 (P),<br />
then apply compactness to conclude that K is contained in some finite<br />
union <strong>of</strong> them, say<br />
K ⊆ N δ(P1 )/2(P 1 ) ∪ N δ(P2 )/2(P 2 ) ∪···∪N δ(Pk )/2(P k ).<br />
If we let<br />
δ = min{δ(P 1 )/2,δ(P 2 )/2,...,δ(P k )/2},<br />
then each point in K lies in a set N δ(Pi )/2(P i ) and each <strong>of</strong> the sets N δ(Pi )(P i )<br />
has radius at least 2δ. I claim that |Q − R| < δ implies | f (Q) − f (R)| < ε<br />
for any Q,R ∈ K ,so f is uniformly continuous on K .<br />
To see why, take any Q,R ∈ K such that |Q − R| < δ and a half-sized<br />
neighborhood N δ(Pi )/2(P i ) that includes Q. Then<br />
|P i − Q| < δ and |Q − R| < δ,<br />
so it follows by the triangle inequality that<br />
|P i − R| < 2δ, and hence R ∈ N δ(Pi )(P i ).<br />
Also, it follows from the definition <strong>of</strong> N δ(Pi )(P i ) that | f (P i ) − f (Q)| < ε/2<br />
and | f (P i ) − f (R)| < ε/2, so<br />
| f (Q) − f (R)| < ε,<br />
again by the triangle inequality.<br />
□