距離化定理のソースを表示

[[位相幾何学]]および関連する[[数学]]の分野において、'''距離化可能空間'''（きょりかかのうくうかん、{{Lang-en-short|metrizable space}}）とは、[[距離空間]]と[[位相同型]]な[[位相空間]]のことを言う。すなわち、ある位相空間 <math>(X,\tau)</math> が距離化可能であるとは、ある距離

:<math>d\colon X \times X \to [0,\infty)</math> 

で、それによって導かれる位相が <math>\tau</math> であるようなものが存在することを言う。'''距離化定理'''（きょりかていり、{{Lang-en-short|metrization theorem}}）とは、位相空間が距離化可能であるための[[十分条件]]を与える[[定理]]のことを言う。

== 性質 ==

距離化可能空間は、距離空間のすべての位相的性質を引き継いでいる。例えば、それらは[[ハウスドルフ空間|ハウスドルフ]][[パラコンパクト空間|パラコンパクト]]（したがって[[正規空間|正規]]かつ{{仮リンク|チコノフ空間|label=チコノフ|en|Tychonoff space}}）かつ[[第一可算的空間|第一可算的]]である。しかし、完備性のようないくつかの距離の性質は引き継がれない。このことはまた距離と関連する他のいくつかの構造に対しても真となる。例えば、距離化可能な[[一様空間]]は、位相同型となるような距離空間よりも、[[縮小写像]]の異なる集合を持つ場合がある。

== 様々な距離化定理 ==

距離化定理として初めて広く認識されたものは、'''ウリゾーンの距離化定理'''（Urysohn's metrization theorem）である。この定理では、[[第二可算的空間|第二可算的]]なすべての[[ハウスドルフ空間|ハウスドルフ]][[正則空間]]は距離化可能であると述べられている。したがって例えば、すべての第二可算的な[[多様体]]は、距離化可能となる（歴史的観点からの注意：ここで紹介されている形の定理は、実際は 1926 年に{{仮リンク|アンドレイ・チコノフ|label=チコノフ|en|Andrey Nikolayevich Tychonoff}}によって初めて示されたものである。[[パベル・ウリゾーン|ウリゾーン]]が示した事実は、すべての第二可算的かつ「[[正規空間|正規]]」なハウスドルフ空間が距離化可能である、というものであり、これは彼の死後の 1925 年に出版された論文で示されている。）。この定理の逆は必ずしも成立しない。すなわち、例えば離散距離を備える非可算集合など、第二可算的ではない距離空間が存在する<ref>http://www.math.lsa.umich.edu/~mityab/teaching/m395f10/10_counterexamples.pdf</ref>。以下で紹介する[[長田＝スミルノフの距離化定理]]では、そのような逆が成立するような、より特別な場合が考えられている。

ウリゾーンの定理に従う簡単な系として、いくつかの他の距離化定理が知られている。例えば、[[コンパクト空間|コンパクト]]なハウスドルフ空間が距離化可能であるための必要十分条件は、それが第二可算的であることである。

ウリゾーンの定理は次のように言い換えることも出来る：ある位相空間が[[可分空間|可分]]かつ距離可能であるための必要十分条件は、それが正則、ハウスドルフかつ第二可算的であることである。[[長田＝スミルノフの距離化定理]]はこの内容を、非可分であるような場合に対しても拡張するものである。その定理によると、位相空間が距離化可能であるための必要十分条件は、それが正則かつハウスドルフであり、σ-局所有界な底空間を持つことである。ここで σ-局所有界な底空間とは、可算個の多くの開集合の{{仮リンク|局所有界族|en|locally finite collection}}である。これに密接に関連する定理として、[[ビングの距離化定理]]がある。

可分な距離空間はまた、[[ヒルベルトの立方体]] <math>\lbrack 0,1\rbrack ^\mathbb{N}</math>、すなわち（実数からの自然な部分空間位相を伴う）単位区間のそれ自身との可算無限回の積で、[[直積位相]]を伴うような空間の部分空間と[[位相同型]]であるようなものとして特徴付けられる。

ある空間が'''局所距離化可能'''（locally metrizable）であるとは、そのすべての点に対して距離化可能な[[近傍]]が存在することを言う。スミルノフは、局所距離化可能な空間が距離化可能であるための必要十分条件は、それがハウスドルフかつ[[パラコンパクト空間|パラコンパクト]]であることを証明した。特に、ある多様体が距離化可能であるための必要十分条件は、それがパラコンパクトであることである。

== 例 ==

強作用素位相を備える可分ヒルベルト空間 <math> \mathcal{H}</math> 上のユニタリ作用素の群 <math> \mathbb{U}(\mathcal{H})</math> は、距離化可能である（参考文献 <ref>Neeb, Karl-Hermann, On a theorem of S. Banach. J. Lie Theory 7 (1997), no. 2, 293–300. </ref> の Proposition II.1 を参照されたい）。

== 距離化不可能空間の例 ==

非正規空間は距離化可能とはならない。重要な例として、次が挙げられる。

* [[代数幾何学]]で用いられる、ある[[代数多様体]]あるいは[[環のスペクトル]]上の[[ザリスキ位相]]。
* [[実数直線]] '''R''' からそれ自身へのすべての[[函数]]からなるような、[[各点収束|各点収束位相]]を備える[[位相ベクトル空間]]。

{{仮リンク|下極限位相|en|lower limit topology}}を伴う実数直線は、距離化可能ではない。通常の距離函数は、この空間の上の計量とはならない。なぜならば、それが定める位相は通常の位相で、下極限位相ではないからである。この空間はハウスドルフ、パラコンパクトかつ第一可算的である。

[[長い直線]]は局所距離化可能であるが、距離化可能ではない。これはすなわち、そのような直線がある意味で「長すぎる」ということに起因する。

== 関連項目 ==
* {{仮リンク|一様化可能空間|label=一様化可能性|en|Uniformizable space}} [[一様空間]]あるいは[[擬距離空間|擬距離]]の族によって定義される位相と同型となるような位相空間の性質
* {{仮リンク|ムーア空間 (位相幾何学)|en|Moore space (topology)}}
* {{仮リンク|アポロン距離|en|Ion_Barbu#Apollonian_metric}}

== 参考文献 ==
{{reflist}}

{{PlanetMath attribution|id=31538|title=Metrizable}}

{{DEFAULTSORT:きよりかていり}}
[[Category:位相空間論]]
[[Category:数学に関する記事]]