# 判定域下的運算轉譯與加法化基本理論
## ——從部分運算、拓樸合法性到可逆運算座標的統一框架

**English Title:** *A Basic Theory of Operation Translation and Additivization under Admissible Domains: From Partial Operations and Topological Legality to Reconstructible Operational Coordinates*

**作者：** Neo.K  
**機構：** EveMissLab / 一言諾科技有限公司  
**系列：** Operation Translation Series A — Paper 01  
**版本：** v0.1  
**日期：** 2026-08-10

---

## 摘要

本文提出一個針對「運算如何在合法判定域內被轉譯為另一種較簡單運算」的統一形式框架。研究動機來自一個看似古典、實際上更一般的問題：對數映射能將正實數乘法轉為實數加法，

$$
\log(xy)=\log x+\log y,
$$

那麼，對任意具有部分定義域、拓樸結構、局部 chart 或非線性組合律的運算 $\mu$，何時存在一個轉譯 $T$，使其在另一空間中被表示為較簡單運算 $\nu$？何時此轉譯可以全域成立？何時只能局部成立？何時必須加入結構修正項？何時可由轉譯空間精確或穩定地還原原始運算結果？

本文不把「部分運算」本身宣稱為新概念。既有 partial algebra、partial function algebra、topological partial algebra 與 partial action 理論已經處理了運算只在部分輸入上定義、部分同態與拓樸相容等問題。本文的工作重點是在此基礎上加入一個不同的研究軸：**運算轉譯本身的合法性、可加法化條件、局部／全域可轉譯性、結構修正殘餘與逆轉譯可還原性**。

本文首先定義「判定域運算系統」：

$$
\mathfrak A=(X,\tau,\Omega_\mu,\mu),
$$

其中 $\Omega_\mu\subseteq X\times X$ 是運算真正合法的輸入域。接著定義精確運算轉譯：

$$
T(\mu(x,y))
=
\nu(Tx,Ty),
\qquad
(x,y)\in\Omega_\mu.
$$

本文證明一個基本運算搬運定理：任何雙射 $T$ 都能把部分運算 $\mu$ 精確搬運到其像空間上的某個新運算 $\nu_T$ ；若 $T$ 為同胚且 $\mu$ 連續，則相應拓樸合法性可一併搬運。然而，此結果只是「表示存在性」，並不意味運算被簡化。真正非平凡的問題是：能否把 $\nu_T$ 限制在一個低複雜度目標類，例如加法、仿射運算或具有受控 correction 的運算族。

本文進一步給出精確加法化的必要條件。若存在單射 $T$ 使

$$
T(\mu(x,y))=T(x)+T(y),
$$

則在所有雙向都合法的輸入上， $\mu$ 必須交換；在所有相關複合都合法的局部域上， $\mu$ 必須繼承加法的結合律。更一般地，目標運算所滿足的代數恆等式，會經由單射轉譯拉回原運算的合法區域。這提供了一個直接的「不可精確加法化」判定準則，而非先嘗試數值方法再觀察失敗。

為處理不能完全加法化的情形，本文定義結構殘餘：

$$
C_T(x,y)
=
T(\mu(x,y))-T(x)-T(y),
$$

並區分「任意殘餘」與「受限結構修正」。只有當 $C_T$ 屬於事先指定的低複雜度修正類 $\mathscr C$ 時，才稱該運算為修正型可加法化，從而避免「任何運算都可以把所有困難藏進 correction」的空洞化問題。

最後，本文建立全域、局部、修正型與不可加法化四層分類，並以正實數乘法、除法、仿射映射與非交換矩陣作為基礎案例。本文的目的不是宣稱所有數學運算都可被對數化，而是提供一套更嚴格的問題語言：

> **先判定運算在哪裡合法，再判定何種結構能被轉譯、哪些不變量必須保存、哪些 correction 是結構必要項，以及逆轉譯是否存在。**

這套框架將作為後續對數標準模型、修正場、估值座標、流形／表示論擴張、非交換邊界與 Runtime 工程實作的共同地基。

**關鍵詞：** 運算轉譯、判定域、部分運算、拓樸代數、加法化、線性化、局部座標、結構修正、可逆映射、運算合法性

---

# 1. 問題的提出

## 1.1 從對數出發，但不把問題限制在對數

對數最經典的代數性質之一是：

$$
\log(xy)=\log x+\log y.
$$

若 $x,y>0$，則自然對數提供：

$$
\ln:
(\mathbb R_{>0},\times)
\longrightarrow
(\mathbb R,+),
$$

且

$$
\ln(xy)=\ln x+\ln y.
$$

逆映射為：

$$
\exp:
(\mathbb R,+)
\longrightarrow
(\mathbb R_{>0},\times).
$$

因此：

$$
xy
=
\exp(\ln x+\ln y).
$$

這通常被理解為「對數可以把乘法變成加法」。

本文所關注的不是這條公式本身，而是它背後更一般的結構問題。

給定一個空間 $X$，其上存在某個運算：

$$
\mu(x,y),
$$

是否存在另一空間 $Y$ 、一個轉譯：

$$
T:X\to Y,
$$

以及另一個較簡單運算：

$$
\nu:Y\times Y\to Y,
$$

使得：

$$
T(\mu(x,y))
=
\nu(Tx,Ty)?
$$

若答案為肯定，則：

$$
\mu(x,y)
=
T^{-1}
\left(
\nu(Tx,Ty)
\right).
$$

這表示原始運算可在另一座標空間中執行。

真正需要處理的問題至少有六個：

1. $\mu$ 是否在所有 $(x,y)$ 上都有定義？
2. $T$ 在哪一個區域合法？
3. $T$ 是否單射、滿射或可逆？
4. $\nu$ 是否真的比 $\mu$ 簡單？
5. 若精確關係失敗，失敗量是否具有可分類結構？
6. 逆轉譯是否穩定並可還原原結果？

因此，本文將「運算轉譯」視為比「函數變換」更廣的研究對象。

---

# 2. 與既有部分代數框架的關係

數學中早已存在多種處理 partial operation 的框架。部分代數允許一個運算只在部分輸入組合上定義；部分函數代數直接研究由 partial functions 組成的代數；topological partial $*$ -algebra 則進一步要求拓樸與部分乘法結構相容。partial action 理論亦研究群元素只在某些子域上作用的情形。

因此本文不提出：

> 「運算可以只有部分定義域」

作為新發現。

本文增加的是另一個問題軸：

$$
\boxed{
\text{partial legality}
+
\text{operation translation}
+
\text{structural simplification}
+
\text{reconstruction}
}
$$

即使一個部分運算已被完整公理化，仍然可以問：

> 是否存在另一個表示，使其合法部分中的運算變得更簡單？

這是本文希望固定的研究問題。

---

# 3. 判定域運算系統

## 3.1 定義：判定域運算系統

**定義 3.1（Admissible-Domain Operation System, ADOS）**

一個二元判定域運算系統定義為四元組：

$$
\mathfrak A
=
(X,\tau,\Omega_\mu,\mu),
$$

其中：

- $X$ 是狀態或數值空間；
- $\tau$ 是 $X$ 上的拓樸；
- $\Omega_\mu\subseteq X\times X$ 是運算 $\mu$ 的合法判定域；
- $\mu:\Omega_\mu\to X'$ 是運算。

其中 $X'$ 可以等於 $X$，也可以是另一個空間。

若：

$$
X'=X,
$$

則稱為內部部分運算。

若：

$$
\Omega_\mu=X\times X,
$$

則退化為全域二元運算。

## 3.2 除法作為最簡單例子

取：

$$
X=\mathbb R.
$$

除法：

$$
\delta(x,y)=\frac{x}{y}
$$

不是：

$$
\delta:\mathbb R^2\to\mathbb R,
$$

因為：

$$
y=0
$$

時沒有定義。

正確的判定域是：

$$
\Omega_\delta
=
\left\{
(x,y)\in\mathbb R^2:
y\neq0
\right\}.
$$

因此：

$$
\delta:
\Omega_\delta
\to
\mathbb R.
$$

這個例子看似平凡，但它固定了一個重要原則：

> **運算合法性必須先於運算轉譯。**

若原運算在某點沒有定義，任何後續座標變換都不能把該點偷偷變成「合法」。

---

# 4. 運算轉譯

## 4.1 定義：精確運算轉譯

設：

$$
\mathfrak A
=
(X,\tau_X,\Omega_\mu,\mu),
$$

以及：

$$
\mathfrak B
=
(Y,\tau_Y,\Omega_\nu,\nu).
$$

**定義 4.1（Exact Operation Translation）**

映射：

$$
T:X\to Y
$$

稱為 $\mu$ 到 $\nu$ 的精確運算轉譯，若對所有：

$$
(x,y)\in\Omega_\mu
$$

都有：

$$
(Tx,Ty)\in\Omega_\nu,
$$

且：

$$
\boxed{
T(\mu(x,y))
=
\nu(Tx,Ty).
}
$$

若 $T$ 為單射，稱為忠實轉譯。

若 $T$ 為雙射，稱為可逆精確轉譯。

若 $T$ 為同胚，則稱為拓樸精確轉譯。

---

# 5. 基本搬運定理

## 定理 5.1：任意雙射均可搬運部分運算

設：

$$
\mu:\Omega_\mu\to X
$$

為 $X$ 上的部分二元運算，且：

$$
T:X\to Y
$$

為雙射。

定義：

$$
\Omega_{\nu_T}
=
(T\times T)(\Omega_\mu).
$$

對：

$$
(u,v)\in\Omega_{\nu_T},
$$

定義：

$$
\nu_T(u,v)
=
T
\left(
\mu(T^{-1}u,T^{-1}v)
\right).
$$

則：

$$
\boxed{
T(\mu(x,y))
=
\nu_T(Tx,Ty)
}
$$

對所有：

$$
(x,y)\in\Omega_\mu
$$

成立。

### 證明

由：

$$
u=Tx,
\qquad
v=Ty,
$$

有：

$$
T^{-1}u=x,
\qquad
T^{-1}v=y.
$$

因此：

$$
\nu_T(Tx,Ty)
=
T
\left(
\mu(T^{-1}Tx,T^{-1}Ty)
\right)
$$

$$
=
T(\mu(x,y)).
$$

證畢。

## 5.2 此定理為什麼不等於「所有運算都被簡化」

定理 5.1 說明：

> 任意可逆座標變換都可以把原運算搬到另一空間。

但這只證明：

$$
\text{representation exists}.
$$

它完全沒有證明：

$$
\nu_T
$$

比：

$$
\mu
$$

容易。

事實上：

$$
\nu_T
$$

可能比原運算更加複雜。

因此本文區分：

$$
\boxed{
\text{operation transport}
}
$$

與：

$$
\boxed{
\text{operation simplification}.
}
$$

前者幾乎具有普遍性。

後者才是非平凡研究內容。

---

# 6. 目標運算類與非平凡性

令：

$$
\mathscr N
$$

表示允許的「簡化目標運算類」。

例如：

$$
\mathscr N_{\mathrm{add}}
=
\{+\},
$$

或者：

$$
\mathscr N_{\mathrm{aff}}
=
\left\{
(u,v)\mapsto au+bv+c
\right\}.
$$

又或者是一組有限成本 primitive 所生成的運算類。

真正有意義的問題變成：

$$
\boxed{
\exists T,\quad
\nu\in\mathscr N
:
T\mu
=
\nu(T\times T)?
}
$$

若不限制 $\nu$，定理 5.1 已經使問題近乎平凡。

若限制：

$$
\nu=+,
$$

則問題開始具有強烈的代數限制。

---

# 7. 精確加法化

## 7.1 定義

**定義 7.1（Exact Additivization）**

設 $Y$ 為加法空間。

若存在單射：

$$
T:X\to Y
$$

使：

$$
\boxed{
T(\mu(x,y))
=
T(x)+T(y)
}
$$

對所有：

$$
(x,y)\in\Omega_\mu
$$

成立，則稱 $\mu$ 在 $\Omega_\mu$ 上可精確加法化。

---

# 8. 交換性必要條件

## 定理 8.1

若 $\mu$ 可由單射 $T$ 精確加法化，且：

$$
(x,y)\in\Omega_\mu,
$$

$$
(y,x)\in\Omega_\mu,
$$

則：

$$
\boxed{
\mu(x,y)=\mu(y,x).
}
$$

### 證明

由精確加法化：

$$
T(\mu(x,y))
=
T(x)+T(y).
$$

由加法交換律：

$$
T(x)+T(y)
=
T(y)+T(x).
$$

因此：

$$
T(\mu(x,y))
=
T(\mu(y,x)).
$$

因 $T$ 單射：

$$
\mu(x,y)
=
\mu(y,x).
$$

證畢。

## 8.2 推論：真正非交換運算不能被忠實映射到普通加法

若存在：

$$
x,y
$$

使：

$$
\mu(x,y)\neq\mu(y,x),
$$

且兩種次序均合法，則不存在單射 $T$ 使：

$$
T(\mu(x,y))
=
T(x)+T(y)
$$

在包含此二點的全域上成立。

即：

$$
\boxed{
\text{genuine noncommutativity}
\Rightarrow
\text{no faithful exact abelian additivization}.
}
$$

這是一個非常直接的判定邊界。

它不是數值精度問題。

它是代數結構阻礙。

---

# 9. 結合律必要條件

## 定理 9.1

假設 $T$ 單射，且：

$$
T(\mu(x,y))
=
T(x)+T(y).
$$

若：

$$
\mu(\mu(x,y),z)
$$

與：

$$
\mu(x,\mu(y,z))
$$

均合法，則：

$$
\boxed{
\mu(\mu(x,y),z)
=
\mu(x,\mu(y,z)).
}
$$

### 證明

$$
T(\mu(\mu(x,y),z))
=
T(\mu(x,y))+T(z)
$$

$$
=
T(x)+T(y)+T(z).
$$

另一方面：

$$
T(\mu(x,\mu(y,z)))
=
T(x)+T(\mu(y,z))
$$

$$
=
T(x)+T(y)+T(z).
$$

故：

$$
T(\mu(\mu(x,y),z))
=
T(\mu(x,\mu(y,z))).
$$

由 $T$ 單射：

$$
\mu(\mu(x,y),z)
=
\mu(x,\mu(y,z)).
$$

證畢。

---

# 10. 代數律回拉原理

前兩個定理其實是更一般原理的特例。

## 命題 10.1（Law Pullback Principle）

若：

$$
T
$$

為單射，且：

$$
T(\mu(x,y))
=
\nu(Tx,Ty),
$$

則凡是在目標運算 $\nu$ 上成立、且其對應複合均落在合法判定域內的代數恆等式，都可經由 $T$ 拉回 $\mu$。

因此：

> **目標運算的代數律，是精確忠實轉譯的必要結構限制。**

如果目標是普通向量加法，原運算在對應合法區域必須至少兼容：

- 交換律；
- 結合律；
- 單位元結構；
- 逆元結構；
- 其他由目標空間繼承的恆等式。

因此「想把某運算變成加法」不能只看數值公式是否接近。

必須先問：

$$
\boxed{
\text{原運算是否允許加法結構被忠實拉回？}
}
$$

---

# 11. 拓樸合法性

純代數相容並不足夠。

如果：

$$
T
$$

高度不連續，那麼即使形式等式成立，也未必適合作為穩定數值座標。

## 定義 11.1

若：

$$
T:X\to Y
$$

為同胚，且：

$$
\mu:\Omega_\mu\to X
$$

連續，則以定理 5.1 搬運出的：

$$
\nu_T:
(T\times T)(\Omega_\mu)
\to Y
$$

亦連續。

### 理由

$$
\nu_T
=
T
\circ
\mu
\circ
(T^{-1}\times T^{-1}).
$$

三者皆連續，故其複合連續。

因此：

$$
\boxed{
\text{homeomorphic transport}
}
$$

保留了基本拓樸可操作性。

---

# 12. 全域轉譯與局部轉譯

全域轉譯要求單一：

$$
T:X\to Y
$$

覆蓋全部研究域。

但很多非線性空間只適合局部座標。

因此定義：

$$
\{U_\alpha\}_{\alpha\in A}
$$

為 $X$ 的一組開覆蓋。

在每個：

$$
U_\alpha
$$

上存在：

$$
T_\alpha:
U_\alpha\to V_\alpha.
$$

如果：

$$
(x,y,\mu(x,y))
$$

均落在某個可用局部區域，且：

$$
T_\alpha(\mu(x,y))
=
\nu_\alpha(T_\alpha x,T_\alpha y),
$$

則稱為局部精確轉譯。

## 12.1 Overlap 相容性

若：

$$
U_\alpha\cap U_\beta\neq\varnothing,
$$

則存在 transition map：

$$
g_{\beta\alpha}
=
T_\beta
\circ
T_\alpha^{-1}.
$$

若希望局部簡化結構能形成一致的全域結構，transition map 必須保存相應運算關係。

理想情況：

$$
g_{\beta\alpha}
(\nu_\alpha(u,v))
=
\nu_\beta
(g_{\beta\alpha}u,g_{\beta\alpha}v).
$$

若此條件失敗，則局部都能簡化並不代表存在單一全域簡化座標。

因此：

$$
\boxed{
\text{local linearizability}
\not\Rightarrow
\text{global linearizability}.
}
$$

---

# 13. 修正型加法化

某些運算無法滿足：

$$
T(\mu(x,y))
=
T(x)+T(y),
$$

但可能接近：

$$
T(\mu(x,y))
=
T(x)+T(y)+C_T(x,y).
$$

## 定義 13.1：結構殘餘

若 $Y$ 為可加減空間，定義：

$$
\boxed{
C_T(x,y)
=
T(\mu(x,y))-T(x)-T(y).
}
$$

稱：

$$
C_T
$$

為 $T$ 下的加法化結構殘餘。

## 13.2 為何不能把任何 $C_T$ 都叫成果

對任意 $T$，上式都可以形式上定義。

如果我們允許 $C_T$ 任意複雜，那麼：

$$
T\mu
=
T(x)+T(y)+C_T
$$

只是恆等式重寫。

沒有任何簡化價值。

因此必須預先指定一個修正類：

$$
\mathscr C.
$$

例如：

- 常數 correction；
- 有界 correction；
- 低階多項式；
- 稀疏項；
- 局部可查表項；
- 可漸近展開項；
- 有限 commutator hierarchy；
- 某個低維表示中的結構項。

只有當：

$$
C_T\in\mathscr C
$$

時，才稱：

$$
\mu
$$

為相對於：

$$
(T,\mathscr C)
$$

的修正型可加法化。

---

# 14. 精確、修正、近似與不可轉譯的四層分類

本文提出以下第一版分類。

## Class I：Exact Additivizable

存在單射 $T$：

$$
T(\mu(x,y))
=
T(x)+T(y).
$$

## Class II：Corrected Additivizable

存在：

$$
T
$$

與受限：

$$
C_T\in\mathscr C
$$

使：

$$
T(\mu(x,y))
=
T(x)+T(y)+C_T(x,y).
$$

## Class III：Locally / Approximately Additivizable

只有在：

$$
U_\alpha
$$

或某有限階近似下成立：

$$
T_\alpha(\mu(x,y))
=
T_\alpha(x)+T_\alpha(y)+C_{\alpha,n}(x,y)+R_n(x,y),
$$

其中：

$$
R_n\to0.
$$

## Class IV：Non-Additivizable under the Chosen Target Class

在指定：

- 判定域；
- 拓樸正則性；
- 目標加法空間；
- 單射要求；
- correction class

下不存在所要求的 $T$。

注意：Class IV 不等於「此運算永遠不能被任何方式表示」。

它只表示：

> **在目前選定的轉譯規格下不存在合法簡化。**

這使不可行結果也成為理論的一部分。

---

# 15. 標準案例一：正實數乘法

令：

$$
X=\mathbb R_{>0},
$$

$$
\mu(x,y)=xy.
$$

取：

$$
T(x)=\ln x.
$$

則：

$$
T(xy)
=
\ln(xy)
=
\ln x+\ln y.
$$

因此：

$$
\boxed{
T(\mu(x,y))
=
T(x)+T(y).
}
$$

且：

$$
T^{-1}(u)=e^u.
$$

這是 Class I。

此外：

$$
\ln:
\mathbb R_{>0}
\to
\mathbb R
$$

是同胚。

因此它同時是：

- 精確代數轉譯；
- 可逆轉譯；
- 拓樸合法轉譯。

這將在 Paper 02 中完整展開。

---

# 16. 標準案例二：除法

對：

$$
x\neq0,
\qquad
y\neq0,
$$

取：

$$
T(x)=\ln|x|
$$

並另保存 sign。

則：

$$
\ln\left|\frac{x}{y}\right|
=
\ln|x|-\ln|y|.
$$

注意除法本身已有：

$$
y\neq0
$$

的原始判定域。

對數又增加：

$$
x\neq0
$$

與絕對值／符號 chart。

因此一個完整轉譯必須記錄：

$$
\boxed{
\Omega_{\mathrm{original}}
}
$$

以及：

$$
\boxed{
\Omega_T.
}
$$

真正可執行的域是其相容部分。

---

# 17. 標準案例三：仿射運算

考慮：

$$
f(x)=ax+b,
$$

並假設：

$$
x>0,
\quad
a>0,
\quad
ax+b>0.
$$

有：

$$
ax+b
=
ax
\left(
1+\frac{b}{ax}
\right).
$$

因此：

$$
\ln(ax+b)
=
\ln x+\ln a
+
\ln\left(
1+\frac{b}{ax}
\right).
$$

令：

$$
C(x)
=
\ln\left(
1+\frac{b}{ax}
\right).
$$

則：

$$
\boxed{
T(f(x))
=
T(x)+\ln a+C(x).
}
$$

此例不是純精確加法化，但 correction 有明確閉式。

因此它是 Class II 的典型候選。

Paper 03 將專門研究此類 correction field。

---

# 18. 標準案例四：非交換運算

設：

$$
\mu(A,B)=AB
$$

為矩陣乘法。

若：

$$
AB\neq BA,
$$

而希望存在單射：

$$
T
$$

使：

$$
T(AB)=T(A)+T(B),
$$

則同理：

$$
T(BA)=T(B)+T(A)
=
T(A)+T(B).
$$

因此：

$$
T(AB)=T(BA).
$$

單射要求：

$$
AB=BA,
$$

矛盾。

所以真正非交換矩陣乘法不可能被忠實精確映射到普通交換加法。

即：

$$
\boxed{
[A,B]\neq0
\Rightarrow
\text{exact abelian additivization impossible}.
}
$$

這是結構性 impossibility，不是浮點問題。

非交換情形下的結構 correction 將留至 Paper 06。

---

# 19. 可逆性與還原

## 定義 19.1：精確可還原轉譯

若：

$$
T
$$

在研究域上單射，則存在逆映射：

$$
T^{-1}:T(X)\to X.
$$

若：

$$
T(\mu(x,y))
=
\nu(Tx,Ty),
$$

則：

$$
\boxed{
\mu(x,y)
=
T^{-1}
\left(
\nu(Tx,Ty)
\right).
}
$$

如果有 correction：

$$
T(\mu(x,y))
=
\nu(Tx,Ty)+C_T(x,y),
$$

則：

$$
\boxed{
\mu(x,y)
=
T^{-1}
\left(
\nu(Tx,Ty)+C_T(x,y)
\right).
}
$$

因此：

> **轉譯只有在逆轉譯存在時，才構成完整運算替代。**

單純把資料送入另一空間，不等於成功建立計算方法。

---

# 20. 數值近似與數學結構必須分離

實際計算使用：

$$
\widehat T,
\qquad
\widehat T^{-1}
$$

而不是理想：

$$
T,
\qquad
T^{-1}.
$$

因此計算結果：

$$
\widehat z
=
\widehat T^{-1}
\left(
\widehat\nu
(
\widehat T(x),
\widehat T(y)
)
\right)
$$

可能有誤差。

但本文強調兩種不同失敗：

### 結構失敗

例如：

$$
[A,B]\neq0
$$

導致不可能忠實映射到交換加法。

這是數學 impossibility。

### 數值失敗

例如：

$$
\widehat{\ln x}
$$

精度不足。

這是 backend 問題。

二者不能混同。

因此後續工程架構將明確分成：

$$
\boxed{
\text{Mathematical Legality Layer}
}
$$

與：

$$
\boxed{
\text{Numerical Backend Layer}.
}
$$

---

# 21. 轉譯合法性的分層判定

本文提出第一版判定流程。

## Stage 0：原始運算合法性

檢查：

$$
(x,y)\in\Omega_\mu.
$$

## Stage 1：轉譯合法性

檢查：

$$
x,y,\mu(x,y)
$$

是否位於 $T$ 的有效域。

## Stage 2：代數相容性

若目標為加法，先測：

- 交換性；
- 結合性；
- identity；
- inverse；
- 其他目標恆等式。

## Stage 3：拓樸相容性

檢查：

$$
T,
\quad
T^{-1}
$$

的連續性、局部可逆性與 singular set。

## Stage 4：局部／全域判定

判斷存在：

$$
T
$$

全域成立，或只能建立：

$$
\{T_\alpha\}.
$$

## Stage 5：Correction 判定

若精確關係失敗，定義：

$$
C_T.
$$

檢查：

$$
C_T\in\mathscr C?
$$

## Stage 6：可還原性

檢查：

$$
T^{-1}
$$

是否存在並能穩定重建結果。

---

# 22. 「通用性」應如何表述

本文不主張：

$$
\text{所有運算都可以變成加法}.
$$

這個命題過強且錯誤。

真正可以追求的是：

$$
\boxed{
\text{條件式通用性}.
}
$$

給定一個運算族：

$$
\mathfrak F
=
\{
\mathfrak A_i
\}_{i\in I},
$$

若每個：

$$
\mathfrak A_i
$$

滿足一組條件：

$$
\mathcal C
=
\{
C_1,\dots,C_n
\},
$$

則存在某類：

$$
T_i
$$

把它送入：

$$
\mathscr N
$$

中的目標運算。

因此真正的定理形式應該是：

$$
\boxed{
\mathfrak A\in\mathfrak F
\land
\mathcal C(\mathfrak A)
\Rightarrow
\exists T,\nu
}
$$

而不是：

$$
\forall\mu,\exists T.
$$

這也是「判定域」概念的核心價值。

---

# 23. 與群同態觀點的關係

若：

$$
(X,\mu)
$$

本身已是群，且目標：

$$
(Y,+)
$$

是加法群，那麼：

$$
T(\mu(x,y))
=
T(x)+T(y)
$$

正是群同態條件。

如果：

$$
T
$$

可逆，就是群同構。

因此群論是本文框架中非常重要的特殊情況。

但本文刻意不把母框架限制為群，因為我們希望允許：

- 運算只有部分定義；
- 沒有全域 inverse；
- 沒有全域 identity；
- 不保證 closure；
- 不保證 associativity；
- 局部 chart 改變；
- 不同輸入具有不同合法域。

因此：

$$
\boxed{
\text{group theory}
\subset
\text{the admissible-domain translation problem},
}
$$

而不是反過來把所有問題預先塞進群結構。

---

# 24. 與拓樸部分代數的差異

Topological partial algebra 已經關心：

$$
\text{partial multiplication}
+
\text{topology}.
$$

本文則額外引入：

$$
\text{source operation}
\longrightarrow
\text{target operation}
$$

的顯式轉譯問題。

因此研究對象不是只問：

> $\mu$ 是否是一個良好的部分拓樸運算？

還問：

> 是否存在 $T$，使 $\mu$ 在另一合法空間中變成指定低複雜度的 $\nu$？

這是本文希望固定的區別。

---

# 25. 方法論意義：簡化不是刪除結構

如果：

$$
T(\mu(x,y))
=
T(x)+T(y),
$$

則所有必要結構已被 $T$ 與加法完整保存。

如果：

$$
T(\mu(x,y))
=
T(x)+T(y)+C_T(x,y),
$$

則：

$$
C_T
$$

不是自動等於「誤差」。

它可能代表原始運算中無法被目標加法結構吸收的真實關係。

因此應區分：

$$
\boxed{
\text{numerical error}
}
$$

與：

$$
\boxed{
\text{structural residual}.
}
$$

前者應被壓低。

後者可能是必須保留的數學資訊。

這個區分將在非交換情形尤其重要。

---

# 26. 初步研究綱領

基於本文框架，後續問題可依序寫成：

## Problem A：標準連續模型

完整刻畫：

$$
\mathbb R_{>0}^{\times}
\cong
\mathbb R^{+}
$$

在對數下的代數與拓樸結構。

## Problem B：Correction Geometry

研究：

$$
C_T
$$

是否：

- 有界；
- 光滑；
- 稀疏；
- 可漸近展開；
- 可查表；
- 可微分；
- 可積分；
- 具有特定代數階層。

## Problem C：離散精確模型

研究 valuation / exponent lattice：

$$
\mathbb Q_{>0}^{\times}
\cong
\bigoplus_{p\in\mathbb P}\mathbb Z.
$$

## Problem D：局部幾何化

研究：

$$
T_\alpha:
U_\alpha\to V_\alpha
$$

以及 atlas / tangent / representation。

## Problem E：非交換邊界

研究：

$$
[A,B]\neq0
$$

時 exact abelian additivization 的失敗與結構修正階層。

## Problem F：工程 Runtime

建立：

$$
\text{Domain Validator}
\rightarrow
\text{Transform Selector}
\rightarrow
\text{Additive/Linear Core}
$$

$$
\rightarrow
\text{Correction Engine}
\rightarrow
\text{Inverse Transform}
\rightarrow
\text{Error/Decision Validator}.
$$

---

# 27. 本文主要命題總結

本文最重要的內容可以壓縮成六條。

### 命題一：部分合法性先於轉譯

任何運算轉譯必須明確保存：

$$
\Omega_\mu.
$$

### 命題二：任意雙射可搬運運算，但不保證簡化

$$
\nu_T
=
T\mu(T^{-1}\times T^{-1})
$$

總可以被定義。

所以「有另一種表示」不是主要成果。

### 命題三：有意義的轉譯必須限制目標運算類

真正問題是：

$$
\nu\in\mathscr N
$$

能否成立。

### 命題四：精確忠實加法化會拉回加法的代數律

因此 genuine noncommutativity 等結構可以直接構成 impossibility certificate。

### 命題五：Correction 必須先限制類別

否則：

$$
C_T
=
T\mu-Tx-Ty
$$

只是恆等式。

### 命題六：完整轉譯必須包含逆轉譯

$$
\boxed{
\text{encode}
+
\text{operate}
+
\text{decode}
}
$$

三者缺一不可。

---

# 28. 限制

本文目前仍有幾個刻意保留的限制。

第一，本文尚未建立一個唯一的「運算簡單度」度量。

因此：

$$
\nu
$$

是否比：

$$
\mu
$$

低成本，目前必須相對於指定 primitive 或 cost model 判定。

第二，本文只初步定義 correction class，尚未建立 correction 的泛函空間、模結構或幾何。

第三，局部 chart 的全域 obstruction 尚未形式化成完整上同調或 holonomy 問題。

第四，非交換 correction 只作為分類邊界提出，不在本文展開。

第五，本文不處理任意精度算術、CAS、IEEE 754 等底層計算機工程細節。

這些屬於 numerical realization，而不是本篇的數學合法性主題。

---

# 29. 結論

本文從一個古典公式：

$$
\log(xy)=\log x+\log y
$$

出發，但最終關注的不是對數本身，而是：

$$
\boxed{
\text{運算能否在合法判定域中被另一個運算忠實表示？}
}
$$

本文提出判定域運算系統：

$$
\mathfrak A
=
(X,\tau,\Omega_\mu,\mu),
$$

以及轉譯關係：

$$
T(\mu(x,y))
=
\nu(Tx,Ty).
$$

在此框架下，任意雙射都可以搬運運算，但只有當目標 $\nu$ 被限制為加法、仿射或其他低複雜度運算時，問題才真正具有數學內容。

本文證明：如果運算可以被單射精確加法化，那麼加法的交換律、結合律等結構必須在原運算的相應合法域中成立。

因此：

$$
\boxed{
\text{exact additivization}
}
$$

具有可檢驗的代數前置條件。

對不能完全加法化的運算，本文進一步定義：

$$
C_T(x,y)
=
T(\mu(x,y))-T(x)-T(y),
$$

但要求 correction 必須屬於預先限制的結構類，才能稱為真正的修正型線性化。

這使我們得到一個初步分類：

$$
\boxed{
\text{Exact}
\rightarrow
\text{Corrected}
\rightarrow
\text{Local/Approximate}
\rightarrow
\text{Non-additivizable}.
}
$$

因此，本文的基本立場不是：

> 所有數學都可以被變成加法。

而是：

> **任何簡化之前，先證明其判定域、結構相容性與逆轉譯合法性；能精確轉譯就精確轉譯，不能精確轉譯就辨認結構 correction，再不能則將不可轉譯本身記錄為數學結果。**

這將作為 Series A 後續六篇論文與統一 Operation Translation Runtime 的共同理論地基。

---

# 參考文獻

1. J.-P. Antoine, F. Bagarello, C. Trapani, *Topological partial $*$ -algebras: Basic properties and examples*, arXiv:0904.0894.
2. Robin Hirsch, Brett McLean, *Disjoint-union partial algebras*, arXiv:1612.00252.
3. Luis Martínez, Héctor Pinedo, Carlos Uzcátegui, *A topological correspondence between partial actions of groups and inverse semigroup actions*, arXiv:2112.01289.
4. J.-P. Antoine, G. Bellomonte, C. Trapani, *Fully representable and $*$ -semisimple topological partial $*$ -algebras*, arXiv:1203.0509.
5. Giuliano Boava, Gilles G. de Castro, Daniel Gonçalves, Daniel W. van Wyk, *The dynamical structure of partial group algebras with relations, with applications to subshift algebras*, arXiv:2412.15951.

---

## Series A 銜接

**下一篇：Paper 02**

**《對數作為連續乘法線性化的標準模型——正實數乘法群、符號擴張、拓樸同胚與高精度逆轉譯》**

Paper 02 將固定本文的抽象符號：

$$
T,\mu,\nu,\Omega_\mu
$$

並以：

$$
T=\ln
$$

作為第一個完整標準模型，建立：

$$
(\mathbb R_{>0},\times)
\cong
(\mathbb R,+)
$$

的代數、拓樸、符號擴張與逆轉譯結構。