數的集合是按需要定義出來的,並不是因為他本來就存在。話題回到2000年前,那時候的人意識中可能認為自然數就是所有存在的數。
假設我現在定義兩個數x和y,是如下二元一次方程組的解:
我們知道,線性方程組有唯一解的必要條件係數矩陣A和增廣矩陣B的秩相等,
即是rank(A)=rank(B)。
當rank(A)=rank(B)<n的時候,方程組無數解。
然而上面的方程組rank(A)=1,rank(B)=2,rank(A)<rank(B),此時方程組無(有理數或無理數)解。
現在,我有某種需要,我要認為這個方程有唯一解,並且用一種奇怪的符號表示,例如x=~752.541, y=~342.253。至於這個符號是什麼意思,我也不知道,反正在這裡它們是這個方程的唯一解,並且你給我任何一個稀疏矩陣秩小於增廣矩陣秩的方程組,我都能找到它的唯一解(瞎編的)。
於是就出現了這麼一類數,不等同於我們已知範疇之類的任何一類數,但是透過某種奇怪的對映方法,他們能滿足一種基於當前意識數的集合裡面不可能滿足的方程,我要把這一類數,稱之為b數。
假如未來的某一天,人類都胖的跟個球一樣,動都懶得動,提筆寫那麼長一串數字想想都費勁,運演算法則自然也要更改,於是人們規定:
3+4=1,因為3天+4天等於一星期,
5+7=1,因為12個月是一年,
1+1=1,因為1個男人+1個女人=1鍋粥。
人們習慣了這種演算法並且大家都懂,這時候一個2019年的智人因為在b乎老是反對別人被暴揍,穿越過去,看到這種奇怪的演算法不能忍,說,你們這些笨蛋,十以內的加法都不會算,結果被未來的胖球人一頓胖揍,邊揍邊說:
數的集合是按需要定義出來的,並不是因為他本來就存在。話題回到2000年前,那時候的人意識中可能認為自然數就是所有存在的數。
假設我現在定義兩個數x和y,是如下二元一次方程組的解:
我們知道,線性方程組有唯一解的必要條件係數矩陣A和增廣矩陣B的秩相等,
即是rank(A)=rank(B)。
當rank(A)=rank(B)<n的時候,方程組無數解。
然而上面的方程組rank(A)=1,rank(B)=2,rank(A)<rank(B),此時方程組無(有理數或無理數)解。
現在,我有某種需要,我要認為這個方程有唯一解,並且用一種奇怪的符號表示,例如x=~752.541, y=~342.253。至於這個符號是什麼意思,我也不知道,反正在這裡它們是這個方程的唯一解,並且你給我任何一個稀疏矩陣秩小於增廣矩陣秩的方程組,我都能找到它的唯一解(瞎編的)。
於是就出現了這麼一類數,不等同於我們已知範疇之類的任何一類數,但是透過某種奇怪的對映方法,他們能滿足一種基於當前意識數的集合裡面不可能滿足的方程,我要把這一類數,稱之為b數。
假如未來的某一天,人類都胖的跟個球一樣,動都懶得動,提筆寫那麼長一串數字想想都費勁,運演算法則自然也要更改,於是人們規定:
3+4=1,因為3天+4天等於一星期,
5+7=1,因為12個月是一年,
1+1=1,因為1個男人+1個女人=1鍋粥。
人們習慣了這種演算法並且大家都懂,這時候一個2019年的智人因為在b乎老是反對別人被暴揍,穿越過去,看到這種奇怪的演算法不能忍,說,你們這些笨蛋,十以內的加法都不會算,結果被未來的胖球人一頓胖揍,邊揍邊說: