[论文解读] A Physical Quantum Model in a Smooth Topos

John David Fearns|ArXiv.org|Feb 14, 2002

Mathematical and Theoretical Analysis参考文献 1被引用 4

一句话总结

本文提出了一种在光滑拓扑空间中使用解析微分几何（SDG）的物理量子模型，以直觉逻辑和无穷小微积分取代经典集合论基础。结果表明，量子系统可在这一替代数学宇宙中被一致地建模，揭示了概率值和数值计算在逻辑与结构上的新视角。

ABSTRACT

We strengthen the case that the new logical perspective afforded by topos theory is suitable to the task of describing the physical world around us. In exploring some of the aspects of construction of a simple quantum-mechanical system in a mathematical universe different from that represented by set theory, we show that more thought and a better appreciation of the assumptions going into any mathematical model of the physical world are needed. We reflect on some of the mathematical consequences of this wider perspective of physics, explaining one interpretation of probabilistic values and numerical calculations in two mathematical universes governed by the less restrictive intuitionistic logic, and known to support the theory of synthetic differential geometry.

研究动机与目标

• 探究是否存在一种不同于经典集合论的拓扑理论框架，可一致地表述量子力学。
• 探讨使用直觉逻辑和解析微分几何（SDG）对物理系统（特别是量子系统）建模的含义。
• 考察在由光滑无穷小量控制的拓扑空间中，概率值和数值计算与标准实分析相比有何不同。
• 评估特定格罗滕迪克拓扑空间（尤其是建模SDG的那些）在基础物理理论中的适用性。
• 通过展示可行的替代方案，挑战集合论是物理数学唯一可行基础的假设。

提出的方法

• 基于格罗滕迪克拓扑空间 $\mathbf{Sets}^{\mathbb{L}^{op}}$ 构建解析微分几何（SDG）的良适模型，其中 $\mathbb{L}$ 是有限生成 $C^\infty$-环的范畴。
• 利用科克-劳弗尔公理通过幂零无穷小量定义微分：对所有 $f: \mathbf{D} \to \mathbf{R}$，存在唯一的 $b \in \mathbf{R}$，使得对所有 $d \in \mathbf{D}$，有 $f(d) = f(0) + d \cdot b$。
• 应用积分公理：对每个 $f: \mathbf{R} \to \mathbf{R}$，存在唯一的 $F: \mathbf{R} \to \mathbf{R}$，使得 $F'(x) = f(x)$ 且 $F(0) = 0$。
• 将光滑实数 $\mathbf{R}$ 表示为函子，为每个 $\ell A$（对应于 $C^\infty$-环的站点对象）赋予光滑函数 $M_A \to \mathbb{R}$ 的集合，从而实现实直线的一般化概念。
• 区分不同类型的无穷小量：$\mathbf{D} = \{d \in \mathbf{R} \mid d^2 = 0\}$，$\boldsymbol{D}_\infty = \{d \in \mathbf{R} \mid \exists k \in \mathbb{N}, d^{k+1} = 0\}$，以及 $\Delta\!\Delta = \{x \in \mathbf{R} \mid \forall n, \, |x| < \frac{1}{n+1}\}$。
• 使用拓扑空间 $\mathcal{F}$ 和 $\mathcal{G}$（来自莫尔迪凯和雷耶斯）作为首选模型，因为它们满足所有SDG公理，并支持行为良好的光滑实直线。

实验结果

研究问题

• RQ1 能否在一种用直觉逻辑和解析微分几何取代经典集合论的拓扑空间中，构建一个一致的量子力学模型？
• RQ2 在由无穷小量控制的拓扑空间中，概率值和数值计算与标准实分析相比有何不同？
• RQ3 采用拓扑理论基础对物理学（特别是实数对象行为）会产生哪些逻辑与结构后果？
• RQ4 为何某些拓扑空间（如 $\mathbf{Sets}^{\mathbb{L}^{op}}$）无法建模关键的SDG公理，这对物理建模有何影响？
• RQ5 在物理语境中，幂零无穷小量（$d^2 = 0$）如何改变导数与积分的解释？

主要发现

• 拓扑空间 $\mathbf{Sets}^{\mathbb{L}^{op}}$ 无法建模关键的SDG公理，如 $[0,1]$ 的紧致性及 $\mathbf{R}$ 的局部环结构，因此不适合用于基础物理建模。
• 在 $\mathbf{Sets}^{\mathbb{L}^{op}}$ 中，光滑实直线 $\mathbf{R}$ 包含的元素严格多于柯西实数 $\mathbb{R}_C$，因为 $\mathbb{R} \to \mathbb{R}$ 的光滑函数与常值函数不同。
• 科克-劳弗尔公理确保了通过无穷小量实现的微分在代数上是良好定义的：对 $d \in \mathbf{D}$，有 $f(d) = f(0) + d \cdot b$，从而在无需极限的情况下为微积分提供了严格基础。
• 积分公理保证了存在原函数 $F$，使得 $F' = f$ 且 $F(0) = 0$，从而在SDG框架中验证了微积分基本定理。
• 如莫尔迪凯和雷耶斯著作中所述，拓扑空间 $\mathcal{F}$ 和 $\mathcal{G}$ 被证明满足所有必需的SDG公理，因此是建模物理系统的优选方案。
• 本文表明，基于直觉逻辑和无穷小微积分的替代数学宇宙能够支持一致的物理理论，从而挑战了经典集合论基础的主导地位。