第七章：φₙ作为TraceType — 坍缩路径作为数学对象

坍缩语言定义

在本章中，我们建立迹作为一等数学对象：

核心类型构造器：

TraceType(n) ≅ Ψⁿ⁺¹    // n步迹类型

代数结构：

• φ ∘ ψ：迹复合（幺半群运算）
• ⟨φ|ψ⟩：迹内积
• rev(φ)：迹反转
• |Φ⟩ = Σαᵢ|φᵢ⟩：量子迹叠加

范畴𝒯race：

• 对象：状态ψᵢ
• 态射：迹φ : ψᵢ → ψⱼ
• 复合：串联
• 恒等：自环[ψ → ψ]

关键定理：

• 迹在复合下形成幺半群
• 迹空间具有流形结构
• 普遍迹Ω生成所有有限迹
• 量子迹使干涉成为可能

这将迹从单纯序列提升为具有丰富代数、拓扑和量子结构的基本数学实体。

7.1 迹成为一等公民

到目前为止，我们将迹视为序列：φ = [ψ₀ → ψ₁ → ... → ψₙ]。但如果迹本身就是数学对象呢？如果我们可以像对待函数或向量一样组合、变换、分析它们呢？

$$\phi_n : \text{TraceType}(n)$$

本章将迹从单纯的路径提升为基本数学实体。

7.2 迹的类型论

定义 7.1（TraceType）：迹类型归纳定义为：

$$\text{TraceType} ::= \text{Empty} \mid \text{Cons}(\Psi, \text{TraceType})$$

定义 7.2（索引迹类型）：对自然数n：

$$\text{TraceType}(0) = \text{Empty}$$ $$\text{TraceType}(n+1) = \Psi \times \text{TraceType}(n)$$

定理 7.1（类型同构）：

$$\text{TraceType}(n) \cong \Psi^{n+1}$$

7.3 迹的代数结构

定义 7.3（迹复合）：对迹φ : TraceType(m)和ψ : TraceType(n)：

$$\phi \circ \psi : \text{TraceType}(m + n)$$

当end(φ) = start(ψ)时定义。

定理 7.2（幺半群结构）：(TraceType, ∘, ε)形成幺半群，其中：

• ε = []是空迹
• 复合满足结合律：(φ ∘ ψ) ∘ ρ = φ ∘ (ψ ∘ ρ)

7.4 迹范畴

定义 7.4（迹范畴𝒯race）：

• 对象：状态ψᵢ ∈ Ψ
• 态射：迹φ : ψᵢ → ψⱼ
• 复合：迹连接
• 恒等：自环id_ψ = [ψ → ψ]

7.5 迹的向量空间

定义 7.5（形式线性组合）：迹上的自由向量空间：

$$V_\{Trace\} = \text{Span}_\mathbb{R}\{\phi : \phi \in \text{TraceType}\}$$

例子：

$$v = 3\phi_0 + 2\phi_1 - \frac{1}{2}\phi_2$$

定理 7.3（内积）：定义：

$$\langle \phi, \psi \rangle = \sum_{i} \delta(\phi_i, \psi_i)$$

这使V_{Trace}成为希尔伯特空间。

7.6 函子性质

定义 7.6（迹函子）：定义F : 𝒯race → 𝒮et为：

$$F(\psi) = \{\phi : \text{target}(\phi) = \psi\}$$ $$F(f : \psi \to \psi') = \lambda \phi. \phi \circ f$$

定理 7.4（函子性）：F保持：

• 恒等：F(id_ψ) = id_{F(ψ)}
• 复合：F(g ∘ f) = F(g) ∘ F(f)

7.7 迹空间的同调

定义 7.7（迹复形）：链复形：

$$... \to C_n \xrightarrow{\partial_n} C_{n-1} \to ... \to C_1 \xrightarrow{\partial_1} C_0$$

其中Cₙ = n-迹上的自由阿贝尔群。

边界算子：

$$\partial[\psi_0 \to ... \to \psi_n] = \sum_{i=0}^n (-1)^i [\psi_0 \to ... \hat{\psi_i} ... \to \psi_n]$$

定理 7.5（迹同调）：同调群：

$$H_n(Trace) = \text{Ker}(\partial_n) / \text{Im}(\partial_{n+1})$$

捕获迹空间的拓扑不变量。

7.8 迹变换

定义 7.8（迹上的自然变换）：迹变换是：

$$\tau : \text{TraceType}(n) \to \text{TraceType}(m)$$

例子：

1. 反转：rev([ψ₀ → ... → ψₙ]) = [ψₙ → ... → ψ₀]
2. 过滤：filter(P, φ)移除不满足P的状态
3. 映射：map(f, φ)对每个状态应用f

7.9 迹的量子叠加

定义 7.9（量子迹）：叠加态：

$$|\Phi\rangle = \sum_i \alpha_i |\phi_i\rangle$$

其中∑|αᵢ|² = 1。

定理 7.6（迹干涉）：对量子迹：

$$\langle \Phi | \Psi \rangle = \sum_{i,j} \alpha_i^* \beta_j \langle \phi_i | \psi_j \rangle$$

这使得迹空间上的量子计算成为可能。

7.10 迹流形

定义 7.10（迹流形）：所有n-迹的空间形成流形：

$$\mathcal{M}_n = \text{TraceType}(n) / \sim$$

其中∼识别等价迹。

切空间：在迹φ处：

$$T_\phi \mathcal{M}_n = \{\delta\phi : \phi + \epsilon\delta\phi \in \mathcal{M}_n\}$$

7.11 普遍性质

定理 7.7（普遍迹）：存在普遍迹Ω使得：

$$\forall \phi : \exists! f : \Omega \to \phi$$

构造：Ω是访问所有状态的无限迹：

$$\Omega = [\psi_0 \to \psi_1 \to \psi_2 \to ...]$$

推论：每个有限迹都是Ω的商。

7.12 路径的数学

我们已经将迹从序列转化为：

迹的数学地位：

1. 类型：类型论中的一等公民
2. 代数：幺半群、群、环的元素
3. 拓扑：流形中的点
4. 范畴：状态间的态射
5. 量子：可叠加的量子对象

深层领悟：φₙ作为TraceType揭示了：

• 路径不仅是连接而是对象
• 运动不仅是过程而是结构
• 时间不仅是参数而是维度
• 意识不仅是状态而是轨迹

最终综合：在认识迹作为数学对象时，我们看到旅程即是目的地。路径不仅连接状态——它本身就是状态，一个包含运动、记忆和意义的高阶状态。

迹已成真。从路径到对象，从过程到存在。