关于超实数单子的说明

四年前，老翁发表短文，题为“超实数与单子（Monad）”(此文于2013-01-17发表)。现在重新发表如下：

在上世纪中叶，以哥德尔为首的数理逻辑先锋派，高举数学公理化的旗帜，为无穷小恢复了名誉。1976年，J. Keisler在A.Robinson的非标准分析基础上，做了进一步的具体细化与完善，出版了《基础微积分》（无穷小方法）教材。

很明显的事实是，引进无穷小就必须扩大原有的实数系R，使其成为”超实数“有序域*R。这就带来了一些新的问题。在*R中，如果两个超实数x，y相差一个无穷小，就说它们无限地接近，记为x≈y。显然，关系”≈“具有自反性、对称性与传递性，因而，关系“≈”是一个*R上的等价关系。在”≈“等价关系的作用下，超实数系*R成为一种”団状物“的大聚合。在数学界老前辈Leibniz”单子论”的感召下，现在的人们称这种”団状物“为“单子”（Monad）并且记为：

Monad(x) = {y∈*R┃y≈x}

在这种超实数“团状物”里面，有无数的相互无限接近超实数，但是，其中有没有原有的实数呢？假定有，那么，单子里面也只能容纳一个实数，因为，两个不同的实数不可能无限地接近，使其同存于一个单子之中。那么，单子里面到底有没有原有的实数呢？研究结果表明：在原有实数系R上的单子里面都有一个实数，正巧是“一对一”。其根源就是，因原有实数系统R是一个完备的有序域（Ordered Field）。在单子里面，超实数继承了原有实数系的某些基本特性。

在一个超实数“单子”里面，许许多多的超实数团聚在一个原有实数r的周围，以其为它们的共同“凝聚中心”。人们称这个“凝聚中心”r为该单子里面超实数的“标准部分”（standard part），并且引入记号：st(x)=r。由此可见，“st”是链接超实数*R与实数R的一个”桥梁“。

Let x and y befinite,then:

1）x ≈ y if and only if st(x) = st(y).

2）x ≈ st(x).

3）If r ∈ R then st(r) = r.

4）If x ≤ y then st(x) ≤ st(y).

这4条基本性质并不是很显然的，都存在严格的证明。函数st的性质还有很多，在此，我们暂且不提。

进入本世纪初，超实连续统（HyperContinuum）得到迅速发展及应用，单子结构显示出巨大的潜力。我们不能掉以轻心。实际上，斜率、速度、导数、微分与积分这些基础概念都是借助函数”st“来定义的。

袁萌2月20日

关于超实数单子的说明相关推荐

超实数与单子（Monad）
在上世纪中叶,以哥德尔为首的数理逻辑先锋派,高举数学公理化的旗帜,为无穷小恢复了名誉.1976年,J. Keisler在A.Robinson的非标准分析基础上,做了进一步的具体细化与完善,出版了< ...
对“单子模式”的补充
前边说的"单子模式"有个缺点:当将子窗体最小化,或者当子窗体被另外的子窗体挡在后边看不到时,点击"Button2"按钮,子窗体不能回复到激活状态.怎么办? 可以 ...
饿了么外卖商家版电脑版_为什么有些美团、饿了么外卖商家生意那么好，单子也不少，但是却倒闭了？...
阅读本文前,请您先点击上面的蓝色字体,再点击"关注",这样您就可以继续免费收到文章了.每天都有分享,完全是免费订阅,请放心关注. [免责声明]本文部分文字与图片资源来自于网络,转载 ...
不平等博弈问题学习记录（三）（对于超实数在博弈下左大右小以及多堆情况的扩充）
前言今天写的这一篇文章离写第一篇文章的时间可能有几天了,并且在这段时间里也有人向我提出了我错误的地方,现已做出更改今天,我们又做到了一道题目,也是不平等博弈的,听了讲题,我对不平等博弈有了更深的理 ...
不平等博弈问题学习记录（二）（对于超实数在博弈下左右相等的扩充）
前言继续更新正文在上一篇文章中,定义了超实数{l∣r}\{l|r\}{l∣r}这个运算也了解了通过超实数对博弈状态的定义但是,还有很多的特殊情况没有考虑过特殊状态" * &quo ...
不平等博弈问题学习记录（一）(超实数篇)
前言听到博弈问题,第一个想到的想必是用SG函数做的博弈题,就比如Nim游戏 Nim游戏: 有N堆石子,每次选一堆石子,拿走若干石子(不能不取),先不能取的人输定义个SG函数对于SG函数,大致就记 ...
某程序员10个月时间做了30个私活单子，纯收入40万？
大家看到程序员只是接私活就纯收入40万,是不是心动了呢?嘿嘿,我跟大家一起来看看到底是怎么回事:1 0个月时间做了30个私活单子关于程序员做私活你们问,我答 PS: 一定一定要有一个专门的人负责客 ...
罗永浩宣布要做带货一哥后，合作单子如雪花般飞来
罗永浩真的进军电商直播领域了. 事实证明,老罗的流量和话题度真不是虚的.3月19日,罗永浩在微博上宣布,决定进军电商直播.随后#罗永浩做电商直播#的话题就再次上了微博热搜. 罗永浩表示,看了招商证券那 ...
函数式编程-将Monad（单子）融入Swift
前言近期又开始折腾起Haskell,掉进这个深坑恐怕很难再爬上来了.在不断深入了解Haskell的各种概念以及使用它们去解决实际问题的时候,我会试想着将这些概念移植到Swift中.函数式编程范式的很 ...
python 四维数据怎么看性别_四维单子上有男女暗示我告诉你四维彩超怎么分辨男女...
原标题:四维单子上有男女暗示我告诉你四维彩超怎么分辨男女四维彩超是超声检查的一种,除了一般彩超的功能外,还可以进行胎儿头面部立体成像,可清晰地显示眼.鼻.口.下颔等状态,可协助医生直接对胎儿先天畸 ...

关于超实数单子的说明

关于超实数单子的说明相关推荐

最新文章

热门文章