18.07.2014 Views

John Stillwell - Naive Lie Theory.pdf - Index of

John Stillwell - Naive Lie Theory.pdf - Index of

John Stillwell - Naive Lie Theory.pdf - Index of

SHOW MORE
SHOW LESS

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 />

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!