超实线(Hyperreal line)是什么?
(2013-06-15 03:09:24)
标签:
it |
超实线如下图所示:
/ / ........... __________|___|___|___|_________ ..........\ -1 0 1 2 \
\ negative\ infinite finite positive /
infinite /
从上图可见,在超实线的两个”远端“存在无限大的超实数。超实线是”an extension(延伸) of the real line. It contains all real numbers, and some infinite and infinitesimal numbers“,这是超实线的官方定义。我们说:”an element of the hyperreal line x is finite iff |x| < n for some integer n. x is infinite iff it is not finite. x is infinitesimal iff |x| < 1/n for all integers n. (Note that 0 is trivially infinitesimal)“。在此,什么是有限数、无穷大与无穷小交代的一清二楚。 超实线的本质特征是,它含有”an infinite number H, and an infinitesimal 1/H = d“,注意:此处的小写字母”d“,就是莱布尼兹当年定义的无穷小”微分“,而无穷大数H就是公元前阿基米德最早定义的一个数学概念。这两者都不是什么新鲜概念。 请看下图:(设想借助一个”显微镜“观察)
1-2d ____________|______|______|______|______|______|______________ 1-d 1 1+d 1+2d 1+3d
由上图我们可以发现一个有趣的现象:一个“动点”从左方无限接近于点”1“,然后,它又慢慢离去的景象。容易证明:在无穷小区间(1-2d,1+2d)里面没有任何实数存在(除了数字”1“)。这就是说,这个”动点“在无限接近点”1“的“瞬间过程“中,有一个无穷小的“时间段“,此时,该”动点“既在点”1“(在通常意义上),又不在点“1”(在超实线意义上)。十七世纪伟大法国数学家哥西(Cauchy)所坚持主张的导数定义就是这样的。
请看下图:(设想借助一个”望远镜“观察)
H-2 _____________|______|______|______|______|______|______________ H-1 H H+1 H+2 H+3
由上图可知:在无穷大数H的左右两旁都有无穷大数存在,其间没有任何实数。总之,超实线的模样儿显得”怪怪的“,有点儿”不可思议“。 在新学期里面,我们要向国内广大学生(包括老师)推荐的”连续统“(超实线)就是这样的。但是,如果接受了这种”观念“,那么,整个微积分学就要改写,使其变得简单、直观,而且又有趣味性。何乐而不为?
前一篇:微积分“拐弯”五十年
后一篇:关于微积分学”拐弯“的思考

加载中…