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

提供: testwiki
2019年8月14日 (水) 12:44時点におけるimported>新規作成による版 (参考文献)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
ナビゲーションに移動 検索に移動

数学位相幾何学の分野における長田=スミルノフの距離化定理(ながた=スミルノフのきょりかていり、テンプレート:Lang-en-short)とは、ある位相空間がいつ距離化可能となるか、という点について述べた定理である。この定理によると、ある位相空間 X が距離化可能であるための必要十分条件は、それが正則空間であり、テンプレート:仮リンクな(開)集合族の可算合併で表せる(すなわち、σ-局所有限な)基底を持つことである。

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

関連項目

参考文献

テンプレート:Topology-stub