Метризуемое пространство — Википедия
Метризуемое пространство Определение метризуемого пространства Метризуемое пространство — топологическое пространство, гомеоморфное метрическому. Топология, индуцированная метрикой, должна быть эквивалентна исходной топологии. […]