Ciągłość odwzorowań w topologii

Niech \(X\) i \(Y\) będą przestrzeniami topologicznymi. Odwzorowanie \(f : X \to Y\) nazywamy ciągłym, jeśli dla każdego zbioru otwartego \(V \subseteq Y\) jego przeciwobraz \(f^{-1}(V)\) jest zbiorem otwartym w \(X\).

To krótkie zdanie zawiera całą ideę ciągłości w topologii. Funkcja jest ciągła wtedy, gdy „nie psuje" struktury zbiorów otwartych podczas przechodzenia z jednej przestrzeni do drugiej.

W praktyce oznacza to, że sposób uporządkowania punktów w przestrzeni, opisany przez jej zbiory otwarte, pozostaje zachowany po zastosowaniu odwzorowania.

Uwaga : W analizie matematycznej ciągłość opiera się na pojęciu odległości między punktami. W topologii punkt ciężkości przesuwa się na zbiory otwarte. Dzięki temu można badać ciągłość również w przestrzeniach, w których nie ma sensownego pojęcia odległości.

Można to sobie wyobrazić jako płynne odkształcanie obiektu geometrycznego, bez jego rozrywania ani sklejania. Taka transformacja zachowuje istotne własności topologiczne.

Ciągłość zapewnia więc, że struktura przestrzeni, a zwłaszcza jej zbiory otwarte, pozostaje nienaruszona.

Przykład

Rozważmy dwie przestrzenie topologiczne \(X = \{a, b, c, d\}\) oraz \(Y = \{1, 2\}\).

• Zbiory otwarte w \(X\) to: \(\varnothing, \{a\}, \{a, b\}, \{a, b, c, d\}\).
• Zbiory otwarte w \(Y\) to: \(\varnothing, \{1\}, \{1, 2\}\).

Zdefiniujmy odwzorowanie \(f : X \to Y\):

\( f(a) = 1 \), \( f(b) = 1 \), \( f(c) = 2 \), \( f(d) = 2 \)

Czy to odwzorowanie jest ciągłe?

Najprostszy sposób to sprawdzić definicję, czyli przeanalizować przeciwobrazy zbiorów otwartych.

• Dla \(\{1\} \subseteq Y\): \( f^{-1}(\{1\}) = \{a, b\} \), zbiór otwarty w \(X\).
• Dla \(\{1, 2\} \subseteq Y\): \( f^{-1}(\{1, 2\}) = X \), również otwarty.

Zbiór pusty pomijamy, ponieważ zawsze jest otwarty.

Wniosek: odwzorowanie \(f\) jest ciągłe.

Przykład 2

Rozważmy inne odwzorowanie \(g : X \to Y\):

\( g(a) = 1 \), \( g(b) = 1 \), \( g(c) = 1 \), \( g(d) = 2 \)

• Dla \(\{1\} \subseteq Y\): \( g^{-1}(\{1\}) = \{a, b, c\} \), który nie jest otwarty w \(X\).

To wystarczy, aby stwierdzić, że odwzorowanie \(g\) nie jest ciągłe.

Przykład 3

Rozważmy odwzorowanie identycznościowe \( \mathrm{id}_X : X \to X \), dane wzorem \( \mathrm{id}_X(x) = x \).

$$ x = f(x) $$

Każdy element pozostaje bez zmian, więc każdy zbiór otwarty przechodzi na siebie.

Wniosek: odwzorowanie identycznościowe jest zawsze ciągłe.

Przykład 4

Rozważmy odwzorowanie stałe \( f : X \to Y \), określone przez \( f(x) = c \).

$$ f(x) = c $$

Każdy element przestrzeni \(X\) jest wysyłany do tego samego punktu \(c\).

• Jeśli \(c \in V\), to \( f^{-1}(V) = X \).
• Jeśli \(c \notin V\), to \( f^{-1}(V) = \varnothing \).

W obu przypadkach otrzymujemy zbiór otwarty.

Wniosek: każde odwzorowanie stałe jest ciągłe.

Uwaga : Ten przykład dobrze pokazuje, że o ciągłości decyduje nie tylko wzór funkcji, ale także struktura topologiczna przestrzeni.

Przykład 5

Rozważmy odwzorowanie identycznościowe \( f : X \to Y \), gdzie:

• \(X = \mathbb{R}\) z topologią standardową,
• \(Y = \mathbb{R}\) z topologią dolnej granicy, w której zbiory otwarte mają postać \([a, b)\).

Weźmy zbiór \( [0, 1) \subseteq Y \).

Ponieważ \(f(x) = x\), mamy \( f^{-1}([0, 1)) = [0, 1) \).

Problem polega na tym, że ten zbiór nie jest otwarty w topologii standardowej.

Uwaga : W topologii standardowej punkt musi mieć wokół siebie przedział całkowicie zawarty w zbiorze. Punkt \(0\) nie spełnia tego warunku.

Wniosek: odwzorowanie nie jest ciągłe.

Ten przykład jasno pokazuje, że ciągłość zależy zarówno od odwzorowania, jak i od topologii przestrzeni. Ta sama funkcja może być ciągła lub nie, w zależności od przyjętej struktury topologicznej.

Twierdzenie o bazie topologii a ciągłość

Niech \(X\) i \(Y\) będą przestrzeniami topologicznymi. Odwzorowanie \(f : X \to Y\) jest ciągłe wtedy i tylko wtedy, gdy dla każdego zbioru \(B_Y\) należącego do pewnej bazy topologii przestrzeni \(Y\) jego przeciwobraz \(f^{-1}(B_Y)\) jest zbiorem otwartym w \(X\).

To twierdzenie jest jednym z najwygodniejszych narzędzi do badania ciągłości w topologii. Pozwala znacząco uprościć analizę i skupić się tylko na najważniejszych przypadkach.

Zamiast sprawdzać wszystkie zbiory otwarte w przestrzeni \(Y\), wystarczy rozpatrzyć elementy jej bazy topologii. To właśnie one „generują" wszystkie pozostałe zbiory otwarte.

Dowód : Każdy zbiór otwarty w \(Y\) można zapisać jako sumę (być może nieskończoną) elementów bazy \(B_Y\). Jeśli przeciwobraz każdego elementu bazy jest zbiorem otwartym w \(X\), to przeciwobraz dowolnej takiej sumy, jako suma zbiorów otwartych, również jest otwarty w \(X\). Zatem odwzorowanie \(f\) jest ciągłe.

Przykład

Rozważmy zbiory \(X = \{a, b, c, d\}\) oraz \(Y = \{x, y, z\}\) z następującymi strukturami topologicznymi:

• Topologia na \(X\): \( \tau_X = \{\varnothing, \{a\}, \{a, b\}, \{a, b, c, d\}\} \).
• Baza topologii na \(Y\): \( B_Y = \{\{x\}, \{y\}, \{z\}\} \).

Zbiory otwarte w \(Y\) powstają jako sumy elementów tej bazy. Na przykład zbiory \( \{x, y\} \), \( \{x, z\} \), \( \{y, z\} \) oraz \( \{x, y, z\} \) są otwarte, mimo że nie należą bezpośrednio do bazy.

Zdefiniujmy odwzorowanie \(f : X \to Y\):

• \(f(a) = x\)
• \(f(b) = x\)
• \(f(c) = y\)
• \(f(d) = z\)

Aby sprawdzić ciągłość, wystarczy przeanalizować przeciwobrazy elementów bazy:

• \(f^{-1}(\{x\}) = \{a, b\}\), zbiór otwarty w \(X\).
• \(f^{-1}(\{y\}) = \{c\}\), który nie jest otwarty w \(X\).

Wniosek: ponieważ jeden z przeciwobrazów nie jest zbiorem otwartym, odwzorowanie \(f\) nie jest ciągłe.

Uwaga : Wystarczy jeden taki przypadek, aby wykluczyć ciągłość. Nie trzeba analizować wszystkich elementów bazy.

Ciągłość a topologie słabsze i silniejsze

Jeżeli odwzorowanie jest ciągłe względem topologii słabszej, to jest ono również ciągłe względem każdej topologii silniejszej określonej na tym samym zbiorze.

Intuicyjnie oznacza to, że im więcej mamy zbiorów otwartych w przestrzeni, tym łatwiej spełnić warunek ciągłości. W drugą stronę ta zależność już nie działa.

Topologie słabsze i silniejsze. Na tym samym zbiorze można zdefiniować różne topologie. Jedna jest słabsza, jeśli ma mniej zbiorów otwartych, a druga silniejsza, jeśli ma ich więcej.

Przykład

Rozważmy zbiór \(X = \{a, b\}\) z dwiema topologiami:

1. Topologia słabsza : \( \tau_1 = \{\varnothing, \{a, b\}\} \).
2. Topologia silniejsza : \( \tau_2 = \{\varnothing, \{a\}, \{b\}, \{a, b\}\} \).

Zdefiniujmy odwzorowanie \(f : X \to Y\), gdzie \(Y = \{1\}\):

$$ f(a) = 1 \quad ; \quad f(b) = 1 $$

W topologii \( \tau_1 \) sprawdzenie ciągłości jest bardzo proste:

• \( f^{-1}(\varnothing) = \varnothing \)
• \( f^{-1}(\{1\}) = \{a, b\} \)

Oba zbiory są otwarte, więc funkcja \(f\) jest ciągła.

Ponieważ każda otwartość w \( \tau_1 \) pozostaje otwartością w \( \tau_2 \), funkcja pozostaje ciągła także w topologii silniejszej.

Wniosek: \(f\) jest ciągła zarówno w \( \tau_1 \), jak i w \( \tau_2 \).

Uwaga : Odwrotna zależność nie jest prawdziwa. Ciągłość w topologii silniejszej nie gwarantuje ciągłości w topologii słabszej.

Przykład 2

Rozważmy to samo \(X\) i te same topologie oraz odwzorowanie \(g : X \to Y\), gdzie \(Y = \{1, 2\}\):

$$ g(a) = 1 \quad ; \quad g(b) = 2 $$

W topologii \( \tau_2 \):

• \( g^{-1}(\{1\}) = \{a\} \)
• \( g^{-1}(\{2\}) = \{b\} \)

Oba zbiory są otwarte, więc odwzorowanie \(g\) jest ciągłe.

W topologii \( \tau_1 \) sytuacja się zmienia:

• \( g^{-1}(\{1\}) = \{a\} \), który nie jest otwarty

Wniosek: odwzorowanie \(g\) jest ciągłe w topologii silniejszej, ale nie w topologii słabszej.

To pokazuje jasno, że ciągłość zależy nie tylko od samego odwzorowania, ale także od struktury topologicznej przestrzeni.

Spójność i ciągłość: dwa fundamentalne pojęcia topologii

W topologii ogólnej spójność i ciągłość to dwa pojęcia, które pojawiają się niemal od razu i wracają w wielu kontekstach. Oba mówią coś o strukturze przestrzeni, ale robią to z różnych perspektyw.

Spójność opisuje samą przestrzeń, natomiast ciągłość dotyczy odwzorowań między przestrzeniami. To rozróżnienie jest kluczowe, jeśli chcesz naprawdę zrozumieć, jak działa topologia.

• Spójność: własność samej przestrzeni
  Przestrzeń topologiczną \( X \) nazywamy spójną, jeśli nie da się jej rozdzielić na dwie niepuste, rozłączne części otwarte, których suma daje całe \( X \). Równoważnie, nie można jej zapisać jako sumy dwóch zbiorów, które są jednocześnie otwarte i domknięte (tzw. zbiory clopen). Intuicyjnie oznacza to, że przestrzeń jest „w jednym kawałku" i nie można jej podzielić bez naruszenia jej struktury.
• Ciągłość: własność odwzorowań
  Ciągłość odnosi się do odwzorowania \( f : X \to Y \). Mówimy, że \( f \) jest ciągłe, jeśli dla każdego zbioru otwartego \( V \subseteq Y \) jego przeciwobraz \( f^{-1}(V) \) jest otwarty w \( X \). W praktyce oznacza to, że odwzorowanie nie wprowadza „skoków" ani „przerw" i zachowuje strukturę topologiczną dziedziny. Na przykład funkcja \( f(x) = x^2 \) jest ciągła na \( \mathbb{R} \), ale sama ciągłość tej funkcji nie mówi nic o tym, czy \( \mathbb{R} \) jest spójne.

Choć istnieją twierdzenia łączące te pojęcia, działają one na różnych poziomach. Spójność mówi o przestrzeni, a ciągłość o odwzorowaniach.

Jedno z najważniejszych twierdzeń pokazujących ich związek jest bardzo intuicyjne: jeśli \( X \) jest spójna, a \( f : X \to Y \) jest ciągła, to obraz \( f(X) \) też jest spójny. Innymi słowy, ciągłość „nie rozrywa" przestrzeni.

Podsumowując, spójność opisuje globalną strukturę przestrzeni, natomiast ciągłość mówi o tym, jak zachowują się odwzorowania działające na tej strukturze. To dwa filary topologii.

Uwagi

Poniżej kilka ważnych własności ciągłości, które często pojawiają się w praktyce:

• Odwzorowanie ciągłe nie musi być otwarte
  Ciągłość nie oznacza, że obraz zbioru otwartego jest zbiorem otwartym.
• Lemat o sklejaniu
  Jeśli dwie funkcje ciągłe \( f : A \to Y \) oraz \( g : B \to Y \) zgadzają się na \( A \cap B \), można je połączyć w jedną funkcję ciągłą \( h : A \cup B \to Y \).
• Ciągłość odwzorowania inkluzji
  Odwzorowanie \( f : Y \to X \), dane przez \( f(y) = y \), jest zawsze ciągłe, gdy \(Y\) traktujemy jako podprzestrzeń \(X\).
• Ciągłość w topologii ilorazowej
  Jeśli \( f : X \to A \) jest surjekcją, można dobrać topologię na \(A\) tak, aby \(f\) było ciągłe.
• Twierdzenie o domknięciu
  Jeśli \( x \in \overline{A} \) i \( f \) jest ciągła, to \( f(x) \in \overline{f(A)} \).
• Definicja przez zbiory otwarte
  Odwzorowanie jest ciągłe wtedy i tylko wtedy, gdy przeciwobrazy zbiorów otwartych są otwarte.
• Definicja przez zbiory domknięte
  Równoważnie, ciągłość można zdefiniować przez przeciwobrazy zbiorów domkniętych.
• Złożenie odwzorowań ciągłych
  Złożenie funkcji ciągłych jest ciągłe.
• Ciągłość a zbieżność ciągów
  Obraz ciągu zbieżnego przez funkcję ciągłą jest również ciągiem zbieżnym.
• Funkcje wielomianowe
  Każda funkcja wielomianowa na \( \mathbb{R} \) (z topologią standardową) jest ciągła.

To tylko najważniejsze własności, które pojawiają się najczęściej. W praktyce teoria ciągłości jest znacznie bogatsza i prowadzi do wielu głębokich rezultatów.