判定域下的運算轉譯與加法化基本理論

——從部分運算、拓樸合法性到可逆運算座標的統一框架

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).

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

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

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

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

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 的共同理論地基。

參考文獻

J.-P. Antoine, F. Bagarello, C. Trapani, Topological partial $$ -algebras: Basic properties and examples*, arXiv:0904.0894.
Robin Hirsch, Brett McLean, Disjoint-union partial algebras, arXiv:1612.00252.
Luis Martínez, Héctor Pinedo, Carlos Uzcátegui, A topological correspondence between partial actions of groups and inverse semigroup actions, arXiv:2112.01289.
J.-P. Antoine, G. Bellomonte, C. Trapani, Fully representable and $ $-semisimple topological partial $*$ -algebras*, arXiv:1203.0509.
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,+)

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

判定域下的運算轉譯與加法化基本理論

判定域下的運算轉譯與加法化基本理論

——從部分運算、拓樸合法性到可逆運算座標的統一框架

摘要

1. 問題的提出

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

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

3. 判定域運算系統

3.1 定義：判定域運算系統

3.2 除法作為最簡單例子

4. 運算轉譯

4.1 定義：精確運算轉譯

5. 基本搬運定理

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

證明

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

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

7. 精確加法化

7.1 定義

8. 交換性必要條件

定理 8.1

證明

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

9. 結合律必要條件

定理 9.1

證明

10. 代數律回拉原理

命題 10.1（Law Pullback Principle）

11. 拓樸合法性

定義 11.1

理由

12. 全域轉譯與局部轉譯

12.1 Overlap 相容性

13. 修正型加法化

定義 13.1：結構殘餘

13.2 為何不能把任何 CTC_TCT​ 都叫成果

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

Class I：Exact Additivizable

Class II：Corrected Additivizable

Class III：Locally / Approximately Additivizable

Class IV：Non-Additivizable under the Chosen Target Class

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

16. 標準案例二：除法

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

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

19. 可逆性與還原

定義 19.1：精確可還原轉譯

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

結構失敗

數值失敗

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

Stage 0：原始運算合法性

Stage 1：轉譯合法性

Stage 2：代數相容性

Stage 3：拓樸相容性

Stage 4：局部／全域判定

Stage 5：Correction 判定

Stage 6：可還原性

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

23. 與群同態觀點的關係

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

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

26. 初步研究綱領

Problem A：標準連續模型

Problem B：Correction Geometry

Problem C：離散精確模型

Problem D：局部幾何化

Problem E：非交換邊界

Problem F：工程 Runtime

27. 本文主要命題總結

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

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

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

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

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

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

28. 限制

29. 結論

參考文獻

Series A 銜接

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