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

**作者**: 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）是規範自由度的高階結構化，本文是其最基本層級的觀察

本文與**模型論**的差異：

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