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

数学の位相幾何学の分野における長田＝スミルノフの距離化定理（ながた＝スミルノフのきょりかていり、英: Nagata–Smirnov metrization theorem）とは、ある位相空間がいつ距離化可能となるか、という点について述べた定理である。この定理によると、ある位相空間 $X$ が距離化可能であるための必要十分条件は、それが正則空間であり、局所有限な（開）集合族の可算合併で表せる（すなわち、σ-局所有限な）基底を持つことである。

距離化可能性のための十分条件のみを与えるウリゾーンの距離化定理とは異なり、この定理では位相空間が距離化可能であるための十分条件と必要条件のいずれもが与えられている。定理の名は数学者の長田潤一とユーリ・スミルノフにちなむ。

関連項目

• ビングの距離化定理

参考文献

• Munkres, James R. (1975), “Sections 6-2 and 6-3”, Topology, Prentice Hall, pp. 247–253, ISBN 0-13-925495-1 .
• Patty, C. Wayne (2009), “7.3 The Nagata–Smirnov Metrization Theorem”, Foundations of Topology (2nd ed.), Jones & Bartlett, pp. 257–262, ISBN 978-0-7637-4234-8 .