0.0 Topologia Algebraiczna I - pomocnik studenta, Rozdziały 1-7

0.0 Topologia Algebraiczna I - pomocnik studenta, Rozdziały 1-7 0.0 Topologia Algebraiczna I - pomocnik studenta, Rozdziały 1-7

13.05.2013 Views

zauważyc, że jeśli wybierzemy Ds tak mały, aby α|Ds było dyfeomorfizmem, to korzystając z Lematu 9.3 otrzymujemy, że αs#h [ω][Ds, Ss, ys] = ±h [α◦ω][χ]. Udowodniliśmy w ten sposób, że πn+1(X, A, a0) jest π1(A, a0)-modułem z jednym generatorem, co wystarcza nam do wykazania twierdzenia o doklajaniu komórki. Żeby pokazać, że jest to moduł wolny, trzeba skorzystać z teorii nakryć. Dowód Tw. 9.10. Rozpatrzmy ciąg dokładny grup homotopii pary (X, A, a0): ... −→ πi+1(X, A, a0) ∂ −→ πi(A, a0) i# −→ πi(X, b0) j# −→ πi(X, A, a0) ∂ −→ . . . który jest ciągiem π1(A, a0)-modułów. Tw. 9.8 natychmiast implikuje, że πi(X, A, a0) = 0 dla i n, a więc j# : πi(A, a0) → πi(X, a0) jest izomorfizmem dla i < n i epimorfzimem dla i = n. Z dokładności ciągu pary wynika, że ker{j# : πi(A, a0) → πi(X, a0)} = im{∂ : πn+1(X, A, a0) → πn(A, a0)}. Teza wynkika więc natychmiast z Lematu 9.4, bowiem ∂[¯χ] = [χ]. Zad. 127. Dla danej grupy (abelowej) π i liczby n > 10 (n = 1) skonstruować metoda doklejania komórek CW-kompleks typu K(π, n). 56

zauważyc, że jeśli wybierzemy Ds tak mały, aby α|Ds było dyfeomorfizmem, to korzystając z<br />

Lematu 9.3 otrzymujemy, że αs#h [ω][Ds, Ss, ys] = ±h [α◦ω][χ]. Udowodniliśmy w ten sposób, że<br />

πn+1(X, A, a0) jest π1(A, a0)-modułem z jednym generatorem, co wystarcza nam do wykazania<br />

twierdzenia o doklajaniu komórki. Żeby pokazać, że jest to moduł wolny, trzeba skorzystać z teorii<br />

nakryć.<br />

Dowód Tw. 9.10. Rozpatrzmy ciąg dokładny grup homotopii pary (X, A, a0):<br />

... −→ πi+1(X, A, a0) ∂ −→ πi(A, a0) i#<br />

−→ πi(X, b0) j#<br />

−→ πi(X, A, a0) ∂ −→ . . .<br />

który jest ciągiem π1(A, a0)-modułów. Tw. 9.8 natychmiast implikuje, że πi(X, A, a0) = 0 dla<br />

i n, a więc j# : πi(A, a0) → πi(X, a0) jest izomorfizmem dla i < n i epimorfzimem dla i = n.<br />

Z dokładności ciągu pary wynika, że ker{j# : πi(A, a0) → πi(X, a0)} = im{∂ : πn+1(X, A, a0) →<br />

πn(A, a0)}. Teza wynkika więc natychmiast z Lematu 9.4, bowiem ∂[¯χ] = [χ].<br />

Zad. 127. Dla danej grupy (abelowej) π i liczby n > 10 (n = 1) skonstruować metoda doklejania<br />

komórek CW-kompleks typu K(π, n).<br />

56

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

Saved successfully!

Ooh no, something went wrong!