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