1. Wstępne informacje topologiczne
Stwierdzenie 1.6.2.
(1) Odwzorowanie p : S" —> P”(R), x i—> {x, —x}, jest otwarte i domknięte.
(2) Przestrzeń P" (IR) jest zwarta.
(3) Przestrzeń P"(R) jest n-wymiarową rozmaitością topologiczną. 13 Inne uzasadnienie własności (3) znajdziemy w PH23.
Ponieważ ciągły obraz przestrzeni spójnej jest przestrzenią spójną, więc:
Stwierdzenie 1.6.3. Przestrzeń P"(R) jest spójna. 3
Nieco inaczej wprowadza się przestrzeń rzutową w geometrii algebraicznej (patrz np. [20] Rozdział 5). W zbiorze Rn+1 \ {0} wprowadzamy relację (typu równoważnoći) ~ następująco:
Klasę abstrakcji każdego elementu (xi,..., xn+i) 6 Rn+1 \{0} (względem tej relacji) oznaczamy przez (xi : • ■ • : x„+i). Rzeczywista przestrzeń rzutowa (n-wymiarowa), to zbiór wszystkich takich klas abstrakcji. Oznaczmy (chwilowo) tak zdefiniowaną przestrzeń rzutową przez P i rozważmy odwzorowanie <p : P —* Pn(R) określone jako
(xi: • • •: xn+i) i ► {flifl)—pff}*
gdzie x = (xi,..., xn+i), ||x|| = yjx\ H-----h x2+1. Z łatwością stwierdzamy, że <p jest dobrze określo
ną bijekcją. Topologię na zbiorze P określamy przy pomocy funkcji ip. Podzbiór U C P jest otwarty w P dokładnie wtedy, gdy zbiór <p{U) jest otwarty w P”(R). Odwzorowanie ip ma wiele interesujących własności. Polecamy Rozdział 3 w [2], gdzie znajdziemy dokładniejsze wyjaśnienie omawianego zagadnienia.
Uwaga 1.6.4 ([16] 44). Przestrzeń P2(R) można otrzymać jako przestrzeń ilorazową B2/~, gdzie B2 jest dyskiem {(x,y) € R2; x2 + y2 ^ 1} z topologią indukowaną z R2 oraz
x ~ y (x = y) V (x, y € S1 C B2 A x = —y). 3
Uwaga 1.6.5 ([16]). Przestrzeń P2(R) można otrzymać jako przestrzeń ilorazową /ć2/~, gdzie K2 jest kwadratem {(x, y) € R2; 0<x<l,0^j/<l}z topologią indukowaną z R2 oraz
(x, y) ~ (x', y') <=> (x, y) = (x', y')
V {x,x'} = {1,0} Aj/= 1 -y' v {y>y'} = {1-0}Ai = i — x'. 3
Uwaga 1.6.6 ([16]). Odwzorowanie F : P2(R) —»R , (x, —x} —* (x2—x2, X\X2, xiX3, X2X3), jest ciągłe i różnowartościowe. S
Uwaga 1.6.7 ([16] 45). Jeśli wytniemy z P2(R) mały dysk, to otrzymamy wstęgę Móbiusa. Zatem P2(R) można interpretować jako wstęgę Móbiusa z doklejonym dyskiem. E!
Uwaga 1.6.8 ([16] 95). Jedyną (z dokładnością do homeomorfizmu) rozmaitością zwartą i spójną wymiaru 1 jest sfera S1. Ponieważ P1 (R) jest właśnie taką rozmaitością, więc stąd wynika, że przestrzenie S1 i P1 (R) są homeomorficzne. El
Rozpatrzmy cylinder
C = {(x, y, z) € R3; x2 + y2 = 1, -1 < z 1}
z topologią indukowaną z R3. Niech M będzie rodziną wszystkich dwuelementowych zbiorów postaci {x, —x}, gdzie x € C. Niech p : C —* M będzie surjekcją x ► {x, —x}.