非标准分析中一些微积分基本定理的证明

luyuanhong

[这个贴子最后由luyuanhong在 2010/09/19 04:03pm 第 6 次编辑]

过去，我曾经在《数学中国》论坛发表过许多有关“非标准分析”的帖子：

非标准分析——从实数系 R 到超实数系 R* 的扩张

http://www.mathchina.com/bbs/for ... B%B5%C4%C0%A9%D5%C5

“非标准分析”中“超实数”的结构和性质

http://bbs.mathchina.com/cgi-bin/topic.cgi?forum=5&topic=9159

用“非标准分析”方法证明一些与数列极限有关的定理

http://bbs.mathchina.com/cgi-bin/topic.cgi?forum=5&topic=9215

“非标准分析”简介

http://bbs.mathchina.com/cgi-bin/topic.cgi?forum=5&topic=4932

用“非标准分析”观点看无穷大量和无穷小量

http://www.mathchina.com/bbs/for ... mp;extra=#pid118267

非标准分析中关于函数极限、导数和曲线切线的定义

http://www.mathchina.com/bbs/for ... F%B5%C4%B6%A8%D2%E5

非标准分析中的无穷单位元Ω与标准微积分中的无穷大∞是什么关系？

http://www.mathchina.com/bbs/for ... p;extra=&page=1

怎样看罗宾逊非标准分析中的“无穷”和康托集合论中的“无穷”

http://www.mathchina.com/bbs/for ... mp;extra=#pid112664

我怎样看“0”和“无穷小量”的关系

http://www.mathchina.com/bbs/for ... D8%CF%B5&page=1

    有网友表示，希望在《数学中国》论坛中看到更多关于“非标准分析”的介绍。
    下面，我先贴一个“百度百科”上的名词解释：

非标准分析（non-standard analysis）

　　数学中利用现代数理逻辑把通常实数结构扩张为包括无穷小数与无穷大数的结构而形成的一个新分支。

美国数理逻辑学家A.鲁宾逊于1960年创立。鲁宾逊证明，实数结构 R 可扩张为包含无穷小数和无穷大数

的结构 R* ，在一定意义下 R* 与 R 有相同的性质。

    称 R* 中的数为超实数，形象地说，是在普通实数中又加进了无穷小数（其绝对值小于任何实数）

及无穷大数（其绝对值大于任何实数）。

    当两个超实数 α 与 β 相差为无穷小时，就称 α 无限接近于 β ，记为 α≈β ，这是一个等价关系。

    每个关于这个等价关系的等价类包含唯一的标准实数 a 。

    称 a 所在的等价类 μ（ a）为一个单子，单子不是 R* 中的数，而相当于 R 中的数，

    超实数可以进行四则运算，满足通常的运算规律，也可以有大小顺序。

    由此标准分析里的许多概念、定理等可以自然地扩张到非标准分析中。

    如区间〔a，b〕扩张为〔a，b〕*，R 中的函数扩张为 f（x）*，

    函数 f（x）在标准点 x0 连续可定义为 x≈x0 时，f（x）* ≈ f（x0）*；

    函数 f（x）在〔a，b〕上一致连续可定义为当 x′≈x″，x′，x″∈〔a，b〕* 时 f（x′）*≈f（x″）*。

像这样在 R 上展开的数学分析理论称为非标准分析，通常的数学分析则称为标准分析。

　　非标准分析的一个重要定理是转换定理：

    每个关于 R 可形式化的命题，如果对 R 成立，则经过适当解释（即把 R 中的对象解释

为 R* 中相应的对象）对 R* 也成立，反之亦然。

    因此也可以说，利用 R 和 R* 互相转换来研究数学分析的方法，称为非标准分析。

　　非标准分析使无穷小获得新生。在微积分发明的时期，I.牛顿，特别是G.W.莱布尼兹使用无穷小方法，

在一阶和高阶无穷小基础上，发展起微积分理论。因它不严格而倍遭非难。

A.L.柯西和K.魏尔斯特拉斯等使微积分奠基于极限理论上，数学分析由此臻于严密但失去了无穷小算法

的简明与直观。鲁宾逊用数理逻辑方法严谨地论证了无穷小的存在性，重新用它来刻画微积分。

这不仅能表现状态，还能表明过程，直观而简洁。非标准分析一经问世便得到迅速发展，并用它解决了

许多问题。从方法论上来说，还能将过去一些深刻结果的证明加以简化。

　　非标准分析发展很快，已有群论、非标准泛函分析等。它有不少应用。凡是对某类数学对象，

用类似于上述的扩张来研究的都可称为非标准分析。

luyuanhong

下面介绍非标准分析中一些微积分基本定理的证明。

首先是关于“函数在闭区间上连续必有界”的证明。

我们可以看到，这个证明与标准分析中的证明很不一样：

luyuanhong

下面是非标准分析中关于导数的定义和“函数可导必连续”的证明：

luyuanhong

下面是非标准分析中关于 Riemann 积分的定义和“闭区间上连续函数必可积”的证明：

luyuanhong

下面是非标准分析中对 Newton-Leibniz 定理的证明：

luyuanhong

下面是非标准分析中对“分部积分公式”的证明：

luyuanhong

下面是非标准分析中对“ Taylor 展开公式”的证明：

luyuanhong

参看我在《数学中国》《基础数学》中发表的帖子：

用“非标准分析”观点看连续和一致连续

http://www.mathchina.com/bbs/for ... B%D6%C2%C1%AC%D0%F8

luyuanhong

这是我过去在《数学中国》论坛发表的一个帖子。其中许多内容都无法显示了，

现在我尽量将它们恢复出来。

在这个帖子中，我从非标准分析观点出发，给出了一些微积分基本定理的证明。

特别在第 4 楼中有 Riemann 积分的定义和“闭区间上连续函数必可积”的证明，

可供网友参考。

永远

luyuanhong 发表于 2020-12-18 23:17
这是我过去在《数学中国》论坛发表的一个帖子。其中许多内容都无法显示了，

现在我尽量将它们恢复出来。 ...

1楼中第二、三、四的链接都没有，太遗憾啊