УРЫСОНА МЕТРИЗАЦИОННАЯ ТЕОРЕМА

1) Бикомпактное или счетнокомпактное хаусдорфово пространство тогда и только тогда метризуемо, когда оно имеет счетную базу. 2) Топологическое пространство со счетной базой тогда и только тогда метризуемо, когда оно нормально или (добавление. А. Н. Тихонова) когда оно регулярно.

П. С. Александров.