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.

9.5 Deforming a path in a sequence <strong>of</strong> small steps 195<br />

<strong>of</strong> Section 8.5. In other words, for each ε > 0 there is a δ > 0 such that<br />

|p(Q)− p(R)| < ε for any points Q,R ∈ [0,1]×[0,1] such that |Q−R| < δ.<br />

Now divide [0,1] × [0,1] into subsquares <strong>of</strong> diagonal < δ and pick a<br />

point Q in each subsquare (say, the center). Each subsquare is mapped by<br />

d into the open ball with center p(Q) and radius ε because, if R is in the<br />

same subsquare as Q, wehave|Q − R| < δ and hence |p(Q) − p(R)| < ε.<br />

□<br />

Exercises<br />

9.4.1 Show that the function f (x)=1/x is continuous, but not uniformly continuous,<br />

on the open interval (0,1).<br />

9.4.2 Give an example <strong>of</strong> continuous function that is not uniformly continuous<br />

on GL(2,C).<br />

9.5 Deforming a path in a sequence <strong>of</strong> small steps<br />

The pro<strong>of</strong> <strong>of</strong> uniform continuity <strong>of</strong> path deformations assumes only that d<br />

is a continuous map <strong>of</strong> the square into R n . We now need to recall how such<br />

a map is interpreted as a “path deformation.” The restriction <strong>of</strong> d to the<br />

bottom edge <strong>of</strong> the square is one path p, the restriction to the top edge is<br />

another path q, and the restriction to the various horizontal sections <strong>of</strong> the<br />

square is a “continuous series” <strong>of</strong> paths between p and q—a deformation<br />

from p to q. Figure 9.2 shows the “deformation snapshots” <strong>of</strong> Figure 8.3<br />

further subdivided by vertical sections <strong>of</strong> the square, thus subdividing the<br />

square into small squares that are mapped to “deformed squares” by d.<br />

−→ d<br />

Im(q)<br />

Im(p)<br />

Figure 9.2: Snapshots <strong>of</strong> a path deformation.

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

Saved successfully!

Ooh no, something went wrong!