“连续单射把圆周嵌入平面,补集分支给出内外区域,边界说明两域共享原曲线。它支撑点在多边形内判定、平面分割和复分析围道概念;高维的 Jordan–Brouwer 分离定理把嵌入 $S^{n 1}…”
形式陈述 ​
拓扑空间
直觉
把所有含给定点的连通子集取并,因它们共享该点,所得并仍连通,且自动达到极大。分支因此是由拓扑决定的不可再扩张整体,而不是某种任选分组。每个点恰属于一个分支,分支总闭;是否开放则需要局部连通等额外条件。
例子与边界
在
推论与应用
连通子集的极大者形成连通分支,道路分支通常更细。局部连通性保证连通分支开,从而商到分支集合具有较清晰的离散结构。解集、拓扑群和流形常先逐分支分析;连续映射会把每个连通分支送入目标的某个连通分支。
参考资料
- James R. Munkres, Topology, 2nd ed., Prentice Hall, 2000,§25, components and local connectedness。
- Stephen Willard, General Topology, Dover reprint, 2004,Ch. 4, connected components。