長田＝スミルノフの距離化定理

3行要約

1. 位相空間が距離空間として定義可能であるための必要十分条件を与える定理。
2. 空間が正則かつ、局所有限な開被覆の可算個の和として基底を持つことが条件となる。
3. 位相幾何学において、空間の性質を分類する上で重要な成果である。