“Jordan 曲线定理断言 $\mathbb R^2\setminus C$ 恰有两个连通分支 $U,V$,一个有界,一个无界,并且 [ \partial U=\partial V=C. ]…”
形式陈述
设
这里子集的连通性按子空间拓扑理解。“极大”表示不能再加入点而保持连通,不表示它在所有连通子集中点数最多。
若两个分支相交,它们的并仍连通,极大性便迫使它们相等。因此全部分支两两不交且覆盖
直觉
分支回答的是“哪些点属于同一个不能用相对开集拆开的整体”。先固定
为什么并集连通、分支闭
若上述并集被两个不交非空相对开集
连通集
例子与边界
有理数空间
令
只有一个连通分支:
推论与应用
连续映射把连通集送为连通集,因此
局部连通空间的分支开:分支中每一点都有包含于该分支的连通开邻域,取并即可。若还局部道路连通,则道路分支与连通分支一致。没有这些条件,不能把分支划分当作一族互相隔离的开组件,也不能断言分支的任意并闭。
参考资料
- James R. Munkres, Topology, 2nd ed., Prentice Hall, 2000,§25,连通分支与局部连通性。
- Allen Hatcher, Notes on Introductory Point-Set Topology,Cornell University 作者讲义,在线版,访问于 2026,Chapter 2 “Connectedness”。