Metriseerbare ruimte

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de topologie en aanverwante deelgebieden van de wiskunde, is een metriseerbare ruimte een topologische ruimte, die homeomorf is aan een metrische ruimte. Dat wil zeggen dat men van een topologische ruimte (X, \tau) zegt dat deze metriseerbaar is als er een metriek

d\colon X \times X \to [0,\infty) \!

bestaat, zodanig dat de topologie geïnduceerd door d gelijk is aan \tau .

Metriseerbaarheidstellingen zijn stellingen die voor een topologische ruimte voldoende voorwaarden geven om metriseerbaar te zijn.