手机浏览器扫描二维码访问
第?日,全体实数在这一天同时诞生,构成了一个体量为不可数无限的宇宙。
标准分析中用于定义实数的方法是戴德金分割,用两个有限的有理数之间的空隙去定义实数。
按照康威创造的规则,定义13的两个数集分别是左集{o.o1,o.o1o1,…},右集取{o.1,o.11,…}。
其中o.o1是分数14,o.1则是分数12。
左右两个数集中的每一个数都是二进制下的分数,就像是切割那根万世不竭的木棍一样,不断地将数轴分割成两半。
随着无止尽的切割,两个集合中的数越来越多,数轴剩余的长度则越来越短。
最终在无穷次步骤过后,左集和右集中都包含了无限个数,创造出了13。
类似的,根号2和π等无理数也可以用这种方式定义。
这种处理方式与康托尔处理实数的方式如出一辙。
在研究实数集合时,为了保证每一个数都有唯一的写法,康托尔将1、o.5这类数字都表示成了o.999…、o.4999…等等与无理数一致的形式。
“好熟悉的感觉。”
阿基里斯低头看了看挂在自己胸前的粉白色螺旋钥匙。
康威创造实数宇宙的过程就像是一台芝诺机。
第一天花费了1秒,创造了2个数字。
第二天花费了12秒,创造了4个数字。
第3天花费了14秒,创造了8个数字。
但普通的芝诺机只能处理一个无穷序列。
康威创造的实数宇宙是芝诺机的升级版,应该称它是二星芝诺机。
到这里为止,这种用两个数集定义一个数的规则并不会比普通的规则多出什么新的有趣之处,反而显得多此一举,极为麻烦。
“?日,实数诞生,宇宙现形。”
“但康威却并没有就此停下。”
阿基里斯注视着石头上显现出来的规则,在这条规则的下方还有未尽之语。
『后出一无穷数,不及玄极。逝日无穷,由是无穷亦高下有序也。』
所谓玄极,指的就是无穷。
不及玄极,也就是比无穷大更小,但却仍旧是无穷的数。
在普通集合论公理规则定义的基数和序数中,并不存在这样的数。
“实数,用这种新的规则可以定义原本只能用基数和序数衡量的无限大数?”
在标准的数学体系中,差别最大的就是有限与无限。
自然数、有理数、实数,虽然它们本身的元素数量都是无限的,甚至还分为可数无限和不可数无限两种类型。
但这两种无限都只能使用集合论的方式来描述,用基数和序数衡量,与人类日常使用的数之间没有关系。
无论是基数运算中的?o+?o=?o、?ox?o=?o,还是序数运算中的1+=<+1、2=
两者的运算方式对于普通的有限数而言都显得很奇怪。
无限就像是一个幽灵,无论是无穷大还是无穷小,都游离在人类常识的世界之外。
“在遇到无限的时候,用一对互斥的数集定义一个数的方式就显得有意思起来了。”
李恒来到了这块记录着公理规则的漆黑大石头前。
“13这个数是由两个数集定义的,并且它们都是包含了可数无限个元素的无穷集合。”
“既然可以用两个包含了无限个元素的无穷集合定义一个实数,那当然也可以把其他的无穷集合取作左集和右集。”
“比如说,在左集中放入全体自然数,创造一个比所有的自然数都更大的数。”
有了这种用两个集合定义一个数的基本规则,无限大数就是一个显而易见的结果。
在第?日,康威不仅创造出了全体实数,同时还创造出了不在实数域中的实数。
无限大数={1,2,3…}丨?
左集是全体自然数的集合,右集是虚无的空集。
以及与无限大同时诞生的负无限大。
-=?丨{-1,-2,-3…}
这里的不同于用同样的符号表示的穷序数,而是一个可以进行普通加减运算的具体的数,就像是1、2等等自然数一样。
全新的数轴向着左右两侧无限延伸。
简介汉阳一流家族李家嫡子李天行,惨遭灭门,被恶人谷谷主救下,十年山上苦修,习得一身逆天本领。在七大恶人的教导下,李天行特例独行,用自己的方式下山报仇,以恶制恶,一切只为打造一个没有欺凌丑恶的世界敌人来暗杀,你们太菜了,怎么不多来点人绝世老毒物下毒这是什么毒?太弱了,我喜欢鹤顶红。权贵欺压给老子跪下叫爸爸高手下山,我无敌了!...
作品简介丈夫的出墙,让她摆脱了黄脸婆的生活。外婆的临终遗嘱,让她能够有尊严的生活。一次旅行的奇遇,让她走上了修仙的道路。这是一个娇娇女的修仙之路。...
作品简介...
刚刚买了人生第一套房的唐宁心情大好,看了一本小说,醒来莫名其妙穿越了,成了书里十八线外的配角,差点把她呕死开局就是天灾人祸,兵荒马乱,还有一贫如洗的家境,简直要命了,且看唐宁如何带着全家顽强求生,过上安稳富足的生活。ps男主看着普通却一点都不普通。本文逃huang基建细水长流爱情带着系统创家园...
简介关于丫头本王就是要宠你一辈子双洁甜宠(不穿越,不重生)朱七七明明是女孩子,可却被大巫奶奶当做男孩子养。她明明十三岁,可却只有七岁的身高!她的血可以解奇毒,可以听懂兽语。宸王寒毒作,把她当做男孩搂在怀里,宠爱至极,可现她不是七岁时暴跳如雷,并送进了牢房!他命悬一线,她递上一张契约文书签了它,我可以救你!本想分宸王半数家财,让自己部落的人过上好日子,可得知这个男人比自己还穷,欠条都用箱子装时,七七怒了!...