# 拓撲連通分支

指定點的連通分支是包含該點的極大連通子集；所有分支分割空間且各自閉。

mko-topological-connected-component · definition · v0.10.0



## 數學敘述

finite topology families完整枚舉subspace topologies與所有connected subsets；含x的connected subsets之union給唯一inclusion-maximal component。再核components兩兩相等或不交、覆蓋X並在指定finite model中closed。有限拓撲因只有有限多components而使每個component同時open，這是有限特例；一般空間的component不必open，Q的通常subspace topology中singletons是components但不open。不得把最大基數、finite-graph connected component或其他結構混同。





## 代表公式（精確 TeX）

K(X,x)=C





## 成立條件


- finite families使用完整carrier與完整topology，不以鄰接圖代替opens。
- connected subset以subspace topology不存在非平凡separation判定。





## 符號作用域


- K — 連通分支算子
- X — 拓撲空間
- x — 指定點
- C — 極大連通子集





## 直觀、定義與常見誤解

完整subspace connectedness枚舉先於inclusion-maximality，不能改用最大基數。

component partition與closed性逐項核對。

finite-space component為clopen是有限特例；Q的symbolic boundary保護一般不open。

把最大基數connected subset、graph連通分量或有限空間中open component的現象當成一般定義。





## 已採用的推導導讀

[完整子集表找包含極大的連通分量](https://ocme.evemisslab.com/zh-Hant/derivations/derivation-mko-topological-connected-component-01/)原始 MKO 保留；導讀有自己的追加式修訂與驗證界線，不代表新 Lean 證明。





## 前置知識


- [連通拓撲空間](https://ocme.evemisslab.com/zh-Hant/mko/mko-connected-topological-space/) — connected subset語義。
- [等價類](https://ocme.evemisslab.com/zh-Hant/mko/mko-equivalence-class/) — component partition。
- [子集合](https://ocme.evemisslab.com/zh-Hant/mko/mko-subset/) — 極大connected subset。
- [拓撲閉包與內部](https://ocme.evemisslab.com/zh-Hant/mko/mko-closure-and-interior/) — 一般component closed性。
- [連通分量](https://ocme.evemisslab.com/zh-Hant/mko/mko-connected-component/) — 同名異結構的精確區分。
- [子空間拓撲](https://ocme.evemisslab.com/zh-Hant/mko/mko-subspace-topology/) — subset connectedness與Q boundary。





## 驗證界線

finite enumeration只證指定topology；一般maximality與closed性仍需證明。

not_formalized

這不表示內容錯誤；只表示尚未登錄可重播的計算或形式證據。





## 下一個義務

加入quasicomponents與local connectedness。





## 同源結構化資料

本頁與互動版共用同一個物件與既有語言 edition；未新增證明或人工審定。

[原始 MKO JSON](https://ocme.evemisslab.com/data/mko/topological-connected-component.json) · [純文字 Markdown](https://ocme.evemisslab.com/zh-Hant/mko/mko-topological-connected-component/index.md)