Математическая энциклопедия - урысона метризационная теорема

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

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

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985