书看迷

第727章 宇宙（第3页）

很好，这样就把第三天的规则弄明白了。

『令负数之集为原数另集之负数所成，令减去一数等于加其负数。』

『康威证得，减法为加法之逆。夜去昼来，是为第四日。』

“加法之后是减法，减去一数就是加上负数，这个简单。”

阿基里斯看着海滩上的数轴，上面的数字在她的指尖下一个个诞生。

它们按照被创造出来的时间和大小有序排列，看起来就和普通的实数轴没什么太大区别。

“1-1，1=（{0}丨空集），-1=（空集丨{0}）。”

“两者相加，得到的新数是……咦？”

阿基里斯突然眨了眨眼睛，粉色的瞳孔中闪过一丝惊奇的色彩。

她一直以为这种新的规则只是在实数的基础上增加了无限大数和无穷小数。

但她这时却发现，只是涉及到减法的时候，好像就有一些与常识中不太一样的地方出现了。

在普通的标准分析中，1-1=0是毫无疑问的正确结论，一个数减去其自身当然就是等于0。

按照这种新的定义规则，1-1得到的数（{-1}丨{1}）。

但0却被定义为（空集丨空集）。

在这种全新的定义规则下，一个数减去自身的结果不是严格等于0。

一手撑着下巴仔仔细细地重新回顾了一遍石碑上的雕文，阿基里斯若有所思地道：

“原来如此，这上面写的不是不是小于等于，而是小于或相似于。”

“在标准分析的数学中，x≤y且y≤x，就能推出x=y，两个数是严格的相等。”

“但在这种新的规则下，这个前提却并不能得到同样的结论。”

“这样的话，除了0以外，一个数减去自身并不等于0，不能用＝符号，只能用这个『≡』相似于的符号。”

她发现自己似乎想的有些太简单了，以为这种新的定义规则只是为了应对无限大数。

虽然引入这一规则主要目的就是为了能定义那些涉及到实无限的数，但全新的基本规则显然也会改变原来常识中的有限数。

比如这个在实数范围内并没有的所谓相似于“≡”的性质。

阿基里斯一直想着用这种新的规则去创造熟悉的数，整数、分数等等。

她却忘了这种规则下的数与自己过往常识中认知的数根本不是一回事。

回头重新看去，许多被她下意识忽略掉的新数也都不一样了。

比如（{-1}丨空集）和（空集丨{1}）这两个数，它们同样出现在第三日，在1和-1被创造出来之后诞生。

根据石头上的规则，这两个数均满足x≤0且0≤x，但定义它们的数集却与0不一样。

类似的，还有（{-12}丨空集），（{-2}丨空集）等等数也都能满足这个条件。

更准确的说法应该是相似于，用符号≡表示。

0只有唯一的一个，但相似于0的数却有无限多个。

不过目前看起来这种差别也并不太大。

至于（{0}丨{0}），它不满足康威的第一条规则“左集中没有一个元素大于或等于右集中的元素”，所以它不是一个数。

目光聚焦在第一条规则上，阿基里斯突发奇想地道：

“如果不遵循第一条定义数的规则，比如创造一个（{1}，{0}），这东西又会有些什么样的性质？”