【实数系统】 01 - 万物皆数

  1、2、3、……,自然数就好像是大自然的母语,它独立于人的思维而存在,甚至很多动物都会简单的计数。考古学有足够的证据表明,远远早于人类文明之前,人们就开始有意识的计数了。到了古希腊时期,以各种政治宗教团体为代表,人们对知识的认知达到了空前的程度,其中影响最大的当属“毕达哥拉斯学派”。毕达哥拉斯曾求学于古希腊圣贤,并游历了周边世界,回国后创办了学派。关于“毕达哥拉斯学派”的故事数不胜数,网络和史书上都有精彩的描述,这里就不多说了。值得一提的是该学派的信条“万物皆数”,这里的数就是指自然数,当然还包括表现为自然数之比的有理数。

Pythagoras(前580 - 前500)

  古希腊人对有理数的研究十分深入,在丢潘图时代达到了至高点,但之后便随着时代一起没落了。其实在早前,希帕索斯就已经发现\(\sqrt{2}\)并不是有理数,这一发现使得毕达哥拉斯学派极其恐慌,他们将希帕索斯和真理一起埋藏到了大海之中。但毕竟纸里包不住火,质疑声越来越的强烈,人们对自己的信仰甚至产生了怀疑,史称“第一次数学危机”。最终人们不得不承认这种数的存在,并且称其为“不可公约数”,然后用两条线段之比来表示它,欧几里得的《几何原理》是这套理论的典型代表。然而顽固的反对者却一直存在,即使是伟大的达芬奇也称它为“无理数”。

  相信很多人有这样的记忆,在小学和初中时,0并不是自然数,但到了高中却突然变成自然数了。这个问题曾经一度引起争论,它也正体现了人们对0的认识过程。0很早地就被中国、印度这样的东方国家随意使用着,但直到中世纪阿拉伯数字的普及,欧洲世界才逐渐地接受了它。直观地讲,0的现实意义并不是很“自然”,因为“没有”是不需要计数的,再加上0不能做除数,人们将它排除在自然数之外也情有可原。在近代的集合论和公理系统中,将0作为万物起始,将1作为度量单位,更符合现代人的认识,理论系统在这里取代了直觉。听说现在小学教材也将0纳入了自然数,看来这个争议已经有了定论。

  大家可能已经不记得,我们在初中是先学的负数,然后再学的无理数(根号)。相对无理数而言,负数只是在减法上的扩展,接受起来没有障碍。但在历史上,负数的出现却远远晚于无理数,而且也同样不受人待见。直到17世纪末还存在着争议,连帕斯卡、莱布尼兹这样的大数学家都公开反对负数,认为它们根本不存在。由于先入为主的观念,有人可能无法理解,负数为什么难以接受?但只要想想你能否接受虚数,这也就变得不那么难理解了,因为它们同样都是“不存在”的数。

  经历了多次新数诞生的阵痛,人们已经认识到,数并非一定要是“存在”的,它们是运算完备性需求的必然产物。但数也不能盲目扩张,它们必须产生于运算的扩展,也必须受制于运算律的约束。随着公理化系统和代数学的发展,人们有了足够的工具和信心去解构数的本质,并随之创造出了包括“四元数”和“无穷小”在内的新型数。为了不把战线拉得太长,这里只介绍到实数系统,其它更高级的扩展留到相应课程再说。

  实数系统是分析学的基础,也是大家接触最多的数系。将这部分内容作为专题,有利于树立科学的数学观,为接下来的专业课程做个健康操。实数的构造和极限理论可以让你以更正确的姿势进入分析学的学习,最后的连分数理论是个很精巧的工具,不仅应用于初等数论,它还是打开实数秘密宝藏的金钥匙。



【前序学科】集合论

【参考资料】

[1] 《实数的构造理论》,王建午,1979

  以专业、深入的方式讲解了实数的构造,对实数的完备性有较全面的介绍,可作为数学分析的准备课程。

[2] 《数系:从自然数到复数》,董延闿,1988

  从皮亚诺公理出发,定义了自然数、整数……直至复数。对数的运算律有详尽的证明,可作为参考书。

[3] 《The Irrationals: A Story of the Numbers You Can‘t Count on》,Julian Havil,2012

  细数了数系建立和研究的历程,对很多高级问题都有启发性介绍。题材丰富,内容深入,适合进阶学习参考。

[4] 《研究之美》(Surreal Numbers),D.E. Knuth,2006

  以研究的方式介绍了超实数的概念,更主要的是让读者体会研究的方法和乐趣。短小的故事,却融入了研究的方方面面,对培养良好的研究素质有极好的启发性。

[5] 《连分数》,辛钦,1965

  大师手笔,从基础概念到高级内容皆有介绍,适合进阶阅读。作者文字简练、证明严谨、思路清晰,将个人见解融入课程,读来很受启发。

[6] 《连分数》,奥尔德斯,1985

  主体内容较初等,证明略显冗长,适合入门学习。文中有不少历史背景和应用场景,文末有高级内容引论,可做进一步学习的参考。

[7] 文中的极限理论来自各种微积分教材,部分连分数理论来自各种初等数论教材,这些教材的书单将在相应课程中给出。

时间: 2024-11-10 16:46:12

【实数系统】 01 - 万物皆数的相关文章

【实数系统】 02 - 实数构造

人们在工作和生活中熟练地使用着数,只要按照运算律进行计算,就不用怀疑结果是否正确.面对着那些似乎天经地义的运算法则,一般人根本不会多想,更看不出什么花样来.即使是碰到了似是而非的概念,大部分人也是选择视而不见,因为它们似乎并不影响最终的结果.然而数作为大自然的语言,数学家们并不甘心只是把它当做一般的对话工具,而是想通过它与世界进行更深层次的交流,并将其转变成探索世界的武器. 事实证明,对于简单问题的深入思考,有时候颠覆人们的传统认识,数学史上的重大发现很多都来自一些“基本问题”,并且新理论总会让

万物皆对象

一.抽象过程: 1,万物皆为对象. 狗.房子这种具体的事物是对象,"服务"这种抽象的概念也是对象. 你可以用对象来存储东西.狗对象可以存储狗头,狗腿等."服务"对象可以存储服务类型.服务员.顾客等. 你可以要求对象执行某种操作.比如,让狗叫一声,让"服务"对象做一个"送货上门"的动作. 2,程序是对象的集合 程序中的各个对象通过发送消息来告诉彼此要做什么,来合作完成一项任务.比如你调用某个对象的某个方法,"调用&qu

万物皆可“互联网+”

在你的眼中,"互联网+"会给你的专业带来哪些新变化?(形势与政策小论文) 万物皆可"互联网+" 2015年3月5日十二届全国人大三次会议上,***总理在政府工作报告中首次提出"互联网+"行动计划. 放眼我国的互联网发展历程,从1987年,北大钱天白向德国发出第1封电子邮件--当时中国还未加入互联网.到1989年, 中国开始建设互联网 --- 5年目标 ---国家级四大骨干网络联网.1994年, 中国终于获准加入互联网并在同年5月完成全部中国联网工

万物皆可电商,生鲜的坎坷之路

虽然现在还没达到万物皆可电商的地步,但是一些电商平台确实是以此为目标向前迈步.而作为实现这个目标的非常重要的一步,就是生鲜.例如最近的大樱桃不是到季节了嘛,各个电商大企业便开始用其"练手". ▲顺丰航空的樱桃专机,一架波音737货机正在装载樱桃.供图/东方IC 首先,软件产品网要给大家普及一下,生鲜,并不是生猛海鲜的意思.而是指未经烹调.制作等深加工过程,只做必要保鲜和简单整理上架而出售的初级产品.主要分为水果.蔬菜.肉品.水产.干货等.那么问题就来了,大家都知道,这个水果蔬菜和水产肉

解除 Linux 系统的最大进程数和最大文件打开数限制

ulimit用于shell启动进程所占用的资源 1.类别: shell内建命令 2.语法格式: ulimit [-acdfHlmnpsStvw] [size] 3.参数介绍: -H 设置硬件资源限制. -S 设置软件资源限制. -a 显示当前所有的资源限制. -c size:设置core文件的最大值.单位:blocks -d size:设置数据段的最大值.单位:kbytes -f size:设置创建文件的最大值.单位:blocks -l size:设置在内存中锁定进程的最大值.单位:kbytes

万物皆有始有终: Hawk5即日起停止升级迭代

从即日起,Hawk将停止升级工作,其版本号将停留在5. https://github.com/ferventdesert/Hawk Hawk已经开发和维护6年时间了,它曾经承载了开发者很多的期待.背后也有不少故事和为它付出过的朋友.6年间Hawk拥有了上万的用户,并获得了很多好评. 在这6年间,我为它提供了越来越丰富的功能,提升可用性和稳定性,相比于第一版简直是天上地下.但是,一款软件本质上是没有尽头的,缺点一定是大量存在的,需求是永远满足不完的:有桌面版就有人需要网络版,功能强大后就会有人吐槽

mysqladmin在SuSE linux系统中--sleep參数使用不准确问题

我们都知道,在MySQL中.能够使用mysqladmin命令的extended-status选项来查看MySQL的执行状态,比方获取我们经常关注的几个值: # mysqladmin -uroot -proot ext |grep "Questions\|Queries\|Innodb_rows\|Com_select \|Com_insert \|Com_update \|Com_delete " | Com_delete                               |

【实数系统】 03 - 极限

1. 实数基本定理 实数的构造理论为实数及其完备性奠定了严格的基础,但为了研究分析学的方便,我们需要更符合“直觉”的结论.在这之前,先来解一些重要的概念. 对于一个基本序列,我们的直觉是它将逐渐逼近某个数,这个数一般称为数列的极限.极限的严格定义由维尔斯特拉斯(Weierstrass)给出:一个实数列\(\{x_n\}\)如果满足条件(1),则称它为收敛的(converge)或收敛于\(a\),而\(a\)称为\(\{x_n\}\)的极限(limit),记作\(\lim\limits_{n\to

V7核心系统全表提数

核心系统提数 SELECT * FROM WEB_PLY_BASE A WHERE A.C_PLY_NO = '&plyno'; SELECT * FROM WEB_PLY_CVRG A WHERE A.C_PLY_NO = '&plyno'; SELECT * FROM WEB_PLY_APPLICANT A WHERE A.C_PLY_NO = '&plyno'; SELECT * FROM WEB_PLY_INSURED A WHERE A.C_PLY_NO = '&