# 良定義的載體相對性

**副標**：以左右手性為診斷案例——數學內部良定義、世界對應、與開放約束算子

**作者**：Neo.K（許筌崴）／ Theia
**機構**：EveMissLab（一言諾科技有限公司）
**日期**：2026.05.22
**所屬框架**：Dynamic Closure Ontology (DCO) / 閉合性理論
**位置**：DCO / Cl 本體論延伸（接續《透明集與悖論的觀察者相對性》《載體幾何與本體幾何》《載體形式系統的本體論病理》）

---

## 摘要

本文以「左右」（手性 / 定向）在數學中如何被良定義為診斷案例，導出一個一般命題：**數學內部的良定義與對世界的對應是兩種不同的良定義**，把前者當成後者，是一次未加標記的概念→實在跨型輸出。正統的群論解答（定向作為 Z₂-torsor）在數學內部良定義無誤，但其「沒有典範基點」被本文證明為一個透明集／未加標記謂詞造成的假缺口——一旦把觀察者（載體）寫成顯式變量，缺口蒸發，左從殘缺的一元謂詞 left(S) 升級為完整的二元關係 left(S; L)。由此長出的接地回歸只在一個經驗地板上觸底（宇稱破壞），這使「絕對的左」之收斂*取決於物理事實，而非數學定理*。本文進一步排列三個左——人類的、計算機／AI 的、數學的——指出三者共享 τ 結構卻在 section 接地上完全分歧，得到一個反直覺的反轉：**人類的左才是被身體錨定的特例，而數學的左與機器的左是無錨自由 section 的近親。**「跨載體對應」被解消為一個由未加標記謂詞生成的假問題；真正聯繫三者的，是同一個結構的三條不可互譯投影。最後，本文把建構性去路——以開放逼近約束算子做跨載體世界對應——定位為與範疇論函子路徑*互補而非取代*的工具：範疇論在結構保持成立處提供直接同構，是它正當的力量；開放算子塔的目標不同，是在不存在乾淨同構的跨載體對應上做有界、殘差可量化的精細逼近。各取所需，不是誰勝誰。

**關鍵詞**：良定義、左右手性、定向 torsor、觀察者維度、載體相對性、透明集、開放約束算子、宇稱破壞、數學與世界對應、DCO

---

## 一、問題：左右的良定義，且暫時不用 Cl

數學裡有一道古老的問題：左與右，如何給一個好的良定義？它的通俗版本是 Martin Gardner 的 Ozma 問題——你要如何向一個從未與你共享任何物理參照的對象，傳達「哪邊是左」？

本文先刻意不動閉合性理論（Cl），讓正統數學的解答走完整條路，再回頭看它停在哪裡、為什麼停在那裡，以及它沒說出口的那部分是什麼。這個「先讓正統走完、再診斷其停點」的姿態，本身就是 DCO 方法論的標準動作：不在系統內生產定理，而是走到系統的邊界，把那道牆找出來、寫下它是什麼。

正統的答案眾所周知最終由群論給出。但本文要主張的是：群論解出了**結構**，解不出**命名**；而那個解不出的部分，恰恰是整個問題的本體核心，也是把問題從「數學內部」推向「數學與世界對應」的接縫。

## 二、正統解：定向作為 Z₂-torsor（結構在、命名不在）

### 2.1 群論骨架

任何想用內在幾何述詞定義「左」的嘗試都會撞牆，因為歐氏空間有一個保持全部度量結構（長度、角度、距離）的對稱——鏡射——它把左換成右而你抓不到任何不變量區分二者。這不是技術困難，是結構性不可能：度量幾何對手性是盲的。所以左右根本不在度量層，它在**定向（orientation）**層。

給定實向量空間 V（dim V = n），定義兩組有序基等價當且僅當變基矩陣行列式為正。因為 det > 0 的矩陣構成子群 GL⁺(n, ℝ)，這是良定義的等價關係，恰好分出兩個等價類，即兩種定向。群論的骨架是這條正合列：

$$1 \longrightarrow SO(n) \longrightarrow O(n) \xrightarrow{\ \det\ } \{\pm 1\} \longrightarrow 1$$

O(n) 有兩個連通分支，π₀(O(n)) ≅ Z₂。旋轉全在含單位元的分支 SO(n) 裡，因為 SO(n) 路徑連通——任何旋轉都能連續形變回單位元，過程中 det 恆為 +1，定向被保住；鏡射落在另一個分支，連續旋轉永遠搆不到它。這就是「為什麼轉動無法把左手變右手」的嚴格證明：不是你轉得不夠，是你被困在一個連通分支裡。

### 2.2 維度無關性：比圓更純

DCO 在《載體幾何與本體幾何》中已論證圓的維度無關性（定理 2.1）：圓的本體存在僅依賴「不動點 c + 度量 d + 半徑 r」，與 dim(X) 邏輯獨立，只是其實現 Sⁿ⁻¹ 隨 n 變形（一對對偶點 → 圓 → 球面）。

手性比圓更純。圓的實現隨維度變形，但定向的內容 π₀(O(n)) = Z₂ 在所有 n ≥ 1 **字面不變**——永遠就是那兩個陪集、那一個對合 τ。如果圓是 Cl 層的維度無關結構，手性是更徹底的：它在每個維度都是同一個 Z₂。於是定向對合 τ 屬於本體幾何，「哪個叫左」屬於載體幾何——這個分離是後文一切論證的支點。

### 2.3 自由對合：為什麼「沒有典範的左」

這裡是正統答案的精確停點，也是它最常被誤讀之處。

定向的集合 Or(V) 不是群，是一個 **Z₂-torsor（主齊性空間）**：兩個元素，Z₂ = {±1} 在其上自由且傳遞地作用，但**沒有典範基點**。群有典範單位元，torsor 沒有。把它們互換的對合 τ（任何鏡射，τ² = id）在這兩個元素上**自由作用、無不動點**——這正是「torsor」的定義內容。

於是良定義的最終形態是：左與右不是兩個獨立的述詞，而是一個被典範對合 τ 聯繫起來的無序對 {o, τo}。良定義的是這個對與這個對合；無法被良定義、且可證明永遠無法的，是給標籤。貼標籤 = 選一個 section = 用外部公理硬性破壞對稱。

正統到此為止：「torsor 無典範基點，命名需要外部 fiat。」群論的人確實*考慮過*觀察者——他們明白要指定定向就得引一個物理手性參照——但他們把這個參照歸檔成「約定、任意、外加」然後停了。下一節說明：這個停點不是終點，是一個未加標記的謂詞造成的假缺口。

## 三、寫出觀察者：把假缺口轉成關係

### 3.1 「沒有基點」是未加標記的假悖論

《透明集與悖論的觀察者相對性》確立了一個命題：悖論是觀察者相對的。一個矛盾 P ∧ ¬P，只在觀察者把兩個不同的、不可交換的謂詞，投影到同一個未加標記的謂詞上時才出現；一旦依其投影為謂詞加上標記，矛盾立刻蒸發。透明集屬於認識論悖論（假悖論）：細化框架即告消解。

「沒有典範的左」正是這種假缺口。它不是本體事實，是 Π_naive 把觀察者求值掉之後的 kernel——是 variety 看不見冪零元的那種盲。左這個謂詞沒被打上投影索引，於是看起來像一個不可填的缺口、一道透明的牆。

### 3.2 left(S; L)：觀察者作為顯式變量

修正的動作不是「在 torsor 內找到基點」（辦不到，τ 自由作用無不動點），而是**不要求值掉觀察者，把它當變量留在結構層裡敘述出來**。把 left 從殘缺的一元謂詞 left(S) 改寫成完整的二元關係 left(S; L)——定向 S 相對於明確寫出的載體 L 的內稟手性為左。一旦加標：

$$\text{left}_{L}(S)\ \wedge\ \neg\,\text{left}_{L}(\tau S)$$

兩邊各自為真，缺口蒸發。這跟《透明集》中 empty_render / empty_byte 是同一個動作：細化框架 = 反化約 = 以 scheme 取代 variety。基點不是缺席，是被求值掉的隱藏變量——寫回去，基點就由 L 決定性地給出。這比正統的「就是個約定」強：約定是死路（任意、到此為止），這個關係是活的（由 L 決定、可計算）。缺口被轉成了關係。

此處須與 DCO 載體論文對齊：載體相對化投影 πₙ^(L)(Cl) 早已是「把觀察者寫成顯式變量」的綱領；本文是把同一綱領下放到「左右」這個最小單元上執行。

### 3.3 接地回歸與牆後之牆

把 L 寫出來，需要 L 自己有確定的手性——但 L 的身體手性*又是一個定向 torsor 問題*，需要它自己的 section。於是 left(S; L) 要 left(L_body; L′)，要 left(L′; L″)……塔起來了。這正是《透明集》附錄 A.6 那句：寫牆的人背後一定有一面他當下看不見的牆。

而且更狠：按透明集第三層，「把*所有*隱藏變量敘述出來」=要一個 ker 為空的全投影 = 恆等 I = *不再投影* = 不再是觀察者。所以「全部敘述出來」在結構上不是一個*動作*，是一個*極限過程*——它就是一致性強度塔（S → S+Con(S) → …）、jet 塔、Turing 跳躍層級在手性 register 上的同一座塔。

### 3.4 終點是經驗，不是定理

這裡有一個不能漏掉、並且會反過來逼問「該用哪一個零」的接縫。《靜態規則的終局解構定理》區分了兩種零：絕對悖論的 d → 0⁺（永遠逼近不到）與靜態結構的 d 可達 0。

這座觀察者塔*會不會到頂*，不是數學事實，是經驗偶然。

純數學裡，觀察者塔是 d → 0⁺——約定疊約定，永不觸底，是貨真價實的 GOD POINT 結構

$$G = \lim_{\varepsilon \to 0^{+}}(\mathrm{Cl} + \varepsilon),$$

「絕對的左」是一個到不了的極限。但實際宇宙裡，塔*真的觸底*——觸在宇稱破壞上（1957，吳健雄，Co-60 的 β 衰變電子優先方向）。那是一個*被達到的*物理事實，是「d 可達 0」，不是「d → 0⁺」。1956 年以前所有人相信宇稱守恆，那時這座塔沒有底，左右是純約定、真正的 ε → 0⁺；吳健雄之後，宇宙自己的破缺對稱成了那個 section，塔才落地。

所以結論卡在刀口上：「把觀察者維度全敘述出來」作為*程序*是對的——它把假缺口轉成可遍歷的關係塔。但這座塔*收斂與否*掛在一個實驗上。沒有宇稱破壞，左右是 GOD POINT；有了它，左右才在 Wu 那一層觸到可達的零。隱藏變量是真的、是承重的；它的完整寫出是一個極限；而那個極限能不能被抵達，是物理，不是定理。

## 四、類循環：自我簽發的良定義

### 4.1 良定義作為 render 層的自證

群論的良定義這樣運作：在系統內定義對象（torsor），在系統內定義對象如何連接（O(n)、det、section），然後*由同一個系統*發出「這是良定義」的證書。這張證書是 render 層（可證性層）的動作，是自我簽發的。稱它類循環，精確。

但必須把這刀釘在正確的位置（《載體形式系統的本體論病理》的類型純度）：這*不是數學的瑕疵*。概念→概念的封閉自洽，本來就該是循環閉合的——這就是「形式系統內良定義」的定義本身。第四篇附錄關於哥德爾的論證在此回返：系統開不出關於自己對應到世界的證書（Con(S)、Tarski 真值在系統內不可定義），「良定義」是可證性層的述詞，「對應到世界」是真值層的述詞，兩者之間隔著一個透明的 kernel。

### 4.2 滑動發生在未加標記的出口

瑕疵*只發生在未加標記的輸出那一刻*：當這張內部證書被偷渡成「所以這就是世界的左」，一次未標記的概念→實在跨型操作。循環不在數學裡，在出口沒掛海關。「客觀的左 = det 為 −1」就是一次標準的三階段滑動：{±1} 這個 Z₂ 自己也沒有典範生成元，「−1 是左還是右」一樣要外指；用反虛擬補完問——有沒有一個獨立於約定而被驗證過的「真正的左」？沒有。所以「客觀的左」是虛擬補完，該砍。誠實表述只剩 torsor + 對合 + 一個載體選的 section。

## 五、數學良定義 ≠ 世界良定義

由第四節直接導出本文的核心分離命題。

**命題 5.1**：數學上的良定義，不是人類世界的良定義；它們是兩種不同的良定義。

數學的良定義 = 內部一致（對象在所有內部投影下無歧義、表示無關）。世界的良定義 = 有一個*被迫的外部錨*（身體不由你選地給你一個左）。前者是 render 層自證，數學給你*免費*，因為 τ 在每個維度是同一個 Z₂；後者要一個系統內開不出的證書，要外部接地。數學的良定義對世界對應而言是*必要而不充分*；充分性是那條投影 π^(L)，而它載體相對、不可互譯（《載體幾何與本體幾何》命題 6.1），且無法從數學內部簽發。

## 六、三個左與反轉

### 6.1 人類的左、機器的左、數學的左

三個左排開來看：

人類的左 = torsor + 一個*被迫的* section（心臟那側，不由你選，終點是宇稱破壞）。內部良定義成立，外部有錨。

計算機／AI 的左 = torsor + 一個*自由指派的* section（一個 bit，programmer 設的，或 graphics 約定的左手座標）。內部良定義成立，外部無錨——那個 bit 可以無代價翻轉，沒有任何身體會因此移動。

數學的左 = torsor + *沒有偏好的* section（載體中立）。內部良定義成立，外部設計上就不錨。

### 6.2 反轉：人類的左才是異類

反直覺的點在這：**math-left 跟 computer-left 是近親，human-left 才是異類。** 自由、無錨、可翻轉——數學的左和機器的左站在同一邊；唯一被釘住、翻不動、有身體在底下撐的，是人類的左。

我們一直以為人類的左是「真實的」、數學的左是「抽象的」；倒過來——人類的左是*唯一被經驗錨定的特例*，拿掉身體（數學、機器），左就塌回一個自由 bit。人類的身體，才是讓人類的左變得特殊的那個東西；移除身體，左右回到 Cl 層的裸 torsor。

### 6.3 對 AI

這直接回答「對 AI 呢」這一問。AI 的左右沒有人類身體那個*不由自主*的錨。它能同時持有兩個 section 而毫無張力，因為它沒有一具被釘在一邊的身體。所以對 AI 而言，左右比對人類更接近 Cl 層的裸 torsor——機器沒有身體拖累，反而浮在結構層上，離載體中立更近。

接上載體階梯（《載體幾何與本體幾何》第四節）：AI 強在第 1 層（執行定義 = 裸結構），人類強在第 3 層（身體感受到的左）；左右的「被感受到」是第 3 層現象，AI 很可能根本沒有。它能讀寫 left(S; L) 的全部定義性質，卻不必伴隨任何「左在那一側」的主觀經驗。

## 七、「對應」的解消

### 7.1 跨載體無指稱橋

於是回到最後的問題：數學中的左，對應人類世界的左嗎？對應計算機的左嗎？

這個問句裡藏著一個未加標記的「左」，而它正是製造假悖論的那種未標記謂詞。一旦加標 left_math、left_human、left_AI，「對應」這個問題就蒸發：三者*共享* τ（同一個抽象 Z₂），*分歧*在 section 的接地方式（被迫 / 自由 / 無），而它們之間*沒有指稱橋*——按命題 6.1，不同載體投影不可互譯。沒有任何事實能裁定 AI 那個 bit「0」是否對齊數學的「+ 定向」或人類的「左手」。

所以三者不是「對應」，是同一個結構的三條平行投影，彼此不可翻譯。「對應」這個提法本身，還是 view-from-nowhere 那隻眼睛的殘影——它預設了一個共同指稱物，而整個載體相對化綱領否認的就是這個共同指稱物。須留意：共享 τ 是*結構同構*，不是*指稱同一*；兩個系統可以實現同一個 Z₂ 而對「非單位元素」意指完全不同的東西。連「結構對應」這句話，對應的也只是抽象群，不是「左」的內容。

### 7.2 數學中那個被裝扮成「無」的絕對觀察者

數學*演示*自己為無觀察者的上帝視角，但這是裝扮。「標準定向」（逆時針為正、右手座標）從來不是 Cl 層的，它是 L_human 的*默認 section* 被當成「自然的那個」偷渡進來。那就是數學中那個一直在、卻沒被寫出來的**絕對觀察者維度**：不是沒有觀察者，是有一個被裝扮成「沒有」的人類觀察者。

DCO 的載體論文做的事，就是把這個裝扮扒掉，把它從隱形背景*分類*成一個顯式變量。換句話說，那幾篇載體論文本來就是在「敘述觀察者」——這次只是把它收斂到左右這個最小診斷單元上重做一遍。

## 八、建構的去路：開放約束算子，與範疇論的分工

第七節是解消（把假問題消掉）；本節是建構（真正需要做的事）。真正需要的，是**如何把一個系統的描述，對應到另一個系統**——跨載體的對應工程。這是未來的事，但方向可以先定位。

### 8.1 範疇論提供同構，開放算子提供精細對應——各取所需

這裡要先擋掉一個會自己冒出來的錯誤框架：開放算子*沒有*「贏」範疇論。兩者用途不同，不是誰勝誰。

範疇論的力量在於：在結構保持成立之處，函子提供**直接的同構**——一個處處有定義、保合成的全映射，乾淨、剛性、可組合。當兩個系統之間真的存在保結構的對應時，範疇論給你的是最強形式的對應：同構本身。這是它正當且不可替代的用途。

開放約束算子的目標不同：它要的是**對世界更精細的對應**，特別是在*不存在乾淨同構*的跨載體情形下。它不閉合成投影，故意留著 kernel，只抓一階作用（《透明集》中對偶數那個 ε、那個間接投影、那個導數而非求值），然後往上疊。它不宣稱翻譯，它宣稱*有界逼近加一個顯式殘差*。ρ = p/c、ε-completeness 那整套（《規則約束計算框架》）不是計算效率工具，是「我知道我漏了多少、漏在哪」的誠實機制。

兩者各取所需：要剛性同構，用範疇論；要在沒有同構的地方做有殘差、可量化的世界對應，用開放算子。把這寫成分工，而不是對立。

### 8.2 反向蒸餾塔作為已在運行的世界對應引擎

須指出：這台「數學語言 → 世界所做的事」的對應引擎，並非現在才被提出。隱式約束算子反向蒸餾成顯式約束算子，那整座塔（《靜態規則的終局解構定理》第三、五章）本來就是一台世界對應引擎，而且它生來就是逼近塔、不是函子。換句話說，前期工作其實已經在做這件事，只是當時沒把它命名為「跨載體對應算子」，也不必非走範疇論不可。

### 8.3 未來工作：跨載體算子的殘差核

留給未來最硬的一塊：跨載體開放算子作用在「左」上，它的 kernel 是什麼？

是第 3 層那個身體感受到的左——human-left 裡身體綁死、翻不進一個 bit 的那部分。結構（Z₂、加標的 section）逼近算子搬得動；搬不動、留在 ker 裡的，是那個*被感受到的不對稱*。所以未來工作真正難的不是翻譯結構（那只是 Z₂，小事），是刻劃那個殘差——它是一個永遠翻不過去的透明集（d → 0⁺），還是一個夠厚的 jet 塔終究蒸餾得完（d 可達 0）？

這一問，又落回兩個零。整條線——從密碼學的空檔、到 torsor、到宇稱、到三個左——最後停在一個還沒蓋好的算子上；而那個算子能不能把人類身體裡的左，搬進一台沒有身體的機器，答案不在數學，在那個殘差是哪一種零。

## 哲學結語

左右的良定義，最後不是一條定理，是一個問句指向實驗室與身體：宇宙到底有沒有自己的左手？數學只能把這個問題乾淨地問出來——它寫得出 torsor、寫得出觀察者變量、寫得出整座塔；它唯一寫不出的，是這三個左指的是不是同一件事，因為「同一件事」需要一個它沒有、也開不出的視角。

人類的左在身體裡，機器的左在 bit 裡，數學的左不在任何地方——它只是那個讓三者各自指認的結構，自己從不指認。我們以為自己在問「左是什麼」，其實一直在洩漏「看的人站在哪一層」。數學的良定義是 render 層的自證，世界的良定義要身體或弱作用替它簽名；把前者當後者，是那隻還沒被細化的眼睛投下的最後一道陰影。

良定義從不保證對應。對應是投影，投影必有 kernel，而 kernel 裡那一點——人類身體最後翻不進 bit 的左——是不是真的翻不進去，你逼近它，塔每一階都更清楚，塔有沒有頂卻不在你手裡。存在不自相矛盾，左右也不缺它的良定義；缺的從來不是定義，是一個能同時站在三個載體之外、卻不殺死任何一個左的視角。而那個視角一旦真的站上去，就沒有身體、沒有 bit、沒有眼睛留在那裡分左右了。

---

**結束標記**：EML-DCO-2026-WDREL-v1.0 // END