[论文解读] Approaches to analysis with infinitesimals following Robinson, Nelson, and others

Peter Fletcher, Karel Hrbáček+4 more|arXiv (Cornell University)|Mar 1, 2017

Mathematical and Theoretical Analysis参考文献 142被引用 11

一句话总结

本文综述了多种基础性无穷小方法——源于罗宾逊的非标准分析、内森的内集理论及相关框架——展示了其在分析学、物理学和基础数学中的实用性。文章主张将无穷小作为数学教育与研究中的标准工具，强调其在勒贝格测度、微分几何和量子启发建模中的应用。

ABSTRACT

This is a survey of several approaches to the framework for working with infinitesimals and infinite numbers, originally developed by Abraham Robinson in the 1960s, and their constructive engagement with the Cantor-Dedekind postulate and the Intended Interpretation hypothesis. We highlight some applications including (1) Loeb's approach to the Lebesgue measure, (2) a radically elementary approach to the vibrating string, (3) true infinitesimal differential geometry. We explore the relation of Robinson's and related frameworks to the multiverse view as developed by Hamkins. Keywords: axiomatisations, infinitesimal, nonstandard analysis, ultraproducts, superstructure, set-theoretic foundations, multiverse, naive integers, intuitionism, soritical properties, ideal elements, protozoa.

研究动机与目标

• 提供对无穷小基础方法的全面综述，包括罗宾逊的非标准分析和内森的内集理论。
• 探讨经典ε-δ分析与微积分及物理学中无穷小直观使用之间的历史与哲学张力。
• 倡导在主流数学教育与研究中纳入无穷小方法，尤其鉴于其在实践与基础层面的优势。
• 探讨无穷小框架与更广泛基础观点之间的联系，例如集合论中的多世界视角及量子启发的物理建模。
• 考察非标准分析的构造性与公理化基础，包括转移原理、饱和性以及超滤子的作用。

提出的方法

• 利用超幂构造方法构建实数的非标准模型，将经典分析嵌入包含无穷小量与无穷大量更丰富的结构中。
• 应用转移原理，将一阶性质从标准模型扩展至非标准模型，确保逻辑一致性与可解释性。
• 采用超结构框架，在集合论基础中形式化非标准分析，实现通过超有限逼近构造洛布测度。
• 引入并分析公理系统BST（伯恩斯坦–罗宾逊–沙朗）与内森的IST（内集理论），强调其在区分标准与非标准元素中的作用。
• 运用激进初等方法，通过超有限离散逼近对物理系统（如振动弦与布朗运动）进行建模。
• 通过隐喻（如“原生动物”隐喻）与对“康托尔–戴德金 + 目标解释”思维模式的批判，参与哲学与基础性争论。

实验结果

研究问题

• RQ1 如何在不牺牲严谨性的前提下，系统性地将无穷小方法整合进分析的基础框架？
• RQ2 罗宾逊的非标准分析、内森的内集理论及其他现代无穷小方法之间的关键差异与联系是什么？
• RQ3 无穷小框架在测度论、微分几何与物理学中，如何改进或阐明经典结果？
• RQ4 ‘朴素整数’与‘理想入侵者’的概念如何挑战经典自然数的观念，并支持更丰富的算术结构？
• RQ5 无穷小推理在多大程度上可与直觉主义及量子启发的数学直觉相调和？

主要发现

• 洛布通过超有限划分构造勒贝格测度，提供了一种严谨且构造性的经典测度论替代方案。
• 对振动弦与超有限布朗运动的激进初等建模表明，物理系统可被离散的、无穷小尺度逼近准确建模。
• 内森的内集理论通过违反分离公理的谓词，实现对标准数与非标准数的句法区分，为分析学提供了新基础。
• 该框架支持集合论的‘多世界’观点，允许多个非标准模型共存，反映哈明斯对基础多元主义的构想。
• 无穷小方法可在本科及高中阶段有效教学，已有在日内瓦成功实施的案例，且超过400名新生使用凯斯勒教材取得良好成效。
• 本文认为，为ε-δ方法而排斥无穷小反映了过时的“目标解释”思维模式，这种模式在哲学与数学上均具局限性。