手机浏览器扫描二维码访问
因此就可以使用分割数轴的方式,用两个左右互斥的集合来准确定义一个数。
这种定义方式与生成自然数的规则是不同的,它一开始就至少要用到两个集合。
在旧的规则中,定义自然数最初的o却仅仅只需要用到一个空集。
从最初诞生的基础规则开始就不同,用这种全新的方式定义的数恐怕与普通的数也完全不是一回事。
“没错,用两个互斥的左集和右集来定义一个数。”
李恒举起手中的那台二星芝诺机,将它那看不到具体大小的尖端对准白色的数轴。
阿基里斯耳边有清脆的破裂声响起,看似无缺无漏的实数之间被破开了一道缝隙,越实数的世界被找到了。
纯白无暇的世界消失不见,这个隐藏在实无穷小区域中的新世界既不是虚无的黑暗,也不是不可知的混沌。
这里是一片普通的海滩,海滩边埋着一块黑色的大石头,露出来的半截上面刻着一段像是涂鸦一样的雕文。
“公理石碑?”
阿基里斯微眯着眼睛看向那块黑色大石头。
名字起的倒是高大上,但看起来就是一块黑漆漆的大石头,跟石碑这个词完全搭不上边。
『初,万物混沌苍茫,尔后康威始创诸数。』
『创生二道,大小诸数盖由此出。
其一曰凡数,皆合于前创二数之集,其位左者,无一大于或等于其位右者。
其二曰甲数小于或等于乙数,当且仅当甲数之左集中无一大于或等于乙数,且乙数之右集中无一小于或等于甲数。』
『康威检视二道,连呼妙哉!此二道真妙绝!』
这两条规则并不难理解,第一条规则就是描述了数轴的有序性。
第二条规则就是戴德金分割的基本思想,用数轴上左右互斥的两个集合和来定义一个数。
每一个数本质上都是一对数集,并且这些数集中的每一个数本身也是一对数集。
“康威?”
阿基里斯低声念着这个名字。
两人之前在讨论大数的时候提到过这个名字,用于表示大数的高德纳箭头和康威链式箭号。
这人应该就是那个康威。
她继续向下看去。
『元初之数,左右皆空,康威名之曰“零”,命其为正负两界分野之符。』
『康威证得零小于或等于零,此间妙也。夜去昼来,是为零日。』
『次日又得二数,其一以零为左集,其一以零为右集,前者曰“一”,后者曰“负一”…』
这就是用前面提到的两条规则来定义数了。
知道了戴德金分割的基本思想,这种全新的规则阿基里斯看过一遍就明白了。
每一个数本质上都是一对数集。
但最初没有任何的数,唯一存在的东西就是虚无,也就是空集。
所以最初的数左右两侧都是空集,这个数就是o。
写成符号形式就是,o=?丨?。
左右皆空,空集不包含任何元素,空集与空集之间自然也就没有交集。
并且,因为不包含任何元素,所以空集是任意一个集合的子集。
这就意味着空集可以被随意地放在左侧或者右侧。
无论另一边的集合中是包含一个还是无穷多个元素,空集都一定满足这两条规则。
空集的这种性质还真是好用,集合论里的空集果然和哲学意义上一切皆无的概念完全不一样。
1={o}丨?
2={o,1}丨?
-1=?丨{o}
-2=?丨{-1,o}
以此类推,便可创造出一切整数。
“不,或许这些符号还可以更简单一些。”
阿基里斯突然又摇了摇头。
比较数轴上左右两个互斥集合,不需要比较集合中的每一个元素,只需要比较左集中的最大元素和右集中的最小元素。
这样的话,2={o,1}丨?也可以写成2={1}丨?。
每一个新的数都在旧数的边界之处创造。
喜欢触手怪的宇宙之旅请大家收藏触手怪的宇宙之旅本站更新度全网最快。
猛龙会医术,暧昧挡不住。开局提前出狱,秦天现绝美老婆竟还有九张婚书。他得伏羲传承,开天眼透视,横扫下山高手杀手之王级战神亿万神豪气运之子这一众强者的九个美艳姐姐,都哭着求着要给他做女仆!各位书友要是觉得左妻右妾新书还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦!...
作品简介穿越平行世界,灵武复苏,叶萧成了武道图书馆的一名管理员,觉醒金书神魂。看到功法即可收录神魂,自行修炼,炼至大圆满,还可合成更高品质功法。七门基础刀法合成至尊级功法天地霸刀九门基础剑法合成灭世级功法斩天一剑十门基础拳法合成神级功法大寂灭拳本着不无敌不出山的原则,叶萧低调修炼,稳定育。数年后,星兽降临,人族浩劫至,亿万黎民跪地祈求神明降临。一道剑芒冲天而起,他从光芒中走来。我可称神否?...
意外穿越,棠宁发现自己不但成了一个胖子,还莫名其妙睡了一个男人。起初,男人一脸厌恶把孩子生下来,条件随便你开。后来,棠宁一脸嫌弃的推开黏糊糊的某男不是说看到我就想吐吗?滚远一点!某人再次粘上谁说的,我现在觉得女人还是胖点好,不但可以暖被窝,手感也好。滚,莫挨老娘!退婚前夜,她的验孕棒红了两道杠...
大神今天又掉马了么!!...
现代人刘光远,嗝屁后魂穿平行时空,被一个有着连通后世购物平台的助人为乐系统绑定,并替代了影视剧,情满四合院剧情中被父亲殴打身亡的刘光天,至此开始了他的一路逆袭之路。本书比较贴切原时代生活,而且是正三观作品,不喜勿喷。故事实属虚构,如有雷同,纯属巧合。...
当秦衍撕了系统,开启自主任务,就放飞了自我,不拘一格手撕白莲绿茶,脚踹渣男,嘴毒四方。蠢萌神兽主人,不好,敌军有系统。秦衍淡定如山不虚,我有你这个吃软饭的小北鼻。蠢萌神兽主人,他的金手指好腻害,我怕...