这肯定不是一个数,它左集中的元素比右集中的元素还要大,在数轴上根本不可能找到它。
但它又可以与其他的数比大小。
根据第二条规则,甲数小于或等于乙数,当且仅当甲数之左集中无一大于或等于乙数,且乙数之右集中无一小于或等于甲数。
将({1},{0})与其他的数比较,比如2=({1}丨空集)。
甲数的左集最大元素是1,小于乙数2,乙数2的右集是空集,不小于或等于甲数。
于是就能得到({1},{0})<2的结论。
明明是在数轴上完全找不到的数,却能与普通的数比较大小。
这种数未必就完全没有意义了。
它和常规的数的关系可能就像是负数和正数、无理数和有理数、虚数和实数的关系一样。
负数看起来没有什么对应之物,无理数这种不成比例的量完全只是想象,虚数更是完全不符合常识。
但这些纯粹存在于想象中的概念,说不定就能在哪个地方用上。
仔仔细细看了一遍石头上的规则,阿基里斯转头看向不远处的烧烤架问道:
“根据石头上的这些规则,我似乎无法创造出13这样的分数?”
既然这种全新的公理规则是实数域的扩张,那应该包含了所有的实数才对。
第一天是0,第二天是±1,第三天是±12,±2,第四天是14,34,32,3以及各自的负数。
到了第n天,总共创造出了2^n-1个数。
用这种规则创造分数的方式就好像是芝诺的二分法一样,用新出现的数作为刀刃去切割数轴,得到更多的数。
“只是二进制和十进制的区别罢了。”
李恒将烤架上仅剩下了一条触手的小生物扔给了蹲在石头前面的阿基里斯。
“康威创造数的方式就像芝诺的二分法,使用的其实是二进制,当然只会出现12、14、18这样的分数。”
“但这种区别仅在有限的世界有用。”
“你现在创造的二进制数,都只是数位有限的二进制数。”
“想一想13的二进制表示,再想一想0。99……,你觉得这些尚未出现的分数会在哪一天出现?”
13的二进制表示?
阿基里斯一手接过那条香喷喷的触须,张嘴咬了一口,另一只手的指尖在脚下的沙滩上划过。
13=0。010101……,这是一个无限循环小数。
“无穷?实无穷?”
是了,第n天创造出了第2^n-1个数字,那么如果n取N0,最终就创造出了2^N0个数。
这些尚未出现的十进制分数会在那一日与实数中的那些不可定义数一同诞生。
也是在这一刻,阿基里斯发现石头上显现出了新的雕文。
『万数创生,无穷日逝,而宇宙现形。夜去昼来,是为第N日。』
在第N日,康威创造出了全体实数,一个不可数无限的庞大数字宇宙。