Skip to content

定义Definition

连通分支

施工中 · 内容逐步修订

Connected component

包含给定点的极大连通子集。

形式陈述 ​

设 X 为拓扑空间,x∈X。点 x 的连通分支定义为

C(x)=⋃{A⊆X:x∈A, A 连通}.

这里子集的连通性按子空间拓扑理解。“极大”表示不能再加入点而保持连通,不表示它在所有连通子集中点数最多。C(x) 本身连通,并且是包含 x 的唯一极大连通子集。

若两个分支相交,它们的并仍连通,极大性便迫使它们相等。因此全部分支两两不交且覆盖 X,形成由空间本身确定的划分。每个分支都闭,但未必开。

直觉

分支回答的是“哪些点属于同一个不能用相对开集拆开的整体”。先固定 x,再把所有能与它处于同一个连通集合中的点收进来;共同的点 x 保证这些集合不会在合并时散开。这与寻找一条可行走的曲线不同,后者定义的是道路分支。

为什么并集连通、分支闭 ​

若上述并集被两个不交非空相对开集 U,V 分开,设 x∈U。每个参与并集的连通集合都含 x,所以不能再碰到 V;结果整个并都在 U 中,与 V 非空矛盾。

连通集 A 的闭包仍连通:假如闭包有一个分离,A 必全在其中一侧;另一侧若非空,它作为闭包中的开集必碰到 A,再次矛盾。对 C(x) 应用这一事实,其闭包是更大的连通集,极大性给出 C(x)―=C(x)。

例子与边界

R∖{0} 的两个分支是 (−∞,0) 和 (0,∞)。它们在该子空间中既开又闭;“闭”不是说它们作为实线子集也闭。

有理数空间 Q 的分支全是单点。若一个子集含 p<q,在两者之间选无理数 a,与 (−∞,a)、(a,∞) 的交便给出分离。但有理数的任意邻域都含其他有理数,所以这些单点分支不开。Cantor 集同样完全不连通而非离散,说明“分支为单点”并不能恢复离散拓扑。

令 G={(x,sin⁡(1/x)):0<x≤1}。其闭包

T=G∪({0}×[−1,1])

只有一个连通分支:G 是区间的连续像,取闭包保持连通。然而极限竖线与 G 分属两个道路分支,因连续路径无法在有限参数时刻穿过无穷振荡。因而把连通分支直接解释成“沿曲线可达区域”会漏掉这种边界现象。

推论与应用

连续映射把连通集送为连通集,因此 f(CX(x))⊆CY(f(x));不要求像填满目标分支。这个包含关系允许逐分支研究解集与拓扑群。

局部连通空间的分支开:分支中每一点都有包含于该分支的连通开邻域,取并即可。若还局部道路连通,则道路分支与连通分支一致。没有这些条件,不能把分支划分当作一族互相隔离的开组件,也不能断言分支的任意并闭。

参考资料
  • James R. Munkres, Topology, 2nd ed., Prentice Hall, 2000,§25,连通分支与局部连通性。
  • Allen Hatcher, Notes on Introductory Point-Set Topology,Cornell University 作者讲义,在线版,访问于 2026,Chapter 2 “Connectedness”。
关系图谱8 个相邻概念 · 3 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
分类位置

上位 / 更一般

下位 / 直接特例

暂未标注直接特例。

类型化关系