パラコンパクト空間

パラコンパクト空間について

概要

パラコンパクト空間（paracompact space）は、全ての開被覆が局所有限な開細分を持つ位相空間と定義されます。この概念は1944年にジャン・デュードネ（Jean Dieudonné）によって紹介されました。パラコンパクト性は、コンパクト空間の特性を一般化したもので、すべてのコンパクト空間はパラコンパクトであることが知られています。また、パラコンパクトでハウスドルフな空間は正規であるとされ、一般的な位相空間の性質を理解する上で重要な役割を果たしています。

定義と性質

被覆の定義

集合 $X$ の被覆とは、$X$ の部分集合の集まりで、これらの合併が $X$ を含むような集合を指します。具体的には、記号で表すと、$U = \{U_\alpha : \alpha \in A\}$ が $X$ の被覆であるとは,
$$
X \subseteq \bigcup_{\alpha \in A} U_\alpha.
$$
を満たすことを意味します。開被覆の場合は、そのすべての元が開集合である必要があります。

次に、空間 $X$ の被覆の細分は、その空間の新たな被覆で、全ての集合が古い被覆のいずれかの集合の部分集合となることを求められます。局所有限な開被覆は、任意の点が有限個の集合としか交わらない近傍を持つ場合を示します。これを満たすとき、位相空間 $X$ はパラコンパクトであると呼ばれます。

特徴的な例

パラコンパクト性の具体例としては、全てのコンパクト空間や正則リンデレーフ空間、またCW複体などが挙げられます。興味深いことに、ゾルゲンフライ直線はコンパクトでないにも関わらずパラコンパクトであるという特殊なケースがあります。

性質と定理

パラコンパクト性は弱遺伝的です。これは、すべての閉部分空間がパラコンパクトであることを意味します。また、正則空間では、全ての開被覆が局所有限な細分を持つ場合、その空間はパラコンパクトです。さらに、スミルノフの距離化可能性に関する定理では、位相空間が距離化可能であり、かつパラコンパクトかつ局所距離化できることが同値であるとされています。

パラコンパクトハウスドルフ空間

パラコンパクトハウスドルフ空間は、その空間がハウスドルフであることをも求められます。この場合、全てのパラコンパクトハウスドルフ空間は正規であり、任意の開被覆に従属な1の分割を持ちます。この性質により、パラコンパクト空間は局所の構造を全体に広げるのが容易になります。特に、パラコンパクト多様体上の微分形式の積分は、局所的に定義された後、この1の分割を介して全体に拡張されることが一般的です。

パラコンパクト性の応用

パラコンパクト性の概念は、位相空間の構造を理解しやすくし、多くの数学的文脈で利用されています。特に、距離化可能な空間の性質や、コンパクト性との比較によって多くの理論的な洞察を提供しています。例えば、パラコンパクト空間の積がパラコンパクトでないことがある一方で、パラコンパクト空間とコンパクト空間の積は常にパラコンパクトであるという重要な性質があります。

結論

パラコンパクト空間は、位相空間論において重要な役割を果たし、様々な構造を持つ空間の理解を深める手助けをします。それは、特に開被覆や局所有限な性質に関連した研究において不可欠な要素として位置付けられています。

もう一度検索