De metriseerbaarheidsstelling van Urysohn

Een topologische ruimte heet metriseerbaar wanneer zij zowel regulier is als beschikt over een aftelbare basis.

De stelling van Urysohn behoort tot de fundamentele resultaten van de algemene topologie. Ze laat zien onder welke voorwaarden een topologische ruimte kan worden beschreven met behulp van een afstandsfunctie. Anders gezegd: wanneer een abstracte topologische structuur ook werkelijk kan worden “gemeten”.

Concreet betekent dit dat een reguliere topologische ruimte volledig kan worden opgebouwd uit een aftelbare verzameling open verzamelingen, en dat er dan een metriek bestaat die exact dezelfde topologie genereert. De topologische eigenschappen van de ruimte blijven daarbij volledig behouden.

• Regulier betekent dat elk punt topologisch kan worden gescheiden van elke gesloten verzameling die het punt niet bevat. Er bestaan dus altijd twee disjuncte open verzamelingen die beide van elkaar afscheiden.
• Een aftelbare basis is een aftelbare verzameling open verzamelingen waaruit alle andere open verzamelingen kunnen worden opgebouwd. Je kunt deze basis zien als een verzameling elementaire bouwstenen die samen de volledige topologische structuur bepalen.

Wanneer aan beide voorwaarden is voldaan, kan men een afstandsfunctie definiëren die precies dezelfde topologie voortbrengt.

Belangrijk. Het omgekeerde geldt niet in het algemeen. Een metriseerbare ruimte hoeft niet noodzakelijk een aftelbare basis te bezitten. De stelling van Urysohn geeft dus een voldoende voorwaarde voor metriseerbaarheid, maar geen volledige karakterisering van alle metriseerbare ruimten.

Waarom is deze stelling belangrijk?

De kracht van de stelling van Urysohn ligt in het feit dat zij twee grote gebieden van de wiskunde met elkaar verbindt: topologie en meetkunde.

In de topologie werkt men vaak zonder expliciet afstandsbegrip. Het is voldoende om te weten welke verzamelingen open zijn om de volledige structuur van een ruimte te beschrijven. Toch ontstaat dan vanzelf een belangrijke vraag:

Wanneer kan een topologische ruimte worden voorzien van een metriek?

De stelling van Urysohn geeft daarop een elegant antwoord. Zodra een ruimte regulier is en een aftelbare basis bezit, kan men een metriek construeren die exact dezelfde topologie genereert.

Daardoor kunnen abstracte topologische ruimten worden onderzocht met meetkundige technieken. Begrippen zoals afstand, convergentie, continuïteit en limieten krijgen dan een concrete interpretatie.

Veel klassieke ruimten uit de analyse en de meetkunde voldoen aan deze voorwaarden, zoals:

• de reële rechte ℝ;
• het vlak;
• euclidische ruimten in het algemeen.

Al deze ruimten zijn metriseerbaar.

Een concreet voorbeeld

Beschouw de reële rechte ℝ met haar standaardtopologie, opgebouwd uit open intervallen. Deze ruimte voldoet volledig aan de voorwaarden van Urysohn:

• ℝ is regulier;
• ℝ bezit een aftelbare basis, namelijk de open intervallen met rationale eindpunten.

Daarom is ℝ metriseerbaar. De gebruikelijke afstand

$$ d(x, y) = |x - y| $$

genereert exact dezelfde topologie als de standaardtopologie van de open intervallen.

Opmerking. In de standaardtopologie van ℝ zijn open verzamelingen unies van intervallen van het type (a, b). Een punt $ x $ behoort tot een open verzameling $ A $ wanneer er een interval $ (x - \varepsilon, x + \varepsilon) $ bestaat dat volledig in $ A $ ligt. Deze topologie volgt rechtstreeks uit de euclidische afstand $ |x - y| $ en vormt de basis van de klassieke analyse.

Voorbeeld 2: de discrete topologie

Beschouw nu de reële rechte ℝ voorzien van de discrete topologie. Ook deze ruimte is metriseerbaar dankzij de discrete metriek:

$$ d(x, y) =
\begin{cases}
0, & \text{als } x = y \\ \\
1, & \text{als } x \ne y.
\end{cases}
$$

Hier ontstaat echter een belangrijk verschil: de topologie beschikt niet over een aftelbare basis.

De reden is eenvoudig. In de discrete topologie is elk singleton $ \{x\} $ een open verzameling. Omdat ℝ niet-aftelbaar is, bestaat er ook een niet-aftelbare verzameling open verzamelingen.

De stelling van Urysohn werkt dus slechts in één richting: een ruimte met een aftelbare basis en regulariteit is metriseerbaar, maar niet elke metriseerbare ruimte heeft noodzakelijk een aftelbare basis.

Opmerking. De discrete topologie is de “fijnste” mogelijke topologie: elke deelverzameling is tegelijk open én gesloten. In het bijzonder geldt:

$$ {x} \text{ is open voor alle } x \in \mathbb{R}. $$

In zo’n topologie staan alle punten volledig los van elkaar. Er bestaat geen lokale samenhang tussen naburige punten. Hoewel de structuur eenvoudig lijkt, is zij topologisch uiterst verfijnd. Daarom kan een niet-aftelbare discrete ruimte niet worden voortgebracht door een aftelbare basis.