Nagata-Smirnov Metrization Theorem/Historical Note

Historical Note on Bing's Metrization Theorem

The Nagata-Smirnov Metrization Theorem was discovered by Jun-iti Nagata ($1950$) and Yurii Mikhailovich Smirnov ($1951$) independently of Bing's Metrization Theorem discovered in $1951$ by R.H. Bing.

The two theorems Bing's Metrization Theorem and Nagata-Smirnov Metrization Theorem are often merged as the Bing-Nagata-Smirnov Metrization Theorem.