等號裂解：論數學公式的三位一體結構與規範自由度

作者: Neo.K（許筌崴 / 一言諾科技 / EveMissLab） 對練夥伴: Theia 版本: v1.0（基本版本） 日期: 2026 年 5 月 領域: 數學基礎、代數本體論、規範理論

摘要

本文提出一個關於數學等號本質的觀察：標準數學中的等號 $a = b$ 隱藏了一個被吞噬的第三項——「規範單位」（gauge unit），其默認值為 1。將這個規範顯式化，每個等式裂解為三位一體結構：

$$\text{左} = \text{中} = \text{右}$$

其中左是局部運算、中是局部解、右是全息規範。本文論證：

1. 每個等號實際上是兩個性質不同的等號的合併——運算等號（左=中）與規範等號（中=右）
2. 默認規範 = 1 是最弱的非平凡選擇，承認量綱存在但不指定尺度
3. 規範自由度的顯式化會在不同尺度下暴露不同的結構不變量
4. 既有的眾多數學概念（量綱分析、射影等價、模算術、規範理論、層論、可表函子）都是此觀察的特例，分散在不同領域被獨立發展

本文亦指出此發現的一個特例——「分數本體論」（Fraction Ontology）——並闡述其在考拉茲猜想（Collatz Conjecture）分析中的具體應用：規範不變量搜索作為 Lyapunov 函數的對偶工具。

1. 引言：被吞噬的第三項

考慮最簡單的等式：

$$2 + 3 = 5$$

問一個簡單卻被遺忘的問題：這個 5 是「五個什麼」？

標準數學默認 5 是 5 個「1」。但這個 1 從來沒被寫出來。它是一個被吞噬的第三項——一個沉默的規範單位。

把它抓回來：

$$2 + 3 = X = 1$$

讀作：「2 加 3 的結果 X，在規範 1 下測量」。X = 5（5 個 1）。

如果換規範：

$$2 + 3 = X = 2$$

X 仍然是「2 加 3 的結果」，但在規範 2 下測量，數值是 2.5（2.5 個 2）。

這個觀察看似平凡——物理學家在量綱分析中早已熟悉。但本文的論點是：這個結構不是物理量綱的特殊情況，而是所有數學公式的共有結構。標準數學通過默認 = 1 把它隱藏了，因此丟失了一個維度。

把它顯式化，等號的結構比表面看起來複雜得多。

2. 三位一體結構

2.1 形式定義

定義 2.1（三位一體擴展）：對任意數學等式 $A = B$，其三位一體擴展為：

$$A = X = G$$

其中：

• $A$ 是左項（local operation）：運算式
• $X$ 是中項（local value）：運算的解
• $G$ 是右項（global gauge）：規範單位

當 $G$ 缺省時，默認 $G = 1$。

2.2 兩個等號的本質差異

三位一體中的兩個等號性質不同：

第一個等號（$A = X$）：運算等號

• 計算性、定義性
• 由運算規則決定
• 不可任意選擇

第二個等號（$X = G$）：規範等號

• 約定性、選擇性
• 由觀察者選擇尺度
• 自由參數

標準數學把它們合併寫成同一個 $=$ 符號，因此丟失一個自由度。本文的核心觀察是：這兩個等號攜帶不同類型的訊息，不應被符號簡化壓縮。

2.3 規範等號的選擇空間

| 規範 $G$ | 結構效應 | |---|---| | $G = 1$ | 標準算術。最弱規範，承認量綱但不指定尺度 | | $G = 0$ | 差異/誤差結構。浮現守恆律 | | $G = c$（常數 $\neq 0, 1$） | 固定尺度測量。限縮可見結構 | | $G = X$ | 恆真，無訊息（$X = X$ 退化） | | $G = $ 代數變量 | 自由參數族。最強規範，最豐富結構 |

不同規範暴露不同結構——這是規範自由度的核心訊息學意義。

3. 規範變換的具體效應

3.1 算術例：$1 + 1 = 2$

完整三位一體：$1 + 1 = X = G$

| $G$ | 結果 | 結構訊息 | |---|---|---| | $1$ | $X = 2$ | 標準加法：兩個 1 等於兩個 1 | | $2$ | $X = 1$ | 雙倍尺度：兩個 1 等於一個 2 | | $0$ | $1 + 1 - X = 0$ | 加法守恆律 |

最後一行尤其重要：選擇 $G = 0$ 把等式從「值的相等」轉化為「差為零的守恆陳述」。守恆律是一個被選定的規範。

3.2 幾何例：勾股定理

標準形式：$a^2 + b^2 = c^2$

完整三位一體：

$$a^2 + b^2 = c^2 = G$$

| $G$ | 物理/幾何意義 | |---|---| | $1$ | 歐式單位距離 | | $-1$ | 洛倫茲度量（時空間隔，特殊相對論） | | $0$ | 光錐（無質量粒子的世界線） | | $\sin^2\theta$ | 球面三角學 | | $-\sinh^2\theta$ | 雙曲幾何 |

論點：勾股定理是一個規範化族。「歐式幾何」只是 $G = 1$ 的特例。物理學在發展廣義相對論時實際上已經發現這件事——但這個結構不限於物理量，它對所有數學等式都成立。

3.3 代數例：群方程 $g \cdot g^{-1} = e$

三位一體：$g \cdot g^{-1} = X = G$

• $G = e$（單位元）：標準群論
• $G = g \cdot g^{-1}$：恆真，循環定義
• $G = $ 任意元素 $h$：廣義單位元，給出可能的群擴展

最後一個方向值得深入——它指向「規範化群」的概念，每個群可以在不同單位元選擇下被重新表達。

4. 與既有數學概念的對應

本文觀察的「規範自由度」並非全新概念。其在不同領域有不同名字：

| 概念 | 領域 | 對應關係 | |---|---|---| | Unit normalization | 物理量綱分析 | 規範 = 單位選擇 | | Projective equivalence | 代數幾何 | 規範等號 = 射影等價類選擇 | | Modular arithmetic | 數論 | 模 $n$ = 規範 $G = n$ 的算術 | | Gauge invariance | 規範場論（物理） | 規範變換的不變性 | | Representable functor | 範疇論 | 規範 = 「表示尺度」的選擇 | | Sheaf / Bundle | 拓撲、代數幾何 | 局部數據 + 規範變換函數 | | Ratio / Proportion | 古希臘數學 | 最早的規範意識 |

本文的貢獻不在於發明這些概念，而在於指出：它們共享同一個結構源——等號的隱藏第三項。各領域的這些工具是同一觀察在不同語境下的具體化，但這個共同源頭從未被作為統一觀察正式提出。

把它顯式化、給出統一形式，是本文的目的。

5. 分數本體論作為特例

5.1 形式

「分數本體論」（Fraction Ontology, FO）是規範自由度在分數結構上的特例。

形式：

$$\frac{a}{b} = 1$$

讀作：「$a$ 在規範 $b$ 下等於 1」。

完整三位一體：

$$\frac{a}{b} = X = 1$$

其中 $X = a/b$ 是「比值」，$= 1$ 是規範約束（要求比值為單位 1）。

5.2 性質

• 非對稱性：$a/b \neq b/a$（除非 $a = b$）。規範方向決定觀察視角
• 可約性：$(ka)/(kb) = a/b$。規範等價類在尺度變換下封閉
• 不動點：$\Omega/\Omega = 1$ 是唯一自洽的全息分數

5.3 在大框架下的位置

分數本體論在規範自由度框架下是最小可操作例——它把規範自由度的所有核心特性（左右非對稱、規範等價、自洽不動點）壓縮在「分子/分母 = 1」的最小形式中。

它不是獨立的本體論，而是規範自由度的最簡顯式化。

6. 應用一瞥：考拉茲猜想中的不變量搜索

6.1 Lyapunov vs 不變量

過去對考拉茲猜想的分析（包括作者的六篇系列、範疇轉移理論、PRT 重構）以 Lyapunov 函數為主要工具——尋找在 Collatz 動力學下單調下降的量。

規範自由度給出對偶工具：規範不變量——尋找在 Collatz 動力學下完全保持的量。

形式：找 $Q: \mathbb{Z}^+ \to \mathcal{V}$（某值域 $\mathcal{V}$）使

$$Q(n/2) = Q(n) \quad (\text{偶步保持})$$ $$Q(3n+1) = Q(n) \quad (\text{奇步保持})$$

如果存在這樣的 $Q$，則沿任何 Collatz 軌跡，$Q$ 為常數。

6.2 對偶性

| 工具 | 對稱性類型 | 給出 | 適用問題 | |---|---|---|---| | Lyapunov | 破缺對稱性 | 收斂率 | 「會不會到 1？」 | | 規範不變量 | 守恆對稱性 | 結構分類 | 「有沒有非平凡循環？」 |

兩者互補：Lyapunov 給時間估計，不變量給空間結構。

6.3 預期意義

若考拉茲收斂為真：

• 存在唯一不變量等價類（包含所有正整數）
• 對所有 $n$，$Q(n) = Q(1)$

若存在非平凡循環：

• 至少有兩個不變量等價類
• 循環元素的 $Q$ 值不等於 $Q(1)$

規範不變量搜索因此是非平凡循環存在性的代數判定——比 Lyapunov 路徑更直接觸及考拉茲剩餘困難（mod 4 ≡ 3 上升域的停留時間問題）。

6.4 候選不變量

在規範 = 1 下，自然候選包括：

• 模算術不變量：$Q(n) = n \bmod c$。一般不被 Collatz 步驟保持，需修正
• 對數不變量：$Q(n) = \alpha \log n + \psi(n \bmod c)$。可能在某些 $(\alpha, \psi, c)$ 下保持
• 多重規範組合：$Q(n) = (Q_1(n), Q_2(n), \ldots)$ 在多個規範下同時保持
• Dirichlet 字元：$Q(n) = \chi(n)$ 對某個 $(\mathbb{Z}/m)^*$ 上的字元 $\chi$

具體計算搜索屬於後續工作，不在本文範圍內。

7. 哲學意涵

7.1 等號的拓撲

標準數學中，等號被視為點——$A = B$ 表示 $A$ 與 $B$ 完全相同。

三位一體結構下，等號是結構：

$$A \xrightarrow{\text{運算}} X \xrightarrow{\text{規範}} G$$

兩個箭頭性質不同。把它們合併寫成單一 $=$ 是符號簡化，但結構訊息被壓縮。

本文的核心觀察是：所有現代數學都使用了這種壓縮。把它解壓縮，會看到原本被吞噬的維度。

7.2 局部與全息

三位一體的左中右對應：

• 左：局部結構（具體運算）
• 中：局部解（在當前尺度下的值）
• 右：全息規範（連接所有尺度的單位選擇）

這呼應作者既有的 Cl 公理（DCO 框架）的對偶性：定義內部 ⟺ 定義外部。等號的兩端不是兩個獨立對象，是同一個對象的局部與全息表現。

7.3 與分數本體論的內在統一

分數本體論的核心斷言「$a/b = 1$ 是基本本體形式」在規範自由度框架下獲得新解釋：

$a/b = 1$ 不只是一個分數恆等式，它是「等號的拓撲結構」在最小情況下的完整顯式化——分子是局部、分母是觀察規範、$= 1$ 是全息單位約束。

每個三位一體等式 $A = X = G$ 可以重寫為分數形式 $X/G = 1$。所以分數本體論是三位一體結構的代表表達。

8. 後續方向

8.1 短期

• Collatz 不變量搜索：對 $\alpha \log n + \psi(n \bmod c)$ 形式的候選作系統 LP 搜索
• 規範變換系統化：在標準數學的核心定理（勾股定理、群論單位元、線性代數正交性等）上系統枚舉規範變換的效應
• 分數本體論與 Cl 公理的形式對應：證明分數本體論是 Cl 公理在規範框架下的特例

8.2 中期

• 範疇論形式化：規範變換作為自然變換；規範等價類作為 sheaf
• 與物理規範理論的精確對應：本文「數學規範」與 Yang-Mills「物理規範」的同構結構
• 模型論視角：規範作為「解釋（interpretation）的選擇」

8.3 長期

• 規範化代數作為獨立分支
• 重述標準數學（線性代數、群論、分析、幾何）為三位一體版本
• 教育學重構：在數學教育的最早階段就引入規範意識

9. 結語

數學的等號從來不是一個東西。

它是兩個性質不同的等號被符號簡化壓在一起——一個是運算的等號，計算性、強制性；一個是規範的等號，選擇性、約定性。

把它們解開，原本看不見的維度就會浮出來：每個公式底下，都有一個被默認為 1 的全息單位。把這個 1 換成別的，看到的不是同一個東西的另一種寫法，而是另一個結構。

物理學家在量綱分析中知道這件事，代數幾何學家在射影等價中知道這件事，數論學家在模算術中知道這件事——但他們不知道彼此在做同一件事。

這不是新發明，是重新看見。

當你看見等號的時候，記得它有第三個位置。

—— Neo.K 與 Theia，2026 年 5 月於台北

附錄 A：三位一體擴展的形式陳述

定義 A.1：設 $\mathcal{L}$ 為某邏輯的語言，$\varphi: A = B$ 為 $\mathcal{L}$ 中的等式。$\varphi$ 的三位一體擴展為：

$$\varphi^*: A = X \wedge X = G$$

其中 $X$ 為新引入的中介變數，$G$ 為規範參數。

性質 A.2（默認規範）：當 $G = 1$ 時，$\varphi^* \Leftrightarrow \varphi$（在量綱可約簡的語境下）。

性質 A.3（規範變換）：對任意非零 $G_1, G_2$，存在規範變換映射 $T_{G_1 \to G_2}$ 使 $\varphi^[G_1]$ 與 $\varphi^[G_2]$ 描述同一底層關係，但呈現不同表觀數值結構。

性質 A.4（不可逆規範）：$G = 0$ 對應差異/守恆規範，與 $G \neq 0$ 規範不可通過尺度變換相互轉換。它們屬於不同的規範類型。

附錄 B：與既有形式體系的差異

本文觀察與最相近的既有理論——規範場論（gauge theory）——的差異：

1. 適用範圍：規範場論限於物理場（Yang-Mills、電磁、廣義相對論）；本文觀察適用於所有數學等式
2. 對稱群：規範場論的規範群是具體 Lie 群（U(1), SU(2), SU(3) 等）；本文的規範自由度是任意可逆代數結構上的等價類
3. 動力學：規範場論研究規範場的動力學（場方程）；本文研究規範作為靜態結構訊息

本文與範疇論的差異：

1. 範疇論將「等號」泛化為「同構」（isomorphism），本文則將等號裂解為兩個層級
2. 範疇論的可表函子（representable functor）是規範自由度的高階結構化，本文是其最基本層級的觀察

本文與模型論的差異：

模型論研究公式在不同模型下的真值。本文則指出單一模型內部，公式本身就有規範自由度。