對角實現不是動態極限：Diagonal Realization、Borel Extension 與 Hidden Completion Operators

系列：形式封閉與過程完備：AI 數學證明的下一步問題
Paper 04
作者：Neo.K / EveMissLab Research Series
版本：v0.1 — 2026-09-11

機構： EveMissLab／一言諾科技有限公司
日期： 2026-09-11

摘要

許多高階分析證明在有限階段建立一族逐步改良的近似物件，之後透過對角化、局部有限和、Borel-type extension、緊緻性、選擇原理或其他 completion machinery，構造一個同時滿足所有所需條件的全域物件。這些方法在古典數學中完全合法，且往往是極其強大的證明工具。然而，當這類 construction 被描述成「原有限階過程本身走到了最終解」時，可能產生重要的 proof ontology 混淆。

本文提出核心區分：

\boxed{ S_0\to S_1\to S_2\to\cdots\to S_* }

與：

\boxed{ \{S_n\}_{n\in\mathbb N} \xrightarrow{\mathcal C} S_* }

不是同一種證明結構。

前者表示 $S_*$ 是原 trajectory 的 completion 或極限；後者則表示存在一個新的 Completion Operator $\mathcal C$ ，它以整個有限階 family 為輸入，重新實現一個 total object。本文稱後者為 Realization Completion，並提出 Hidden Completion Operator、Ontology-Preserving Completion、Branch-Preserving Completion、Exactness Gap、Flatness Gap 與 Extension Non-Uniqueness 等概念。

本文特別分析 diagonal realization 與 Borel extension：它們可以把「每個有限階條件皆可滿足」升格為「存在一個 smooth object 同時匹配所有有限 jet constraints」，但這並不自動等價於原有限 correction sequence 在某個 topology 下收斂，也不表示該 smooth object 是原動態過程的下一個狀態。本文最終提出 Completion Audit Schema，作為 Paper 05 對 Navier–Stokes 個案進行具體審計的直接工具。

關鍵詞

對角化、diagonal realization、Borel extension、completion operator、local finiteness、smooth realization、choice、compactness、極限、trajectory、process completeness、形式化證明、AI 數學

1. 兩種看起來相似、其實完全不同的「完成」

考慮有限階段：

S_0,S_1,S_2,\ldots

第一種完成方式是：

S_n\to S_*

在某個 topology、norm 或 weak structure 中收斂。

此時：

S_* = \lim_{n\to\infty}S_n.

這是一種 Limit Completion。

第二種完成方式是：先保留所有有限階段，然後定義一個新的 operator：

\mathcal C: \{S_n\}_{n\in\mathbb N}\mapsto S_*.

這個 $S_*$ 不一定等於：

\lim_{n\to\infty}S_n.

甚至原序列可能根本不收斂。

這是一種 Realization Completion。

因此：

\boxed{ \text{Limit Completion} \neq \text{Realization Completion} }

這是本文最重要的第一個區分。

2. Completion Operator 應該是一級數學物件

令：

\mathfrak F = \{S_n\}_{n\in\mathbb N}

為有限階段 family。

定義 completion operator：

\mathcal C: \mathfrak F \mapsto S_*.

一個完整的 completion operator 至少應描述：

\mathcal C = ( \operatorname{Input}, \operatorname{Rule}, \operatorname{Compatibility}, \operatorname{OutputClass}, \operatorname{TransferLaw} ).

其中：

Input：輸入的是整個 sequence、subsequence、jets、constraints，還是 local germs；
Rule：如何生成 $S_*$ ；
Compatibility：哪些有限階資料必須彼此相容；
OutputClass： $S_*$ 屬於哪種 object class；
TransferLaw：有限階性質如何轉移到 $S_*$ 。

因此：

\mathcal C

不是單純「最後一步」。

它本身就是一個需要 theorem 支持的巨大箭頭。

3. Hidden Completion Operator

在很多 proof narrative 中，completion operator 不會被明確標記。

文字可能寫：

對每個階數進行修正；因此我們得到一個 smooth object。

但實際 proof graph 是：

\forall N,\quad \exists S_N

然後使用：

\mathcal C

得到：

S_*.

如果 $\mathcal C$ 沒被獨立視為 proof step，讀者容易產生錯覺：

S_N \to S_{N+1} \to S_*.

因此本文定義：

\boxed{ \text{Hidden Completion Operator} }

為任何滿足以下條件的操作：

輸入需要整個 finite-stage family；
輸出是一個新的 total/global object；
輸出不只是某個既有 stage；
proof narrative 卻把它描述成原 iteration 的自然完成。

4. 對角化的真正結構

最典型的 diagonal setup 是：

C_1,C_2,C_3,\ldots

其中每個 $C_n$ 是一個 constraint。

假設對每個 $N$ ，可找到：

x_N

使：

C_1(x_N),\ldots,C_N(x_N)

全部成立。

也就是：

\forall N,\quad \exists x_N: \bigwedge_{k\le N}C_k(x_N).

若再有某種 compactness、nestedness、Cauchy control、local finite gluing 或 diagonal schedule，就可能構造：

x_*,

使：

\forall k,\quad C_k(x_*).

這一箭頭：

\left[ \forall N,\exists x_N: \bigwedge_{k\le N}C_k(x_N) \right] \Longrightarrow \left[ \exists x_*:\forall k,C_k(x_*) \right]

不是純邏輯 tautology。

它依賴某種 completion theorem。

所以：

\boxed{ \text{finite satisfiability} \to \text{global satisfiability} }

本身就是需要被審計的 transformation。

5. 對角實現與原序列收斂是兩回事

假設：

u^{[0]},u^{[1]},u^{[2]},\ldots

是一族 formal corrections。

如果證明有：

u^{[N]}\to u_*

在某個 Banach space 中收斂，那麼：

u_*

確實可以被解讀為原 approximation process 的 limit。

但若原序列不收斂，證明改定義：

u_* = u_0+ \sum_{j\ge1}\chi_j\Delta u_j,

其中每個 $\chi_j$ 都縮小 support，使對每個固定點只剩有限多項非零，那麼：

u_*

是 diagonal/local-finite realization。

這時：

u_*

不必是：

\lim_Nu^{[N]}.

所以：

\boxed{ \text{realized object} \neq \text{sequence limit} }

除非另有 theorem 證明兩者一致。

6. Local Finiteness 的力量與限制

令：

u_*(x) = \sum_{j=0}^{\infty}v_j(x).

如果 family：

\{\operatorname{supp}(v_j)\}

locally finite，則對每個 $x$ 存在 neighborhood $U_x$ ，使只有有限多個 $v_j$ 在 $U_x$ 非零。

因此在 $U_x$ 上：

u_*

實際只是有限和。

這能非常方便地推出：

u_*\in C^\infty

只要每個 $v_j$ 都 smooth。

這是一個極其強大的 construction。

但它證明的是：

\boxed{ \text{the realized sum is smooth} }

而不是：

\boxed{ \text{the original sequence converges dynamically to that sum}. }

Local finiteness 解決的是：

\text{well-definedness + smoothness},

不是 trajectory identity。

7. Borel-type Extension：所有 jets 可以被 smooth object 實現

考慮一點：

t=T.

假設給定所有 formal jets：

a_0,a_1,a_2,\ldots

Borel-type theorem 告訴我們：存在某個 smooth function $f$ ，使：

f^{(n)}(T)=a_n

對所有 $n$ 成立。

因此：

\{a_n\}_{n\in\mathbb N} \xrightarrow{\mathcal B} f.

這裡：

\mathcal B

是 Borel realization operator。

它可以把一個 formal infinite jet 變成 genuine smooth function。

但重要的是：

\boxed{ \text{same jets} \not\Rightarrow \text{unique smooth extension}. }

在 $C^\infty$ category 中，一般可加入 flat function 而不改變所有 jets。

8. Flat Function 顯示 smooth extension 通常不是唯一

考慮：

\phi(x)= \begin{cases} e^{-1/x^2},&x>0,\\ 0,&x\le0. \end{cases}

在：

x=0

有：

\phi^{(n)}(0)=0

對所有 $n$ 。

因此 $0$ function 與 $\phi$ 在 $0$ 的 infinite jet 完全相同。

但：

\phi\not\equiv0.

所以：

\boxed{ \text{all jets agree} \neq \text{functions agree}. }

這表示 Borel extension 的語義是：

\boxed{ \text{there exists a smooth realization} }

不是：

\boxed{ \text{the original process uniquely continues this way}. }

9. Extension 與 Continuation 必須區分

本文使用兩個術語。

9.1 Extension

給定局部資料：

f|_{(-\infty,T)}

或 endpoint jets，構造一個：

\widetilde f

定義在更大 domain 上，並匹配原資料。

9.2 Continuation

要求：

\widetilde f

是同一 governing law、同一 dynamical branch、同一生成 process 的延續。

因此：

\boxed{ \text{extension} \neq \text{continuation} }

在 analytic category 中，某些情況下 extension 可能高度唯一。

但在：

C^\infty

category 中，smooth extension 常常極度不唯一。

所以如果 theorem 只需要存在 smooth extension，沒有問題。

如果自然語言卻說：

原 dynamics 自然延續成這個 extension，

就需要額外 theorem。

10. Diagonal Schedule 本身不是 dynamics

很多 proof 會選擇尺度：

a_0<a_1<a_2<\cdots

使第 $j$ 階 correction 滿足：

\varepsilon_j

級別的誤差要求。

例如：

\varepsilon_j=2^{-j}.

如果對每個 $j$ 都可以選：

a_j

夠大，使：

E_j(a_j)\le2^{-j},

那麼可以透過 choice 建立：

a:\mathbb N\to\mathbb N.

這條 schedule 可以非常合法。

但：

a_{j+1}

的存在通常是：

\exists a_{j+1}

使若干有限 constraints 成立。

它未必表示：

a_{j+1}

是原物理或動態 state 的自然 successor。

因此：

\boxed{ \text{diagonal schedule} \neq \text{dynamical trajectory}. }

11. Choice-Based Completion

若：

\forall n,\quad \exists x_n\in X_n,

classical choice 可以產生：

f:\mathbb N\to\bigcup_nX_n

使：

f(n)\in X_n.

這種 completion 可以把無限多 existence obligation 打包成一個 total object。

在形式系統裡：

f

是一個完全合法的 object。

但它可能是 noncomputable。

因此：

\boxed{ \text{choice-complete} \neq \text{algorithmically generated}. }

若後續 proof 只需要 existence，沒有問題。

若後續 claim 帶有「逐步生成」或「可計算 construction」語義，則還需要額外條件。

12. Compactness Completion

另一類常見 completion 是：

(S_n)

有 uniform bounds。

由 compactness 得：

S_{n_k}\to S_*.

這裡輸入不是整個 sequence 的 direct limit，而是 subsequence。

因此：

\boxed{ \text{subsequence limit} }

也需要 identity audit。

如果 theorem 只要求：

\exists S_*,

subsequence 足夠。

如果 theorem 宣稱原 sequence：

S_n

本身收斂，就必須再證：

S_n\to S_*.

不能把：

S_{n_k}\to S_*

簡化成：

S_n\to S_*.

13. Weak Limit 與 Strong Limit

Completion 也可能改變 convergence mode。

例如：

S_n\rightharpoonup S_*

是 weak convergence。

而：

S_n\to S_*

是 strong convergence。

很多 nonlinear property 無法直接由 weak convergence 傳遞。

因此 completion audit 必須標記：

\operatorname{ConvergenceMode}.

並檢查：

\operatorname{PropertyTransfer}

是否真的對該 convergence mode 成立。

否則可能出現：

\text{sequence satisfies nonlinear identity}

但：

\text{limit only satisfies relaxed identity}.

14. Completion 可能改變 object ontology

假設有限階段：

S_n

是：

C^\infty

classical solutions。

極限：

S_*

可能只屬於：

L^2,

或：

H^1,

或 distribution space。

此時：

S_*

與：

S_n

不是同一 regularity class。

所以即使：

S_n\to S_*,

仍需問：

\boxed{ \text{Does completion preserve the ontology required by the theorem?} }

本文稱：

\operatorname{OntologyPreserving}(\mathcal C)

為 completion 的必要 metadata。

15. Branch-Preserving Completion

若有限階段全部屬於同一 branch：

S_0\rightsquigarrow S_1\rightsquigarrow\cdots,

completion：

\mathcal C(\{S_n\})=S_*

是否仍保留 branch identity？

定義：

\operatorname{BranchPreserving}(\mathcal C,\tau)

表示：

S_*

可被視為 trace $\tau$ 的合法 completion，而不是另一個只共享有限 constraints 的 object。

這要求某種：

\operatorname{CompatibilityBridge}(\tau,S_*).

若沒有，則 completion 只能被稱為：

\text{global realization},

而不應直接被稱為：

\text{same-path endpoint}.

16. Exactness Gap

假設有限階段 residual：

R_n

越來越小。

可能有：

\|R_n\|\to0.

若：

R_n\to R_*

且 norm topology 足夠強，則可能推出：

R_*=0.

但另一種 construction 是：

\forall N,\quad R_* = O(q^N)

接近某 boundary。

這表示：

R_*

flat to all orders。

它仍未必：

R_*\equiv0.

因此本文定義：

\boxed{ \text{Exactness Gap} }

為：

\text{all-order approximation}

與：

\text{exact equation satisfaction}

之間的差異。

17. Flatness Gap

若：

\forall N,\quad |R(x)|\le C_Nq(x)^N

當：

q(x)\to0,

則 $R$ 是 all-orders flat。

但這只告訴我們：

R

在該 boundary 附近比任意 polynomial power 消失更快。

它不推出：

R=0

在 neighborhood 中成立。

因此：

\boxed{ \text{flatness} \neq \text{zero} }

這個 distinction 對任何「逐階消除 residual」的 proof 都極其重要。

18. Realization Gap

假設：

J= (a_0,a_1,a_2,\ldots)

是一個 formal jet。

Borel theorem 給：

f

使：

j^\infty_Tf=J.

本文稱：

J \to f

之間存在：

\boxed{ \text{Realization Gap}. }

這不是說 theorem 不合法。

而是表示：

J

只是 local formal data；

f

是 global smooth object。

中間需要一個 realization theorem。

如果 proof narrative 把：

J

直接當成：

f,

就發生 ontology collapse。

19. Completion 與反事實構造

某些 proof 先建立 formal approximation：

S_n

然後 completion 得：

S_*.

接著假設存在另一個 hypothetical object：

\widehat S

並用 uniqueness 證：

\widehat S=S_*.

這一結構完全可能正確。

但要注意：

\widehat S=S_*

是一個 identity theorem。

在 identity theorem 尚未建立前，不能把：

\widehat S

的 properties 與：

S_*

的 properties 混用。

因此 completion proof 中常見的另一個箭頭是：

\boxed{ \text{counterfactual identification} }

它也必須被顯式審計。

20. Completion Operator 的六種常見類型

本文建議至少區分：

20.1 Limit Completion

S_n\to S_*.

20.2 Subsequence Completion

S_{n_k}\to S_*.

20.3 Diagonal Completion

\{S_n^{(m)}\} \to S_*.

20.4 Local-Finite Realization

S_*=\sum_j\chi_j\Delta S_j.

20.5 Borel/Jet Realization

\{J_n\} \to f\in C^\infty.

20.6 Choice Completion

\forall n\exists x_n \to \exists f(n).

這六種 completion 可以互相組合。

因此大型形式 proof 中可能不是「一個極限」，而是：

\mathcal C = \mathcal C_6\circ \mathcal C_5\circ \mathcal C_4\circ\cdots.

21. Hidden Completion Stack

如果 proof 使用多個 completion operator：

\mathcal C_1, \mathcal C_2, \ldots, \mathcal C_k,

而每個都被自然語言壓成：

然後取極限。

讀者會低估 proof ontology 的複雜度。

本文稱：

\boxed{ \mathcal C_k\circ\cdots\circ\mathcal C_1 }

為 Hidden Completion Stack。

每一層都應該獨立標記：

\operatorname{InputType},

\operatorname{OutputType},

\operatorname{PreservedProperties},

\operatorname{LostProperties},

\operatorname{NewAssumptions}.

22. Completion Audit Schema

對：

\mathcal C:\mathfrak F\mapsto S_*,

至少檢查以下欄位。

22.1 Input Identity

輸入到底是：

(S_n),

finite prefixes、

jets、

constraints、

germs、

subsequences，

還是 arbitrary witnesses？

22.2 Compatibility

輸入是否來自 same-parent family？

還是：

\forall n\exists S_n

各自獨立？

22.3 Construction Rule

S_*

是：

limit；
gluing；
sum；
extension；
selection；
extraction；
interpolation；
realization。

22.4 Uniqueness

是否：

S_*

唯一？

若不唯一，後續是否依賴某個特定 realization？

22.5 Property Transfer

哪些性質從：

S_n

轉移到：

S_*?

哪些沒有？

22.6 Branch Preservation

S_*

是否仍屬於原 trajectory？

22.7 Ontology Preservation

object class 是否改變？

22.8 Exactness

completion 得到的是：

R=0

還是：

R=O(q^N)\quad\forall N?

22.9 Computability

$\mathcal C$ 是否可執行？

還是只依賴 nonconstructive existence？

23. Completion Closure

Paper 01 定義 Theorem Closure。

Paper 02 定義 Arrow Closure。

本文定義：

\boxed{ \text{Completion Closure} }

記為：

\operatorname{CC}(\Pi)=1.

若 proof 中所有由 finite-stage family 產生 global object 的 completion operator：

\mathcal C_i

均已被完整指定，且：

\operatorname{Compatibility},

\operatorname{Transfer},

\operatorname{Ontology},

\operatorname{BranchPreservation}

皆滿足 theorem 所需條件，則稱 proof 達成 Completion Closure。

因此：

\boxed{ \operatorname{TC} + \operatorname{AC} + \operatorname{CC} }

比單純 kernel theoremhood 更接近 process-complete proof。

24. 一個重要判準：原 sequence 如果不存在，最終 object 還能不能存在？

這是一個非常實用的檢查問題。

假設 original formal correction series：

\sum_j\Delta S_j

根本不收斂。

但使用 cutoff：

\chi_j

後：

\sum_j\chi_j\Delta S_j

locally finite，因此有 smooth realization。

這表示：

S_*

的存在依賴：

\chi_j.

因此 $S_*$ 不是原 formal series 的 ordinary sum。

它是：

\boxed{ \text{regularized / localized realization}. }

這不代表它沒有價值。

但必須精確命名。

25. 第二個判準：如果換另一個 completion operator，會得到同一個 object 嗎？

若：

\mathcal C_1(\mathfrak F)=S_*^{(1)}

以及：

\mathcal C_2(\mathfrak F)=S_*^{(2)},

且：

S_*^{(1)}\neq S_*^{(2)},

那麼 finite-stage family 本身沒有唯一決定 final object。

這表示 final object 的部分資訊來自：

\boxed{ \text{completion choice}. }

因此若 theorem 要宣稱：

原過程必然走到 $S_*$ ，

則必須證明 completion independence：

\forall \mathcal C\in\mathfrak C, \quad \mathcal C(\mathfrak F)=S_*.

否則只能說：

存在某個 completion 產生所需 $S_*$ 。

26. 第三個判準：completion 是否使用未來資訊？

假設第 $j$ 階 cutoff：

a_j

必須根據後面所有 derivative demands 才能選。

若整條 schedule：

(a_j)

是一次從全域 constraints 中選出，則這是一種 global construction。

這可以合法。

但它不是 forward-local algorithm。

所以：

\boxed{ \text{global schedule existence} \neq \text{online successor generation}. }

本文稱這種差異為：

\boxed{ \text{Hindsight Dependence}. }

27. Fourth-wall test：把 completion operator 拿掉，proof 還剩什麼？

一個很有效的 audit 方法是：

暫時禁止使用 $\mathcal C$ 。

只保留：

S_0,S_1,\ldots

問：

\text{原 sequence 自己能否產生 theorem target？}

如果答案是否定的，那麼真正完成 theorem 的核心工具不是 iteration 本身，而是：

\boxed{ \mathcal C. }

這並不是批評。

相反，這能更準確地定位真正的 mathematical technology。

28. 對 AI proof search 的特殊風險

AI proof search 很容易把：

\text{當前 proof obligation}

視為唯一目標。

如果某個 completion theorem 可以一次消掉大量剩餘 obligations，AI 很自然會偏好它。

例如：

\forall N\exists S_N

之後發現一個 diagonal theorem，可以直接得到：

\exists S_*\forall N.

對 theorem search 來說，這是極高價值捷徑。

問題是：

\boxed{ \text{proof efficiency} \neq \text{process fidelity}. }

所以 AI 數學系統若只優化 proof closure，會天然偏好強 completion operators。

這不是錯誤。

但研究者必須知道 proof ontology 已經改變。

29. Completion Operator 其實可能才是真正的方法論

有時 finite correction sequence 只是表面。

真正的核心發明可能是：

\mathcal C.

例如：

如何選 shrinking supports；
如何讓 local finite sum smooth；
如何安排 diagonal scale；
如何實現 infinite jets；
如何保留全部有限階 constraints。

這些其實是非常強的 mathematical technology。

因此更精確的研究問題可能不是：

sequence 最後有沒有收斂？

而是：

這個 completion operator 能否移植到其他問題？

這將直接連到本系列番外篇：

\text{能否把 C/D 類 construction 的 completion machinery 用來進攻更強問題？}

30. Completion Operator 的可遷移性

定義 problem class：

\mathfrak P.

若某個 completion operator：

\mathcal C

能對多種問題：

P\in\mathfrak P

都把：

\text{finite-stage approximate solutions}

提升成：

\text{global realized object},

則它可能形成通用方法論。

因此可定義：

\operatorname{Transferability}(\mathcal C,\mathfrak P).

這個概念將來可用於：

PDE；
幾何分析；
動力系統；
inverse problems；
AI-generated constructive mathematics。

31. 核心命題

本文提出以下十個核心命題。

第一：

\boxed{ \text{Diagonal realization is not automatically a dynamical limit.} }

第二：

\boxed{ \text{Local finiteness proves smooth realizability, not trajectory convergence.} }

第三：

\boxed{ \text{Borel extension proves existence of a smooth realization, not unique continuation.} }

第四：

\boxed{ \text{Same infinite jet does not determine the same }C^\infty\text{ function}. }

第五：

\boxed{ \text{Completion operators are proof steps and must be audited as arrows.} }

第六：

\boxed{ \text{Flatness to all orders does not imply exact zero.} }

第七：

\boxed{ \text{Choice completion does not imply computable generation.} }

第八：

\boxed{ \text{Subsequence convergence does not imply full-sequence convergence.} }

第九：

\boxed{ \text{A global realization need not be the endpoint of the original process.} }

第十：

\boxed{ \text{The completion operator may be the real mathematical invention.} }

32. 結論

現代分析中的 completion machinery 極其強大。

它可以把：

\text{finite approximations}

轉成：

\text{global objects}.

可以把：

\text{formal jets}

轉成：

C^\infty\text{ functions}.

可以把：

\text{local corrections}

轉成：

\text{smooth total realizations}.

這些工具不是漏洞。

真正需要避免的是語義混淆。

若 proof 使用：

\mathcal C: \{S_n\}\mapsto S_*,

那麼就應明確承認：

S_*

是由 completion operator 實現，而不是假裝：

S_n

自然走到了：

S_*.

因此：

\boxed{ \text{Realization} \neq \text{Continuation} }

以及：

\boxed{ \text{Completion} \neq \text{Next Step}. }

當這個區分被建立後，我們才能真正公平地評價一個高階形式證明：

它可能在 theoremhood 上完全正確；

可能在 existence mathematics 上極其漂亮；

也可能在 process ontology 上並沒有完成原本更強的問題。

這不是否定證明。

這是把證明的真正強度說清楚。

33. 系列後續

下一篇將正式進入具體案例：

Paper 05 — Navier–Stokes 個案審計：Clay C/D 的形式解與 Process Gap

Paper 05 將使用 Paper 01–04 建立的框架，直接重建：

\text{finite correction} \to \text{diagonal realization} \to \text{smooth residual} \to \text{force extension} \to \text{energy bound} \to \text{nonextendability}

並逐層判定：

\operatorname{TC}, \quad \operatorname{AC}, \quad \operatorname{SPC}, \quad \operatorname{CC}

到底哪些已完成、哪些只在特定 proof ontology 下成立。