第1章 达瓦里氏!(2/5)

或许是在英语课上看数学书太过于紧张刺激,或许是触发了学生本能的逆反心态,漆昊发现他的专注力提升了,平时略显浮躁的大脑此刻异常清醒。

教室里,英语老师正用她那带着口音的英语念着定语从句的例句,声音跟隔了一层水一样,闷闷地传过来。

漆昊能听见,但那些单词进不了他的脑子,他的全部注意力都被钉在了眼前的字上。

设q为有理数集,将其划分为两个非空子集a和b,使得a中的任意元素都小于b中的任意元素……

高中时学实数,老师用一句“实数就是数轴上的点,大家记住就行了”就带过了,没有人会追问为什么,也没有人关心根号二到底是怎么从有理数的世界里被造出来的。

但现在这种感觉不一样。

漆昊感觉自己的思维正在被这些抽象的定义强行拽着往前走。

他顺着书上的定义继续往下推导。

他开始代入那个初中就认识、却从未真正理解的老朋友,根号二。

设集合a包含所有负有理数,以及平方小于2的正有理数,设集合b包含所有平方大于2的正有理数……

漆昊的笔尖顿住了。

他的大脑开始高速运转,去寻找边界。

在集合a里,你能找到一个最大的数吗?

比如1.

4?

不,1.

41比它大,且平方依然小于2。

无论在a里找到多么靠边缘的数,永远能找到一个比它大,却依然属于a的有理数。

同理,在集合b里,也永远找不到一个最小的有理数。

戴德金的证明逻辑是直接抛弃传统的数字概念,把由a和b组成的分划整体直接定义为一个新的数,即无理数。

为了验证这个理论,漆昊拿起水性笔,在草稿纸上写下一串式子。

他开始逐一验证了分划的三个基本条件,发现完全不需要借助几何图形上的线段长度,仅仅依靠有理数集合的分类和大小比较,就能在纯代数层面上确立实数的连续性。

这就是建立严密实数理论的过程。

高中时期默背的结论,到了大学,变成了需要掌握的基础公理和集合运算。

当漆昊在草稿纸上写完最后一个推导步骤,他脑海中响起了一道声音。

【任务完成!】

【达瓦里氏,你通过查阅教材初步理解了戴德金分割的定义,完成了对实数理论的新理解。】

【任务奖励:个人面板已开启,数学学科经验值+10!】

随后他的个人属性面板出现了。

【姓名:漆昊】
本章未完,请翻下一页继续阅读.........

附近章节