27.10.2013 Views

Download This File - The Free Information Society

Download This File - The Free Information Society

Download This File - The Free Information Society

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

30 Chapter 1 <strong>The</strong> Fundamental Group<br />

To show that Φ is injective, suppose Φ(m) = Φ(n), which means ωm ωn .<br />

Let ft be a homotopy from ωm = f0 to ωn = f1 . By (b) this homotopy lifts to a<br />

homotopy ft of paths starting at 0. <strong>The</strong> uniqueness part of (a) implies that f0 = ω m<br />

and f1 = ω n . Since ft is a homotopy of paths, the endpoint ft (1) is independent<br />

of t . For t = 0 this endpoint is m and for t = 1itisn,som=n.<br />

It remains to prove (a) and (b).<br />

general assertion:<br />

Both statements can be deduced from a more<br />

(c) Given a map F : Y ×I→S 1 and a map F : Y ×{0}→Rlifting F|Y ×{0}, then there<br />

is a unique map F : Y ×I→R lifting F and restricting to the given F on Y ×{0}.<br />

Statement (a) is the special case that Y is a point, and (b) is obtained by applying (c)<br />

with Y = I in the following way. <strong>The</strong> homotopy f t in (b) gives a map F : I×I→S 1<br />

by setting F(s,t) = ft (s) as usual. A unique lift F : I×{0}→Ris obtained by an<br />

application of (a). <strong>The</strong>n (c) gives a unique lift F : I×I→R. <strong>The</strong> restrictions F|{0}×I<br />

and F|{1}×I are paths lifting constant paths, hence they must also be constant by<br />

the uniqueness part of (a). So ft (s) = F(s,t) is a homotopy of paths, and ft lifts ft since p F = F .<br />

We shall prove (c) using just one special property of the projection p : R→S 1 ,<br />

namely:<br />

(∗)<br />

<strong>The</strong>re is an open cover {Uα } of S 1 such that for each α, p −1 (Uα ) can be<br />

decomposed as a disjoint union of open sets each of which is mapped homeomorphically<br />

onto Uα by p .<br />

For example, we could take the cover {U α } to consist of any two open arcs in S 1<br />

whose union is S 1 .<br />

To prove (c) we will first construct a lift F : N ×I→R for N some neighborhood<br />

in Y of a given point y0 ∈ Y . Since F is continuous, every point (y0 ,t) ∈ Y×I has<br />

a product neighborhood Nt ×(at ,bt ) such that F Nt ×(at ,bt ) ⊂ Uα for some α.<br />

By compactness of {y0 }×I, finitely many such products Nt ×(at ,bt ) cover {y0 }×I.<br />

<strong>This</strong> implies that we can choose a single neighborhood N of y0 and a partition<br />

0 = t0

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

Saved successfully!

Ooh no, something went wrong!