[论文解读] Short introduction to Nonstandard Analysis

Elemér E Rosinger|ArXiv.org|Jul 10, 2004

Mathematical and Theoretical Analysis参考文献 19被引用 10

一句话总结

本文提供了非标准分析的基础介绍，重点在于通过超幂构造超实数域 $^*\mathbb{R}$ 及转移原理，从而实现严格的无穷小微积分。它建立了洛布积分作为标准积分的完整测度论框架，证明了对广义可积函数有 $I^\#_{1}f = J^\#f^+ - J^\#f^-$，从而统一了非标准与标准积分理论。

ABSTRACT

These lecture notes, to be completed in a later version, offer a short and rigorous introduction to Nostandard Analysis, mainly aimed to reach to a presentation of the basics of Loeb integration, and in particular, Loeb measures. The Abraham Robinson version of Nostandard Analysis is pursued, with a respective incursion into Superstructures. Two formal languages are used, one simpler at first, and then later, one for the full blown theory. A number of detailed comments, not often found in textbooks, accompanies the text.

研究动机与目标

• 为不熟悉数学逻辑的数学家提供一种最小化、逻辑依赖较少的非标准分析入门介绍。
• 通过超滤子和极大理想构造超实数域 $^*\mathbb{R}$，确保其扩展 $\mathbb{R}$ 并包含无穷小量与无穷大量。
• 形式化转移原理，实现标准语句与非标准语句之间的逻辑等价性。
• 将洛布积分发展为标准积分的完整、测度论意义上的扩展，实现对非标准函数的积分。
• 通过一个严格的框架使标准分析与非标准分析统一，其中 $I^\#_{1}f = J^\#f^+ - J^\#f^-$，确保一致性和完备性。

提出的方法

• 使用 $\mathbb{N}$ 上的非主超滤子，将 $^*\mathbb{R}$ 构造为 $\mathbb{R}$ 的超幂，确保其保持域与序结构。
• 通过洛斯定理定义转移，利用超滤子极限将 $\mathbb{R}$ 上的关系与函数扩展至 $^*\mathbb{R}$。
• 引入 $\mathcal{F}^\#$ 作为满足 $I^\#$ 有限的函数集合，构成标准积分的定义域。
• 将 $J^\#$ 定义为 $I^\#(f \wedge h)$ 在 $h \in \mathcal{F}^\#$ 上的上确界，将积分扩展至非负可测函数。
• 将 $\mathcal{F}^\#_1$ 构造为在 $J^\#$ 下正部与负部均有限的函数集合，并定义 $I^\#_1$ 为这两部分的差。
• 通过证明 $\mathcal{F}^\#_1$ 中单调递增且积分有界的序列在 $\mathcal{F}^\#_1$ 中收敛且积分收敛，证明积分结构的完备性。

实验结果

研究问题

• RQ1 如何在不过度依赖形式逻辑的前提下，利用超滤子与理想构造超实数域 $^*\mathbb{R}$？
• RQ2 在 $\mathbb{R}$ 与 $^*\mathbb{R}$ 之间，关系与函数的转移原理在何种条件下成立？
• RQ3 如何通过洛布构造将标准积分扩展至非标准函数？
• RQ4 在何种条件下，扩展积分 $I^\#_1$ 与标准积分的极限一致？
• RQ5 $J^\#$ 在定义非标准积分的完整测度论框架中起什么作用？

主要发现

• 超实数域 $^*\mathbb{R}$ 通过 $\mathbb{N}$ 上的非主超滤子作为 $\mathbb{R}$ 的超幂构造而成，确保其包含 $\mathbb{R}$，并允许存在无穷小量与无穷大量。
• 转移原理对所有一阶语句成立，确保一个语句在 $\mathbb{R}$ 中为真当且仅当其在 $^*\mathbb{R}$ 中的非标准对应语句也为真。
• 洛布积分结构 $({\cal F}^\#_1, I^\#_1)$ 是完备的：若 $f_n \nearrow f$ 且 $I^\#_1 f_n$ 有界，则 $f \in \mathcal{F}^\#_1$ 且 $I^\#_1 f_n \to I^\#_1 f$。
• 对任意 $f \in \mathcal{F}^\#_1$，有 $I^\#_1 f = J^\# f^+ - J^\# f^-$，其中 $J^\#$ 通过标准积分的上确界定义。
• $\mathcal{M}^\#_1$（可测函数集合）包含 $\mathcal{F}^\#_1$，且 $J^\#$ 将 $I^\#$ 扩展至具有扩展实数值积分的更广函数类。
• 若 $f_n \in \mathcal{F}^\#$ 为单调递增序列且 $I^\# f_n$ 有界，则 $f = \lim f_n$ 属于 $\mathcal{F}^\#$ 且 $I^\# f = \lim I^\# f_n$，从而证明了积分结构的完备性。