表示不變性：向量、張量、幾何與範疇為何都不是元息本體本身

從 chart atlas、共同核心到跨表示不變量的元息數學接口

English Title: Representational Invariance: Why Vectors, Tensors, Geometry, and Categories Are Not the Meta-Informational Ontology Itself
Series: Universal Meta-Information and Global Containment Series
Paper: 05
Author: Neo.K
Institution: EveMissLab / 一言諾科技有限公司
Version: v0.1
Date: 2026-08-14
Theoretical status: formal framework and conditional propositions; not a proof that a unique representation-independent ontology has been identified

摘要

本文承接 Paper 01 的動態全域收納、Paper 02 的元息總域、Paper 03 的世界截面與五類跨層關係，以及 Paper 04 的第一人稱不變量問題，處理本系列第一個純粹偏數學的方法論核心：如果元息總域真的先於任何特定表示，那麼我們如何在不把向量、張量、幾何、圖、範疇、集合論、類型論或其他形式語言偷換成「元息本身」的前提下，仍然對它進行數學研究？

本文提出「表示 atlas」框架。對某候選源結構 $U$ ，令

\mathfrak A(U) = \left\{ (\chi_i,M_i,\mathcal J_i) \right\}_{i\in I}

為一族表示 chart，其中 $\chi_i$ 把 $U$ 的一部分映射到表示空間 $M_i$ ，而 $\mathcal J_i$ 是在該 chart 中可測或可保持的結構量。不同 $M_i$ 可以是向量空間、張量空間、流形、圖、超圖、範疇、拓撲斯、類型理論模型或其他形式系統。本文不要求各 chart 在表面形式上同構，只要求在共同可比較區域上存在明確的 transition correspondence，並且有一組跨表示不變量族 $\mathcal J^\star$ 能通過交換圖或等價關係得到一致值。

本文定義三層表示等價：

\text{syntactic equivalence}, \qquad \text{structural equivalence}, \qquad \text{interpretative equivalence}.

只有語法等價遠遠不足；只有範疇等價也未必足以推出兩種形式語言具有相同物理或本體內容。本文因此採用「表示不變本體候選準則」：若某一性質在一族經獨立理由接受的表示之間保持，且其保持不是由人工定義或共同輸出約束平凡保證，則該性質比任何單一表示內的坐標量更有資格成為元息本體的候選不變量。

本文進一步定義表示缺陷：

\mathcal E_{\mathrm{rep}} (\chi_i,\chi_j;\mathcal J)

以及共同核心：

\mathcal C_{\mathcal J} (\mathfrak A),

用以區分「表示只是換座標」、「表示保留部分結構」、「表示具有相同經驗輸出但本體內容未定」與「表示在指定核心上等價」。本文證明幾個條件式命題：若兩個表示之間存在保指定不變量的雙向轉譯，則任何只依賴該不變量族的命題在兩個表示中具有相同判定；反之，若某性質在等價 chart 轉換下改變，則不能僅憑該性質在單一 chart 中的存在，把它提升為表示不變本體。

本文亦正式限制「向量／張量／幾何／範疇都是 chart」這句話的強度。它不是說任何數學形式都一樣好，也不是說所有形式只是任意觀點。不同 chart 可以有不同表示缺陷、不同可計算性、不同局部忠實度與不同可擴張性。真正的研究問題是：在什麼結構族上，它們等價；在哪些結構上，它們不可通約；哪些量只屬於坐標；哪些量可跨表示持續存在。

本文最後把既有 EveMissLab 的「數學語言是閱讀介面」、「集合論是離散方言」、「動態投影選擇」與 ERFI 本體論降階整合為一個可計算的表示治理框架。Paper 05 的作用，是為 Paper 06 的「萬有元息等價猜想」建立必要防線：在宣稱「萬物皆元息」之前，必須先證明所謂的「元息」不是某一個方便的數學 chart 被本體化後的產物。

關鍵詞： 元息、表示不變性、chart、atlas、理論等價、範疇等價、dualities、結構實在論、共同核心、表示缺陷、基底相對性、形式系統

0. 問題：如果元息不能直接看見，我們怎麼知道自己沒有只是在研究某個表示？

Paper 02 已經宣告：

\chi: \mathfrak I_{\Omega} \rightarrow M

的存在不能推出：

\mathfrak I_{\Omega} = M.

這是一條必要的本體論限制，但仍然不夠。

因為一旦真正開始做數學，我們必然要選擇某個 $M$ 。

例如，我們可以把候選元息結構寫成：

\mathbf v\in\mathbb R^n,

或者：

T_{i_1\ldots i_k},

或者：

(\mathcal M,g),

或者：

G=(V,E),

或者：

\mathcal C.

問題立刻出現：

我們如何知道後來證明的性質屬於元息，而不是只屬於 $\mathbb R^n$ 、張量坐標、某個流形、某張圖或某個範疇？

因此 Paper 05 的基本命題不是：

\text{all representations are equivalent}.

而是：

\boxed{ \text{ontology candidates should survive justified changes of representation}. }

1. 既有基礎：從「數學語言」到「動態投影」

EveMissLab 早期《數學的本質再定義》已區分數學語言與被描述結構，主張數字、幾何與拓撲等可以是不同觀察介面，而不是世界自身必須使用的語言。

後來《集合論作為離散方言》把這個直覺推進到數學基底：ZFC、範疇論、拓撲斯、類型論與 HoTT 可以作為不同基底，某些問題的形式身份會隨基底改變。

《動態投影選擇》則提出更一般的方法論：不同形式系統可以看成對同一不可完全捕捉本體的不同投影，研究者應根據問題切換投影，而不是預設某一個系統天然具有唯一終極地位。

Paper 05 保留這三條舊線，但修正一個過強表述：

\text{所有形式系統都是同一 }\Omega\text{ 的投影}

目前不能當成已證明事實。

本文只採取較弱的可操作版本：

對同一研究對象，可以構造多種形式表示；若這些表示具有明確轉譯關係，就可以研究跨表示不變結構。

2. 表示 chart

2.1 基本定義

令 $U$ 為待研究的候選源結構。

一個表示 chart 定義為：

\boxed{ \mathfrak c_i = (U_i,M_i,\chi_i,\mathcal J_i) }

其中：

$U_i\subseteq U$ ：chart 覆蓋的源域區域；
$M_i$ ：形式表示空間；
$\chi_i:U_i\rightarrow M_i$ ：表示映射；
$\mathcal J_i$ ：該表示中可定義、測量或推導的結構量族。

$M_i$ 可以是：

V_i, \quad T_i, \quad \mathcal G_i, \quad \mathcal C_i, \quad \mathcal H_i, \quad \mathcal L_i,

分別代表向量、張量、幾何、範疇、類型／同倫或邏輯形式。

2.2 chart 不等於坐標 chart

本文借用 differential geometry 的 chart 語言，但做更一般的擴張。

標準坐標 chart 通常是：

\chi_i: U_i \rightarrow \mathbb R^n.

本文允許：

M_i \not\cong M_j.

也就是不同 chart 甚至可以屬於不同數學型別。

因此本文的 chart 更接近：

\text{representation scheme}.

3. 表示 atlas

定義：

\boxed{ \mathfrak A(U) = \{ \mathfrak c_i \}_{i\in I}. }

若：

U = \bigcup_{i\in I}U_i,

則稱 $\mathfrak A$ 覆蓋 $U$ 。

但對元息總域：

\mathfrak I_{\Omega},

本文不預設存在有限 atlas 能完整覆蓋。

因此可以允許：

\mathfrak A_0 \subseteq \mathfrak A_1 \subseteq \cdots

形成隨研究擴張的表示 atlas。

這與 Paper 02 的：

\mathfrak I_{\Omega} = \operatorname{OpenLim}_{\alpha} \mathfrak I^{(\alpha)}

保持一致。

4. transition map 與 transition correspondence

4.1 可逆情形

若：

U_i\cap U_j \neq \varnothing

且 $\chi_i,\chi_j$ 在交疊區上可逆，則可以定義：

\boxed{ \tau_{ij} = \chi_j \circ \chi_i^{-1}. }

此時：

\tau_{ij}: \chi_i(U_i\cap U_j) \rightarrow \chi_j(U_i\cap U_j).

4.2 非可逆情形

但不同型別表示常常沒有雙射。

因此更一般地定義 transition correspondence：

\boxed{ \mathfrak T_{ij} \subseteq M_i\times M_j. }

若：

(m_i,m_j)\in\mathfrak T_{ij},

表示二者被判定為同一源結構的相容表示。

這種 correspondence 必須由額外準則支持，例如：

相同可觀察值；
相同守恆量；
相同關係結構；
相同模型類；
可交換翻譯；
共同語義；
可重構的等價類。

5. 不變量族

5.1 chart-local quantity

在 chart $i$ 中：

Q_i: M_i \rightarrow Y_i

可以是一個可計算量。

但：

Q_i

本身未必跨表示有意義。

例如坐標值：

x^1, x^2,\ldots,x^n

通常不是幾何本體不變量。

5.2 跨表示不變量

令：

J_i: M_i \rightarrow Z

及：

J_j: M_j \rightarrow Z.

若對所有相容表示：

(m_i,m_j)\in\mathfrak T_{ij},

皆有：

\boxed{ J_i(m_i) = J_j(m_j), }

則 $J$ 對 $(i,j)$ 是表示不變量。

一族不變量記為：

\boxed{ \mathcal J^\star = \{ J_{\alpha} \}_{\alpha\in A}. }

6. 交換圖條件

若存在轉譯：

\tau_{ij}:M_i\rightarrow M_j,

則表示不變性可以寫成：

\boxed{ J_j\circ\tau_{ij} = J_i. }

即：

\begin{array}{ccc} M_i & \xrightarrow{\tau_{ij}} & M_j \\ \downarrow J_i & & \downarrow J_j \\ Z & = & Z \end{array}

交換。

這個條件的意義是：

換表示後再測量，和先測量再辨認共同值，結果相同。

7. 表示等價的三層分離

7.1 語法等價

若兩個形式系統可以透過符號重寫、定義擴張或形式翻譯互相恢復，記為：

M_i \simeq_{\mathrm{syn}} M_j.

這是最低層。

7.2 結構等價

若存在保相關結構的雙向映射、範疇等價、Morita 類等價或其他形式關係，記為：

M_i \simeq_{\mathrm{str}} M_j.

7.3 解釋等價

若兩個模型不只形式結構對應，而且其 interpretation maps 指向相同研究對象、相同物理／語義域，並與轉譯關係相容，記為：

M_i \simeq_{\mathrm{int}} M_j.

因此：

\boxed{ \simeq_{\mathrm{syn}} \not\Rightarrow \simeq_{\mathrm{str}} \not\Rightarrow \simeq_{\mathrm{int}} }

在一般情況下不能無條件成立。

8. 範疇等價不是終極本體等價

近年的理論等價研究大量使用 categorical equivalence 與 duality。

這對 Paper 05 非常重要，但也必須限制。

即使：

\mathcal C_i \simeq \mathcal C_j

在範疇意義下成立，也可能存在：

不同 interpretation；
不同外部語義；
不同物理參照；
被遺忘的額外結構；
不同可觀察量選擇。

因此：

\boxed{ \text{Categorical Equivalence} \not\Rightarrow \text{Ultimate Ontological Identity}. }

範疇等價是一個強而有力的 structural criterion，但不是自動完成的本體論判決。

9. 共同核心

對 atlas：

\mathfrak A = \{\mathfrak c_i\}_{i\in I},

以及選定不變量族 $\mathcal J$ ，定義共同核心：

\boxed{ \mathcal C_{\mathcal J}(\mathfrak A) = \operatorname{EqClass} \left( \mathcal J; \mathfrak T_{ij} \right). }

直觀上，它表示：

在目前被接受的表示轉換下，持續保持的結構等價類。

注意：

\mathcal C_{\mathcal J}

不是自動等於：

U.

因為：

$\mathcal J$ 可能不完備；
atlas 可能沒有覆蓋全部源域；
轉譯可能有損；
新表示可能暴露舊共同核心沒有捕捉的新差異。

因此：

\boxed{ \text{Common Core} \neq \text{Proven Ultimate Ontology}. }

10. 表示缺陷

對兩個表示：

\chi_i, \qquad \chi_j,

在共同不變量族 $\mathcal J$ 上，定義：

\boxed{ \mathcal E_{\mathrm{rep}} (\chi_i,\chi_j;\mathcal J) = D_{\mathcal J} \left( \chi_i(U), \chi_j(U) \right). }

若：

\mathcal E_{\mathrm{rep}}=0,

只代表指定結構上沒有觀察到差異。

不能推出：

\chi_i(U) = \chi_j(U)

作為形式物件完全相同。

也不能推出：

U = \chi_i(U).

11. 表示不變命題

命題 1（Invariant Proposition Transfer）

若：

M_i \simeq_{\mathcal J} M_j

且命題 $\varphi$ 的真值只依賴 $\mathcal J$ 中的不變量，則：

\boxed{ M_i\models\varphi \iff M_j\models\varphi. }

證明。

因 $\varphi$ 僅依賴 $\mathcal J$ ，而兩表示在所有 $\mathcal J$ 上具有相同值，因此 $\varphi$ 的判定輸入完全一致。故其真值一致。證畢。

這是一個條件式命題。

若 $\varphi$ 依賴 chart-specific quantity，則不能使用此結論。

12. chart-artifact 判準

命題 2（Chart-Artifact Criterion）

若存在兩個被獨立理由接受為同一研究對象的表示：

M_i, \qquad M_j,

且某性質 $Q$ 滿足：

Q(M_i) \neq Q(M_j),

而兩表示在所有已驗證可觀察與共同結構上等價，則僅憑 $Q$ 在 $M_i$ 中存在，不足以宣稱 $Q$ 為表示不變本體屬性。

因此：

\boxed{ \text{Representation-dependent property} \not\Rightarrow \text{ontological invariant}. }

此命題不宣稱 $Q$ 必然是假的。

它只限制本體論推論。

13. 不變不等於真實：反向限制

表示不變性本身也可能產生假陽性。

例如所有接受的表示可能共享同一個錯誤前提：

A.

則：

A

可以在 atlas 中保持不變，但仍然不對應現實。

因此：

\boxed{ \text{Representation Invariance} \not\Rightarrow \text{Truth}. }

真正強的本體候選還需要：

經驗約束；
反例測試；
新表示測試；
跨尺度穩健性；
Paper 01 的全域收納檢驗。

14. 非平凡不變量條件

為避免把「所有模型都被定義成輸出同一數字」當成深刻不變性，本文加入非平凡性要求。

若不變量 $J$ 的一致性完全由模型建構時的硬約束：

J_i(m_i)=c

事先人工固定，則其本體證據權重應下降。

可以定義：

\boxed{ S_{\mathrm{inv}}(J) = R_{\mathrm{ind}} \cdot R_{\mathrm{emp}} \cdot R_{\mathrm{trans}} \cdot R_{\mathrm{ext}} }

其中：

$R_{\mathrm{ind}}$ ：表示獨立生成度；
$R_{\mathrm{emp}}$ ：經驗約束度；
$R_{\mathrm{trans}}$ ：跨表示保持度；
$R_{\mathrm{ext}}$ ：新表示／新尺度擴張穩健度。

此式是研究評分接口，不是自然常數。

15. 向量只是 chart

若：

\chi_V: U \rightarrow V

且：

V

是向量空間，則線性結構：

+ ,\quad \lambda v

可能非常有用。

但除非證明：

\text{linearity}

在足夠廣泛的忠實表示中保持，否則不能推出：

\boxed{ \text{Reality is fundamentally a vector space}. }

向量可以是：

局部近似；
語義嵌入；
狀態座標；
線性化後的表示。

這些都不足以自動得到向量本體論。

16. 張量只是 chart

張量具有比普通向量更強的坐標轉換結構。

若某量在坐標變換下按：

T'^{i_1\ldots i_r}_{j_1\ldots j_s} = \frac{\partial x'^{i_1}}{\partial x^{a_1}} \cdots \frac{\partial x^{b_s}}{\partial x'^{j_s}} T^{a_1\ldots a_r}_{b_1\ldots b_s}

轉換，則張量形式可以保證某類坐標不變性。

但：

\boxed{ \text{coordinate invariance inside one geometric framework} \neq \text{representation invariance across all frameworks}. }

張量消除了部分坐標任意性，沒有自動消除形式框架本身的任意性。

17. 幾何只是 chart

若：

\chi_G: U \rightarrow (\mathcal M,g)

則距離、曲率、測地線等可以成為極強的結構描述。

但存在兩個問題：

不同幾何可能具有 dual 或有效等價描述；
某些底層理論可能根本不把幾何當 primitive。

因此 Paper 05 不宣稱：

\mathfrak I_{\Omega} = \mathcal M.

而只允許：

\mathcal M \in \operatorname{Rep}(\mathfrak I_{\Omega}).

18. 範疇也只是 chart

範疇論天然強調 morphism、functor、equivalence，因此非常適合本系列。

可以寫：

\chi_C: U \rightarrow \mathcal C_U.

再研究：

F: \mathcal C_U \rightarrow \mathcal C_V.

然而即使範疇論比集合元素語言更結構化，也不能因為「它能描述不同數學語言之間的關係」就宣稱：

\boxed{ \text{the universe is literally a category}. }

這仍然是形式成功到本體唯一性的非法跳躍。

19. 集合論、類型論與拓撲斯作為基底 chart

對同一數學內容，可以考慮：

M_{\mathrm{ZFC}}, \quad M_{\mathrm{HoTT}}, \quad M_{\mathrm{Topos}}, \quad M_{\mathrm{Cat}}.

Paper 05 不宣稱它們全域等價。

而是要求逐問題建立：

\mathfrak T_{ij}

以及：

\mathcal J_{ij}.

因此更精確的說法是：

\boxed{ \text{Foundational pluralism} \neq \text{foundational equivalence}. }

有多基底不等於所有基底說完全相同的事。

20. duality 與 common core

2025 年 De Haro 與 Butterfield 對 physical duality 的系統研究把 duality 理解為理論／模型之間相對於共同核心結構的同構，並額外強調 formal equivalence 與 interpretation equivalence 的分離。

這與本文非常接近：

M_i \xleftrightarrow{\mathrm{dual}} M_j

不只是「兩套公式給相同答案」，而需要問：

\text{what common core do they jointly represent?}

本文把這一問題推向元息框架：

\boxed{ \mathcal C_{\mathcal J}(\mathfrak A) }

是目前跨表示可保持結構的候選核心。

但它仍然保持可修正。

21. 理論擴張與等價

理論等價在新增結構後可能被打破。

設：

M_i \simeq_{\mathcal J} M_j.

加入新量：

Q.

若只有 $M_i$ 能自然表示 $Q$ ，而 $M_j$ 需要非忠實擴張，則：

M_i^{+} \not\simeq_{\mathcal J^{+}} M_j^{+}.

因此：

\boxed{ \text{equivalence is indexed by structure and domain}. }

沒有無條件的「永遠等價」。

這與 Paper 01 的開放判定域完全一致。

22. 動態表示 atlas

令：

\mathfrak A_t

為時間 $t$ 的表示 atlas。

新數學、實驗與理論可以加入新 chart：

\mathfrak A_{t+1} = \mathfrak A_t \cup \{\mathfrak c_{\mathrm{new}}\}.

共同核心因此也可能變：

\mathcal C_t = \mathcal C_{\mathcal J_t}(\mathfrak A_t).

新增 chart 後：

\mathcal C_{t+1} \neq \mathcal C_t

是允許的。

如果一個舊「不變量」在新 chart 下消失，它應降格為舊 atlas 的局部不變量。

23. 表示穩健度

定義某候選不變量 $J$ 在 atlas 上的表示穩健度：

\boxed{ R_{\mathrm{rep}}(J;\mathfrak A) = \frac{ \sum_{(i,j)\in E_{\mathfrak A}} w_{ij} \mathbf 1[ J_i \sim J_j ] }{ \sum_{(i,j)\in E_{\mathfrak A}} w_{ij} } }

其中：

$E_{\mathfrak A}$ ：可合法比較的 chart pair；
$w_{ij}$ ：比較權重；
$\mathbf 1[\cdot]$ ：是否在誤差容許下保持。

因此：

R_{\mathrm{rep}}\approx1

表示在當前 atlas 中高度穩健。

但仍然不能推出絕對不變性。

24. 表示獨立本體候選準則

本文提出：

Representation-Invariant Ontology Candidate Criterion, RIOC

性質 $J$ 若要被提升為元息本體候選，至少應滿足：

多表示性

|\operatorname{Rep}(J)|>1.

轉譯保持

J_j\circ\tau_{ij} \simeq J_i.

非平凡性

其保持不能只是人工硬編碼。

經驗／結構約束

$J$ 對觀察、定理或跨尺度結構具有獨立作用。

擴張穩健性

加入新 chart 後不輕易消失。

因此：

\boxed{ J\in \operatorname{CandOnt}(\mathfrak I_{\Omega}) }

仍只是候選本體，不是最終真理。

25. 與 Paper 04 第一人稱問題的接口

Paper 04 定義：

\mathcal J_{1p}.

Paper 05 現在要求：

如果有人宣稱：

J_{\mathrm{self}}

只是某種語言的錯覺，必須展示至少一種轉譯：

\tau: M_{1p} \rightarrow M_{3p}

使：

J_{\mathrm{self}}^{3p} \circ \tau = J_{\mathrm{self}}^{1p}.

反過來，如果第一人稱結構只能在某單一描述語言出現，而在所有等價表示中都沒有可辨認 counterpart，則它的本體地位需要重新檢驗。

因此 Paper 05 對兩邊都施加壓力：

\boxed{ \text{不要因第三人稱成功就抹掉第一人稱，} }

同時：

\boxed{ \text{不要因第一人稱語言特殊就直接宣布不可還原。} }

26. 與 Paper 01 動態全域收納的接口

表示 atlas 的擴張可以視為判定域擴張的一部分：

\mathfrak D_{t+1} = \operatorname{Cl} \left( \mathfrak D_t \cup \mathfrak c_{\mathrm{new}} \right).

若新表示揭露一個原理論沒有收納的差異：

J_{\mathrm{new}},

則：

\mathbf C_t(\mathcal T)

必須重新計算。

因此跨表示不變性不是裝飾，而是全域收納的壓力測試。

27. 與元息總域的正式接口

Paper 02 定義：

\mathfrak I_{\Omega} = (\mathcal X,\Delta,\mathcal R,\mathcal K,\mathcal P)_{\Omega}.

Paper 05 不再嘗試直接「看見」：

\mathfrak I_{\Omega}.

而是研究：

\boxed{ \operatorname{InvAtlas} (\mathfrak I_{\Omega}) = \left( \mathfrak A, \mathfrak T, \mathcal J^\star, \mathcal E_{\mathrm{rep}} \right). }

其中：

$\mathfrak A$ ：表示 atlas；
$\mathfrak T$ ：transition correspondences；
$\mathcal J^\star$ ：跨表示不變量；
$\mathcal E_{\mathrm{rep}}$ ：表示缺陷。

這構成目前最小的「元息數學接口」。

28. 不可通約表示

並非所有表示都能翻譯。

若：

\nexists \mathfrak T_{ij}

能保指定不變量，則記：

M_i \perp_{\mathcal J} M_j.

這表示兩個表示在該結構族上不可通約。

不可通約不必表示其中一方錯誤。

它可能表示：

型別不同；
尺度不同；
所保留資訊不同；
研究對象部分不重疊；
尚未找到正確橋接。

因此：

\boxed{ \text{No known translation} \not\Rightarrow \text{ontological contradiction}. }

29. 可證偽與失敗條件

Paper 05 至少有以下失敗方式。

29.1 chart 概念過度寬鬆

若任何任意編碼都被叫做 chart，則 atlas 失去區分力。

因此 chart 必須說明：

U_i, M_i, \chi_i, \mathcal J_i.

29.2 transition correspondence 任意化

若研究者可以事後任意指定：

\mathfrak T_{ij}

使任何兩模型都「等價」，則理論不可證偽。

transition 必須有獨立約束。

29.3 不變量退化

若所有不變量都只是因共同輸出被硬編碼一致，則其本體證據弱。

29.4 範疇主義偷渡

若因範疇論能統一多種表示，就直接宣稱宇宙本體是範疇，則違反 MI-8。

29.5 無法區分表示與本體

若 Paper 05 最後只是把：

\mathcal J^\star

重新命名成「本體」而沒有新增測試，則理論循環。

29.6 新 chart 永遠不允許推翻舊核心

若共同核心被定義成不可修正，就違反 Paper 01 的開放判定域。

30. 與當代理論等價研究的關係

2025 年 De Haro 與 Butterfield 的 duality 研究明確區分形式等價、解釋與共同核心，並以同構描述 dual models 間相對於共同核心的結構關係。

2025 年關於 quantization 與 theory change 的研究則展示，經典與量子模型類別之間可以出現 categorical equivalence 的結構保存情形。

2025 年關於 symmetry 的 representational schemes 工作強調 relational / symmetry-invariant observables 的重要性，顯示研究「表示不變內容」並非單純形而上學偏好，而是實際物理建模中的必要問題。

2025 年 theory expansion 的研究也再次表明：理論等價不能只由單一形式準則決定，理論擴張後原有等價關係可能需要重新判定。

2025--2026 年另有 model-invariant ontology 與 cross-representational informational invariants 的工作，直接把跨等價表示保持的結構視為較穩健的 realist commitment 候選。

Paper 05 與這些方向相容，但增加兩個限制：

\boxed{ \text{invariance is evidence for ontology, not identity with ontology}, }

以及：

\boxed{ \text{the accepted representation family is itself historically open}. }

31. Paper 06 的接口：萬有元息等價需要什麼？

Paper 06 若要提出：

\mathcal U_{\mathrm{admissible}} \simeq \mathfrak I_{\Omega},

不能只展示一個強大的表示：

\chi: \mathcal U \rightarrow M.

至少需要：

多種獨立表示；
明確 transition correspondence；
足夠豐富的不變量族；
生成與重建關係；
第一人稱與第三人稱接口；
物理、意圖與主體世界都能進入同一不變量治理；
反例與不可通約情況可被表達；
表示 atlas 擴張時核心不立即崩潰。

因此：

\boxed{ \text{One Universal Formalism} \neq \text{Proof of Universal Meta-Information}. }

這是 Paper 05 給 Paper 06 最重要的防線。

結論

本文建立了元息總域的第一個正式跨表示數學接口。

核心對象不是某一個向量空間、張量場、流形、範疇、集合論或類型理論，而是：

\boxed{ \operatorname{InvAtlas}(U) = (\mathfrak A,\mathfrak T,\mathcal J^\star,\mathcal E_{\mathrm{rep}}). }

其中：

\mathfrak A

記錄我們如何表示；

\mathfrak T

記錄表示如何互譯；

\mathcal J^\star

記錄什麼在互譯後仍保持；

\mathcal E_{\mathrm{rep}}

記錄互譯中失去了什麼。

因此：

\boxed{ \text{Vector} \neq \text{Tensor} \neq \text{Geometry} \neq \text{Category} \neq \mathfrak I_{\Omega} }

不是說它們彼此無關，而是說它們都必須經過表示不變性檢驗後，才有資格提供元息本體候選結構。

本文得到四條最重要的限制：

\boxed{ \text{Representation Success} \not\Rightarrow \text{Ontological Identity}, }

\boxed{ \text{Categorical Equivalence} \not\Rightarrow \text{Interpretative Identity}, }

\boxed{ \text{Representation Invariance} \not\Rightarrow \text{Truth}, }

以及：

\boxed{ \text{Current Common Core} \not\Rightarrow \text{Final Ultimate Ontology}. }

真正值得被提升為元息候選的，不是某一套漂亮形式，而是：

在多個由獨立理由建立、可互相壓力測試、可擴張的表示系統之間持續存在，並能承受新世界、新主體、新尺度與新數學基底加入的結構。

如此一來，「萬物皆元息」才不會變成「我找到一個能描述很多東西的數學，所以世界就是這個數學」。

Paper 05 的作用，正是阻止這一步偷換。

參考文獻

[1] De Haro, S., & Butterfield, J. (2025). The Philosophy and Physics of Duality. Oxford University Press.

[2] De Haro, S., & Butterfield, J. (2025). Duality as isomorphism. In The Philosophy and Physics of Duality, pp. 70--99.

[3] De Haro, S., & Butterfield, J. (2025). Equivalence in logic and philosophy of science. In The Philosophy and Physics of Duality, pp. 375--415.

[4] De Haro, S., & Butterfield, J. (2025). Duality and theoretical equivalence. In The Philosophy and Physics of Duality, pp. 416--447.

[5] De Haro, S., & Butterfield, J. (2025). Realism and equivalence. In The Philosophy and Physics of Duality, pp. 448--482.

[6] Fletcher, S. C. (2025). Quantization and the Preservation of Structure across Theory Change. Philosophy of Science, 92(2), 259--284.

[7] Gomes, H. de A. (2025). Representational schemes for theories with symmetry. Synthese, 206, Article 22.

[8] Arana Segura, D. (2025). Equivalence and theory expansion. Synthese, 206, Article 147.

[9] Li, M. (2025). Theoretical Equivalence as Representational Equivalence. Master of Logic Thesis, Institute for Logic, Language and Computation, University of Amsterdam.

[10] Weatherall, J. O. (2019). Theoretical Equivalence in Physics. Philosophy Compass, 14(5).

[11] Nolland, D. (2025). Determinism and Indeterminism as Model Artefacts: Toward a Model-Invariant Ontology of Physics. arXiv:2512.22540.

[12] Profumo, S. (2026). Cosmology as Representation: Informational Invariance and the Limits of Scientific Realism. arXiv:2606.21586.

[13] Neo.K. (2025). 數學的本質再定義：從宇宙形狀變化到人類觀測介面的統一理論框架. EveMissLab.

[14] Neo.K. & Theia. (2026). 集合論作為離散方言：數學基底的相對性與連續統假設的基底依存性. EveMissLab.

[15] Neo.K. & Theia. (2026). 動態投影選擇：後形式主義的本體論--方法論框架. EveMissLab.

[16] Neo.K. (2026). ERFI 運作束的本體論降階與數學保留. EveMissLab.

[17] Neo.K. (2026). 絕對真理作為動態全域收納極限. Universal Meta-Information and Global Containment Series, Paper 01.

[18] Neo.K. (2026). 元息總域：前實體、前符號與前表徵信息本體論. Universal Meta-Information and Global Containment Series, Paper 02.

[19] Neo.K. (2026). 世界作為投影：元息總域到物理、意圖與主體宇宙. Universal Meta-Information and Global Containment Series, Paper 03.

[20] Neo.K. (2026). 主體性不可完全收納命題：第一人稱不變量、第三人稱表示與反固定點. Universal Meta-Information and Global Containment Series, Paper 04.

版本聲明

v0.1 已完成：

表示 chart 與 atlas；
transition map 與 transition correspondence；
跨表示不變量族；
語法／結構／解釋三層等價；
common core；
representation defect；
invariant proposition transfer；
chart-artifact criterion；
表示不變性不推出真理的反向限制；
vector / tensor / geometry / category 的本體論降階；
動態表示 atlas 與表示穩健度；
Representation-Invariant Ontology Candidate Criterion；
與 Paper 01--04 以及 Paper 06 的接口。

仍待後續工作：

$\mathfrak T_{ij}$ 的一般範疇化；
非雙射跨型別表示的最小結構；
$\mathcal E_{\mathrm{rep}}$ 的具體距離族；
atlas cover 的開放式 type-theoretic 實現；
interpretation equivalence 的正式語義模型；
第一人稱與第三人稱 chart 的可實驗 transition；
將 RIOC 與 Paper 01 的全域收納向量合併；
Paper 06 中強元息等價的必要與充分條件。