超实数的单子结构（续）

2017年02月20日，老翁发表博文，题为“超实数的单子结构”，这是国内介绍莱布尼兹关于数学单子的第一篇短文。现在，重新发表如下：

袁萌  1月18日

附：超实数的单子结构

为了恢复莱布尼兹的无穷小演算（现在叫微积分），数学家大胆地

接受了超实数的“单子”结构思想。

定义：设r为一普通实数，则称以下集合

Monad(r) =｛x∈*Rㄧx≈r

｝

为围绕实数r的单子；单子中的超实数以实数r为其标准部分，记为

r = st（x）

∀x∈Monad（r）

有了单子概念，x无限趋近于实数r，等价于说，x≈r，或者说，x在实数r的单子之中。

借助超实数的单子结构，传统微积分极限概念就很容易解释清楚了。

所以，借助超实数的单子结构，使用标准部分运算符号“st”，下放微积分到高三年级是完全可能的。

说明：st(x+y) = st(x) + st(y)，

无穷小都在实数0的单子之内。单子没有边界。单子的交集合必定为空集合，等等。（注：请大家仔细想想，这是为什么？）

袁萌  2017年2月19日