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

目標與範圍

求 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 連通子集之聯，亦為包含極大連通子集。

逐步主鏈

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

\tau\text{ is a topology}

\mathcal P(X)

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

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

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

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

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

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

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

\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\}

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

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

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}

局部子步與引理

本稿無局部子步。

逐步反向審查

• 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、反控制與修訂記錄）