1923 年に距離化のための必要十分条件を与える Alexandroff-Urysohn の距離化定理、そして 1925 年に十分条件を与える Urysohn の距離化定理が世に出ました。言明を見ると、前者から後者はすぐには証明できそうにありません。かくして Urysohn の距離化定理…