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.

78 ROZDZIAŁ 10. POWIERZCHNIE<br />

Dowód. Zaczniemy od zauważenia, że sfera jest przestrzenią zwartą, jako ograniczony i<br />

<strong>do</strong>mknięty podzbiór R n+1 . Także łatwo jest zauważyć, że każdy punkt posiada otocznie<br />

homeomorficzne z otwartą kulą B(0, 1) ∈ R n pokrywając sferę 2(n + 1) półsferami. Homeomorfizmy<br />

półsfer z B(0, 1) są dane przez rzutowania na odpowiednie płaszczyzny. Dalej<br />

wykażemy, że sferę można pokryć dwoma zbiorami, z których każdy jest homeomorficzny<br />

z R n , a mianowicie wybrawszy <strong>do</strong>wolny punkt p ∈ S n , S n = (S n \ {p}) ∪ (S n \ {−p}).<br />

Zauważmy teraz , że topologie w zbiorze (R n ) + := R n ∪ {∞} opisane w pkt. 1 i 2<br />

są identyczne. Oznaczmy je odpowiednio T1 i T2. Ponieważ <strong>do</strong>mknięcia kul euklidesowych<br />

są zbiorami zwartymi, więc T1 ⊂ T2. Odwrotnie, <strong>do</strong>wolny zbiór zwarty jest podzbiorem<br />

pewnej kuli <strong>do</strong>mknietej, a więc zachodzi inkluzja T1 ⊃ T2, skąd topologie są równe.<br />

Skonstruujemy ciągłą bijekcję D n / ∼→ (R n ) + . Dla n = 1 wybierzmy homeomorfizm<br />

h1 : (−1, 1) → R np. h1(t) := t<br />

t 2 −1 i rozszerzmy <strong>do</strong> odwzorowania ¯ h1 : D 1 → (R 1 ) + kładąc<br />

h1(1) = h1(−1) = ∞ Odwzorowanie to jest ciagłe i definiuje odwzorowanie przestrzeni<br />

ilorazowej ¯ h1 : D 1 / ∼→ (R 1 ) + które jest ciagłą bijekcją. Ponieważ D 1 / ∼ jest przestrzenią<br />

zwartą, więc jest homemorfizmem. W przypadku sfery <strong>do</strong>wolnego wymiaru przeprowadzamy<br />

<strong>do</strong>kładnie takie samo rozumowanie, uciekając <strong>do</strong> nieskończoności poprostych przechodzących<br />

przez 0. Definiujemy homeomorfizm hn : B(0; 1) → R n wzorem hn(tv) := h1(t)v,<br />

gdzie v ∈ S n−1 i 0 t < 1. Po<strong>do</strong>bnie jak w przypadku jednowymiarowym rozszerzamy to<br />

przekształcenie <strong>do</strong> hn : D n → (R n ) + kładąc hn(v) = ∞ dla v ∈ S n−1 . Przekształcenie to<br />

definiuje ciagła bijekcję ¯ hn : D n / ∼→ (R n ) + , która jest homeomorfizmem bo (R n ) + jest<br />

oczywiście przestrzenią Haus<strong>do</strong>rffa.<br />

Homeomorfizm S n → (R n ) + można określić wykorzystując rzut stereograficzny, czyli<br />

homeomorfizm h: S n \ p → R n . Wybierzmy punkt p := (0, . . . , 0, 1) ∈ S n i zdefiniujmy:<br />

h(x1, . . . , xn+1) :=<br />

1<br />

xn+1 − 1 (x1, . . . , xn).<br />

Łatwo się przekonać, że kładąc h(p) = ∞ otrzymujemy ciągłą bijekcję ¯ h: S n → (R n ) + , a<br />

więc homeomorfizm.<br />

Uwaga 10.1.1. Zauważmy, że model sfery opisany w punkcie 2) nie wymaga wyboru metryki<br />

w przestrzeni R n , a jest wyznaczony jedynie przez topologię tej przestrzeni!<br />

Wniosek 10.1.1. Dla <strong>do</strong>wolnego punktu p ∈ S n przekłuta sfera S n \ {p} jest homeomorficzna<br />

z przestrzenią euklidesową R n .<br />

Dowód. Zauważmy, że dla <strong>do</strong>wolnych dwóch punktów p1, p2 ∈ S n sfery w tych punktach<br />

przekłute są homeomorficzne, bowiem istnieje homeomorfizm sfery h: S n → S n taki, że<br />

h(p1) = p2. Homeomorfizm p jest łatwo skonstruować metodami znanymi z algebry liniowej.<br />

Niech P ∈ R 2 bedzie dwuwymiarową podprzestrzenią zawierającą punkty p1, p2.<br />

W tej płaszczyźnie można przeprowadzić punkt p1 na p2 przy pomocy obrotu, który jest<br />

izometrią liniową. Kładąc identyczność na podprzestrzeni prostopadłej P ⊥ otrzymujemy<br />

izometrię liniową h: R n+1 → R n+1 , która oczywiście zachowuje sferę i przeprowadza p1 na<br />

p2. Korzystając 10.1.1 pkt. 2 i wyjmując punkt ∞ otrzymujemy tezę.<br />

Twierdzenie 10.1.1. Jeśli n > 1, to H 1 (S n ) := [S n , S 1 ] = 0.

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

Saved successfully!

Ooh no, something went wrong!