metrization theorem

[ریاضیات] قضیه ی متریک سازی