仿緊空間

仿緊空間，數學中，仿緊空間是指一類拓撲空間，他們的每個開覆蓋都有局部有限的（開）加細（精細化）。這類空間的概念於1944年由Dieudonné引入。每個緊緻空間都是仿緊的。每個仿緊的豪斯多夫空間都是正規的。一個豪斯多夫空間是仿緊的當且僅當其任意開覆蓋都可以單位分解。仿緊空間有時也被要求為豪斯多夫的。

仿緊空間的任意閉子空間是仿緊的。豪斯多夫空間的緊子集是閉的，但是對仿緊子集不成立。如果一個空間的任意子空間都是仿緊的，則其稱為hereditarily paracompact，這等價於要求其每個開子空間是仿緊的。

任意度量空間是仿緊的。一個拓撲空間是可度量的當且僅當它是仿緊的且是局部可度量的豪斯多夫空間。

仿緊性

集合 $X$ 的一個覆蓋，是指 $X$ 的一個子集族，並且 $X$ 包含於這族集合的併集。設 $U=\{U_{\alpha }:\alpha \in A\}$ 是 $X$ 的一族子集， $A$ 為子集的指標集, 若 $X\subseteq \bigcup _{\alpha \in A}U_{\alpha }$ ，則稱 $U$ 是 $X$ 的覆蓋；若每個 $U_{\alpha }$ 都是開的，則稱 $U$ 是 $X$ 的一個開覆蓋，即 $X$ 的覆蓋 $U$ 中每個成員都是開的。

$X$ 的一個開覆蓋是局部有限的當且僅當X中的每一點存在一個鄰域，其只與這覆蓋中的有限個成員相交。用數學符號來說， $U=\{U_{\alpha }:\alpha \in A\}$ 是局部有限的當且僅當任意 $X$ 中的一點 $x$ ，存在一個鄰域 $V_{x}$ ，使得 $\left\{\alpha \in A:U_{\alpha }\cap V_{x}\neq \varnothing \right\}$ 是有限的。

例子

每個緊緻空間都是仿緊的。
每個 CW 復形都是仿緊的^[1]。
「A. H. Stone 定理」：每個度量空間都是仿緊的。^[2] 早期的證明較為繁複，一個基礎的證明可參見 M. E. Rudin.^[3] 對不可分的情形，已有的證明依賴於選擇公理。此外無論 ZF theory 或 ZF 理論外加獨立選擇公理都是不充分的^[4]。

一些非仿緊空間的例子：

Prüfer 流形是非仿緊的曲面

參考文獻

^ Hatcher, Allen, Vector bundles and K-theory, preliminary version available on the author's homepage （頁面存檔備份，存於網際網路檔案館）
^ Stone, A. H. Paracompactness and product spaces^{[永久失效連結]}. Bull. Amer. Math. Soc. 54 (1948), 977-982
^ Rudin, Mary Ellen. A new proof that metric spaces are paracompact （頁面存檔備份，存於網際網路檔案館）. Proceedings of the American Mathematical Society, Vol. 20, No. 2. (Feb., 1969), p. 603.
^ C. Good, I. J. Tree, and W. S. Watson. On Stone's Theorem and the Axiom of Choice （頁面存檔備份，存於網際網路檔案館）. Proceedings of the American Mathematical Society, Vol. 126, No. 4. (April, 1998), pp. 1211–1218.

Dieudonné, Jean, Une généralisation des espaces compacts, Journal de Mathématiques Pures et Appliquées, Neuvième Série, 1944, 23: 65–76, ISSN 0021-7824, MR 0013297
Lynn Arthur Steen and J. Arthur Seebach, Jr., Counterexamples in Topology (2 ed), Springer Verlag, 1978, ISBN 3-540-90312-7. P.23.
Willard, Stephen. General Topology. Reading, Massachusetts: Addison-Wesley. 1970. ISBN 0-486-43479-6. (Dover edition).

[1] Hatcher, Allen, Vector bundles and K-theory, preliminary version available on the author's homepage （頁面存檔備份，存於網際網路檔案館）

[2] Stone, A. H. Paracompactness and product spaces^{[永久失效連結]}. Bull. Amer. Math. Soc. 54 (1948), 977-982

[3] Rudin, Mary Ellen. A new proof that metric spaces are paracompact （頁面存檔備份，存於網際網路檔案館）. Proceedings of the American Mathematical Society, Vol. 20, No. 2. (Feb., 1969), p. 603.

[4] C. Good, I. J. Tree, and W. S. Watson. On Stone's Theorem and the Axiom of Choice （頁面存檔備份，存於網際網路檔案館）. Proceedings of the American Mathematical Society, Vol. 126, No. 4. (April, 1998), pp. 1211–1218.

[1]

[2]

[3]

[4]