极端不连通空间

点集拓扑上,极端不连通空间是一种拓扑空间,它的任何开集闭包是开集。在某些分离公理假设下这定义了比完全不连通空间及各种“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]:484, Theorem 2.5
  •  与一个完备布尔代数斯通空间表示同胚[3]:485

 局部紧致豪斯多夫空间,则以下条件等价。[3]:488, Theorem 4.2

  •  是极端不连通空间。
  •  是局部紧致豪斯多夫空间和常态映射的范畴中的投射对象。

参考文献

  1. ^ 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. ^ 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. ^ 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 (英语).