距離化定理
距離化可能空間は、距離空間のすべての位相的性質を引き継いでいる。例えば、それらはハウスドルフパラコンパクト(したがって正規かつチコノフ(英語版))かつ第一可算的である。しかし、完備性のようないくつかの距離の性質は引き継がれない。このことはまた距離と関連する他のいくつかの構造に対しても真となる。例えば、距離化可能な一様空間は、位相同型となるような距離空間よりも、縮小写像の異なる集合を持つ場合がある。
距離化定理として初めて広く認識されたものは、ウリゾーンの距離化定理(Urysohn's metrization theorem)である。この定理では、第二可算的なすべてのハウスドルフ正則空間は距離化可能であると述べられている。したがって例えば、すべての第二可算的な多様体は、距離化可能となる(歴史的観点からの注意:ここで紹介されている形の定理は、実際は 1926 年にチコノフ(英語版)によって初めて示されたものである。ウリゾーンが示した事実は、すべての第二可算的かつ「正規」なハウスドルフ空間が距離化可能である、というものであり、これは彼の死後の 1925 年に出版された論文で示されている。)。この定理の逆は必ずしも成立しない。すなわち、例えば離散距離を備える非可算集合など、第二可算的ではない距離空間が存在する。以下で紹介する長田=スミルノフの距離化定理では、そのような逆が成立するような、より特別な場合が考えられている。
ウリゾーンの定理に従う簡単な系として、いくつかの他の距離化定理が知られている。例えば、コンパクトなハウスドルフ空間が距離化可能であるための必要十分条件は、それが第二可算的であることである。
ウリゾーンの定理は次のように言い換えることも出来る:ある位相空間が可分かつ距離可能であるための必要十分条件は、それが正則、ハウスドルフかつ第二可算的であることである。
長田=スミルノフの距離化定理はこの内容を、非可分であるような場合に対しても拡張するものである。その定理によると、位相空間が距離化可能であるための必要十分条件は、それが正則かつハウスドルフであり、σ-局所有界な底空間を持つことである。ここで σ-局所有界な底空間とは、可算個の多くの開集合の局所有界族(英語版)である。これに密接に関連する定理として、ビングの距離化定理がある。
可分な距離空間はまた、ヒルベルトの立方体 [ 0 , 1 ] N {\displaystyle \lbrack 0,1\rbrack ^{\mathbb {N} }} 、すなわち(実数からの自然な部分空間位相を伴う)単位区間のそれ自身との可算無限回の積で、直積位相を伴うような空間の部分空間と位相同型であるようなものとして特徴付けられる。
ある空間が局所距離化可能(locally metrizable)であるとは、そのすべての点に対して距離化可能な近傍が存在することを言う。スミルノフは、局所距離化可能な空間が距離化可能であるための必要十分条件は、それがハウスドルフかつパラコンパクトであることを証明した。特に、ある多様体が距離化可能であるための必要十分条件は、それがパラコンパクトであることである。