位相空間のコンパクト性の概念の一般化や変種は, 様々なものが考えられている。よく目にするのは次の三つだろう。
-
コンパクト (compact)
- 局所コンパクト (locally compact)
-
パラコンパクト (paracompact)
局所コンパクト空間について詳しく調べたものとして, Taylor の [Tay06] がある。もちろん,
たいていの位相空間論の教科書には基本的なことは書いてある。
基本的な性質としては以下のものが挙げられる。
- コンパクト空間の連続写像による像はコンパクト。
- 局所コンパクト空間の閉部分空間は局所コンパクト。
- 局所コンパクト Hausdorff 空間の開部分空間は局所コンパクト。
- より正確には, 局所コンパクト Hausdorff 空間の部分空間 \(A\) が局所コンパクトであるための必要十分条件は, 開集合 \(U\) と閉集合
\(F\) により, \(A=U\cap F\) と表わされること。
- コンパクト空間の任意個の直積はコンパクト。
4番目の, 局所コンパクト Hausdorff 空間の中の局所コンパクト部分空間の特徴付けは, 例えば Dugundi の本 [Dug78] の
Chapter XI section 6 に書いてある。
パラコンパクトや局所コンパクトの条件と Hausdorff を組み合わせると, 可縮な空間による numerable な被覆を持つという,
良い性質を持った空間になる。
これらは, ファイバー束の理論などでも重要である。 Dold の [Dol63] を参照のこと。Schwamberger と Vogt
[SV09] は, そのような空間の一般的な性質を調べている。
- コンパクト空間から Hausdorff 空間への連続写像は, 閉写像である。 よってコンパクト空間から Hausdorff
空間への連続な全単射は, 同相写像である。
- Urysohn の補題
-
\(\mathrm {T}_{1}\) 空間については, パラコンパクト Hausdorff であることと, 任意の開被覆に従属する \(1\) の分割を持つことは, 同値である。
また局所有限な\(1\)の分割を持つこととも同値である。
- パラコンパクト Hausdorff 空間は正規 (normal) である。
- 特に, コンパクト Hausdorff 空間は正規である。
- 局所コンパクト Hausdorff 空間は正則 (regular) である。
- 局所コンパクト Hausdorff 空間の一点コンパクト化は Hausdorff である。
3番目の性質については, Michael の [Mic53] に Proposition 2 として述べられている。
また, CW複体がパラコンパクトであることも知っておくべきである。 これは, Miyazaki の結果 [Miy52]
である。
コンパクト Hausdorff 空間やその圏の特徴付けには, 実に様々なものがある。例えば, 可換な単位元を持つ
\(C^{*}\)-algebra の圏の opposite category と同値になる, というのが Gel\('\)fand-Naimark duality
である。他に目にしたものを挙げると次のようになる。
また, この MathOverflow の質問 では, compact Hausdorff space の圏の universal property
による特徴付けがあるか, が聞かれているが, いくつかの興味深い回答が集っている。
コンパクト化には, 局所コンパクト空間の一点コンパクト化以外にも様々な方法がある。
- Stone-Čech compactification
-
Higson compactification
References
-
[Dol63]
-
Albrecht Dold. “Partitions
of unity in the theory of fibrations”. In: Ann. of Math. (2) 78 (1963),
pp. 223–255. url: https://doi.org/10.2307/1970341.
-
[Dug78]
-
James Dugundji. Topology. Boston, Mass.: Allyn and Bacon Inc.,
1978, p. xv 447. isbn: 0-205-00271-4.
-
[FT70]
-
Stanley P Franklin and
Barbara Smith Thomas. A categorical characterization of CH. Report
70-33. Carnegie Institute of Technology, Department of Mathematics,
1970. url: http://shelf2.library.cmu.edu/Tech/42930824.pdf.
-
[HS71]
-
H. Herrlich and G. E. Strecker. “Algebra \(\bigcap \) topology=compactness”.
In: General Topology and Appl. 1 (1971), pp. 283–287.
-
[Man69]
-
Ernest Manes. “A triple theoretic construction of compact algebras”.
In: Sem. on Triples and Categorical Homology Theory (ETH, Zürich,
1966/67). Lecture Notes in Math., No. 80. Springer, Berlin-New York,
1969, pp. 91–118.
-
[Mic53]
-
Ernest Michael. “A
note on paracompact spaces”. In: Proc. Amer. Math. Soc. 4 (1953),
pp. 831–838. url: https://doi.org/10.2307/2032419.
-
[Miy52]
-
Hiroshi Miyazaki. “The paracompactness
of \(CW\)-complexes”. In: Tohoku Math. J. (2) 4 (1952), pp. 309–313. url:
https://doi.org/10.2748/tmj/1178245380.
-
[MR20]
-
Vincenzo Marra and Luca Reggio. “A characterisation of the category
of compact Hausdorff spaces”. In: Theory Appl. Categ. 35 (2020),
Paper No. 51, 1871–1906. arXiv: 1808.09738.
-
[Ric91]
-
G. Richter. “Axiomatizing the category of compact Hausdorff spaces”.
In: Category theory at work (Bremen, 1990). Vol. 18. Res. Exp. Math.
Heldermann, Berlin, 1991, pp. 199–215.
-
[Ric96]
-
G. Richter. “An elementary approach to “algebra \(\cap \) topology \(=\)
compactness””. In: Appl. Categ. Structures 4.4 (1996), pp. 443–446.
url: https://doi.org/10.1007/BF00122689.
-
[SV09]
-
Eugenia Schwamberger
and Rainer M. Vogt. “Dold spaces in homotopy theory”. In: Algebr.
Geom. Topol. 9.3 (2009), pp. 1585–1622. arXiv: 0810.5481. url:
https://doi.org/10.2140/agt.2009.9.1585.
-
[Tay06]
-
Paul Taylor. “Computably based locally compact spaces”. In: Log.
Methods Comput. Sci. 2.1 (2006), 1:1, 70. arXiv: math/0512110. url:
https://doi.org/10.2168/LMCS-2(1:1)2006.
-
[Wat68]
-
E. Wattel. The compactness operator in set theory and topology.
Vol. 21. Mathematical Centre Tracts. Mathematisch Centrum,
Amsterdam, 1968, pp. v+61.
|