Topologia ilorazowa

Niech $X$ będzie przestrzenią topologiczną, a $A$ zbiorem, który nie musi być jej podzbiorem. Załóżmy, że dana jest surjekcja $p : X \rightarrow A$. Podzbiór $U \subseteq A$ nazywamy otwartym wtedy i tylko wtedy, gdy jego przeciwobraz $p^{-1}(U)$ jest otwarty w $X$.

Mówiąc prościej, w topologii ilorazowej o tym, czy zbiór w $A$ jest otwarty, decyduje to, co dzieje się w przestrzeni $X$. Jeśli wszystkie punkty, które trafiają do $U$, tworzą w $X$ zbiór otwarty, to $U$ również uznajemy za otwarty.

schemat przedstawiający ideę topologii ilorazowej

W ten sposób nadajemy zbiorowi $A$ nową strukturę topologiczną, zwaną topologią ilorazową, wyprowadzoną bezpośrednio z topologii przestrzeni $X$ za pomocą odwzorowania $p$.

Zbiór $A$ nazywamy wtedy przestrzenią ilorazową, a funkcję $p$ - odwzorowaniem ilorazowym. Rodzinę zbiorów otwartych w $A$ określa się jako topologię ilorazową indukowaną przez $p$.

Najważniejsza idea jest prosta: w topologii ilorazowej zbiór jest otwarty wtedy i tylko wtedy, gdy jego przeciwobraz w przestrzeni wyjściowej jest otwarty.

Warto jednak pamiętać o dwóch istotnych faktach:

Przeciwobraz zbioru otwartego w $A$ zawsze jest otwarty w $X$,
ale obraz zbioru otwartego z $X$ nie musi być otwarty w $A$, ponieważ odwzorowanie $p$ nie musi zachowywać otwartości.

Przestrzeń ilorazowa powstaje poprzez utożsamienie, czyli „sklejenie", wybranych punktów przestrzeni $X$ zgodnie z określoną relacją równoważności. Dzięki temu możemy tworzyć nowe przestrzenie o zupełnie innych własnościach topologicznych.

Dlaczego topologia ilorazowa jest ważna? Pozwala badać bardziej złożone przestrzenie, korzystając z dobrze znanych własności prostszej przestrzeni $X$. To jedno z podstawowych narzędzi w topologii.

Wyjaśnienie intuicyjne
Przykład
Podstawowe własności topologii ilorazowej

Wyjaśnienie intuicyjne

Pojęcie topologii ilorazowej staje się znacznie bardziej zrozumiałe, gdy spojrzymy na nie geometrycznie.

Topologia ilorazowa opisuje sytuacje, w których przekształcamy figurę, sklejając jej fragmenty w określony sposób.

Wyobraź sobie kwadratową kartkę papieru. Jeśli skleisz dwa przeciwległe boki, otrzymasz walec.

tworzenie walca przez sklejenie dwóch przeciwległych boków kwadratu

Jeżeli następnie połączysz jego okrągłe brzegi, powstanie torus, czyli powierzchnia w kształcie „oponki".

powstawanie torusa przez sklejenie brzegów walca

W tym procesie najpierw otrzymujemy walec, a potem torus, wyłącznie dzięki odpowiedniemu utożsamieniu punktów. To właśnie istota topologii ilorazowej.

W podobny sposób możemy budować nowe przestrzenie topologiczne z prostszych, identyfikując ich fragmenty. Takie podejście jest kluczowe w badaniu globalnych własności przestrzeni.

Przykład

Rozważmy przestrzeń $ X = [0,1] $ z topologią standardową, w której zbiorami otwartymi są przedziały otwarte oraz ich sumy.

W szczególności:

$X$ oraz $ \emptyset $ są otwarte,
każdy przedział $ (a,b) $, gdzie $ 0 \leq a < b \leq 1 $, jest zbiorem otwartym.

Możemy myśleć o tej przestrzeni jako o odcinku łączącym punkty $0$ i $1$.

odcinek reprezentujący przedział od 0 do 1

Teraz wykonajmy kluczowy krok: utożsamimy końce odcinka, czyli punkty $0$ i $1$, traktując je jako jeden punkt.

Definiujemy odwzorowanie $ p : [0,1] \rightarrow A $ w następujący sposób:

$$ p(x) = \begin{cases} p(0) & \text{gdy } x = 0 \text{ lub } x = 1 \\ \\ x & \text{gdy } 0 < x < 1 \end{cases} $$

Otrzymana przestrzeń $A$ jest topologicznie równoważna okręgowi, ponieważ końce odcinka zostały ze sobą „sklejone".

okrąg powstały przez identyfikację końców odcinka

Można to sobie wyobrazić jako zgięcie odcinka i połączenie jego końców w jedną zamkniętą pętlę.

W tej przestrzeni punkt $P = \{0,1\}$ reprezentuje wspólną klasę równoważności obu końców.

Aby określić, które zbiory w $A$ są otwarte, korzystamy bezpośrednio z definicji topologii ilorazowej:

Zbiór $U \subseteq A$ jest otwarty wtedy i tylko wtedy, gdy jego przeciwobraz $p^{-1}(U)$ jest otwarty w $[0,1]$.

Rozważmy dwie typowe sytuacje:

Przedział $ U = (a,b) $, który nie zawiera punktu $P$
Wtedy jego przeciwobraz to zwykły przedział otwarty $ (a,b) $, więc $U$ jest otwarty.
Przedział $ U = (a,b) $, który zawiera punkt $P$
Wówczas jego przeciwobraz to suma dwóch przedziałów: $ [0,a) \cup (b,1] $. Oba są otwarte w topologii podprzestrzeni na $[0,1]$, więc $U$ również jest otwarty.

W ten sposób, wychodząc od prostego odcinka, otrzymaliśmy przestrzeń topologiczną o strukturze okręgu.

To klasyczny przykład pokazujący, jak topologia ilorazowa pozwala budować bardziej złożone przestrzenie poprzez utożsamianie punktów.

Przykład 2

W tym przykładzie zobaczymy, jak można „owinąć" prostą rzeczywistą wokół okręgu, korzystając z idei topologii ilorazowej.

Rozważmy prostą rzeczywistą $ \mathbb{R} $, która rozciąga się bez końca w obu kierunkach.

Chcemy przekształcić ją w okrąg. Robimy to w bardzo naturalny sposób: każdej liczbie rzeczywistej przypisujemy jej część ułamkową.

Formalnie opisuje to odwzorowanie $ p(x) = x \bmod 1 $.

Intuicja jest prosta. Z każdej liczby „zostawiamy" tylko to, co znajduje się po przecinku. To właśnie ta część decyduje o położeniu punktu na okręgu.

Na przykład, jeśli $ x = 1{,}3 $, jego część ułamkowa to 0,3, więc punkt trafia w miejsce odpowiadające 0,3 na okręgu. Jeśli $ x = 2{,}7 $, otrzymujemy 0,7, czyli dokładnie ten sam punkt co dla $0{,}7$.
wizualizacja owijania prostej rzeczywistej na okrąg

Widzimy więc kluczową własność: dodanie do liczby dowolnej liczby całkowitej nie zmienia jej obrazu. Wszystkie liczby różniące się o liczbę całkowitą reprezentują ten sam punkt na okręgu.

Innymi słowy, utożsamiamy liczby należące do tej samej klasy modulo 1.

Spójrzmy teraz, jak zachowują się przedziały.

Przedział $ (0,1) $
Odpowiada otwartemu łukowi okręgu, który nie zawiera punktu odpowiadającego 0. Jest to zbiór otwarty w przestrzeni ilorazowej, ponieważ jego przeciwobraz w $ \mathbb{R} $ jest otwarty.
Przedział $ (1,2) $
Daje dokładnie ten sam łuk co $ (0,1) $. Dzieje się tak, ponieważ dodanie 1 nie zmienia części ułamkowej. Z punktu widzenia topologii ilorazowej nie pojawia się tu nic nowego.
Przedział $ (0,2) $
Pokrywa cały okrąg, ponieważ zawiera przedstawicieli wszystkich klas modulo 1. Jego obrazem jest więc cała przestrzeń, która jest jednocześnie otwarta i domknięta.

Uwaga: Ten przykład pokazuje ważny fakt. Obraz zbioru otwartego z $ \mathbb{R} $ nie musi być otwarty w przestrzeni ilorazowej.

Natomiast w drugą stronę działa to zawsze: każdy zbiór otwarty na okręgu ma przeciwobraz otwarty w $ \mathbb{R} $.

„Rozwijając" taki zbiór na prostą, otrzymujemy zwykle nieskończoną sumę przedziałów otwartych.

Wniosek
Nie można więc zakładać, że otwartość przenosi się przez odwzorowanie w obie strony. To odwzorowanie zmienia strukturę topologiczną przestrzeni.

Przykład 3

Przejdźmy teraz do przykładu dyskretnego, który pokazuje tę samą ideę w prostszym, skończonym kontekście.

Rozważmy zbiór kolejnych liczb całkowitych:

$$ I_7 = \{1, 2, 3, 4, 5, 6, 7\} $$

Można go traktować jak „odcinek" złożony z punktów całkowitych.

Teraz utożsamiamy jego końce, czyli 1 i 7. Intuicyjnie „zamykamy" odcinek w pętlę.

zamknięcie odcinka liczb całkowitych w strukturę cykliczną

W rezultacie otrzymujemy strukturę cykliczną $ C_6 $, złożoną z 6 punktów połączonych w okrąg.

Każdy punkt ma dwóch sąsiadów, tak jak w przypadku okręgu, ale teraz wszystko odbywa się w świecie dyskretnym.

To również przykład konstrukcji ilorazowej: nową przestrzeń otrzymujemy poprzez utożsamienie punktów.

Uwaga: Jest to analog sytuacji ciągłej, w której łączymy końce odcinka, ale tutaj otrzymujemy przestrzeń skończoną i dyskretną.

Taką strukturę można także interpretować w ramach topologii cyfrowej, gdzie kluczową rolę odgrywa relacja sąsiedztwa między punktami.

W tym kontekście bada się takie własności jak spójność czy lokalna struktura otoczeń.

Uwaga: W topologii cyfrowej zbiór $ U $ jest otwarty wtedy, gdy wraz z każdym punktem zawiera również jego sąsiadów (zgodnie z przyjętym pojęciem sąsiedztwa, np. w 1D, 2D lub 3D).

Na koniec warto podkreślić: topologia ilorazowa i topologia cyfrowa to różne podejścia.

Choć mogą prowadzić do podobnych struktur, należą do odmiennych działów topologii i opisują różne typy przestrzeni.

Przykład 4

Rozważmy przestrzeń liczb rzeczywistych $ \mathbb{R} $ z jej standardową topologią. Zdefiniujmy odwzorowanie ilorazowe $ p : \mathbb{R} \to \{a, b, c\} $, które „upraszcza" tę przestrzeń, grupując liczby w trzy klasy:

$$ p(x) = \begin{cases} a \quad \text{gdy} \quad x < 0 \\ \\ b \quad \text{gdy} \quad x = 0 \\ \\ c \quad \text{gdy} \quad x > 0 \\ \end{cases} $$

Intuicyjnie wygląda to tak:

wszystkie liczby ujemne traktujemy jako jeden punkt $ a $,
zero pozostaje osobnym punktem $ b $,
wszystkie liczby dodatnie „łączymy" w punkt $ c $.

W ten sposób z nieskończonej prostej rzeczywistej otrzymujemy bardzo prostą przestrzeń złożoną z trzech punktów.

Aby zrozumieć jej strukturę topologiczną, musimy sprawdzić, które podzbiory są otwarte. W topologii ilorazowej robimy to zawsze w ten sam sposób: patrzymy na przeciwobrazy.

Z definicji zbiór $ U \subseteq \{a,b,c\} $ jest otwarty wtedy i tylko wtedy, gdy jego przeciwobraz $ p^{-1}(U) $ jest otwarty w $ \mathbb{R} $.

Sprawdźmy więc najważniejsze przypadki:

$ p^{-1}(a) = (-\infty, 0) $, czyli zbiór otwarty, więc $ \{a\} $ jest otwarty,
$ p^{-1}(c) = (0, \infty) $, również otwarty, więc $ \{c\} $ jest otwarty,
$ p^{-1}(b) = \{0\} $, który nie jest otwarty, więc $ \{b\} $ nie jest otwarty.

Jeśli połączymy punkty $ a $ i $ c $, otrzymamy zbiór $ \{a,c\} $, którego przeciwobrazem jest $ \mathbb{R} \setminus \{0\} $, a więc zbiór otwarty. Oznacza to, że $ \{a,c\} $ również jest otwarty.

Jak w każdej topologii, zbiór pusty i cały zbiór są zawsze otwarte.

Ostatecznie otrzymujemy następującą rodzinę zbiorów otwartych:

$ \emptyset $, $ \{a\} $, $ \{c\} $, $ \{a,c\} $, $ \{a,b,c\} $.

Zwróć uwagę na szczególną rolę punktu $ b $. Nie należy on do żadnego „małego" zbioru otwartego. Nie da się wokół niego zbudować otwartego otoczenia bez wzięcia całej przestrzeni.

Można więc myśleć o nim jako o punkcie osobliwym, który zaburza lokalną strukturę przestrzeni.

Podstawowe własności topologii ilorazowej

Na koniec przypomnijmy najważniejsze własności, które zawsze spełnia topologia ilorazowa.

Zbiory pusty i całkowity są zawsze otwarte

To wynika bezpośrednio z definicji:
- $ p^{-1}(\emptyset) = \emptyset $,
- $ p^{-1}(A) = X $.
Uwaga: Niezależnie od konstrukcji przestrzeni, te dwa zbiory zawsze pozostają otwarte.
Dowolne sumy zbiorów otwartych
Jeśli zbiory $ U_i $ są otwarte, to ich suma też jest otwarta: $$ p^{-1}\left( \bigcup U_i \right) = \bigcup p^{-1}(U_i). $$
Uwaga: Wynika to z faktu, że suma dowolnej liczby zbiorów otwartych w $ X $ jest otwarta.
Skończone przekroje zbiorów otwartych
Przekrój skończonej liczby zbiorów otwartych również jest otwarty: $$ p^{-1}\left( \bigcap U_i \right) = \bigcap p^{-1}(U_i). $$
Uwaga: Ta własność pochodzi bezpośrednio z własności topologii przestrzeni $ X $.

Te trzy własności stanowią fundament każdej topologii i pozwalają zrozumieć, jak działają przestrzenie ilorazowe.