極端不連通空間
外觀
點集拓撲上,極端不連通空間是一種拓撲空間,它的任何開集的閉包是開集。在某些分離公理假設下這定義了比完全不連通空間及各種「0維條件」更強的不連通性。一個極端不連通的緊緻豪斯多夫空間,有時會稱為Stonean空間。(注意與Stone空間的分別:Stone空間是完全不連通的緊緻豪斯多夫空間。)Andrew Gleason的一條定理指緊緻豪斯多夫空間範疇的投射對象正是極端不連通的緊緻豪斯多夫空間。在Stone空間和布爾代數之間有對偶性下,Stonean空間恰好對應完備布爾代數。
定義
[編輯]對於拓撲空間以下條件互為等價,滿足此條件的拓撲空間稱為極端不連通空間。[1]:106–107, Exercise 15G, 1
例子
[編輯]以下是極端不連通空間:
性質
[編輯]包含關係
[編輯]任何離散空間是極端不連通空間。極端不連通的豪斯多夫空間是完全不連通空間。但完全不連通的豪斯多夫空間未必是極端不連通的,例如有理數集(予以實數線的子空間拓撲)。極端不連通的豪斯多夫空間的收斂序列只有最終常數列。因此,極端不連通的第一可數豪斯多夫空間只有離散空間。所有極端不連通正則空間是完備正則空間。對於任意極端不連通正規豪斯多夫空間,有
其中是拓撲維數。[2]:328, Theorem 6.2.25這是比或者完全不連通空間強的條件。
關於諸運算的封閉
[編輯]極端不連通空間的開集和稠密集是極端不連通空間。極端不連通空間的閉集不一定是極端不連通的。極端不連通吉洪諾夫空間的斯通-切赫緊化是極端不連通空間。[2]:328, Theorem 6.2.27特別地,離散空間的斯通-切赫緊化是極端不連通空間。極端不連通空間族的積空間不一定是極端不連通的。
范疇論
[編輯]設是局部緊緻豪斯多夫空間,則以下條件等價。[3]:488, Theorem 4.2
- 是極端不連通空間。
- 是局部緊緻豪斯多夫空間和常態映射的範疇中的投射對象。
參考文獻
[編輯]- ^ Willard, Stephen. General topology. Addison-Wesley Series in Mathematics. Reading, Massachusetts, Menlo Park, California, London, Don Mills, Ontario: Addison-Wesley Publishing Company. 1970. MR 0264581. Zbl 0205.26601 (英語).
- ^ 2.0 2.1 Engelking, Ryszard. General topology. Sigma Series in Pure Mathematics 6 Revised and completed edition. Berlin: Heldermann Verlag. 1989. ISBN 3-88538-006-4. MR 1039321. Zbl 0684.54001 (英語).
- ^ 3.0 3.1 3.2 Gleason, Andrew M. Projective topological spaces. Illinois Journal of Mathematics. 1958, 2: 482–489. ISSN 0019-2082. MR 0121775. Zbl 0083.17401. doi:10.1215/ijm/1255454110 (英語).
- A. V. Arkhangelskii, Extremally-disconnected space, Hazewinkel, Michiel (編), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4
- Johnstone, Peter T. Stone spaces. CUP. 1982. ISBN 0-521-23893-5.