距離化定理

距離化可能空間について

概要

距離化可能空間とは、距離空間と位相同型な位相空間を指します。具体的には、任意の位相空間
(X, τ) が距離化可能であるためには、ある距離 d: X × X → [0, ∞) が存在し、その距離によって生成される位相が τ である必要があります。このような空間の特性を理解するためには、まず距離化定理について知ることが重要です。

距離化定理

距離化定理は、ある位相空間が距離化可能であるための条件を示す定理です。最も有名なものはウリゾーンの距離化定理で、こちらでは全ての第二可算なハウスドルフ正則空間が距離化可能であることが示されています。これによって、すべての第二可算な多様体が距離化可能であることも証明されています。ただし、ウリゾーンの定理の逆は成り立たない場合もあります。たとえば、第二可算でない距離空間として、離散距離を持つ非可算集合などがその例です。

一方、長田＝スミルノフの距離化定理では、より特定の条件下で距離化の逆関係が成り立つことが示されます。具体的には、空間が正則かつハウスドルフであり、σ-局所有界を持つ場合に距離化可能であることが示されています。これは、局所有界が可算個の多くの開集合から成る族であることを意味します。

性質

距離化可能空間は、距離空間のほとんどすべての位相的性質を引き継いでいます。まず、これらの空間はハウスドルフであり、パラコンパクトかつ第一可算的です。しかし、全ての距離の特性がこの空間に引き継がれるわけではなく、たとえば完備性のような特性は引き継がれないこともあります。これにより、距離化可能な一様空間は、同一の位相を持つ距離空間であっても、異なる縮小写像の集合を持つことがある点が挙げられます。

局所距離化可能性

局所距離化可能であるとは、任意の点に対して距離化可能な近傍が存在することを意味します。スミルノフの定理によって、局所距離化可能な空間が距離化可能であるための必要十分条件は、その空間がハウスドルフかつパラコンパクトであることだとされています。特に、ある多様体が距離化可能であるためには、パラコンパクトである必要があります。

例

例えば、可分ヒルベルト空間に作用するユニタリ作用素の群の空間は、距離化可能とされています。このことは、様々な数学的アプローチでの理解を深めるための重要な観点です。

距離化不可能空間の例

一方で、距離化不可能な空間も存在します。その代表的な例として、非正規空間が挙げられます。このような空間は、距離空間の特性を満たさないため、距離化することができません。特に、代数幾何学における代数多様体や、実数直線の下極限位相などが距離化不可能な空間の例です。

結論

距離化可能空間の概念は、数学の多くの分野で重要な役割を果たしています。上述の定理や性質を理解することで、位相幾何学における論理的な構造や、その応用についても深く学ぶことができるでしょう。

もう一度検索