可算コンパクト・点列コンパクト
この記事は TSG Advent Calendar 2020 の 11 日目の記事です (は?).10 日目の記事はふぁぼんさんの 今日から始めるdotfiles、そして4年間ずっと使っている自作コマンドの話 でした.
距離空間においてコンパクト性と点列コンパクト性の概念は一致しますが,一般の位相空間ではいずれの含意も成り立ちません.そこで,距離化可能性より弱い条件のもとでの両者の関係に興味が出てきます.ここでは,コンパクト性や点列コンパクト性よりも弱い概念である可算コンパクト性を導入し,列型空間では可算コンパクト性と点列コンパクト性が一致することを示します.予定の四分の一ぐらいの分量になりました.そのうち追記します.
可算コンパクト空間
位相空間 が可算コンパクト空間であるとは,次の 1, 2 の同値な条件を満たすことである.
- の任意の可算開被覆は有限な部分被覆をもつ
- の任意の点列は集積点をもつ
(1. 2.) 対偶を示す. のある点列 が集積点を持たないとする. が有限集合であると仮定すると,ある が存在して が無限集合となるから, が の集積点となって仮定に反する,ゆえに, は無限集合である.任意の に対し, は の集積点でないから,ある開集合 が存在して, が有限集合となる. の有限部分集合全体のなす集合を と書く. は可算である.各 に対し, を, で定めると, は の可算開被覆であるが, であるから, は有限部分被覆を持たない.
(2. 1.) 対偶を示す. が の可算開被覆で,有限な部分被覆を持たないものとする.このとき, の点列 で,全ての に対し となるものが取れる. は集積点を持たない.実際, を任意にとる.ある が存在して となるが, に対しては であるから, である.ゆえに は の集積点でない. の任意性より主張が従う.
可算コンパクト空間の定義 1 より,コンパクト空間は可算コンパクト空間である.定義 2 より,点列コンパクト空間は可算コンパクト空間である.いずれも逆は成立しない (点列コンパクトであるがコンパクトでない例,及びコンパクトであるが点列コンパクトでない例を考えればよい).可算コンパクト空間の閉集合は可算コンパクトである.
列型空間
e.g. (点列閉集合だが閉集合でない例)
最小の非可算順序数を と書く. に順序位相を入れて位相空間と考える. が閉集合でないが点列閉集合であることを示す.( は極限順序数であるから) は開集合でない.則ち は閉集合でない. が点列閉集合であることを示すには, のある点列 が を満たしつつ に収束すると仮定して矛盾を導けばよい.各 は高々可算な順序数である. とおくと,任意の に対して であり,さらに である.] は の開近傍であるが を一つも含まないので矛盾.
列型空間の例は次の命題で与えられる.
第一可算空間は列型空間である.
(証明) を第一可算空間とし, を の点列閉集合とする. が閉集合であることを示せばよい. を任意にとる. は第一可算空間であるから, の基本近傍系 が取れる.必要なら を に取り換えることにより, が に関し単調減少であるとしてよい.各 に対し, であるから, をとることができる.点列 は に収束するから, が点列閉集合であることより, が得られる. の任意性より, であるから, は閉集合である.
e.g. (列型空間であるが第一可算空間でない例)
に次のように位相を入れる. が開集合であるとは, が有限集合であるかまたは であることとする.これは確かに の位相を定める.
は第一可算空間でない.実際, の可算な基本近傍系 が存在したと仮定する.任意の に対し は有限集合であるから, は可算集合である.従って,ある が存在して,任意の に対し となる. は の近傍であるが,どの に対しても となるから矛盾.
は列型空間である.実際,ある が存在して, は点列閉集合だが閉集合でないと仮定する. は閉集合でないから, かつ は無限集合である.よって, の点列 であって, ならば となるものが取れる. を の点列と見ると, は に収束する.これは が点列閉集合であることに矛盾する.
次が目標としていた主張である.
列型かつ可算コンパクトな空間は点列コンパクトである.
(証明) を列型かつ可算コンパクトな空間とする. が点列コンパクトでないと仮定して矛盾を導く. のある点列 が存在して, は収束部分列を持たない. と定義する. が点列閉集合であることを示す. の点列 が任意の に対し を満たしつつ に収束するとする.任意の に対し が有限集合であると仮定する.このとき, の部分列 が存在して,各 に対して となる. も に収束するから, の任意の近傍 に対し,ある が存在して,任意の に対し となる. であったから, 則ち となる.ゆえに, は に収束するが,これは が収束部分列を持たないことに矛盾する.よって,ある が存在して, が無限集合となる.ここから が従い, が点列閉集合であることが示された. は列型空間だから は閉集合であり, は可算コンパクトだから は可算コンパクトである.よって,点列 の集積点 が存在する. なる は有限個しかない (そうでないと仮定すると が に収束する部分列を持つことになり矛盾する) から,ある が存在して, ならば となる. は と同様の理由により閉集合になるが, の集積点 を含まないから矛盾.ゆえに は点列コンパクトである.
参考文献
Steen, L. A., & Seebach, J. A. Counterexamples in Topology, 2nd ed. Springer-Verlag. doi:1007/978-1-4612-6290-9.
Kremsater, T. P. Sequential space methods. University of British Columbia. doi:10.14288/1.0080490.
https://topology.jdabbs.com (2020/12/24 閲覧)