[论文解读] Infinitesimal Differential Geometry

Paolo Giordano|ArXiv.org|Aug 13, 2003

Algebraic and Geometric Analysis被引用 5

一句话总结

本文提出了一种严格的、基于标准分析的构造方法，构建了一个扩展的实数域 $^\bullet\mathbb{R}$，其中包含幂零无穷小量（满足 $h^2 = 0$），以形式化微分几何中的无穷小方法。利用该框架，本文定义了有限维 $\mathcal{C}^n$ 流形范畴到一个新范畴的全、笛卡尔闭嵌入，该范畴中切向量和向量场等无穷小对象可通过无穷小曲线与变换内在地表示，从而实现对映射空间的直接、无需坐标系的方法处理，尤其适用于无穷维空间。

ABSTRACT

Using standard analysis only, we present an extension ${^\bullet\R}$ of the real field containing nilpotent infinitesimals. On the one hand we want to present a very simple setting to formalize infinitesimal methods in Differential Geometry, Analysis and Physics. On the other hand we want to show that these infinitesimals may be also useful in infinite dimensional Differential Geometry, e.g. to study spaces of mappings. We define a full embedding of the category Man${}^n$ of finite dimensional $\mathcal{C}^n$ manifolds in a cartesian closed category. In it we have a functor ${}^\bullet (-)$ which extends these spaces adding new infinitesimal points and with values in another full cartesian closed embedding of Man${}^n$. We present a first development of Differential Geometry using these infinitesimals.

研究动机与目标

• 通过仅使用标准分析，避免非标准或综合方法，形式化微分几何中的无穷小方法。
• 在经典数学中，严格构造实数的扩展 $^\bullet\mathbb{R}$，使其包含幂零无穷小量（$h^2 = 0$）。
• 在 $\mathcal{C}^n$ 流形范畴上定义一个全、笛卡尔闭函子 $(-)^{D_\alpha}$，以内在方式建模无穷小邻域与切结构。
• 通过将向量场与切对象视为无穷小变换，不依赖局部坐标，直接将该框架应用于无穷维映射空间（如 $\mathrm{Man}(M,N)$）。

提出的方法

• 将 $^\bullet\mathbb{R}$ 构造为从 $\mathbb{R} \to \mathbb{R}$ 的光滑函数的等价类构成的环，其中 $f \sim g$ 当且仅当 $f(0) = g(0)$ 且 $f'(0) = g'(0)$，以捕捉一阶行为。
• 将集合 $D_\alpha$ 定义为 $^\bullet\mathbb{R}^n$ 的子集，满足对所有 $i$ 有 $x_i^{\alpha_i + 1} = 0$，用于建模高阶无穷小邻域。
• 将 $M^{D_\alpha}$ 定义为所有广义元素 $^\bullet f|_{D_\alpha}$ 的集合，其中 $f \in \mathcal{C}^\infty(\mathbb{R}^n, M)$，形成一个 $\mathcal{C}^\infty$ 对象，推广了切丛的概念。
• 通过在 $0 \in \mathbb{R}^n$ 处求值，建立一个函子 $(-)^{D_\alpha}: \mathbf{Man}^n \to \mathbf{Man}^n$，其保持乘积并与拉回相容。
• 证明 $(-)^{D_\alpha}$ 是一个 Weil 函子，其代数结构为 $\mathbb{R}[x_1,\dots,x_n]/\langle x_i^{\alpha_i+1} \rangle$，确保与经典微分几何的一致性。
• 利用笛卡尔闭结构，定义高阶无穷小量如 $M^{D_\alpha \times D_\beta} \simeq (M^{D_\alpha})^{D_\beta}$，从而实现无穷小构造的迭代。

实验结果

研究问题

• RQ1 能否在标准分析框架内严格构造幂零无穷小量，以形式化无余项的一阶泰勒展开？
• RQ2 如何通过 $^\bullet\mathbb{R}$ 中的无穷小曲线，内在地表示切丛与高阶切结构？
• RQ3 能否构造一个全、笛卡尔闭的嵌入，将有限维 $\mathcal{C}^n$ 流形范畴嵌入到一个保持并扩展无穷小对象的范畴中？
• RQ4 该框架能否直接应用于无穷维映射空间（如 $\mathrm{Man}(M,N)$），而无需依赖局部坐标或坐标图？
• RQ5 函子 $(-)^{D_\alpha}$ 是否为 Weil 函子？其关联的代数结构是什么？

主要发现

• 环 $^\bullet\mathbb{R}$ 被构造为光滑函数的商环，其中 $f \sim g$ 当且仅当 $f(0) = g(0)$ 且 $f'(0) = g'(0)$，从而确保对无穷小量 $h$ 有 $h^2 = 0$。
• 对任意 $f \in \mathcal{C}^\infty(\mathbb{R}, \mathbb{R})$，恒等式 $f(h) = f(0) + h f'(0)$ 对所有 $h \in D$ 成立，其中 $D = \{x \in {}^\bullet\mathbb{R} \mid x^2 = 0\}$，形式化了一阶泰勒展开而无余项。
• 导数 $f'(0)$ 由条件 $\forall h \in D: f(h) = f(0) + h \cdot m$ 唯一确定，证明了在此设定下切线斜率的唯一性。
• $(-)^{D_\alpha}$ 是一个 Weil 函子，其代数结构为 $\mathbb{R}[x_1,\dots,x_n]/\langle x_i^{\alpha_i+1} \rangle$，且保持乘积与拉回，确保与微分几何的一致性。
• 二阶切丛 $M^{D \times D}$ 同构于 $\mathbb{R}^{\bar{D}}$，其中 $\bar{D} = D(10) \times D(01) \times D(11)$，其元素编码了对应于偏导数与混合导数的增量差异。
• 该构造使得向量场可作为无穷小变换内在处理，切向量可作为无穷小曲线处理，从而实现了对映射的无穷维流形上微分几何的直接、无需坐标系的表述。