可算コンパクト空間

位相空間 X が可算コンパクト空間（テンプレート:Lang-en-short）であるとは、任意の可算開被覆が有限部分被覆を持つことをいう。即ち、

$X=\bigcup _{\lambda }{O}_{\lambda }$

を満たす任意の可算開集合族 $\{O_{\lambda }{\}}_{\lambda }$ に対しある有限部分族 $\{O_{{\lambda }_i}{\}}_{i=1,\dots ,n}$ が存在して、

$X=\bigcup _{i=1,\dots ,n}{O}_i$

が成り立つことをいう。定義より任意のコンパクト空間は可算コンパクト空間でもある。

同値な定義

いわゆる有限交叉性である。

• 閉集合からなる可算な集合族 A⊂P(X) が $\bigcap A=\mathrm{\varnothing }$ を満たすならば、ある有限部分集合 B⊂A が存在して $\bigcap B=\mathrm{\varnothing }$。

性質

• 可算コンパクト空間はテンプレート:仮リンクである。この逆は必ずしも成り立たないが、T1空間ではこの両者は同値となる。

• 点列コンパクト空間は可算コンパクトである。距離空間では、可算コンパクト性と点列コンパクト性、コンパクト性、極限点コンパクト性はすべて同値である。

• 実数$ℝ$に通常の位相を入れたものは局所コンパクト、σコンパクト、そしてパラコンパクトであるが、可算コンパクトではない。よってこれら3つはどれも可算コンパクト性を導かない。

• 2つの可算コンパクト空間の直積は必ずしも可算コンパクトではない。それに対し任意個のコンパクト空間の直積はまたコンパクト空間となる（チコノフの定理）。

• 可算コンパクトなT2空間が第一可算公理を満たせば、それはT3空間である。さらに第二可算公理を満たせば、T4空間、T5空間となる。

例

• 任意のコンパクト空間は可算コンパクトである。

• 最小の非可算順序数 ω₁ に順序位相を入れたものは可算コンパクトだがコンパクトでない空間の例になっている。

関連項目

• 点列コンパクト空間
• 可算集合

参考文献

• テンプレート:Cite book
• テンプレート:Cite book