Twierdzenie Urysohna o metryzowalności
Przestrzeń topologiczna jest nazywana metryzowalną, jeżeli jest jednocześnie regularna oraz posiada przeliczalną bazę.
W praktyce oznacza to, że jeśli regularną przestrzeń topologiczną można opisać przy pomocy przeliczalnej rodziny zbiorów otwartych, to da się również wprowadzić w niej metrykę, czyli pojęcie odległości, które odtwarza dokładnie tę samą strukturę topologiczną.
Innymi słowy, przestrzeń można „mierzyć” bez zmiany jej własności topologicznych.
- Regularność oznacza, że dla każdego punktu oraz każdego zbioru domkniętego, który go nie zawiera, istnieją dwa rozłączne zbiory otwarte oddzielające je od siebie. Mówiąc intuicyjnie, punkt można zawsze oddzielić od zbioru domkniętego przy pomocy odpowiednio dobranych zbiorów otwartych.
- Przeliczalna baza to przeliczalna rodzina zbiorów otwartych, z której można odtworzyć całą topologię przestrzeni. Można ją traktować jako zestaw podstawowych „cegiełek”, z których budowana jest cała struktura przestrzeni.
Jeżeli przestrzeń spełnia oba te warunki, można w niej zdefiniować funkcję odległości, która wiernie opisuje jej topologię.
Warto zapamiętać: implikacja odwrotna nie jest prawdziwa. Przestrzeń metryzowalna nie musi posiadać przeliczalnej bazy. Twierdzenie Urysohna podaje jedynie warunki wystarczające metryzowalności, a nie pełną charakterystykę wszystkich przestrzeni metrycznych.
Co właściwie mówi twierdzenie Urysohna?
Twierdzenie Urysohna pokazuje, kiedy przestrzeń topologiczną można opisać przy pomocy pojęcia odległości. Stanowi ono pomost między abstrakcyjnym światem topologii, opartym na zbiorach otwartych i domkniętych, a bardziej intuicyjnym światem geometrii.
W topologii nie zawsze wychodzi się od pojęcia odległości. Często wystarczy określić, które zbiory są otwarte, aby opisać całą strukturę przestrzeni. Naturalnie pojawia się więc pytanie:
Kiedy przestrzeń topologiczną można opisać za pomocą metryki?
Urysohn udziela jasnej odpowiedzi: przestrzeń jest metryzowalna, jeśli jest regularna oraz posiada przeliczalną bazę. Te dwa warunki gwarantują możliwość skonstruowania metryki generującej dokładnie tę samą topologię.
Oznacza to, że topologia i geometria spotykają się ze sobą, a abstrakcyjna struktura staje się metryczna.
Dlaczego jest to ważne? Twierdzenie to łączy dwa fundamentalne obszary matematyki. Pokazuje, że pewne dobrze uporządkowane przestrzenie można badać jak klasyczne przestrzenie geometryczne, w których pojęcia odległości, ciągłości czy zbieżności mają naturalną interpretację geometryczną. Dotyczy to między innymi prostej rzeczywistej, płaszczyzny oraz przestrzeni euklidesowych, które są przestrzeniami metryzowalnymi.
Przykład
Rozważmy prostą rzeczywistą ℝ wyposażoną w standardową topologię wyznaczoną przez przedziały otwarte. Spełnia ona oba warunki twierdzenia Urysohna:
- ℝ jest przestrzenią regularną;
- posiada przeliczalną bazę, na przykład rodzinę przedziałów o końcach wymiernych.
Wynika stąd, że ℝ jest przestrzenią metryzowalną. Zwykła odległość $ d(x, y) = |x - y| $ generuje dokładnie tę samą topologię co topologia określona przez przedziały otwarte.
Uwaga. W standardowej topologii na ℝ zbiory otwarte są sumami przedziałów postaci (a, b).
Punkt $ x $ należy do zbioru otwartego $ A $, jeśli istnieje przedział $ (x - \varepsilon, x + \varepsilon) $ w całości zawarty w $ A $. Topologia ta wynika bezpośrednio z metryki euklidesowej $ |x - y| $ i jest podstawową topologią wykorzystywaną w analizie matematycznej. To właśnie w niej pojęcia granicy, ciągłości i zbieżności zachowują swoje intuicyjne znaczenie geometryczne.
Przykład 2: topologia dyskretna.
Rozważmy teraz prostą rzeczywistą ℝ wyposażoną w topologię dyskretną. Ona również jest metryzowalna dzięki zastosowaniu metryki dyskretnej:
$$ d(x, y) =
\begin{cases}
0, & \text{gdy } x = y \\ \\
1, & \text{gdy } x \ne y.
\end{cases}
$$
Tym razem jednak baza nie jest przeliczalna, ponieważ każdy pojedynczy punkt stanowi zbiór otwarty, a zbiór liczb rzeczywistych jest nieskończony i nieprzeliczalny.
Pokazuje to, że twierdzenie Urysohna działa tylko w jednym kierunku: przestrzeń metryzowalna nie musi posiadać przeliczalnej bazy.
Uwaga. Topologia dyskretna jest topologią „najdrobniejszą” z możliwych, ponieważ każdy podzbiór jest jednocześnie otwarty i domknięty. W szczególności każdy punkt sam w sobie jest zbiorem otwartym: $$ {x} \text{ jest otwarty dla każdego } x \in \mathbb{R}. $$ W takiej topologii między punktami nie występuje żadna ciągłość, ponieważ każdy punkt pozostaje całkowicie izolowany. Jest to struktura bardzo prosta, ale jednocześnie tak szczegółowa, że dla zbioru nieprzeliczalnego, takiego jak ℝ, nie może być generowana przez przeliczalną bazę.
I tak dalej.
