不是有理數的那些代數數的勢是阿列夫0嗎?
(只是偶爾看過實變函式和離散數學有關集合基數的部分,試著答一下思路,可能有錯誤)
思路:
記所有代數陣列成的集合為
,容易證得
[1]
。
因為
,所以
。
設所有質陣列成的集合為
,容易證得
[2]
。
構造集合
,顯然有
[3]
(因質數的平方根都為無理數,且它們都是形如
的整係數方程的根,顯然是代數數)以及
,故
。
所以
。
/2020。03。06
注:
(1)我們還可以構造類似
的集合來說明(因為根據Eisenstein判別法
[4]
,
在有理數域不可約。 當然換為任意質數來構造都可以。 這些數都不是有理數,但它們是代數數。)。 這裡感謝 @靜開靜落你不知 的意見。
(2)事實上我們證明的是稍強的結論:
。
原來較弱的結論還可以透過構造集合
(
是虛數單位)來證明。
因為代數數以來的方程個數是阿列夫0。
1、有理數可列
2、有理數方程可列
故有3、代數數可列
由1、3,故有代數數\有理數,可列
這樣?我是純民科,這是純粹的希爾伯特房間思維,不知道對不對
看了一下樓下的回答才正確,還要證明代數數\有理數 不是有限個…………
對既約的整係數
次多項式
命
於是對每一個
都有唯一的
與之對應,而對每一個
也至多有有限個
與之對應。此時,注意到每個
都含有有限個根,依定義,這些根都是代數數,這樣一來,每一個
也間接地對應著有限個代數數。
現在,我們讓
依次遍取
,將每個
對應的有限個代數數在
劃去其中的有理數
後依次做成一個排列,把這些排列首尾連在一起就得到了一個窮盡所有無理代數數的總排列,這樣就給出了無理代數數可列的一個操作性證明。
是
為此,我們把這個問題擴大化。
事實上任何可被表示出的實數所組成的集合的勢都是
!
我們斷言任何 有窮或可數的符號集合中的元素 所構成 的有窮長的字串 的 集合都是可數的。
也就是對一個集合
,若
,那麼
的有窮子集族
是可數的(很顯然
)。下面證這個引理。
由於有窮字串都可以看作有窮序列,所以我們亦可斷言
(其中
代表
的
次卡氏冪)。
為了證明這點,我們需要題主知道兩個定理:
Cantor-Schröder-Bernstein定理:
對任意集合
,若
且
則
。
這個不需要選擇公理也能在
內證明,見回答 哪些數學定理在直覺上是對的,但證明起來很困難? - 張樂陶的回答 - 知乎。
證明我懶得寫了,直接貼圖
劉壯虎《素樸集合論》第114頁 例4。1。4
引理
可數個可數集合的並仍然可數,這不需要選擇公理也能證明。
形式化為:對任意集合族
,若
且
,那麼
。
證明:
證明很容易理解,關鍵用到了
,我將用不那麼嚴謹的通俗語言說明。
由於
可數,我們可以給它的每個元素分配一個獨一無二的標識
(其中
),因此
內所有元素都是某個
。由於任意
可數,我們可以給
的每個元素分配一個獨一無二的標識
(其中
),因此
內所有元素都是某個
。我們對任意
中的元素
賦予一個唯一標識
,這樣
中的任意元素都是某個甚至多個
了。其實這可以看作一個無窮階的矩陣。
由於
所有元素都有至少一個
與之對應,而不同元素的標識也必然不同,我們便也能構造單射
了,如下:
,其中
分別是使得
成立的最小
和
。
[1]
又由於很明視訊記憶體在一個單射
,故有
,使用Cantor-Schröder-Bernstein定理從而得出結論
。
PS:上面這個引理可以不用選擇公理就推廣到任意無窮基數,來證明任意後繼基數都是正則基數。
由於對於任意
都有
(利用
),所以
作為可數個可數集合的並也仍然可數,故
必然可數。
現在讓我們迴歸題主的問題。
由於所有代數數都可以寫成
的第
個實根(根分別從小到大排列)。
我們可以從中得到以下幾個要素:
其中涉及的引數數量是有限長的,所以
是自然數;
根是有限多的,所以
是自然數;
總是自然數。
因此我們可以採用一個更簡單的寫法表示一切代數數,即一個有窮序列:
。我們便可以找到代數數集
到這個序列集的單射
。
其中
為所有 滿足
的第
個根為
的 有窮序列中,長度最短的、字典序最小的序列。這麼做是為選定序列,滿足條件的序列固然存在,但由於不唯一,我們得費點力氣來確定選擇規則。
(所謂兩個等長度序列
與
的字典序 ,即先比較
與
孰大孰小,若
大則
所在的序列的字典序大;若
則比較
與
,規則與
的比較從而判定字典序 相同;以此類推,從左往右逐步比較,像字典排序那樣。)
利用前面的引理,我們便知
。而又因為
,我們便有
使用Cantor-Schröder-Bernstein定理便有
。
事實上,利用前面的引理,我們甚至可以斷言對任意可數個符號組成的有窮長序列的總數皆可數。
所以,不止是代數數,甚至一切可以透過
加、減、乘、除、指數、開方、對數、三角函式等初等運算,甚至是Gamma函式、Dirichlet函式、Weierstrass函式、Lambert W函式等非初等函式,甚至是各種能在宇宙裡完整寫出來的積分、微分、極限式
的任意有限次組合而形成的所有陣列成的集合都的勢都是
。
因為你只需要找到一個辦法能夠構造這些數到一堆 可數個字元組成的有窮序列的集合 的單射即可。
那麼為什麼實數集的勢大於
呢?因為實數集實際上可以看作所有由0,1組成的長度為
的序列的集合(利用構造Cantor集),而不是有限長。事實上,有大量的實數是我們無法表示的——就算寫滿整個宇宙的式子也無法表示出某個實數,這類數也叫不可計算數,甚至是不可定義數——是的,這種數的確在實數集合裡存在,只不過人類永遠也無法找到它而已……