主動索引微積分：同一性、切片、定址與交換的計算化

Active Index Calculus: Computationalizing Identity, Slicing, Addressing, and Exchange

系列： 世界幾何交換數學 B2
版本： v0.1
日期： 2026-08-23
作者： Neo.K
機構： EveMissLab
文件性質： 定義論文／同一性微積分擴張／索引動力學框架
狀態： 基礎理論草稿

摘要

本文承接 B1《世界幾何容器》，提出「主動索引微積分」（Active Index Calculus, AIC）的第一版形式框架。其核心問題是：若索引、地址、切片與觀察位置不只是描述性 metadata，而是可以被生成、交換、組合、微分、積分、壓縮與重定址的計算自由度，那麼同一性微積分應如何從「被動視圖理論」升級成「主動索引動力學」？

舊同一性微積分以 $$ d_I(O)={(O,i):i\in I} $$ 描述索引型切割，並以遺忘索引的積分 $$ \int_{\mathrm{id}}(O,i)=O $$ 保存本體同一性。本文保留此核心，但加入主動 transport： $$ \boxed{ \widehat{\mathcal E}_{i\to j}:(O,i)\mapsto(O,j). } $$ 索引因此不再只是被動標籤，而成為可移動、可組合、可微分與可計算的自由度。

本文進一步區分 identity、address、index、coordinate、phase、view、representation、query、lineage 九種容易被混淆的結構，並定義 identity-preserving index transport、index path、index curvature candidate、index derivative、index integral、index compression、direct addressing 與 lineage-aware transport。對於多層 MWT 帳本，本文則將索引 transport 推廣到 global ledger、local ledger 與 sub-local ledger 之間的跨層映射。

本文的核心主張不是「索引比本體更重要」，而是： $$ \boxed{ \text{索引本身也可以成為計算主體之一。} } $$ 在此框架下，切片不必等於破壞，移動不必等於改變身份，直接定址不必等於路徑遍歷，而積分也可以被理解成恢復身份、遺忘索引或聚合索引歷史的不同操作。

本文不宣稱 AIC 已取代標準微積分、拓撲學、範疇論或資料庫理論。本文的工作是建立一個可供 B3「實在—抽象交換不變量」、MWT 世界帳本、AI 全域觀察與未來世界幾何計算使用的主動索引語言。

關鍵詞： 主動索引、同一性微積分、索引幾何、定址、切片、transport、phase、lineage、MWT、世界帳本、身份守恆

1. 從被動索引到主動索引

舊同一性微積分的基本形式為： $$ d_I(O)={(O,i):i\in I}. $$

其中 $O$ 是被索引的本體對象， $i\in I$ 是某種切片、視圖、地址、位置或觀察標記。

其核心思想是： $$ \boxed{ \text{切割可以增加索引，而不必破壞本體。} } $$

因此 $(O,i)$ 不是「 $O$ 的一小塊本體」，而是： $$ \boxed{ \text{同一本體 }O+\text{索引 }i. } $$

B2 的新問題是： $$ \boxed{ \text{如果 }i\text{ 本身可以被計算呢？} } $$

2. 九種需要嚴格分離的概念

本文區分： $$ \boxed{ \text{identity} \neq \text{address} \neq \text{index} \neq \text{coordinate} \neq \text{phase} \neq \text{view} \neq \text{representation} \neq \text{query} \neq \text{lineage}. } $$

它們可以重合，但不能預設為同一物。

• Identity 回答「這還是不是同一個對象？」
• Address 回答「在某個可定址空間裡，它在哪裡？」
• Index 回答「它以哪一種索引、切片、編號或局部標記被引用？」
• Coordinate 是某個幾何 chart 下的數值位置。
• Phase 描述循環、相對位置、局部關係或狀態週期。
• View 是某觀察者、投影或切片看到的對象。
• Representation 是某種編碼。
• Query 是一個取用規則。
• Lineage 記錄跨狀態、跨表示或跨身份變換的歷史。

3. 主動索引狀態

定義索引化狀態： $$ \boxed{ \widetilde O=(O,i,a,\phi,\ell). } $$

其中：

• $O$：本體對象；
• $i$：索引；
• $a$：地址；
• $\phi$：相位；
• $\ell$：lineage 記錄。

因此索引化狀態是一個： $$ \boxed{ \text{identity-bearing indexed computational state}. } $$

4. 主動索引 transport

定義： $$ \boxed{ \widehat{\mathcal E}_{i\to j}:(O,i)\mapsto(O,j). } $$

若本體 $O$ 不變，則此 index transport 是 identity-preserving 候選。

更一般地： $$ \widehat{\mathcal E}_\theta: (O,i,a,\phi,\ell) \mapsto (O',j,a',\phi',\ell'). $$

需要另外判定 $O'=O$ 是否成立。若成立，主要是狀態與索引變換；若不成立，則必須記入 lineage。

5. 身份守恆條件

令 $q_\kappa$ 為某個身份判定準則。

若： $$ \boxed{ q_\kappa(O,i)=q_\kappa(O,j), } $$ 則稱 $\widehat{\mathcal E}_{i\to j}$ 在準則 $\kappa$ 下保持身份。

因此： $$ \boxed{ \text{index change}\neq\text{identity change}. } $$

這是 AIC 的第一條硬邊界。

6. 索引型切片

定義索引型切片： $$ d_I(O)={(O,i):i\in I}. $$

若 $I$ 具有結構，例如： $$ \mathbb I=(I,\tau_I,d_I,\mathcal P,\mathcal Q,\sim_I), $$ 則切片不再只是集合展開，而是一個索引幾何。

可寫成： $$ \boxed{ d_{\mathbb I}(O)={(O,i):i\in\mathbb I}. } $$

7. 索引積分的三種意義

AIC 區分至少三種積分。

7.1 身份恢復積分

它遺忘索引並回到本體身份。

7.2 索引歷史積分

若索引沿時間演化： $$ i_0\to i_1\to\cdots\to i_n, $$ 則可用： $$ \boxed{ \int_{\mathrm{path}}di } $$ 表示索引路徑的聚合記錄。具體形式依模型可為離散和或路徑積分。

7.3 索引族聚合積分

對一族視圖： $$ {(O,i)}_{i\in I}, $$ 可定義： $$ \boxed{ \int_I F(O,i),d\mu_I(i) } $$ 聚合不同索引下的觀察量。

因此： $$ \boxed{ \int_{\mathrm{id}}, \quad \int_{\mathrm{path}}, \quad \int_I } $$ 不是同一種積分。

8. 同一性微積分核心恆等式

舊核心仍保留： $$ \boxed{ \int_{\mathrm{id}}\circ d_I=\operatorname{id}_O. } $$

但反向一般不成立： $$ \boxed{ d_I\circ\int_{\mathrm{id}} \neq \operatorname{id}_{\mathrm{views}}. } $$

原因是 $\int_{\mathrm{id}}$ 會遺忘索引資訊。

所以 identity recovery 與 view recovery 必須分離。

9. 索引導數

若索引空間具有局部結構，且 $i(t)$ 隨參數 $t$ 變化，則可定義： $$ \boxed{ \frac{di}{dt}. } $$

若索引是幾何座標，可採標準導數；若索引為離散或圖結構，可使用差分或 transition operator。

例如： $$ \boxed{ \Delta_I i_t=i_{t+1}-i_t. } $$

因此索引微分不是單一普遍公式，而是依索引幾何選擇的局部變化算子族。

10. 索引方向導數

令 $F(O,i)$ 為索引化觀察量。

若 $v$ 是索引方向，則： $$ \boxed{ D_v^I F } $$ 表示在保持 $O$ 身份條件下，只沿索引方向改變時 $F$ 的變化。

這區分： $$ \boxed{ \text{object variation} } $$ 與： $$ \boxed{ \text{view/index variation}. } $$

11. 直接定址

令 $A$ 為地址空間。

路徑式移動： $$ a_0\to a_1\to\cdots\to a_n. $$

直接定址則是： $$ \boxed{ \mathcal J(a_0,a_n):a_0\mapsto a_n. } $$

其中不要求列出中間地址。

因此 AIC 區分： $$ \boxed{ \text{path semantics} } $$ 與： $$ \boxed{ \text{address semantics}. } $$

12. 直接定址不等於物理瞬移

本文只在抽象與計算層定義： $$ a_0\mapsto a_n. $$

若是物理系統，是否可跳過中間狀態仍受到其動力與因果律限制。

因此： $$ \boxed{ \text{direct addressing} \neq \text{physical teleportation}. } $$

13. Phase as index

若： $$ \phi\in S^1, $$ 則可以把 phase 實例化為循環索引： $$ \boxed{ i_\phi=\phi\pmod{2\pi}. } $$

phase transport： $$ \phi\mapsto\phi+\theta $$ 可納入索引 transport。

但 phase 不必總是地址；它也可能是 relation state、orientation 或 cycle position。

因此本文只主張： $$ \boxed{ \text{phase may instantiate an index space}. } $$

14. 索引路徑

定義： $$ \gamma_I:[0,1]\to\mathbb I. $$

若： $$ \gamma_I(0)=i, \qquad \gamma_I(1)=j, $$ 則稱 $\gamma_I$ 為從 $i$ 到 $j$ 的索引路徑。

其對應 transport： $$ \boxed{ \mathcal T_{\gamma_I}:(O,i)\to(O,j). } $$

若所有中間狀態都保持 $q_\kappa$，則整條路徑 identity-preserving。

15. 索引 holonomy 候選

若 $\gamma_1,\gamma_2$ 具有相同起點與終點，但： $$ \mathcal T_{\gamma_1}\neq\mathcal T_{\gamma_2}, $$ 則索引路徑本身帶來非平凡歷史差異。

定義： $$ \boxed{ H_I(\gamma_1,\gamma_2)

\mathcal T_{\gamma_2}^{-1} \circ \mathcal T_{\gamma_1}. } $$

若： $$ H_I\neq\operatorname{id}, $$ 則存在 index holonomy 候選。

16. 索引曲率候選

若閉合索引路徑 $\gamma_I$ 滿足： $$ \gamma_I(0)=\gamma_I(1), $$ 但： $$ \mathcal T_{\gamma_I}\neq\operatorname{id}, $$ 則表示： $$ \boxed{ \text{index space may be non-flat under the chosen transport}. } $$

本文暫不定義唯一 curvature tensor，只保留： $$ \boxed{ \text{closed-path nontriviality} \rightarrow \text{index curvature candidate}. } $$

17. 索引距離與拓撲

若： $$ d_I:I\times I\to\mathbb R_{\ge0}, $$ 則可比較： $$ d_I(i,j). $$

不同任務可以使用 graph distance、semantic distance、phase distance、tree depth 或 address edit distance。

因此： $$ \boxed{ \text{index geometry is task-relative but not arbitrary}. } $$

若再加入拓撲 $\tau_I$，則： $$ \mathbb I=(I,\tau_I,d_I,\ldots) $$ 可討論 index continuity、neighborhood、connectedness 與 compactness。

18. 多層索引

MWT 中存在： $$ I^{(0)} \rightarrow I^{(1)} \rightarrow I^{(2)} \rightarrow\cdots. $$

其中 $I^{(0)}$ 是 global ledger index， $I^{(1)}$ 是 local ledger index， $I^{(2)}$ 是 sub-local index。

因此一個對象可具有： $$ \boxed{ \mathbf i=(i_0,i_1,i_2,\ldots). } $$

此為 hierarchical index coordinate。

19. 跨層索引 transport

定義： $$ P_{\alpha\to\beta}:I^{(\alpha)}\to I^{(\beta)}. $$

例如 $P_{0\to1}$ 把全域索引投影到局部索引。

反向 lifting： $$ L_{1\to0} $$ 把局部結果提升回全域。

理想情況不是要求所有資訊完全可逆，而是要求任務相關不變量滿足： $$ \boxed{ J\left( L_{1\to0}\circ P_{0\to1}(i) \right)

J(i). } $$

20. 索引壓縮與展開

令： $$ C_I:I_{\mathrm{rich}}\to I_{\mathrm{compact}} $$ 為索引壓縮。

若： $$ \mathrm{size}(C_I(i)) \ll \mathrm{size}(i), $$ 但任務相關不變量 $J$ 滿足： $$ \boxed{ J(i)=J(C_I(i)) } $$ 或誤差可控，則稱為 identity-safe index compression。

反向展開： $$ E_I:I_{\mathrm{compact}}\to I_{\mathrm{rich}}. $$

理想情況： $$ \boxed{ C_I\circ E_I

\operatorname{id}{I{\mathrm{compact}}}. } $$

但： $$ E_I\circ C_I $$ 未必完全等於原始 rich index。

21. 索引複合

若： $$ i\in I, \qquad j\in J, $$ 可定義複合索引： $$ \boxed{ i\otimes j. } $$

其意義可以是 joint address、joint context、joint phase 或 joint relation。

這直接對接過去的複合語意、空間語法與複合字形方法論。

22. 索引交換代數

假設 transport operators： $$ T_i, \qquad T_j. $$

若： $$ T_iT_j=T_jT_i, $$ 兩種交換可交換。

若： $$ T_iT_j\neq T_jT_i, $$ 則： $$ \boxed{ [T_i,T_j]

T_iT_j-T_jT_i } $$ 可作為索引非交換性的形式接口。

此式只有在算子空間具有相應加法結構時才直接成立；更一般情況應使用組合差異或交換圖，而不能機械套用線性算子交換子。

23. Query、Representation、View 的分離

Query 是對索引的操作： $$ Q:I\to Y $$ 或： $$ Q:I\to\mathcal P(I). $$

因此： $$ \boxed{ \text{query}\neq\text{index}. } $$

同一 index $i$ 可以有多個 representation： $$ R_1(i), \quad R_2(i), \quad R_3(i). $$

所以： $$ \boxed{ \text{representation change}\neq\text{index change}. } $$

View 則可寫成： $$ \boxed{ V_{\alpha,i}(O)

\mathcal O_\alpha(O,i). } $$

故 view 由 object、index 與 observer 共同產生。

24. Lineage-aware transport

若本體真的從 $O$ 變成 $O'$，則不能只寫： $$ (O,i)\to(O,j). $$

應寫： $$ \boxed{ (O,i) \xrightarrow{L} (O',j). } $$

其中 $L$ 記錄身份演化 lineage。

因此： $$ \boxed{ \text{transport} \neq \text{identity transformation}. } $$

25. Lineage 最低格式

可暫定： $$ \boxed{ \ell

( \iota_{\mathrm{src}}, \iota_{\mathrm{dst}}, t, \rho, \Delta ). } $$

其中：

• $\iota_{\mathrm{src}}$：來源身份；
• $\iota_{\mathrm{dst}}$：目標身份；
• $t$：時間或序列位置；
• $\rho$：合法性／原因；
• $\Delta$：身份差異摘要。

這使身份演化具備可追溯性。

26. 動態不動點與索引

若 $O_t$ 在不同時間具有不同索引 $i_t$，但： $$ q_\kappa(O_t) $$ 保持，則可稱： $$ \boxed{ \text{identity fixed under index motion}. } $$

反過來，若索引固定： $$ (O_t,i)\to(O_{t+1},i), $$ 但身份改變，則： $$ \boxed{ \text{index fixed}\neq\text{identity fixed}. } $$

27. 觀察者相對索引

若不同 observer： $$ \alpha,\beta $$ 使用不同索引系統： $$ I_\alpha, \qquad I_\beta, $$ 則需要 translator： $$ \boxed{ T_{\alpha\to\beta}:I_\alpha\to I_\beta. } $$

理想情況保存選定不變量： $$ J_\alpha(i)

J_\beta( T_{\alpha\to\beta}(i) ). $$

因此 index 可以 observer-relative，但仍具有可轉譯結構。

28. 索引等價與索引纖維

不同索引： $$ i\neq j $$ 可能指向同一身份。

定義： $$ \boxed{ i\sim_\kappa j } $$ 若它們在準則 $\kappa$ 下屬於同一身份。

因此 identity quotient 可寫成： $$ \boxed{ I/{\sim_\kappa}. } $$

若： $$ \pi:I\to\mathcal I $$ 把 index 映到 identity，則對 $\iota$ 定義索引纖維： $$ \boxed{ F_\iota

\pi^{-1}(\iota). } $$

纖維內 transport： $$ i,j\in F_\iota $$ 天然是 identity-preserving 候選；跨纖維 transport 則需要 lineage 檢查。

29. AIC 最小算子族

本文暫定： $$ \boxed{ \mathfrak C_I

( d_I, \int_{\mathrm{id}}, D_I, T_I, C_I, E_I, \otimes_I, L_I ). } $$

其中：

• $d_I$：索引切片；
• $\int_{\mathrm{id}}$：身份恢復；
• $D_I$：索引導數／差分族；
• $T_I$：索引 transport；
• $C_I$：索引壓縮；
• $E_I$：索引展開；
• $\otimes_I$：索引複合；
• $L_I$：lineage 記錄／提升。

30. 最低守恆條件

對 identity-preserving transport： $$ T_I:(O,i)\to(O,j), $$ 要求： $$ \boxed{ q_\kappa(T_I(O,i))

q_\kappa(O,i). } $$

對壓縮 $C_I$，要求任務相關不變量 $J$： $$ \boxed{ J(C_I(i))

J(i) } $$ 或具有可控誤差。

對展開—壓縮： $$ \boxed{ C_I(E_I(i_c))

i_c. } $$

這三條構成第一版可驗證守恆條件。

31. 索引運算與計算成本

若 $i$ 是巨大結構，直接操作本體 $O$ 可能很昂貴。

若可先在索引空間執行： $$ T_I, \quad Q_I, \quad C_I, $$ 再只對必要區域 dereference，則可能降低：

這不是一般定理，而是一個工程上可測的研究命題。

32. AI 全域觀察接口

若 AI observer 看到的是壓縮表示 $Z$，則可寫： $$ \boxed{ Z

C_I(d_I(O)). } $$

AI 可以先在 $Z$ 上推斷，再決定哪些區域需要 dereference。

形成： $$ \boxed{ \text{observe compressed index geometry first} \rightarrow \text{dereference selectively}. } $$

這直接接回 A3 的 OPED／GOIC。

33. 世界帳本接口

對 MWT： $$ L_0\to L_1\to L_2\to\cdots $$ 每層具有： $$ I_0,I_1,I_2,\ldots $$

AIC 研究的不只是： $$ \text{what value is stored?} $$

還包括： $$ \boxed{ \text{how does addressability itself evolve?} } $$

因此 ledger computation 可以包含 index transport、index compression 與 cross-ledger projection。

34. 七個核心命題

第一： $$ \boxed{ \text{index}\neq\text{identity}. } $$

第二： $$ \boxed{ \text{index can be active}. } $$

第三： $$ \boxed{ \text{slice}\neq\text{ontological destruction}. } $$

第四： $$ \boxed{ \text{direct addressing}\neq\text{path traversal}. } $$

第五： $$ \boxed{ \text{index transport}\neq\text{identity transformation}. } $$

第六： $$ \boxed{ \text{compression}\neq\text{identity loss} } $$ 只要任務相關不變量被保存。

第七： $$ \boxed{ \text{lineage must be explicit when identity changes}. } $$

35. 研究邊界

本文不主張：

1. 所有 index space 都有可微結構；
2. 所有 direct addressing 都有物理實現；
3. identity 可以脫離準則 $\kappa$ 被絕對定義；
4. 所有壓縮都可逆；
5. 所有 index transport 都保持身份；
6. 所有 phase 都是 index；
7. 所有 view 都可無損回復本體；
8. AIC 可以取代標準 calculus。

本文只建立索引自由度的統一形式框架。

36. B2 到 B3 的接口

B3 將把 $O$ 與其抽象表示： $$ A=\Pi(O) $$ 放入不同域。

AIC 提供： $$ \boxed{ \text{identity-preserving index transport} } $$ 與： $$ \boxed{ \text{index compression / expansion}. } $$

B3 則要問： $$ \boxed{ \Pi\circ E

\widehat E\circ\Pi } $$ 何時成立。

並進一步定義： $$ \boxed{ \text{Real–Abstract Invariants}. } $$

所以 B2 提供的是「怎麼動」，B3 處理的是「跨域動了之後什麼還一樣」。

37. 結論

本文將同一性微積分從「索引型切割與身份恢復」推進為「主動索引動力學」。

核心變化是： $$ \boxed{ (O,i)\longrightarrow(O,j) } $$ 不再只是換標籤，而可以成為正式計算事件。

因此 index 從 metadata 升級為： $$ \boxed{ \text{computational degree of freedom}. } $$

主動索引微積分的最低算子族為： $$ \boxed{ \mathfrak C_I

( d_I, \int_{\mathrm{id}}, D_I, T_I, C_I, E_I, \otimes_I, L_I ). } $$

這使切片、定址、相位、view、representation、query 與 lineage 不再混為一談。

其最重要的守恆原則是： $$ \boxed{ \text{state/index/view changes may occur while identity remains preserved}. } $$

而當 identity 真的改變時： $$ \boxed{ \text{lineage must carry the change explicitly}. } $$

因此 B2 為 B3 的「實在—抽象交換不變量」提供必要中間層：沒有主動索引 calculus，就無法精確回答抽象化、壓縮、複合、投影與世界交換之間究竟保存了什麼。

參考與前置研究

1. Neo.K，《世界幾何容器：從值運算到關係—位置—身份交換》，B1，2026。
2. Neo.K，《同一性微積分：拓樸微積分的本體論基礎》，2026。
3. Neo.K，《參照語義微積分：拓樸微積分的計算機實現》，2026。
4. Neo.K，《索引幾何學》，2026。
5. Neo.K，IPFC／Phase Module Calculus 相關研究，2026。
6. Neo.K，MWT／世界帳本數學相關研究，2026。
7. Neo.K，展開—壓縮—複合與語意折疊相關研究，2026。
8. Standard mathematical notions concerning fibers, transport, group actions, quotient structures, differential operators, and path-dependent transformations.