# 完整子集表找包含極大的連通分量

[← 導讀目錄](https://ocme.evemisslab.com/zh-Hant/derivations/) · [原始 MKO](https://ocme.evemisslab.com/zh-Hant/mko/mko-topological-connected-component/)

這是使用者已採用的自然語言教學導讀。有限／算術檢查不等於普遍證明；本輪未跑 Lean，各稿審查範圍見其修訂記錄。來源原有的狀態標籤保留為歷史資料。公式保留精確 TeX，不另造語意 AST。

derivation-mko-topological-connected-component-01 · ocme-new142-reader-adoption-20261021



## 目標與範圍

求 X={a,b,c}、tau={空集,{a},{b,c},X} 的全部連通分量。

逐一使用誘導拓撲，不借用圖，有限 clopen 結論不外推。





## 已知條件與符號


- sets
- topology
- definition_here


- G1 — X={a,b,c}, tau={空集,{a},{b,c},X}；空空間採連通。


- C_x — 含 x 的連通分量
- \mathcal C — 全部連通子集





## 規則與來源


- mko_definition · cited — 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或其他結構混同。 · mko-topological-connected-component
- sets · prerequisite — 集合的聯、交、補集、包含與函數逆像以逐元素定義計算。
- topology · prerequisite — 拓撲含空集與全集，對任意聯及有限交封閉；有限集合族可完整核對。
- definition_here · prerequisite — 子空間開集為母開集之交；連通子集無非平凡相對開分離；含 x 的分量是全部含 x 連通子集之聯，亦為包含極大連通子集。





## 逐步主鏈

S01 · implies操作前

\{a\}\cap\{b,c\}=\varnothing,\quad\{a\}\cup\{b,c\}=X

操作後

\tau\text{ is a topology}

條件：無

規則：topology · 依賴：G1

葉節點依據：topology

除了兩個互補成員外，與空集全集運算均留在族內；全部聯交公理成立。



S02 · definition操作前

\mathcal P(X)

操作後

\varnothing,\{a\},\{b\},\{c\},\{a,b\},\{a,c\},\{b,c\},X

條件：無

規則：definition_here · 依賴：G1

葉節點依據：definition_here

列出全部八個子集，準備各自誘導拓撲。



S03 · implies操作前

Y=\varnothing,\{a\},\{b\},\{c\}

操作後

\tau_\varnothing=\{\varnothing\},\quad\tau_{\{p\}}=\{\varnothing,\{p\}\}

條件：無

規則：sets · 依賴：S01, S02

葉節點依據：sets

四個小子集的誘導拓撲如列，都沒有非平凡分離。



S04 · implies操作前

Y=\{a,b\},\{a,c\}

操作後

\tau_{\{a,b\}}=\mathcal P(\{a,b\}),\quad\tau_{\{a,c\}}=\mathcal P(\{a,c\})

條件：無

規則：sets · 依賴：S01, S02

葉節點依據：sets

相交母開集後得到兩點離散拓撲，各由兩單點分離，故不連通。



S05 · implies操作前

Y=\{b,c\},\ X

操作後

\tau_{\{b,c\}}=\{\varnothing,\{b,c\}\};\quad X=\{a\}\sqcup\{b,c\}

條件：無

規則：sets · 依賴：S01, S02

葉節點依據：sets

{b,c} 的誘導拓撲僅含空集與全集，因此連通；X 的兩個非空互補開集則明示一個分離。



S06 · definition操作前

\mathcal C=\{\varnothing,\{a\},\{b\},\{c\},\{b,c\}\}

操作後

C_a=\bigcup\{A\in\mathcal C:a\in A\}=\{a\};\quad C_b=C_c=\{b,c\}

條件：無

規則：definition_here · 依賴：S03, S04, S05

葉節點依據：definition_here

把含指定點的全部連通子集取聯，分別得到唯一包含極大候選。



S07 · implies操作前

\{C_a,C_b\}=\{\{a\},\{b,c\}\}

操作後

C_a\cap C_b=\varnothing,\quad C_a\cup C_b=X

條件：無

規則：sets · 依賴：S06

葉節點依據：sets

兩分量不同即不交，且完整覆蓋載體。



S08 · implies操作前

X\setminus C_a=C_b\in\tau,\quad X\setminus C_b=C_a\in\tau

操作後

C_a,C_b\text{ both closed and open}

條件：無

規則：sets · 依賴：G1, S07

葉節點依據：sets

本有限模型兩分量均閉且開；這不是一般空間分量必開的宣稱。







## 局部子步與引理

本稿無局部子步。





## 逐步反向審查


- S08 · premise_audit · G1, S07 — 一般 Q 中分量是單點但不開；任意兩異有理數可用中間無理數切開，而每個有理鄰域含其他有理數。
- S07 · premise_audit · S06 — 重複的 C_c=C_b 已正規化，不算第三分量。
- S06 · premise_audit · S03, S04, S05 — {a} 基數小仍是極大，沒有被較大但不包含它的 {b,c} 取代。
- S05 · premise_audit · S01, S02 — 至此八個子集的連通狀態全部決定。
- S04 · premise_audit · S01, S02 — 已列完整四項冪集描述，不以母空間點數推斷。
- S03 · premise_audit · S01, S02 — 空集採已宣告慣例，單點只一個非空集合。
- S02 · premise_audit · G1 — 最大性必基於完整候選，不是只看較大集合。
- S01 · premise_audit · G1 — 四項清單完整。





## 錯誤控制與反例

完整子集表先核八個誘導子空間，再判包含極大。

不混最大極大是不能被真包含於另一連通子集，不是基數最大。


- 只有最大基數連通集才是分量。 → reject — {a} 雖較小仍包含極大。
- {a,b} 也是連通。 → reject — 其誘導拓撲是兩點離散，可分離。
- 一般空間的分量都開。 → reject — Q 的單點分量不開，S08 已給分離與非開理由。





## 結論與限制

分量為 {a} 與 {b,c}，它們分割 X，且在本有限空間均開閉。







## 驗證及來源綁定

0 個本稿宣告算術檢查；只支持所列算式。


- source commit: b1b2f1dcf8c50d67a93fe52d95f8eef7b3abba9f
- adopted source SHA-256: 6e7ae0b999704533941449659c621f44afd0b89cb6a393c46fd149e31af15455
- original source SHA-256: f483b0fb384b4a7aa4bbe6cef26217d76cd52ab525b06d887513dadcd82709d5
- Lean: NOT_RUN · independent AI: SCOPED_LEAD_AND_BILINGUAL_CONTEXT_REVIEW

[同源完整 JSON（含公式、AST、反控制與修訂記錄）](https://ocme.evemisslab.com/data/derivations/coverage-20261021/guides/derivation-mko-topological-connected-component-01.json)