Urysohnov teorem o metrizabilnosti
Topološki prostor naziva se metrizabilnim ako je istovremeno regularan i ako posjeduje prebrojivu bazu.
To znači da se određeni topološki prostori mogu opisati pomoću pojma udaljenosti, bez promjene njihove topološke strukture. Ako se regularan topološki prostor može konstruisati iz prebrojive kolekcije otvorenih skupova, tada postoji metrika, odnosno funkcija udaljenosti, koja generiše potpuno istu topologiju.
Drugim riječima, prostor se može “mjeriti” a da pri tome ne izgubi svoja osnovna topološka svojstva.
- Regularan prostor je prostor u kojem se svaka tačka može razdvojiti od svakog zatvorenog skupa koji je ne sadrži pomoću dva disjunktna otvorena skupa.
- Prebrojiva baza je prebrojiva kolekcija otvorenih skupova iz kojih se može rekonstruisati cijela topologija prostora.
Kada su ova dva uslova zadovoljena, moguće je definisati funkciju udaljenosti koja precizno opisuje topološku strukturu prostora.
Važno: Obrat ovog tvrđenja ne važi. Metrizabilan prostor ne mora nužno imati prebrojivu bazu. Urysohnov teorem pokazuje samo kada je moguće konstruisati metriku, ali ne tvrdi da svi metrizabilni prostori imaju ista dodatna topološka svojstva.
Šta pokazuje Urysohnov teorem?
Urysohnov teorem predstavlja jednu od ključnih veza između topologije i geometrije. On pokazuje kada se apstraktni topološki prostor može opisati pomoću udaljenosti.
U topologiji pojam udaljenosti nije uvijek polazna tačka. Često je dovoljno znati koji su skupovi otvoreni kako bi se opisala cijela struktura prostora. Međutim, prirodno se postavlja pitanje:
Kada topološki prostor može biti opisan pomoću metrike?
Urysohnov odgovor je veoma precizan: prostor je metrizabilan ako je regularan i ako ima prebrojivu bazu.
Ova dva uslova garantuju da postoji metrika koja generiše upravo istu topologiju. Na taj način apstraktna topološka struktura postaje mjerljiva.
Zašto je ovaj teorem važan? Zato što omogućava proučavanje određenih topoloških prostora pomoću geometrijskih intuicija. Kada prostor ima metriku, tada pojmovi kao što su udaljenost, konvergencija, neprekidnost i limes dobijaju jasno i intuitivno značenje. Upravo zato su realna prava, ravan i euklidski prostori među najvažnijim primjerima metrizabilnih prostora.
Primjer: realna prava ℝ
Posmatrajmo realnu pravu ℝ sa standardnom topologijom definisanom pomoću otvorenih intervala. Ovaj prostor zadovoljava oba Urysohnova uslova:
- ℝ je regularna;
- ima prebrojivu bazu koju čine intervali sa racionalnim krajevima.
Zbog toga je ℝ metrizabilna.
Standardna udaljenost
$$ d(x, y) = |x - y| $$
generiše potpuno istu topologiju kao i ona definisana otvorenim intervalima.
Napomena. U standardnoj topologiji na ℝ otvoreni skupovi su unije intervala oblika (a, b).
Tačka $ x $ pripada otvorenom skupu $ A $ ako postoji interval $ (x - \varepsilon, x + \varepsilon) $ koji je u potpunosti sadržan u $ A $. Ova topologija direktno proizlazi iz euklidske metrike $ |x - y| $ i predstavlja osnovu matematičke analize, gdje pojmovi limesa, neprekidnosti i konvergencije imaju svoje standardno geometrijsko značenje.
Primjer 2: diskretna topologija
Posmatrajmo sada realnu pravu ℝ opremljenu diskretnom topologijom. I ovaj prostor je metrizabilan zahvaljujući diskretnoj metrici:
$$ d(x, y) =
\begin{cases}
0, & \text{ako je } x = y \\ \\
1, & \text{ako je } x \ne y.
\end{cases}
$$
U ovom slučaju svaka pojedinačna tačka predstavlja otvoren skup. Pošto je skup realnih brojeva neprebrojiv, baza ove topologije takođe nije prebrojiva.
To pokazuje da Urysohnov teorem važi samo u jednom smjeru: metrizabilan prostor ne mora nužno imati prebrojivu bazu.
Napomena. Diskretna topologija je naj“finija” moguća topologija, jer je svaki podskup istovremeno otvoren i zatvoren. Posebno važi: $$ {x} \text{ je otvoren za svako } x \in \mathbb{R}. $$ U takvoj topologiji svaka tačka je potpuno izolovana od svih ostalih. Struktura je veoma jednostavna, ali istovremeno toliko detaljna da se ne može generisati pomoću prebrojive baze kada je osnovni skup neprebrojiv, kao što je ℝ.
I tako dalje.
