艾禮富數

维基百科,自由的百科全书
跳转至: 导航搜索
各种各样的
基本

\mathbb{N}\subseteq\mathbb{Z}\subseteq\mathbb{Q}\subseteq\mathbb{R}\subseteq\mathbb{C}

正數 \begin{smallmatrix} \mathbb{R}^+ \end{smallmatrix}
自然数 \begin{smallmatrix} \mathbb{N} \end{smallmatrix}
正整數 \begin{smallmatrix} \mathbb{Z}^+ \end{smallmatrix}
小数
有限小数
无限小数
循环小数
有理数 \begin{smallmatrix} \mathbb{Q} \end{smallmatrix}
代數數 \begin{smallmatrix} \mathbb{A} \end{smallmatrix}
实数 \begin{smallmatrix} \mathbb{R} \end{smallmatrix}
複數 \begin{smallmatrix} \mathbb{C} \end{smallmatrix}
高斯整數 \begin{smallmatrix} \mathbb{Z}[i] \end{smallmatrix}

负数 \begin{smallmatrix} \mathbb{R}^- \end{smallmatrix}
整数 \begin{smallmatrix} \mathbb{Z} \end{smallmatrix}
负整數 \begin{smallmatrix} \mathbb{Z}^- \end{smallmatrix}
分數
單位分數
二进分数
規矩數
無理數
超越數
虚数
二次无理数
艾森斯坦整数 \begin{smallmatrix} \mathbb{Z}[\omega] \end{smallmatrix}

延伸

雙複數
四元數 \begin{smallmatrix} \mathbb{H} \end{smallmatrix}
共四元數
八元數 \begin{smallmatrix} \mathbb{O} \end{smallmatrix}
超數
上超實數

超复数
十六元數 \begin{smallmatrix} \mathbb{S} \end{smallmatrix}
複四元數
大實數
超實數 \begin{smallmatrix} {}^\star\mathbb{R} \end{smallmatrix}
超現實數

其他

对偶数
雙曲複數
序数
質數
同餘
可計算數
阿列夫数

公稱值
超限数
基數
P進數
規矩數
整數數列
數學常數

圓周率 \begin{smallmatrix} \pi \end{smallmatrix}
 = 3.141592653…
自然對數的底 \begin{smallmatrix} e \end{smallmatrix}
 = 2.718281828…
虛數單位 \begin{smallmatrix} i \end{smallmatrix}
 = \begin{smallmatrix} +\sqrt{-1} \end{smallmatrix}
無窮大 \begin{smallmatrix} \infty \end{smallmatrix}

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

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

這一概念來自於格奧爾格·康托,他定義了,並认识到無限集合是可以有不同的勢的。

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

構造性定義[编辑]

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

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

數“阿列夫”[编辑]

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

另見[编辑]

註釋[编辑]

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

參考文獻[编辑]

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

外部連結[编辑]