[转载]测度论简介------一个通往异世界的大门（四）
已有 907 次阅读
|系统分类:|关键词:大门 世界
四、若干注记 长度的意义说了这么多，到此差不多就可以告一段落了。但是关于在前面的讨论中出现 的许多数学概念和思想，却还不妨多说几句。事实上，测度论虽然只是数学中一个具体 的分支，但是它的发展和演进却和数学史上最有趣的篇章之一——所谓的“第三次数学 危机”——联系在一起。关于这桩公案，坊间的科普书目已经汗牛充栋，我也并不想在 这里再重复一遍那些随手就可以找得到的八卦，而只是想针对某些特别的概念和理论略 加说明，至少，这对愿意继续阅读别的数学或者数学科普著作的朋友来说，会有点作用 吧。 1. 无穷小。 这个概念无疑常常困扰没有受过现代数学训练的阅读者们，这是很自然的事情，因为它 可以从直觉上意识得到，却又难于精确地把握：无穷小是什么？是不是可以精确定义的 数学概念？它是一个数？还是一段长度？能不能对无穷小做计算？诸如此类等等。由于 这个概念几乎天然的和各种哲学式的思辨联系在一起，使得甚至哲学家们也对它颇为关 注，——当然，还有数之不尽的民科们。 关于无穷小的讨论者，最著名的大概莫过于莱布尼茨，他花了大把的精力试图精确阐述 无穷小的概念并且以此作为整个微积分学的基石。在莱布尼茨看来，无穷小是一个比任 何数都小但是不等于零的量，对它可以做四则运算，尤为关键的是可以做除法：两个相 关的无穷小量的比值就是一个函数的导数。以此为基本语言他开始建立微积分学的基本 理论，——他基本上成功了。直至今天，数学家采用的关于微分的记号仍然来自莱布尼 茨，而数学学科内部关于微积分学的专门称呼——“分析学”——也来自于莱布尼茨自 己对他的理论的叫法：无穷小分析。尽管牛顿和莱布尼茨在微积分的发明权上争得不可 开交，可是几个世纪过去，至少在这两件事情上莱布尼茨大获全胜。 可是，也许你想不到的一件吊诡的事情是：尽管莱布尼茨在微积分学的建立过程里做出 如此重要的贡献，他的思想的基石——无穷小量——却是一个在今天的数学语言里被完 全抛弃了的概念。人们发现这个词汇除了带来混乱之外并没有什么特别的用处，于是作 为一种语言，它被丢弃了。事实上，即使在莱布尼茨的同时期人看来，无穷小也是一个 有点让人不舒服的词：比任何大于零的数都小，却不是零。我们当然可以把它仅仅作为 一种人为的逻辑概念来使用，可是这样一个怪东西的存在，既使得数学的基本对象—— 实数的结构变得混乱，也在很多场合带来了麻烦的难于回答的问题（尽管它也确实带来 了不少方便）。在分析学蓬勃发展的十八世纪，一代又一代数学大师为此争论不休，大 家混乱而各行其是地使用这个词，却没人能说清楚它的精确含义。终于，从十九世纪初 期开始，以柯西（Cauchy）和魏尔斯特拉斯（Weierstrass）为代表的一大批数学家开始 为分析学的严密化做出了大量的工作，他们试图在完全不采用“无穷小量”这个概念的 前提下重新建立整个分析学，——他们也成功了。 于是这个词就被抛弃了。时至今日，这个词尽管在很多数学书里仍然会出现，但是这时 它仅仅作为一个纯粹修辞上的词汇而不是严格的数学概念，——人们通常用它来指代“ 极限为零的变量”（感谢十九世纪那一大批数学家，极限这个词已经是有了严密清晰的 定义而不再仅仅是某种哲学性的描述），也有的时候它被用来作为对微积分运算中的某 些符号的称呼，但是无论何时，人们在使用它的时候都明确的知道自己想说什么，更关 键的是，人们知道自己并不需要它，而只是偶尔像借助一个比喻一样借助它罢了。 那么，回到这个词最本源的意义：到底有没有这样一个量，比一切给定的正实数都小却 又不是零？或者这个问题还有一系列等价的提法：在直线上存不存在两个“相邻”的点 ？存不存在“长度”的最小构成单位？等等等等。 在今天我们已经能够确定无疑的回答这些问题了：不，不存在。 事实上，这个问题的彻底解答甚至比柯西和魏尔斯特拉斯的时代还要晚：它本质上是关 于实数的结构的理解的问题。即使柯西本人——尽管他奠定了现代极限理论的基础—— 也并不真正了解“实数是什么”这样一个简单的问题。关于严密的实数理论的最终建立 ，一般认为是皮亚诺（peano），康托（Cantor）和戴德金（Dedekind）这几位十九世纪 下半叶的数学家的成就。所谓的“戴德金分划”仍然是今天的教科书里对“实数”这一 概念所介绍的标准模型。在这套模型里，人们能够在逻辑上完全自洽的前提下回答有关 实数结构的一切问题，而正如前面指出过的那样，它完全摈弃了“无穷小”的存在。 （是不是数学家说无穷小量不存在，这个词就没意义了呢？） 这又回到了前面我们屡次面对的那个关于数学断言的权威性的问题。如果承认无穷小是 一个有关数的概念，那么，数学家的工作已经告诉我们，在实数理论中没有无穷小的位 置。事实上，康托本人就曾经证明过承认无穷小是同承认实数中基本的阿基米德原理相 矛盾的。（阿基米德原理是一个关于实数性质的基本原理，如果阿基米德原理是错的， 整个数学大概都无法得以建立。）但是，如果把问题拉到数学的疆域以外，如果认为人 们有权利不按照数学家的方式讨论数本身的性质，那么我们面对的就已经是全然另一层 次的问题，——也就不可能在这里得到详尽的讨论了。 2. 无穷大。 有趣的是，和无穷小如此相似的一个词——无穷大——却在今天的数学语言中占有与之 判若云泥的一个地位：人们谈论它，研究它，还给它以专门的记号（倒8字）。造成这一 多少有点奇特的事实的关键在于，和通常人们的误解不同，无穷大其实并不是无穷小这 个词在概念上的对偶（尽管乍一看似乎如此）。事实上，就某种意义而言，说它是零这 个词的对偶也许更为恰当一些。 让我们回顾一下这个概念在数学中的递进过程：我们都知道存在这样的数列（例如自然 数列），可以一直变得越来越大，直到比任何给定的数都更大，这种时候，我们把这样 的数列称为“趋于无穷大”或者直接就简称它是无穷大。——请注意，在这里无穷大仅 仅是作为人们对一个数列或者变量的极限的叫法而存在的，我们并没有承认它是一个数 或者一个确定的对象，而只是一个形容词而已。每个具体的数都不可能真的比别的数都 大，尽管一系列数可以没有止境地变得越来越大，这实质上就是亚里士多德所强调的“ 潜无穷”。 如果事情只是到此为止，那一切相安无事，无穷大这个词今天的地位也只不过和无穷小 一样仅仅作为对一种极限的描述而存在罢了。可是这里有某种微妙的差别：正如前面提 到过的那样，“无穷小”不是别的，只是一个变量极限为零而已，所以我们总可以认为 无穷小只是一种说法，在必要的时候可以用“趋于零”这样一个替代说法来换掉它。可 是“无穷大”是什么极限呢？它并不是趋于任何特定数字的极限，而是“趋于无穷大的 极限”，你看，这个词轻易回避不掉。 于是人们只好被迫不断的提及它，要是非要替换成别的说法，就要花好多倍唇舌才成。 比如，前面说过直线本身也是直线的可测子集，那么整条直线的测度是多少？当然我们 可以佶屈赘牙地说“直线可测，但是它的测度并不是一个确定的数，而只是比任何给定 的实数都要大。”——这也太麻烦了一点。为什么不省点事直接说“直线的测度等于无 穷大”呢？ 这样人们就开始不断的把无穷大当一个名词来使用，假装它好像也是一个数一样，这就 是所谓的“实无穷”。哲学家和数学家中比较喜欢哲学争辩的那一部分人对此有许多争 论（直觉主义学派等等），但是让我们忽略掉它们，先看看在今天数学家是怎么使用这 个词的吧。 首先，无穷大不是一个实数，在实数集中不存在任何数比其他所有数更大，这是确定无 疑的事情。 其次，在许多场合下，我们确实可以把无穷大当作一个名词来使用，既方便又不造成困 扰。例如前面提及的在测度论里我们说一个可测集的测度是一个“数”，这里的“数” 既包括非负实数也包括无穷大。事实上，在有些数学书里索性把实数加上无穷大这样一 个集合称为“增广实数集”。我们甚至可以对无穷大定义运算（在事先做好严格约定的 前提下），这对于很多理论的叙述带来了极大的方便。如果说得更技术化一点，在很多 数学分支（例如仿射几何）里我们还能像让每个实数对应于直线上的一个点这样一个几 何对象一样，让无穷大这样一个特殊的对象也对应于一个特殊的几何对象（所谓的“无 穷远点”），并且让所有这些几何对象平等地参与到几何学中来。只要仔细做好事先的 公理准备，这样子做并不会引起任何逻辑问题。 ——也许有人会觉得奇怪，怎么数学家可以如此随便，想给实数集添上什么就添上什么 ？事实上，数学家就是有这样的权利，因为说到底，数学不是研究真实自然界的学问， 而只是研究人造概念的学问。任何人造概念，只要在逻辑上被严格的描述出来又不造成 内在的逻辑不自洽，都可以被认为是“存在”的。复数的引进就是一个很好的例子。 ——那前面怎么又说“无穷小不存在”？就算无穷小本身不能是一个实数，为什么不能 把它添在实数集之外也弄一个“增广实数集”出来研究？ 事实上，这样做是可以的，而且事实上也确实有好事者这样做过。问题在于它毫无意义 。前面说了，任何人都有权利自己定义出一些什么东西来作为数学对象来研究，这是对 的，只要他在逻辑上足够细心就行。可是这句话还有一个常常被人忽视的反面：数学尽 管不是直接研究自然界的学问，可是它毕竟是在人们研究自然界的过程中形成而又有助 于人们对自然界的理解的。如果一个数学概念纯粹只是自说自话的产物，那无论它多么 自洽，也没有人会去关心它。复数这一人为的构造之所以被所有人承认是因为它巨大的 威力。而无穷小——正如前面所指出的——是一个毫无必要引入的概念，添上它只会自 找麻烦。无穷小和无穷大的命运之所以不同，关键正在于此。 回到无穷大这个词上来。这一系列文章的一开头还说过无穷大可以分成“可数”和“不 可数”的无穷大，那又是怎么回事？ 这是一个更常见的误解，这其实是两个不同的词：作为一个极限的（潜）无穷和由此引 申而来的作为一个数学对象的（实）无穷是一码事，作为一个集合的势的可数无穷或者 不可数无穷是另一码事，不同于前者的“无穷大”，后者其实应该被称为“无穷多”才 对，只是人们通常混为一谈。事实上，当我们说“一个集合有无穷多个元素”的时候， 我们有必要指出这个集合是不是可数，而当我们说“一条直线的测度是无穷大”的时候 ，却完全谈不上什么可数不可数。——在数学书中通过观察上下文，分辨这两者并不是 很难的事情，可是如果把“无穷”作为一个哲学命题来研究的时候，这种区分却是必须 的。——不幸的是，就我阅读所及，很多时候人们都没做到这一点。 3. 不可测集与选择公理、数学的严密性 回顾一下“不可测集”这个词的意思：在勒贝格测度的意义下，总有一些集合是没办法 定义测度的，这样的集合称为不可测集。同时已经被我们反复指出过的一点是：一个没 受过专门数学训练的人所能想象到的任何古怪集合其实都是可测的，不可测集非常罕见 。 不可测集的存在是数学中中一件令人遗憾的事实，要是能给直线的任何一个子集定义长 度，这样的理论该有多么漂亮啊……数学中常常有这样的情形，一个人们通过直觉认定 的美妙设想，偏偏被一两个好事者精心构造出的反例破坏了，但是数学毕竟受制于逻辑 ，不管一个反例多么煞风景，只要它确实成立，数学家也只好接受它。 可是不可测集这个例子有点不同：构造不可测集，用到了选择公理。 这件事情说来话长，简单的说，我们都知道整个数学是建立在一些很显然也很直观的公 理之上的，这些公理大多数都是诸如等量之和为等量之类的废话，可是选择公理稍微复 杂一点，它是说： 任何给定一组非空集合，我们总能从其中的每一个集合里取出一个元素组成一个集合。 也像废话一样，是吧，可是这句话多少有点罗嗦，不像等量之和为等量一样简单明了。 于是人们对它多少有所争议，有人认为它不应当排在基本公理之内。可是毕竟这句话也 挑不出什么错，而且人们很快发现，很多很有用的数学结果离开选择公理就变得很难证 明或者根本不可能证明，于是将就着也就承认它了。 可是不可测集的存在却又掀起了人们的疑虑，反对选择公理的人说，看看吧，要是没有 选择公理，也就没有不可测集了。 赞成的人反驳说，不可测就不可测呗，有什么大不了的……虽然整个理论确实变得不那 么完美了。——他们不知道更大的问题还在后面。1924年，波兰数学家巴拿赫（Banach ）在选择公理和不可测集构造法的基础上，证明了石破天惊的“分球定理”：一个半径 为1的实心球，可以剖分成有限的若干块，用这些块可以完整地重新拼出两个半径为1的 实心球体！ 这一下引起轩然大波，反对选择公理的数学家们声势大振，认为选择公理完全是troubl e maker，必欲除之而后快。赞成选择公理的数学家们则指出选择公理“功大于过”，毕 竟有很多有价值的数学成果出自选择公理的基础。双方僵持的结果是大家各行其是，大 多数数学家承认选择公理，同时忍受巴拿赫分球定理所带来的不适感，少数数学家坚持 不要选择公理，为此失去很多别的很有用的定理也在所不惜。 这一僵持局面维持了很多年，直到二十世纪的中叶才被戏剧性地解决。人们在不承认选 择公理的假设下构造出了一大堆比巴拿赫的球体更严重的反例（例如一个空间同时有两 个维数）。这些反例不只像巴拿赫的例子一样违反直觉，而且还严重的破坏了大多数已 有的数学结果。于是人们发现，承认选择公理也许是必须的，而像巴拿赫的反例那样的 反直觉的结果，也只能被迫承担下来了。 所以到今天几乎所有的数学研究都是在承认选择公理的基础上进行的。虽然作为一种后 遗症，人们总是会时不时地谨慎的在使用选择公理的时候加上一句声明：“本文依赖选 择公理。”——这也许是这条公理的一个特殊待遇了。 以上便是这段公案的来龙去脉。很多人可能在读完这段故事之后疑虑重重。什么啊？数 学家们难道是这么随便的确定公理体系的么？如此的实用主义，似乎全然置真理的地位 于不顾的样子。很多人可能还会想起欧几里德第五公设的故事，觉得数学家们原来如此 不负责任，带给人们的不是一套严整规范的理论体系，而是一个支离破碎的混乱图景。 连公理的问题都搞不定，整个数学岂不是空中楼阁？ 限于篇幅，这篇文章不可能对这个问题予以展开论述，可是至少我们可以澄清一个常见 的似是而非的误解：数学是严密性的科学，数学的发展也只有在严密的公理化基础上才 能得以实现。 这句话——至少在字面上——是对的。不可测集的例子本身就说明，为了严密性，数学 家们甚至不惜放弃直观，——像巴拿赫球那样的例子尽管如此怪诞，可是它是严密逻辑 的产物，数学家也只好承认它的存在。 可是在更宏观的层面上，这句话却是错的。前面提到的分析学就是很好的例子：微积分 的思想的提出是在十七世纪，在随后的十八世纪里取得了丰硕的成果，可是它的严密化 却直到十九世纪下半叶才真正得以实现。测度论是另一个例子：“测度”是人们对于长 度这个词的直观理解的严密化，可是这并不是说，在测度论被提出之前的漫长岁月里人 们对于长度都一无所知，恰恰相反，人们已经知道了相当多的事情，只是等待测度论的 语言让一切都变得精确和完整而已。 所以数学的发展实质上是一个拖泥带水的过程，一代又一代崭新、充满活力却又粗糙的 思想被提出来，人们意识到它的重要性，予以发扬光大，产生一系列重要的成果同时又 带来困惑，直到崭新的数学语言诞生，清理战场，让一切显得井井有条，像教科书上的 文字一样道貌岸然，而同时却又有新的粗糙的思想诞生了……在这个过程里，严密性始 终只是一个背景，尽管无处不在，可是并不占据舞台的统治地位。数学家们在意严密性 ，追逐严密性，甚至不惜为了严密性而牺牲看似有价值的学术成果，可是严密性并不是 数学发展的引领旗帜，从来都不是。 这就是为什么同很多人的误解相反，大多数数学家其实并不关心那些关于数学基础的哲 学性的争论，这也就是为什么我把眼前这些讨论放进附记的原因——一件事情是不是关 系到数学的逻辑基础和这件事情在数学上是不是重要一点关系都没有。所有这些故事： 可数与不可数、可测与不可测、选择公理等等，都是和二十世纪初所谓“第三次数学危 机”的大背景联系在一起的，那段时间里数学家之间产生了无数纷争，可是今天的数学 学生们在严肃认真地学习集合论和测度论的同时，却只对那些八卦付之一笑，作为茶余 饭后的谈资。——事实上，即使在二十世纪初，也有大量的数学家根本不关注这件事情 或者压根就采取了日后看来是错误的立场（反对康托，反对不可数集的概念，等等）却 同时又在自己的领域里作出了重要的甚至是历史性的贡献。 关于那个所谓的“第三次数学危机”，有一本著名的科普著作《数学：确定性的丧失》 [2]专门讨论了它。这本书内容相当详尽，不幸的是它所引起的误解和它阐明的事情一样 多。关于这次“危机”的描述主要集中在第十二章，那一章的结尾倒是相当深刻，值得 特别引用在此： “一个寓言恰如其分地概括了本世纪有关数学基础的进展状况。在莱茵河畔，一座美丽 的城堡已经矗立了许多个世纪。在城堡的地下室中生活着一群蜘蛛，突然一阵大风吹散 了它们辛辛苦苦编织的一张繁复的蛛网，于是它们慌乱地加以修补，因为它们认为，正 是蛛网支撑着整个城堡。” &
本文引用地址：&转载请注明来自科学网博客，并请注明作者姓名。
上一篇：下一篇：
当前推荐数：1
评论 ( 个评论)
作者的精选博文
作者的其他最新博文
热门博文导读
Powered by
Copyright &总结一下实数的性质_百度知道
总结一下实数的性质
　　基本运算　　实数可实现的基本运算有加、减、乘、除、平方等，对非负数还可以进行开方运算。实数加、减、乘、除（除数不为零）、平方后结果还是实数。任何实数都可以开奇次方，结果仍是实数，只有非负实数，才能开偶次方其结果还是实数。　　完备性　　作为度量空间或一致空间，实数集合是个完备空间，它有以下性质：　　所有实数的柯西序列都有一个实数极限。 　　有理数集合就不是完备空间。例如，(1, 1.4, 1.41, 1.414, 1.21, ...) 是有理数的柯西序列，但没有有理数极限。实际上，它有个实数极限 √2。实数是有理数的完备化——这亦是构造实数集合的一种方法。　　极限的存在是微积分的基础。实数的完备性等价于欧几里德几何的直线没有“空隙”。　　“完备的有序域”　　实数集合通常被描述为“完备的有序域”，这可以几种解释。　　首先，有序域可以是完备格。然而，很容易发现没有有序域会是完备格。这是由于有序域没有最大元素（对任意元素 z，z + 1 将更大）。所以，这里的“完备”不是完备格的意思。 　　另外，有序域满足戴德金完备性，这在上述公理中已经定义。上述的唯一性也说明了这里的“完备”是指戴德金完备性的意思。这个完备性的意思非常接近采用戴德金分割来构造实数的方法，即从（有理数）有序域出发，通过标准的方法建立戴德金完备性。 　　这两个完备性的概念都忽略了域的结构。然而，有序群（域是种特殊的群）可以定义一致空间，而一致空间又有完备空间的概念。上述完备性中所述的只是一个特例。（这里采用一致空间中的完备性概念，而不是相关的人们熟知的度量空间的完备性，这是由于度量空间的定义依赖于实数的性质。）当然，R 并不是唯一的一致完备的有序域，但它是唯一的一致完备的阿基米德域。实际上，“完备的阿基米德域”比“完备的有序域”更常见。可以证明，任意一致完备的阿基米德域必然是戴德金完备的（当然反之亦然）。这个完备性的意思非常接近采用柯西序列来构造实数的方法，即从（有理数）阿基米德域出发，通过标准的方法建立一致完备性。 　　“完备的阿基米德域”最早是由希尔伯特提出来的，他还想表达一些不同于上述的意思。他认为，实数构成了最大的阿基米德域，即所有其他的阿基米德域都是 R 的子域。这样 R 是“完备的”是指，在其中加入任何元素都将使它不再是阿基米德域。这个完备性的意思非常接近用超实数来构造实数的方法，即从某个包含所有（超实数）有序域的纯类出发，从其子域中找出最大的阿基米德域。 　　高级性质　　实数集是不可数的，也就是说，实数的个数严格多于自然数的个数（尽管两者都是无穷大）。这一点，可以通过康托尔对角线方法证明。实际上，实数集的势为 2ω（请参见连续统的势），即自然数集的幂集的势。由于实数集中只有可数集个数的元素可能是代数数，绝大多数实数是超越数。实数集的子集中，不存在其势严格大于自然数集的势且严格小于实数集的势的集合，这就是连续统假设。该假设不能被证明是否正确，这是因为它和集合论的公理不相关。 　　所有非负实数的平方根属于 R，但这对负数不成立。这表明 R 上的序是由其代数结构确定的。而且，所有奇数次多项式至少有一个根属于 R。这两个性质使 R成为实封闭域的最主要的实例。证明这一点就是对代数基本定理的证明的前半部分。 　　实数集拥有一个规范的测度，即勒贝格测度。 　　实数集的上确界公理用到了实数集的子集，这是一种二阶逻辑的陈述。不可能只采用一阶逻辑来刻画实数集：1. L&wenheim-Skolem定理说明，存在一个实数集的可数稠密子集，它在一阶逻辑中正好满足和实数集自身完全相同的命题；2. 超实数的集合远远大于 R，但也同样满足和 R 一样的一阶逻辑命题。满足和 R 一样的一阶逻辑命题的有序域称为 R 的非标准模型。这就是非标准分析的研究内容，在非标准模型中证明一阶逻辑命题（可能比在 R 中证明要简单一些），从而确定这些命题在 R 中也成立。 　　拓扑性质　　实数集构成一个度量空间：x 和 y 间的距离定为绝对值 |x - y|。作为一个全序集，它也具有序拓扑。这里，从度量和序关系得到的拓扑相同。实数集又是 1 维的可缩空间（所以也是连通空间）、局部紧致空间、可分空间、贝利空间。但实数集不是紧致空间。这些可以通过特定的性质来确定，例如，无限连续可分的序拓扑必须和实数集同胚。以下是实数的拓扑性质总览：　　令 a 为一实数。a 的邻域是实数集中一个包括一段含有 a 的线段的子集。 　　R 是可分空间。 　　Q 在 R 中处处稠密。 　　R的开集是开区间的联集。 　　R的紧子集是有界闭集。特别是：所有含端点的有限线段都是紧子集。 　　每个R中的有界序列都有收敛子序列。 　　R是连通且单连通的。 　　R中的连通子集是线段、射线与R本身。由此性质可迅速导出中间值定理。
其他类似问题
等待您来回答
下载知道APP
随时随地咨询
出门在外也不愁构造数的新模式——层次数
已有 1184 次阅读
|系统分类:|关键词:数 构造 模式
《统一无穷理论》一书，构造了以“数原子”为基础的数字世界，并把无穷大统一为唯一一个∞。这样的统一方法，把从0到∞之间的空间密密麻麻填满了“数原子”。这种构造数的方法启发了我用更简单易懂的方法去构造数的新模式。
为了避免再次陷入集合论、无穷大的分层、实数集的可数等争论不休的问题，本人构造了一种数的新模式——层次数。
层次数是构造在实数（位数）是可数的基础上。实数（位数）是可数的结论已得到不少专家的论证。
下文是把0（包括0）以上的数构造为层次数，不考虑负数和虚数。
一、构造层次数
&我们知道自然数是数不完的无穷数：
0，1，2，3，4，5，6，7，8，9，10，……，N，N+1，……
由于无法数到无穷大，只能用下列方法表示自然数系列：
0，1，2，3，4，5，6，7，8，9，10，……，U，……，∞
由于不存在最大的自然数，我们尽可能取极大的自然数U（简称极大数）。U仍然不是最大的自然数，只能用无穷大（∞）来表示自然数的最终值。但由于∞不具有自然数的性质，所以有必要构造层次数。
对0以上的数，可以按以下划分：
0，无穷小，实数，无穷大
（为了便于分析，本文把0单列出来，即本文实数不包括0）
传统的数字观把实数与无穷小和无穷大混在一起，认为实数与实数之间既有无穷小，也有无穷大。由于实数（位数）是可数的，我们完全可以把实数构造在无穷小和无穷大之外。
&&&&&&&&&&&&&&&&&&&&&&&&&
无穷大& （4层）
& &&&&&&&&&&&&&&&&&& &&&& &&&& &&&& &&&& &&&&&&&& & ↑
& &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& && & ↑﹉﹉﹉
&&&&&&&&&&&&&&&&&&&& &&&&&&&& &&&& & 实数& （3层）
&&&&&&&&&&&&&&&&&&&&&&&&& &&&&&&&& && ↑
&&&&&&&&&&&&&&& && && ↑﹉﹉﹉
&&&&&&&&&&&&&&& &&&& 无穷小& （2层）
&&&&&&&&&&& && && ↑
& && ↑﹉﹉﹉
&&&&&& 0& （1层）
上述的数分为4层：0，无穷小，实数，无穷大；层与层之间有明显的跨跃。虽然层与层之间有很多数，但这些数几乎是用不到的，可以忽略。
实数的形式可写为：
N1N2N3……NU . n1n2n3……nU1（U、U1为极大数）
这里要强调的是：对于U、U1不是最终值，U、U1之后还有很多个数，但这些数几乎是用不到的，可以忽略。
三、实数与无穷大
我们知道，实数与无穷大之间可能有过渡数，但这种过渡数没有办法找到。在上述定义的实数形式（N1N2N3……NU . n1n2n3……nU1）里，整数部分N1N2N3……NU 离无穷大依然很遥远，小数部分n1n2n3……nU1（位数）也是无法接近无穷大，但可以用跳跃的方式穿跃这“密集无用的过渡数”。
上述方法构造的实数可以不再与无穷大或无穷小相关。
无穷大的构造方法也简单，就用∞表示。∞是不是可以统一为一个（《统一无穷理论》就把∞统一为一个），或者可以分为很多个超限数（康托尔的无穷理论），对上述的构造没有任何影响。
四、其它层次数
0不用构造，依然只有一个0。
无穷小δ，按照现在高等数学教材里的定义，无穷小是趋近于0但又比0大的数，即δ&0；同时无穷小又小于任意小的实数，即δ&C。
同理，0与无穷小之间可能有过渡数，这种过渡数也是没有办法找到，也同样可以用跳跃的方式穿跃这“无用的过渡数”。
五、无穷小的比较
无穷小是可以比较大小的，它们是用分阶来比较。
设α与β都是无穷小
若lim β/α＝0，就说βα
若lim β/α＝∞，就说βα
若lim β/α＝C≠0，就说βα
若lim β/α＝1，就说βα
六、层次数之间的关系
从两个重要极限其中之一可得：
（1+δ）∞＝e
从上述公式可以推出：无穷小δ、无穷大∞与实数（这里是e）是可以互相转换的。由于实数e是可数数，因此无穷小δ、无穷大∞也都是可数数。
参考文献：
[1] 何华灿、何智涛著，《统一无穷理论》，科学出版社，2011年12月
[2] 戴维··著，胡凯衡译《跳跃的无穷》，湖南科学技术出版社，2009年4月
[3] 樊映川等编，《高等数学讲义（上册）》，高等教育出版社，1964年7月
本文引用地址：&转载请注明来自科学网博客，并请注明作者姓名。
上一篇：下一篇：
当前推荐数：1
评论 ( 个评论)
作者的其他最新博文
热门博文导读
Powered by
Copyright &