Metriseerbaarheid en homeomorfismen
Als een topologische ruimte \( X \) metriseerbaar is en een andere ruimte \( Y \) homeomorf is met \( X \), dan is ook \( Y \) metriseerbaar.
Met andere woorden: metriseerbaarheid blijft behouden onder homeomorfismen.
Dit is een belangrijk principe in de topologie. Zodra men weet dat een ruimte metriseerbaar is, hoeft men voor elke homeomorfe ruimte niet opnieuw vanaf nul een metriek te construeren. De topologische equivalentie tussen beide ruimten volstaat om te besluiten dat ook de tweede ruimte metriseerbaar is.
Homeomorfe ruimten kunnen er op het eerste gezicht heel verschillend uitzien, maar vanuit topologisch standpunt hebben ze dezelfde structuur. Daardoor delen ze ook fundamentele eigenschappen zoals metriseerbaarheid.
Waarom is dit belangrijk?
Een topologische ruimte \( X \) heet metriseerbaar wanneer er een metriek \( d \) bestaat die de topologie van \( X \) induceert. In dat geval kan de volledige topologische structuur van de ruimte beschreven worden met behulp van afstanden.
Dat is bijzonder nuttig, omdat metrische ruimten vaak eenvoudiger te analyseren zijn. Begrippen zoals convergentie, continuïteit, open verzamelingen en compactheid kunnen dan intuïtief worden bestudeerd via afstanden tussen punten.
Een homeomorfisme is een bijectieve afbeelding tussen twee topologische ruimten die continu is en waarvan ook de inverse afbeelding continu is. Zo'n afbeelding bewaart alle essentiële topologische eigenschappen van de ruimten.
Wanneer een ruimte \( X \) metriseerbaar is en een ruimte \( Y \) homeomorf blijkt te zijn met \( X \), dan kan men op \( Y \) eveneens een metriek definiëren die compatibel is met haar topologie. Die metriek kan rechtstreeks worden afgeleid uit de metriek op \( X \) via het homeomorfisme.
Daarom zegt men dat metriseerbaarheid een topologische invariant is: de eigenschap blijft behouden onder homeomorfismen.
Voorbeeld
Beschouw de reële rechte \( \mathbb{R} \) met haar gebruikelijke topologie, geïnduceerd door de euclidische afstand.
De standaardmetriek op \( \mathbb{R} \) is
\[ d(x,y)=|x-y| \]
Bekijk nu het open interval \( (-1,1) \). Op het eerste gezicht lijkt deze ruimte anders dan de volledige reële rechte, maar topologisch zijn beide ruimten equivalent.
Definieer de afbeelding
\[ f : \mathbb{R} \to (-1,1) \]
door
\[ f(x)=\frac{x}{\sqrt{1+x^2}} \]
Deze functie is continu, bijectief en haar inverse afbeelding is eveneens continu. Daarom is \( f \) een homeomorfisme tussen \( \mathbb{R} \) en \( (-1,1) \).
Omdat homeomorfismen de topologische structuur behouden, volgt onmiddellijk dat \( (-1,1) \) metriseerbaar is zodra men weet dat \( \mathbb{R} \) metriseerbaar is.
In feite bezit het interval \( (-1,1) \) gewoon de euclidische metriek, beperkt tot het interval zelf.
Dezelfde redenering geldt algemeen voor alle homeomorfe topologische ruimten.
