连通与连通分量

它指向谁（出边）

推出 1

• 本页 ⟹ 连通分量是闭开邻域之交推出
  紧 Hausdorff 中连通分量是闭开邻域之交

  记 $C := \bigcap \{K : K \text{ 闭开},\ x \in K\}$。

  $C(x) \subseteq C$。 每个含 $x$ 的闭开集 $K$ 都是既不空又不全的开集，所以 $x$ 的连通分量只能整个落在 $K$ 里或整个落在 $K$ 外；既然 $x \in K$，就有 $C(x) \subseteq K$。对一切这样的 $K$ 取交即得。

  $C$ 连通。 反设 $C = F \sqcup G$，其中 $F, G$ 在 $C$ 中闭、不交、非空，并设 $x \in F$。$C$ 是闭集之交因而闭，于是 $F, G$ 在 $S$ 中闭。紧 Hausdorff 空间正规，取不交开集 $U \supseteq F$、$V \supseteq G$。令 $K := (U \cup V)^{c}$，它闭且 $K \cap C = \emptyset$。

  由 $C$ 的定义与 $K \cap C = \emptyset$，存在含 $x$ 的闭开集 $H$ 使 $H \cap K = \emptyset$，即 $H \subseteq U \cup V$。于是 $H \cap U$ 与 $H \cap V$ 都是 $H$ 中的闭开集（$U, V$ 不交故各自的补在 $H$ 中开），进而在 $S$ 中闭开（$H$ 闭开）。其中 $H \cap U \ni x$，所以由 $C$ 的定义 $C \subseteq H \cap U \subseteq U$，从而 $C \cap V = \emptyset$，与 $G \subseteq C \cap V$ 非空矛盾。∎

  这一步是后面 Stone 对偶与 $\mathrm{Cond}$ 里「连通分量可控」的来源：在 $\mathbf{CHaus}$ 里，连通分量由闭开集这个可以自由摆弄的族描述出来。

定义引用 6

• 连通的像与闭包 用到 本页定义引用

  两条都围绕连通性。

• 连通分量是闭开邻域之交 用到 本页定义引用

  命题算的是连通分量。

• 全不连通空间是反射子范畴 用到 本页定义引用

  反射 $\pi_{0}$ 就是把每个点送到它的连通分量。

• 全不连通与 Stone 空间 用到 本页定义引用

  「全不连通」说的是每个连通分量都是单点。

• 完全不连通与极不连通 用到 本页定义引用

  「完全不连通」= 每个连通分量都是单点。

• 连通局部紧到离散只剩 Ext一次 用到 本页定义引用

  源 $M$ 要求连通。

谁指向它（入边）

定义引用 1

• 拓扑空间与开集 → 本页定义引用

  「不能写成两个不交非空开集之并」是拿拓扑说出来的。