# MRSM Paper 01 # 證明空間幾何與閉包拓樸 ## Proof-Space Geometry and Closure Topology ### Typed Hypergraphs, Frontiers, Cut Sets, Quotients, and Relative Exhaustion in Mathematical Research Spaces **Series:** Mathematical Research Space Methodology（MRSM） **Paper:** 01 **Version:** v0.1 **Date:** 2026-08-28 **Author:** Neo.K **Institution:** EveMissLab／一言諾科技有限公司 --- ## 摘要 大型數學研究問題通常不是由單一路徑從假設導向定理，而是由大量相互競爭、合流、分叉、受阻、重新開啟與跨表示轉移的證明路線共同構成。傳統 theorem dependency graph 可以描述「某一定理依賴哪些引理」，但不足以描述一個尚未完成的研究問題之整體證明空間：哪些路線仍可容許、哪些僅在特定作用域下被阻斷、哪些失敗只是表示失效、哪些 survivor 尚未排除，以及何種條件下可以合理聲稱某一研究分支已被窮盡。 本文作為 **Mathematical Research Space Methodology（MRSM）** 系列第二篇，提出一套 **Proof-Space Geometry and Closure Topology**。其核心不是將既有證明畫成圖，而是把一個研究問題的可能證明路線、局部結構、阻礙與邊界共同視為一個具有型別、作用域、狀態與歷史的動態數學空間。 本文首先區分三個不可坍縮的空間： \[ \Omega^{\rm math}(Q), \qquad \Omega^{\rm adm}_{D,\Theta,\mathcal A}(Q), \qquad \Omega^{\rm obs}_{R,N,H}(Q), \] 分別代表數學上真正可能的研究空間、在指定理論與可容許規則下的研究空間，以及在指定資源、表示與歷史條件下實際可觀察的研究空間。本文要求始終保持： \[ \boxed{ \Omega^{\rm obs} \neq \Omega^{\rm adm} \neq \Omega^{\rm math} } \] 作為防止「已觀察路線窮盡」被誤宣稱為「絕對數學完備」的核心 epistemic firewall。 在此基礎上，本文定義 typed directed hypergraph、proof route、route quotient、proof neighborhood、frontier、cut set、obstruction cover、survivor region、relative exhaustion 與 parent closure gate，並提出一個從局部阻斷到相對閉包的階層化結構。最終，我們主張：大型數學問題的「尚未解決」不應只是一個單一 UNKNOWN 標籤，而應被理解為一個具有可觀察幾何、可計算前沿與可審核閉包條件的動態研究空間。 **關鍵詞：** Mathematical Research Space、Proof Space、Closure Topology、Frontier、Cut Set、Obstruction、Relative Exhaustion、Typed Hypergraph、AI Mathematics、Proof Search --- # 1. 導論：從「證明一個命題」到「研究一個證明空間」 傳統形式數學最核心的表示之一是： \[ \Gamma\vdash P, \] 其中 \(\Gamma\) 表示假設、定義與已知結果，而 \(P\) 是欲建立的命題。 然而對長期未解問題而言，研究狀態通常不是： \[ \Gamma \longrightarrow P \] 的一條單線，而是： \[ \Gamma \rightsquigarrow \{ R_1,R_2,\ldots,R_n \} \rightsquigarrow P, \] 其中每一個 \(R_i\) 都可能： - 採用不同 representation； - 使用不同外部 theorem； - 依賴不同 scope； - 遇到不同 obstruction； - 在某些子情形成功； - 在另一些情形失敗； - 與其他 route 合流； - 因新證據而 reopening。 因此「此問題目前尚未證明」其實是一種極度壓縮的描述。 更完整的問題是： > 尚未證明的原因是什麼？ 可能是： \[ \text{尚有 survivor}, \] 也可能是： \[ \text{route completeness 未建立}, \] 或者： \[ \text{representation transfer 尚未驗證}, \] 甚至可能只是： \[ \text{目前尚未觀察到更多 route}. \] 這些狀態在邏輯上並不相同。 因此本文提出： \[ \boxed{ \textbf{Proof Search Space 應被視為一級數學對象。} } \] --- # 2. 三個不可坍縮的證明空間 令 \(Q\) 為一個數學研究問題。 我們首先定義三個層級。 --- ## 2.1 Mathematical Proof Space 令： \[ \Omega^{\rm math}(Q) \] 表示： > 在數學本身中，所有真正可能與 \(Q\) 有關的合法證明結構、反證結構、等價轉換與 obstruction 的總空間。 這是一個理想化對象。 一般情況下研究者並不知道： \[ \Omega^{\rm math}(Q) \] 的完整內容。 --- ## 2.2 Admissible Proof Space 固定： - domain \(D\)； - theory set \(\Theta\)； - admissibility rules \(\mathcal A\)。 定義： \[ \Omega^{\rm adm}_{D,\Theta,\mathcal A}(Q). \] 它表示： > 在指定數學語境、作用域與推理規則下，目前承認為可容許的證明空間。 通常可以理解為： \[ \Omega^{\rm adm} \subseteq \Omega^{\rm math}, \] 但這種包含關係必須謹慎理解，因為 \(\Omega^{\rm math}\) 本身通常不可完全建構。 --- ## 2.3 Observed Proof Space 固定： - representation set \(R\)； - knowledge/corpus state \(N\)； - research history \(H\)。 定義： \[ \Omega^{\rm obs}_{R,N,H}(Q). \] 它表示： > 目前研究者或機器系統實際已知、已編碼或已觀察到的證明空間。 因此至少在方法論上必須保持： \[ \boxed{ \Omega^{\rm obs} \neq \Omega^{\rm adm} \neq \Omega^{\rm math}. } \] --- # 3. 第一條非坍縮原則 本文提出： ## Principle 1 — Observability Non-Collapse 不得由： \[ \Omega^{\rm obs} \text{ 中所有已知 route 均被處理} \] 推導： \[ \Omega^{\rm math} \text{ 已被完全窮盡}. \] 即： \[ \boxed{ \mathsf{ObservedExhaustion} \not\Rightarrow \mathsf{AbsoluteCompleteness}. } \] 這是本文最核心的 closure firewall。 因為新的： - representation； - theorem； - bridge； - construction； - invariant； 都可能導致： \[ \Omega^{\rm obs}_{t+1} \supsetneq \Omega^{\rm obs}_{t}. \] 因此真正安全的結論通常只能是： \[ \boxed{ \mathsf{RelativeExhaustion}. } \] --- # 4. Typed Proof Hypergraph 為表示研究空間，引入 typed directed hypergraph： \[ \mathcal H_Q = ( V,E,\tau_V,\tau_E,\sigma,\chi,\nu ). \] 其中： - \(V\)：節點； - \(E\)：hyperedges； - \(\tau_V\)：節點型別； - \(\tau_E\)：邊型別； - \(\sigma\)：狀態； - \(\chi\)：scope / constraint metadata； - \(\nu\)：版本或歷史序號。 --- ## 4.1 Node Types 令： \[ \mathcal T_V= \{ \mathrm{CLAIM}, \mathrm{LEMMA}, \mathrm{ROUTE}, \mathrm{OBSTRUCTION}, \mathrm{SURVIVOR}, \mathrm{FRONTIER}, \mathrm{BRIDGE}, \mathrm{CERTIFICATE}, \mathrm{DEBT}, \mathrm{REPRESENTATION} \}. \] 必要時可擴充。 --- ## 4.2 Edge Types 令： \[ \begin{aligned} \mathcal T_E= \{ &\mathrm{IMPLIES}, \mathrm{DEPENDS\_ON}, \mathrm{ASSUMES},\\ &\mathrm{REFINES}, \mathrm{GENERALIZES}, \mathrm{SPECIALIZES},\\ &\mathrm{BLOCKS}, \mathrm{REFUTES}, \mathrm{SURVIVES},\\ &\mathrm{REDUCES\_TO}, \mathrm{SPLITS\_INTO},\\ &\mathrm{BRIDGES\_TO}, \mathrm{VALIDATED\_BY},\\ &\mathrm{REOPENS}, \mathrm{SUPERSEDES} \}. \end{aligned} \] typed edge 的目的不是形式裝飾。 它直接防止： \[ \mathrm{BLOCKS} \] 被錯譯成： \[ \mathrm{REFUTES}. \] --- # 5. Proof Route 令 root claim 為： \[ q_0. \] 一條 proof route 可表示成： \[ R= (v_0,e_1,v_1,e_2,\ldots,e_n,v_n). \] 但研究上的 route 通常不只是普通 path。 因為某一步可能要求： \[ \{v_1,v_2,v_3\} \Longrightarrow v_4. \] 因此 hypergraph 比普通 directed graph 更合適。 --- # 6. Route State 對 route \(R\)，定義： \[ \sigma(R) \in \{ \mathrm{OPEN}, \mathrm{CONDITIONAL}, \mathrm{BLOCKED}, \mathrm{CLOSED}^{+}, \mathrm{CLOSED}^{-}, \mathrm{STALE}, \mathrm{REOPENED} \}. \] 必須保持： \[ \boxed{ \mathsf{BLOCKED} \neq \mathsf{CLOSED}^{-}. } \] 原因是： \[ \mathsf{BLOCKED} \] 只表示目前這條 route 無法繼續。 它完全不意味： \[ \neg Q. \] --- # 7. Local Obstruction 與 Global Refutation 令： \[ O \] 為 obstruction。 若： \[ O\ \mathrm{BLOCKS}\ R, \] 則最多得到： \[ R \text{ 在指定 scope 中 blocked}. \] 不能自動得到： \[ Q=\mathrm{false}. \] 因此： \[ \boxed{ \mathsf{RouteBlocked} \neq \mathsf{ClaimRefuted} \neq \mathsf{BranchClosed} \neq \mathsf{ProblemClosed}. } \] 這四者形成不同層級。 --- # 8. Proof Neighborhood 對某節點 \(v\)，定義研究鄰域： \[ \mathcal N_r(v). \] 它不是純粹 graph distance。 更一般而言，可以由： - dependency radius； - shared assumptions； - representation proximity； - scope overlap； - common obstruction； - bridge distance； 共同決定。 因此可以定義： \[ d_{\rm proof}(u,v) \] 作為一種複合 proof-space distance。 例如： \[ d_{\rm proof} = \alpha d_{\rm graph} + \beta d_{\rm scope} + \gamma d_{\rm rep} + \delta d_{\rm dependency}. \] 這不必被理解成唯一標準 metric。 更準確地說，它是一族研究空間幾何。 --- # 9. Route Equivalence 多條 proof route 可能表面不同，實際卻依賴相同核心結構。 定義 equivalence relation： \[ R_i\sim R_j \] 若它們在指定 abstraction level 下具有相同： - critical assumptions； - obstruction structure； - representation core； - closure dependency。 形成 quotient： \[ \Omega/\sim. \] --- # 10. 為什麼需要 Quotient 如果不 quotient，大型 research graph 可能包含： \[ 10^5 \] 條表面不同的 route。 但其中： \[ 10^4 \] 條可能只是同一 proof mechanism 的參數變體。 因此研究真正需要處理的是： \[ [R]_{{\sim}}. \] 這使得： \[ \text{route counting} \] 轉化為： \[ \text{mechanism counting}. \] --- # 11. Quotient Firewall 然而 quotient 具有風險。 若錯誤地認定： \[ R_i\sim R_j, \] 可能導致： > 阻斷 \(R_i\)，卻誤以為整個 quotient class 都被阻斷。 因此： \[ \boxed{ \mathsf{TextualSimilarity} \neq \mathsf{RouteEquivalence}. } \] 真正的 quotient 至少需要驗： \[ \begin{aligned} &\text{scope compatibility},\\ &\text{assumption compatibility},\\ &\text{representation compatibility},\\ &\text{target identity}. \end{aligned} \] --- # 12. Frontier 令目前可觀察研究空間為： \[ \Omega_t^{\rm obs}. \] 定義 active frontier： \[ \partial^\ast\Omega_t. \] frontier 不是全部 OPEN nodes。 而是： > 當前尚未解決，且其解決最可能實質改變整體 closure state 的最小高價值節點或 quotient classes。 --- # 13. Frontier 的最小性 理想 frontier 可滿足： \[ \forall R\in\mathcal R_{\rm unresolved}, \] 存在： \[ f\in\partial^\ast\Omega \] 使所有仍可能導向 parent closure 的 route 必須通過或依賴 \(f\)。 此時 frontier 近似一種 unresolved cut。 --- # 14. Cut Set 對 root problem \(Q\)，令 candidate route family 為： \[ \mathcal R(Q). \] 集合： \[ C\subseteq V \] 稱為 proof cut set，若所有從 admissible starting region 到 target closure region 的 route 都必須穿過 \(C\)。 形式上： \[ \forall R\in\mathcal R_{\rm adm}(Q), \qquad R\cap C\neq\varnothing. \] --- # 15. Certified Cut 普通 cut 只是一個 graph property。 MRSM 所需的是： \[ \boxed{ \mathsf{CertifiedCut}. } \] 它還必須附帶： - route coverage certificate； - quotient validity； - scope compatibility； - version； - unresolved debt。 因此： \[ \mathsf{GraphCut} \neq \mathsf{ProofCut}. \] --- # 16. Obstruction Cover 設 obstruction family： \[ \mathfrak O = \{ O_1,\ldots,O_m \}. \] 若每個 admissible dangerous route class 都被至少一個 \(O_i\) 阻斷，則： \[ \mathfrak O \] 形成 obstruction cover。 即： \[ \forall [R]\in \mathcal R_{\rm dangerous}/\sim, \] 存在 \(O_i\)： \[ O_i\ \mathrm{BLOCKS}\ [R]. \] --- # 17. Cover 不是 Closure 即使已得到 obstruction cover，也不能立即得到 parent closure。 因為還有至少三種 debt： \[ d_{\rm route}, \qquad d_{\rm quotient}, \qquad d_{\rm scope}. \] 所以： \[ \boxed{ \mathsf{ObstructionCover} \neq \mathsf{ParentClosure}. } \] --- # 18. Survivor Region 在 obstruction propagation 後尚未被合法排除的 route classes，定義為： \[ \mathcal S_t. \] 稱 survivor region。 要特別注意： \[ \boxed{ \mathsf{Survivor} \neq \mathsf{Realizable}. } \] survivor 只表示： > 尚未被當前 obstruction system 排除。 --- # 19. Survivor Compression 隨研究進展，可能有： \[ |\mathcal S_t| \gg |\mathcal S_{t+1}|. \] 即使問題仍未解決，這也表示 research space 發生實質壓縮。 因此研究進展不必只有： \[ \mathrm{OPEN} \to \mathrm{CLOSED}. \] 也可以是： \[ \boxed{ \mathcal S_0 \supset \mathcal S_1 \supset \cdots \supset \mathcal S_n. } \] --- # 20. Relative Exhaustion 令： \[ \mathcal R^{\rm adm}_{D,\Theta,\mathcal A}(Q) \] 為指定 admissibility contract 下的 route classes。 若： \[ \forall [R] \in \mathcal R^{\rm adm}/\sim \] 均已被： - closed； - blocked； - reduced； - discharged； - 或合法轉移到已處理 branch； 則稱： \[ \boxed{ \mathsf{RelativeExhaustion} ( Q; D,\Theta,\mathcal A,R,N,H ). } \] --- # 21. Exhaustion Ladder 為避免二元化，本文提出： \[ \mathsf{EXH}_0 \to \mathsf{EXH}_1 \to \cdots \to \mathsf{EXH}_5. \] --- ## EXH0 — Unstructured Open Space 只有： \[ Q=\mathrm{OPEN}. \] proof landscape 未結構化。 --- ## EXH1 — Route Inventory 主要 route family 已被建立。 --- ## EXH2 — Quotient Frontier 主要 route 已 quotient 成有限或可管理 frontier。 --- ## EXH3 — Certified Cuts 核心 frontier / cut 已有 coverage evidence。 --- ## EXH4 — Obstruction Cover 所有已知 admissible dangerous quotient classes均被覆蓋。 --- ## EXH5 — Relative Exhaustion 在明確 ScopeContract、representation 與 admissibility policy 下，所有 admissible escape classes 已處理。 然而： \[ \boxed{ \mathsf{EXH}_5 \neq \mathsf{AbsoluteCompleteness}. } \] --- # 22. Closure Operator 在固定 context： \[ \Xi= (D,\Theta,\mathcal A,R,N,H) \] 下，定義相對 closure operator： \[ \operatorname{Cl}_{\Xi}. \] 對研究集合 \(A\subseteq\Omega^{\rm obs}\)， \[ \operatorname{Cl}_{\Xi}(A) \] 表示： > 根據當前 admissible inference、certificates、obstruction propagation 與 bridge rules，從 \(A\) 可合法確定的研究區域。 理想情況下希望具有： \[ A \subseteq \operatorname{Cl}_{\Xi}(A) \] 及單調性： \[ A\subseteq B \Rightarrow \operatorname{Cl}_{\Xi}(A) \subseteq \operatorname{Cl}_{\Xi}(B). \] 但時間依賴研究系統不必具有永久 idempotence。 因為 policy / corpus 改變後： \[ \operatorname{Cl}_{\Xi_t} \] 本身也可能改變。 --- # 23. Static Closure 與 Dynamic Closure 在固定： \[ \Xi \] 下，可以有： \[ \operatorname{Cl}_{\Xi} ( \operatorname{Cl}_{\Xi}(A) ) = \operatorname{Cl}_{\Xi}(A). \] 但如果： \[ \Xi_t\neq\Xi_{t+1}, \] 則： \[ \operatorname{Cl}_{\Xi_{t+1}}(A) \] 可能重新打開舊邊界。 因此： \[ \boxed{ \text{Closure is policy-relative and history-sensitive.} } \] --- # 24. Reopening as Boundary Motion 若新 theorem \(T\) 出現，使原 route： \[ R \] 的 obstruction \(O\) 不再適用， 則： \[ R: \mathrm{BLOCKED} \to \mathrm{REOPENED}. \] 幾何上可理解為： \[ \partial^\ast\Omega_t \to \partial^\ast\Omega_{t+1}. \] 即 proof frontier 發生位移。 --- # 25. Closure Hysteresis 如果 route 曾經被 blocking certificate 關閉，之後 reopening 並不應刪除原 blocking history。 因此研究 state 應保留： \[ \mathsf{History}(R). \] 這使系統具有一種 closure hysteresis： \[ \boxed{ \text{Current OPEN} \neq \text{Never Previously Blocked}. } \] --- # 26. Parent Closure Gate 假設 root claim \(Q\) 依賴： \[ R_1\vee R_2\vee \cdots \vee R_n. \] 要宣稱 parent closure，至少需要： 1. route completeness； 2. quotient validity； 3. obstruction validity； 4. scope compatibility； 5. certificate authority； 6. unresolved debt \(=0\) 或明確被允許； 7. no active survivor capable of escaping parent closure。 因此： \[ \boxed{ \mathsf{ParentClosure} = \mathsf{RouteCoverage} \land \mathsf{CertifiedCut} \land \mathsf{ObstructionCover} \land \mathsf{ScopeValid} \land \mathsf{DebtResolved}. } \] --- # 27. Local Closure 不傳播為 Global Closure 設： \[ B\subseteq\Omega. \] 若： \[ \operatorname{Cl}(B)=B, \] 只能表示： \[ B \] 相對閉合。 它不表示： \[ \operatorname{Cl}(\Omega)=\Omega. \] 因此： \[ \boxed{ \mathsf{LocalClosure} \not\Rightarrow \mathsf{GlobalClosure}. } \] --- # 28. Scope Topology 不同 theorem 的作用域可以形成偏序： \[ S_1\preceq S_2 \] 若 \(S_1\) 是 \(S_2\) 的合法子作用域。 因此 scope space 本身可形成： \[ (\mathcal S,\preceq). \] 若 theorem \(T\) 在 \(S_1\) 被證明： \[ T|_{S_1}, \] 不得直接推導： \[ T|_{S_2}. \] 即使： \[ S_1\preceq S_2. \] --- # 29. Scope Boundary scope expansion： \[ S_1 \to S_2 \] 本身就是 proof obligation。 它通常需要 bridge： \[ B_{S_1\to S_2}. \] 因此： \[ \boxed{ \text{Scope Expansion} = \text{A Mathematical Operation}. } \] 而不是自然語言中的修辭。 --- # 30. Representation Geometry 令： \[ \mathcal R= \{ \rho_1,\rho_2,\ldots \} \] 為 representations。 例如： - Fourier； - physical-space； - tensor； - graph； - symbolic； - probabilistic； - geometric。 同一 claim 可能在不同 representation 中具有不同 route geometry。 因此： \[ \Omega_{\rho_i} \] 不必與： \[ \Omega_{\rho_j} \] 具有相同 frontier。 --- # 31. Representation Bridge 若存在： \[ T_{\rho_i\to\rho_j}, \] 則必須區分： \[ \text{structure preservation}, \] 與： \[ \text{proof authority preservation}. \] 即： \[ \boxed{ \mathsf{TransferableStructure} \neq \mathsf{TransferableClosureAuthority}. } \] 這是跨 representation proof search 中的重要 firewall。 --- # 32. Proof-Space Geometry 並非單一 Euclidean Geometry 本文使用「geometry」一詞，不代表 proof space 必須是一個標準 metric manifold。 更準確地說： \[ \boxed{ \text{Proof-Space Geometry} } \] 表示一族描述： - proximity； - connectedness； - boundary； - quotient； - cut； - reachability； - closure； - deformation； 的結構。 它可以依研究問題採用： - graph geometry； - topology； - order structure； - category； - metric-like structure； - sheaf-like local/global organization。 --- # 33. Algorithmic Frontier Reconstruction 一個 AI-native runtime 可以執行： \[ \mathsf{BuildGraph} \] \[ \mathsf{QuotientRoutes} \] \[ \mathsf{FindCuts} \] \[ \mathsf{PropagateObstructions} \] \[ \mathsf{ComputeSurvivors} \] \[ \mathsf{RebuildFrontier}. \] 一個簡化 pipeline： \[ \boxed{ \text{Route Space} \to \text{Quotient} \to \text{Cut} \to \text{Obstruction Cover} \to \text{Survivor Set} \to \text{Frontier}. } \] 這使「下一個應研究什麼」第一次成為部分可計算問題。 --- # 34. AI 的真正優勢：Global Proof-Space Attention 人類研究者很難同時維持： \[ 10^4 \] 個 route states。 AI + persistent graph 可以。 因此 AI 的優勢不只是在單一步驟： \[ A\Rightarrow B \] 上更快。 而是能保持： \[ \boxed{ \text{Global attention over large proof-space state}. } \] 這是傳統 proof assistant 也不完全處理的層。 proof assistant 驗證： \[ \Gamma\vdash P. \] MRSM runtime則維護： \[ \Gamma \rightsquigarrow \Omega_Q. \] 兩者是互補關係。 --- # 35. 方法論限制 Proof-Space Geometry 並不能保證問題可解。 至少存在以下失敗模式。 ### 35.1 Hidden Route 真正關鍵 route 不在： \[ \Omega^{\rm obs}. \] ### 35.2 Wrong Quotient 不同 route 被錯誤合併。 ### 35.3 False Cut 目前 cut 並未真正覆蓋所有 admissible routes。 ### 35.4 Scope Inflation 局部 obstruction 被提升為 global obstruction。 ### 35.5 Representation Collapse 某 representation 中的失敗被誤解為數學對象本身失敗。 ### 35.6 Corpus Bias 研究空間只是現有文獻的偏差投影。 因此： \[ \boxed{ \text{Better Proof-Space Geometry} \neq \text{Guaranteed Proof}. } \] --- # 36. 與傳統 Proof Search 的差異 傳統 automated theorem proving 常研究： \[ s_0 \to s_1 \to s_2 \to \cdots \] 即 proof-state search。 本文則關心更高階的： \[ \boxed{ \text{search over families of proof searches}. } \] 包括： - 哪種 representation； - 哪種 theorem family； - 哪條 bridge； - 哪個 obstruction； - 哪些 route 已證明不值得再搜尋。 因此它是： \[ \text{meta-level proof-space organization}. \] --- # 37. Proof-Space Geometry 的研究價值 即使沒有最終解決 \(Q\)，此方法仍可產生可累積的研究資產： \[ \boxed{ \text{Certified Impossible Regions} } \] \[ \boxed{ \text{Survivor Classes} } \] \[ \boxed{ \text{Minimal Frontiers} } \] \[ \boxed{ \text{Scope-Limited Closures} } \] \[ \boxed{ \text{Reopening Conditions}. } \] 這使失敗研究不再只是： > 沒證出來。 而能轉化成： \[ \boxed{ \text{structured negative knowledge}. } \] --- # 38. 從「未解問題」到「未閉包空間」 本文提出一個不同的觀察方式。 傳統描述： \[ Q=\mathrm{OPEN}. \] MRSM 描述： \[ \boxed{ \mathfrak M_Q \text{ 尚未 closure}. } \] 因此未解問題的研究目標可以轉化為： \[ \text{identify frontier}, \] \[ \text{reduce survivors}, \] \[ \text{certify cuts}, \] \[ \text{discharge debt}, \] 直到： \[ \mathfrak C^{\rm rel}(Q) \] 成立。 --- # 39. 但 Relative Closure 不是終極真理 這是本文必須再次強調的終極 firewall： \[ \boxed{ \mathfrak C^{\rm rel} \neq \mathfrak C^{\rm absolute}. } \] 因為任一時刻： \[ \Omega^{\rm obs} \] 都可能只是： \[ \Omega^{\rm math} \] 的一個極小投影。 因此真正可信的數學研究系統不是宣稱： > 所有可能路線都被窮盡。 而是精確說： > 在這個 domain、這個 theory、這個 representation、這個 corpus、這個 admissibility policy 與這個 version 下，所有已認證 admissible route classes 已相對窮盡。 這種聲明雖然較弱，卻更可驗證。 --- # 40. 結論 本文提出 **Proof-Space Geometry and Closure Topology**，作為 Mathematical Research Space Methodology 的空間層基礎。 其核心轉換為： \[ \boxed{ \text{Proof Search} \longrightarrow \text{Proof Space}. } \] 一個大型數學問題不再只是： \[ \Gamma\vdash Q\;? \] 而成為： \[ \boxed{ \mathfrak M_Q = \text{一個具有節點、關係、作用域、前沿、阻礙、survivor與閉包條件的動態數學空間}. } \] 在這個空間中： \[ \mathsf{RouteBlocked} \neq \mathsf{ClaimRefuted}, \] \[ \mathsf{ObstructionCover} \neq \mathsf{ParentClosure}, \] \[ \mathsf{ObservedExhaustion} \neq \mathsf{AbsoluteCompleteness}, \] 以及： \[ \mathsf{RelativeClosure} \neq \mathsf{AbsoluteMathematicalClosure}. \] 因此「證明空間幾何」真正提供的不是一種新的保證解題技巧，而是一套更高解析度的研究語言： \[ \boxed{ \textbf{我們不只問一個問題是否尚未證明，} } \] 而開始問： \[ \boxed{ \textbf{它的證明空間目前究竟還剩下什麼？} } \] 當這個問題可以由人類、AI、圖資料庫與形式驗證器共同維護時，大型未解數學問題的研究形式便可能從線性的論文累積，逐步轉向： \[ \boxed{ \textbf{可觀察、可約化、可重播、可驗證的動態證明空間。} } \] 這也為下一篇 **MRSM Paper 02 — Research Closure Calculus, Authority and Transfer Laws** 奠定基礎：在知道證明空間「長什麼樣」之後，下一步便是定義在這個空間中**哪些操作是合法的、哪些狀態可以如何改變、什麼證據有權關閉哪一層數學對象，以及閉包如何傳播、失效與重新開啟**。