Teorema de metrizabilitate al lui Urysohn
Un spațiu topologic este metrizable dacă este regulat și admite o bază numărabilă.
Ideea centrală este simplă: în anumite condiții, un spațiu topologic poate fi descris folosind o noțiune de distanță. Mai exact, dacă un spațiu topologic regulat are o bază numărabilă de mulțimi deschise, atunci există o metrică care generează exact aceeași topologie.
Cu alte cuvinte, putem „măsura distanțe" fără să schimbăm structura spațiului.
- Un spațiu este regulat dacă orice punct poate fi separat de orice mulțime închisă care nu îl conține, folosind două mulțimi deschise disjuncte.
- Un spațiu admite o bază numărabilă dacă întreaga sa topologie poate fi generată pornind de la o colecție numărabilă de mulțimi deschise.
Dacă aceste două condiții sunt îndeplinite, atunci topologia spațiului este indusă de o metrică.
Important: Reciproca nu este adevărată. Faptul că un spațiu este metrizable nu garantează că admite o bază numărabilă sau că este regulat. Teorema lui Urysohn oferă condiții suficiente, nu și necesare.
Ce spune, de fapt, teorema?
Teorema lui Urysohn răspunde la o întrebare fundamentală: când poate o topologie să fie descrisă printr-o metrică?
În topologie nu pornim întotdeauna de la distanțe. Uneori știm doar care sunt mulțimile deschise, iar acest lucru este suficient pentru a defini întreaga structură a spațiului.
Teorema arată că, în prezența a două proprietăți simple, această structură poate fi exprimată și în termeni de distanță.
- Regularitate: punctele și mulțimile închise pot fi separate prin mulțimi deschise.
- Bază numărabilă: topologia este generată de o familie numărabilă de mulțimi deschise.
Când aceste condiții sunt îndeplinite, spațiul poate fi tratat ca un spațiu metrizable.
De ce este important? Teorema creează o legătură directă între topologie și teoria spațiilor metrice. În practică, acest lucru permite utilizarea noțiunilor familiare de distanță, convergență și continuitate. Exemple clasice, precum dreapta reală sau spațiile euclidiene, se încadrează în această categorie.
Un exemplu concret
Dreapta reală ℝ, cu topologia standard generată de intervale deschise, îndeplinește condițiile teoremei:
- Este regulată.
- Admite o bază numărabilă, de exemplu intervalele cu capete raționale.
Prin urmare, ℝ este metrizable. Metrica obișnuită $ d(x, y) = |x - y| $ induce exact această topologie.
Notă. În această topologie, mulțimile deschise sunt reuniuni de intervale de forma (a, b).
Un punct $ x $ aparține unei mulțimi deschise $ A $ dacă există un interval $ (x - \varepsilon, x + \varepsilon) $ inclus în $ A $. Această descriere provine direct din distanța euclidiană și este cea folosită în analiza matematică.
Exemplul 2: topologia discretă.
Să considerăm acum ℝ înzestrată cu topologia discretă. Și acest spațiu este metrizable, deoarece putem defini metrica discretă astfel:
$$ d(x, y) =
\begin{cases}
0, & \text{dacă } x = y \\ \\
1, & \text{dacă } x \ne y.
\end{cases}
$$
Totuși, în acest caz, baza nu este numărabilă, deoarece fiecare punct este o mulțime deschisă, iar ℝ este nenumărabil.
Acest exemplu arată clar că reciproca teoremei nu este valabilă.
Notă. Topologia discretă este cea mai fină topologie posibilă: orice submulțime este simultan deschisă și închisă.
În special, fiecare punct formează o mulțime deschisă:
$$ \{x\} \text{ este deschisă pentru orice } x \in \mathbb{R}. $$
Într-o astfel de topologie, punctele sunt complet izolate unele de altele. Deși structura este foarte simplă, ea este prea „fină" pentru a putea fi generată de o bază numărabilă atunci când mulțimea este nenumărabilă.
Și așa mai departe.
