13.05.2013 Views

TOPOLOGIA I Pomocnik studenta Zintegrowane notatki do wykładu ...

TOPOLOGIA I Pomocnik studenta Zintegrowane notatki do wykładu ...

TOPOLOGIA I Pomocnik studenta Zintegrowane notatki do wykładu ...

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.7. HOMOTOPIJNA KLASYFIKACJA ODWZOROWAŃ W C ∗ . 73<br />

Ponieważ mnożenie liczb zespolonych jest przemienne, więc dla <strong>do</strong>wolnej przestrzeni<br />

grupa H 1 (X) jest abelowa.<br />

Stwierdzenie 9.7.1. Przyporządkowanie przestrzeni topologicznej X grupy H 1 (X) ma<br />

następujące własności:<br />

1. Dla <strong>do</strong>wolnego przekształcenia φ: X → Y przekształcenie φ ∗ : H 1 (Y ) → H 1 (X) dane<br />

wzorem φ ∗ (f) := f ◦ φ jest homomorfizmem grup.<br />

2. Jeśli przekształcenia φ0, φ1 : X → Y są homotopijne, to φ ∗ 0 = φ∗ 1<br />

3. Dla <strong>do</strong>wolnych dwóch przestrzeni X1X2 włożenia zadają izomorfizm grup<br />

H 1 (X1 ⊔ X2) −→ H 1 (X1) × H 1 (X2).<br />

Dowód.<br />

Ad 1. φ ∗ (f · g)(x) := (f · g)(φ(x)) = f(φ(x) · g(φ(x)) = φ ∗ (f) · φ ∗ (g).<br />

Ad 2. To jest szczególny przypadek Wniosku 9.1.1.<br />

Ad 3. Włożenia ι1 : X1 ⊂ X1 ⊔ X2 i ι2 : X2 ⊂ X1 ⊔ X2 zadają homorfizm grup<br />

(ι #<br />

1 , ι# 2 ): H1 (X1 ⊔ X2) −→ H 1 (X1) × H 1 (X2).<br />

Z definicji sumy prostej łatwo sprawdzić, że jest on bijekcją.<br />

Dla <strong>do</strong>wolnej przestrzeni ściągalnej H 1 (X) = 0. Zajmiemy się więc obliczeniem grupy<br />

H 1 (S 1 ), czyli zbadaniem zbioru klas homotopii [S 1 , C ∗ ] = [S 1 , S 1 ]. Rozpoczniemy od zdefiniowania<br />

stopnia przekształcenia S 1 → C ∗ (zwanego też indeksem pętli względem punktu<br />

0). Korzystając z Stw.9.5.2 bedziemy utożsamiać odwzorowania S 1 → X z drogami xamkniętymi,<br />

czyli pętlami [0, 1] → X i oznaczać je tą samą literą.<br />

Niech α: [0, 1] → C ∗ będzie drogą zamkniętą. Ponieważ odcinek jest przestrzenią ściągalną,<br />

na mocy Twierdzenia 9.6.1 odwzorowanie α posiada logarytm ˜α: [0, 1] → C. Zdefiniujemy<br />

stopień α:<br />

deg(α) := 1<br />

(˜α(1) − ˜α(0)).<br />

2πi<br />

Stwierdzenie 9.7.2. Przyporządkowanie pętli α: [0, 1] → C ∗ jej stopnia deg(α) ma następujące<br />

własności:<br />

1. Wartość deg(α) nie zależy od wyboru logarytmu ˜α i jest liczbą całkowitą.<br />

2. Jeśli α0 ∼ α1 : S 1 → C ∗ są homotopijne, to deg(α0) = deg(α1).<br />

3. Dla <strong>do</strong>wolnych α, β : S 1 → C ∗ zachodzi: deg(αβ) = deg(α) + deg(β).<br />

4. Dla <strong>do</strong>wolnej liczby całkowitej n ∈ Z odwzorowanie φn : S 1 → C ∗ , φn(z) := z n , ma<br />

stopień n.

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

Saved successfully!

Ooh no, something went wrong!