可算コンパクト空間

可算コンパクト空間について

可算コンパクト空間とは、任意の可算な開被覆が有限部分被覆を持つ空間を指します。具体的には、位相空間 X が可算コンパクトである場合、可算な開集合族 {Oλ} によって包まれるとき、そこから有限個の集合 {Oλi} を取り出しても、依然として X を覆うことができます。公式に表すと次のようになります。

\[X = \bigcup_{λ} O_{λ}\]
この条件を満たすということは、無限の開被覆でも有限で覆うことができる非常に便利な性質を持っています。特に、任意のコンパクト空間は可算コンパクト空間の性質も満たします。

同値な定義

可算コンパクト空間の他の定義として、有限交叉性があります。閉集合からなる可算な集合族 A ⊂ P(X) に対し、もし

\[\bigcap A = \emptyset\]
が成り立つ場合、ある有限部分集合 B ⊂ A が存在して、

\[\bigcap B = \emptyset\]
も成立するのです。これは、空間の構造を理解する上で重要な性質です。

性質

可算コンパクト空間には、いくつかの特性があります。特に、可算コンパクト空間は極限点コンパクトでもありますが、逆の関係は常に成り立つわけではありません。しかし、T1空間においては、この二つの性質は同値となります。また、点列コンパクト空間は必ず可算コンパクトであり、距離空間においては可算コンパクト性、点列コンパクト性、コンパクト性、極限点コンパクト性はすべて同じ性質を持ちます。

なお、実数 \( \mathbb{R} \) に通常の位相を加えると、これは局所コンパクト、σコンパクト、パラコンパクトであるものの、可算コンパクトにはなりません。従って、これらの性質は可算コンパクト性を保証するものではありません。

また、2つの可算コンパクト空間の直積は必ずしも可算コンパクトとは限りませんが、任意のコンパクト空間の直積は必ずコンパクト空間となることがチコノフの定理により示されています。さらに、可算コンパクトなT2空間が第一可算公理を満たすと、それはT3空間になります。もし第二可算公理を満たす場合は、それぞれT4空間、T5空間になります。

例

可算コンパクト空間の例としては、任意のコンパクト空間が挙げられます。一方で、最小の非可算順序数 \( \omega_1 \) に順序位相を加えたものは可算コンパクトですが、コンパクトではありません。

関連項目

このトピックに関連する重要な概念には、点列コンパクト空間や可算集合などがあります。この知識を通じて、位相空間の性質を深く理解する手助けとなるでしょう。

参考文献

• - Lynn Arthur Steen, J. Arthur Seebach Jr. (1995). Counterexamples in Topology (Dover Books on Mathematics) (New ed.). Dover Publications. ISBN 978-0486687353
• - James Munkres (1999). Topology (2nd ed.). Prentice Hall. ISBN 0-13-181629-2

もう一度検索