Metrisierbarkeit

Eine Topologie ist metrisierbar, wenn es eine Metrik gibt, deren induzierte Metriktopologie mit der gegebenen Topologie übereinstimmt; die Eigenschaft eines Raumes, metrisierbar zu sein, bedeutet, dass seine Topologie durch eine Metrik erzeugt werden kann.