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

30 ROZDZIAŁ 5. SPÓJNOŚĆ I ŁUKOWA SPÓJNOŚĆ
mielibysmy homeomorfizm h: (0, 1) → (0, 1) \ h(0). Jest to jednak niemożliwe, bo odcinek
(0, 1) jest spójny, a po usunęciu dowolnego punktu staje się niespójny. Podobnie rozumujemy
w przypadku pozostałych par odcinków, korzystając z tego, że końce odcinka mogą
być scharakteryzowane jako jedyne punkty, których usunięcie nie narusza spójności.
Wniosek 5.1.3 (Uogólniona własność Darboux). Jeśli f : (X, TX) → (R, Te) jest odzworowaniem
ciągłym i (X, T ) jest spójna, to f(X) ⊂ R jest przedziałem.
Spójność a operacje na przestrzeniach
Zauważmy jak zachowuje się spójność przy poznanych operacjach na przestrzeniach topologicznych.
Następujące własności są oczywiste:
1) Podprzestrzeń przestrzeni spójnej może nie być spójna.
2) Przestrzeń ilorazowa przestrzeni spójnej jest spójna na mocy Stw. 5.1.1 pkt. 1.
3) Suma prosta niepustych przestrzeni topologicznych nie jest spójna.
Trudniejsze do wykazania jest następujące:
Twierdzenie 5.1.2. Iloczyn kartezjański rodziny przestrzeni topologicznych jest spójny
wtedy i tylko wtedy, gdy wszystkie przestrzenie są spójne.
Dowód.
=⇒ Jeśli
(Xs, Ts) jest przestrzenia spójną, to wszystkie czynniki (Xs, Ts) też są
s∈S
przestrzeniami spójnymi ponieważ rzutowania na czynniki pt :
(Xs, Ts) → (Xt, Tt) są
ciagłymi surjekcjami.
⇐= Zaczniemy od wykazania tezy dla skończonych rodzin przestrzeni. Dzięki indukcji
wystarczy pokazać, że iloczyn dwóch spójnych przestrzeni (X, TX) i (Y, TY ) jest spójny. W
tym celu rozłożymy X × Y na sumę spójnych podprzestrzeni spełniających założenia Stw.
5.1.1 pkt. 3. Wybierzmy punkt x0 ∈ X i przedstawmy X × Y = ({x0} × Y ) ∪
X × {y}
Poziomice są zbiorami spójnymi oraz ∀y∈Y ({x0} × Y ) ∩ (X × {y}) = {(x0, y)} = ∅. Z Stw.
5.1.1 pkt. 3 wynika, że X × Y jest przestrzenią spójną.
Niech teraz
(Xs, Ts) będzie produktem dowolnej rodziny przestrzeni spójnych. Wy-
s∈S
bierzmy punkt x0 := {x0 s}s∈S i rozpatrzmy zbiór
D := {{xs}s∈S ∈
s∈S
s∈S
Xs | xs = x 0 s poza skończenie wieloma s ∈ S}
Zbiór D jest sumą podzbiorów homeomorficznych ze skończonymi iloczynami: jeśli F ⊂ S
jest zbiorem skończonym, to podzbiór:
DF := {{xs}s∈S ∈
s∈S
Xs | xs = x 0 s s ∈ S \ F }
jest homeomorficzny z
(Xs, Ts) a więc spójny oraz D =
s∈F
DF leży punkt x 0 , więc D jest zbiorem spójnym.
F ⊂S
y∈Y
DF . W przecięciu zbiorów