# 在鏈狀三點拓撲求閉包與內部

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

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

derivation-mko-closure-and-interior-01 · ocme-new142-reader-adoption-20261021



## 目標與範圍

求 A={b} 的閉包及內部。

完整有限拓撲的逐集計算；沒有指定度量。





## 已知條件與符號


- sets
- topology
- definition_here


- G1 — X={a,b,c}，完整候選族 tau={空集,{a},{a,b},X}，A={b}。


- \tau — 完整開集族
- \overline A — 閉包
- A^\circ — 內部





## 規則與來源


- mko_definition · cited — 題目先完整驗證有限拓撲，再由全部閉超集或開子集精確求閉包與內部。空集、全空間及拓撲相對性均保留，不暗中使用度量。 · mko-closure-and-interior
- sets · prerequisite — 集合的聯、交、補集、包含與函數逆像以逐元素定義計算。
- topology · prerequisite — 拓撲含空集與全集，對任意聯及有限交封閉；有限集合族可完整核對。
- definition_here · prerequisite — 閉集是開集的相對補集；閉包為全部閉超集之交，內部為全部開子集之聯。





## 逐步主鏈

S01 · implies操作前

\tau=\{\varnothing,\{a\},\{a,b\},X\}

操作後

\varnothing,X\in\tau

條件：無

規則：topology · 依賴：G1

葉節點依據：topology

先核所有成員都是 X 的子集且包含兩個必要端點。



S02 · implies操作前

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

操作後

U\cup V=\max_{\subseteq}(U,V),\quad U\cap V=\min_{\subseteq}(U,V)

條件：無

規則：sets · 依賴：G1, S01

葉節點依據：sets

族是有限包含鏈，非空子族的聯交分別是最大與最小成員。空聯為空集，空交為 X，故全部公理成立。



S03 · definition操作前

F=X\setminus U\ (U\in\tau)

操作後

\mathcal F=\{X,\{b,c\},\{c\},\varnothing\}

條件：無

規則：definition_here · 依賴：G1, S02

葉節點依據：definition_here

逐一取相對 X 的補集，得到全部閉集，不遺漏空集。



S04 · equivalent操作前

A=\{b\},\quad A\subseteq F\in\mathcal F

操作後

\{F\in\mathcal F:A\subseteq F\}=\{\{b,c\},X\}

條件：無

規則：sets · 依賴：G1, S03

葉節點依據：sets

空集與 {c} 都漏掉 b，所以只有另外兩個閉超集。



S05 · definition操作前

\overline A=\bigcap\{F\text{ closed}:A\subseteq F\}

操作後

\overline A=\{b,c\}\cap X=\{b,c\}

條件：無

規則：definition_here · 依賴：S04

葉節點依據：definition_here

閉包是所有閉超集的交，不是任挑其中一個。



S06 · equivalent操作前

U\in\tau,\quad U\subseteq\{b\}

操作後

\{U\in\tau:U\subseteq A\}=\{\varnothing\}

條件：無

規則：sets · 依賴：G1, S02

葉節點依據：sets

每個非空開集都含 a，因此不能包含在 {b} 中。



S07 · definition操作前

A^\circ=\bigcup\{U\in\tau:U\subseteq A\}

操作後

A^\circ=\varnothing

條件：無

規則：definition_here · 依賴：S06

葉節點依據：definition_here

內部是全部開子集的聯；這裡唯一項是空集。



S08 · implies操作前

A^\circ\subseteq A\subseteq\overline A

操作後

\varnothing\subseteq\{b\}\subseteq\{b,c\}

條件：無

規則：sets · 依賴：S05, S07

葉節點依據：sets

將計算結果代回兩個基本包含關係，並記住換拓撲會換答案。







## 局部子步與引理

本稿無局部子步。





## 逐步反向審查


- S08 · premise_audit · S05, S07 — 包含檢查只是結果核對；真正的閉包與內部由先前完整交聯給出。
- S07 · premise_audit · S06 — 空集確實開且在 A 中；沒有較大的開子集可加入。
- S06 · inverse_equivalence · G1, S02 — 核對全部三個非空開集而不是只看最小開集的名稱。
- S05 · premise_audit · S04 — {b,c} 是閉且含 A；任何閉超集都含它，核到最小性。
- S04 · inverse_equivalence · G1, S03 — 兩個入選集合都含 b，兩個落選集合都不含，已窮盡四項。
- S03 · premise_audit · G1, S02 — 把四個閉集再取補集恰好回到原拓撲，確認全集綁定。
- S02 · premise_audit · G1, S01 — 這是列出的整族的鏈性，不是只核一對集合。
- S01 · premise_audit · G1 — 只核端點不足以完成公理；後面仍要核交與聯。





## 錯誤控制與反例

全族責任先列全部閉超集再取交，先列全部開子集再取聯。

全集綁定補集均相對 X，不相對 A。


- 閉包是 X，因為 X 閉且含 A。 → reject — 漏掉更小閉超集 {b,c}。
- {b} 的內部是 {b}。 → reject — {b} 不在完整開集族。
- 上述答案對 X 上所有拓撲都一樣。 → reject — 離散拓撲使 {b} 自己開且閉。





## 結論與限制

在指定拓撲，閉包 {b,c}、內部空集。空集與 X 的閉包及內部分別仍是自己。







## 驗證及來源綁定

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


- source commit: b1b2f1dcf8c50d67a93fe52d95f8eef7b3abba9f
- adopted source SHA-256: 4d2edbe08895d69e94f4ee3bf38a0402fcb0ae2147791f8a665f438b55ac9303
- original source SHA-256: 2fa41873c0ddcc9253a540235a90fa71fd13d0554b298df20b082b0267e4e54a
- Lean: NOT_RUN · independent AI: SCOPED_LEAD_AND_BILINGUAL_CONTEXT_REVIEW

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