本頁使用了標題或全文手工轉換

阿列夫數

維基百科,自由的百科全書
跳至導覽 跳至搜尋
各式各樣的
基本

NumberSetinC.svg

正數
自然數
正整數
小數
有限小數
無限小數
循環小數
有理數
代數數
實數
複數
高斯整數

負數
整數
負整數
分數
單位分數
二進分數
規矩數
無理數
超越數
虛數
二次無理數
艾森斯坦整數

延伸

二元數
四元數
八元數
十六元數
超實數
大實數
上超實數

雙曲複數
雙複數
複四元數
共四元數英語Dual quaternion
超複數
超數
超現實數

其他

質數
可計算數
基數
阿列夫數
同餘
整數數列
公稱值

規矩數
可定義數
序數
超限數
p進數
數學常數

圓周率
自然對數的底
虛數單位
無窮大

集合論中,阿列夫數艾禮富數是一連串超窮基數。其標記符號為 ℵ (由希伯來字母א‎(aleph)演變而來)加角標表示。

可數集(包括自然數)的勢標記為,下一個較大的,再下一個是,以此類推。一直繼續下來,便可以對任一序數 α 定義一個基數

這一概念來自於康托爾,他定義了勢,並認識到無窮集合是可以有不同的勢的。

阿列夫數與一般在代數與微積分中出現的無限 () 不同。阿列夫數用來衡量集合的大小,而無限只是在極限的寫法中出現,或是定義成擴展的實數軸上的端點。某些阿列夫數會大於另一些阿列夫數,而無限只是無限而已。

構造性定義[編輯]

阿列夫數的直觀定義並沒有解釋什麽叫「下一個較大的勢」,也沒有證明是否存在「下一個較大的勢」。即便承認對任意的基數都存在更大的基數,是否存在「下一個較大的勢」使得這個基數和「下一個較大的基數」之間不再有其他的基數仍然是個問題。下面的構造型定義解決這個問題:[1]:28

  • 0定義從前,它是一個良序集的序數;
  • 考慮良序集[1]:25按照某種同構關係[注 1]劃出的等價類[1]:18[注 2]
    • 如上定義的等價類有一個特點:可比較[1]:25
  • 設ℵa已定義且是一良序集的基數,考慮:
    1. 由於ℵa是某良序集的基數,這個良序集必存在於某個等價類中;一定還有其他基數爲ℵa的良序集,這些良序集必將也存在於某個等價類中(可能與上面的同屬同一個等價類,但不一定)。所有這些等價類[注 3]將做成一集,記爲Z(ℵa)。
    2. Z(ℵa)也是良序集。[1]:27
    3. 定義ℵa+1:= card(Z(ℵa)),它是一個良序集的基數。

阿列夫1[編輯]

是所有可數序數集合的,稱為 ω1或有時為Ω。這個ω1本身是一個比所有可數序數更大的序數,因此它為一個不可數集


數「阿列夫」[編輯]

在中國大陸,實數集的基數常被記爲c ℵ,卽 ℵ := ℶ₁,這樣連續統假設就常常被表述爲 ℵ = ℵ₁.閲讀相關讀物時應避免混淆。人們在學數學分析微積分)時常常以爲自己時常遇到的是阿列夫數,事實上他們遇到的是 「」或「c」,卽角標爲1的 ℶ 。除非討論集合論,否則阿列夫數將是最不常用的基數之一。

另見[編輯]

註釋[編輯]

  1. ^ 卽……
  2. ^ 如果把這樣定義的等價類看成該集合莫須有的「末元素」的話,就把它叫做序數
  3. ^ 基於前面所說的此類等價類的一些性質,這些等價類(或序數)……

參考文獻[編輯]

  1. ^ 1.0 1.1 1.2 1.3 1.4 陳建功. 實函數論. 北京: 科學出版社. 1958.9. CSBN 13031·41. 

外部連結[編輯]