Метризовний простір
З Вікіпедії, безкоштовно encyclopedia
Метризовний простір — топологічний простір, що є гомеоморфним деякому метричному простору. Інакше кажучи, простір, топологія якого породжується деякою метрикою. Якщо така метрика існує, то вона не є єдиною за винятком тривіальних випадків: коли простір є порожнім або складається лише з однієї точки. Наприклад, топологія кожного метризовного простору породжується деякою обмеженою метрикою.