完全不连通与极不连通
完全不连通 / 极不连通空间
- 定义
- 依赖深度 layer 6
- 拓扑学
- Stone 与 Stonean
def.totally-disconnected · 拓扑 · 完全不连通 · 极不连通 · Stonean · 连通分量
又称完全不连通·totally disconnected·极不连通·extremally disconnected·Definition 2.2.7·Def 2.2.7
陈述
拓扑空间 叫完全不连通的,如果每个连通分量都是单点。
叫极不连通的(extremally disconnected),如果每个开集的闭包仍然开。
说明
⚠️ 两个名字只差一个字,强弱正好相反:
- 完全不连通说「碎到每个分量只剩一个点」;
- 极不连通说「开集的闭包不再长大」—— 后者更强。
极不连通的需求方是 Haskell / 集合论 / 凝聚态:它是「投影对象」的几何形态(Gleason 定理: 的投射对象恰好是 Stonean 空间)。
⭐ 在紧 Hausdorff 的世界里三者串成一条链:极不连通 完全不连通;完全不连通 + 紧 Hausdorff profinite;极不连通 + 紧 Hausdorff Stonean。
例子:Cantor 集 完全不连通但不极不连通;( 的 Stone–Čech 紧化)极不连通; 是它的一个极端例子。
它指向谁(出边)
定义引用 1
-
命题说的是全不连通对子空间封闭。
谁指向它(入边)
定义引用 1
-
「完全不连通」= 每个连通分量都是单点。
参考
- Le Stum, An introduction to condensed mathematics, §2.2
同一星团的其他概念 15 个
- 全不连通对子空间封闭layer 7
- 布尔环layer 8
- 投射有限空间layer 12
- 投射有限集即投射有限空间layer 13
- 全不连通与 Stone 空间layer 16
- 连通分量是闭开邻域之交layer 16
- Stone 空间的闭开加细layer 17
- Stone 空间是 CHaus 的反射子范畴layer 17
- 极端不连通的基本性质layer 17
- 全不连通空间是反射子范畴layer 17
- Boolean 环与 Stone 空间等价layer 17
- Gleason 定理layer 17
- Stonean 是收缩核layer 18
- Stone ⟺ 投射有限layer 18