代數數 - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for 代數數.

代數數

維基百科,自由的百科全書

此條目已列出參考文獻,但因為沒有文內引註而使來源仍然不明。 (2015年5月9日)請透過加入合適的行內引用來改善這篇條目。
各式各樣的
基本

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

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

延伸

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

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

其他

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

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

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

代數數代數數論中的重要概念,指任何系數多項式複根

所有代數數的集合構成一個,稱為代數數體(與定義為有理數體的有限擴張代數數體同名,但不是同一個概念),記作,是複數體子體

不是代數數的實數稱為超越數,例如圓周率幾乎所有實數複數都是超越數,這是因為代數數的集合是可數集,而實數和複數的集合是不可數集之故。代數數的集合是可數的,是因為整系數多項式的集合是可數的,代數數的集合是為所有的整系數多項式的解集合的併集,且可數無限多的可數集的併集是可數的之故。

定義

代數數可以定義為「有理係數多項式的複根」或「整係數多項式的複根」。第一個定義可以具體描述為:

複數。如果存在正整數,以及個有理數,並且,使得:
則稱是一個代數數。

這個定義中,由於可以推出,其中整數分別等於個有理數分母最小公倍數。所以「存在有理係數多項式使得是其複根」可以推出「存在整係數多項式使得是其複根」。另一方面,由於整數集合是有理數集合的子集,所以「存在整係數多項式使得是其複根」也可以推出「存在有理係數多項式使得是其複根」。這說明兩個定義是等價的。

例子

任何有理數都是多項式的根,因此每個有理數都是代數數。所有形同的無理數也是代數數,因為它是多項式的根。例如是代數數,因為它們分別是方程式的根。

黃金比率是代數數,因為它是的根。二次無理數,也就是二次方程式的根,是代數數。虛數單位也是代數數,因為是的根。n次單位根,顧名思義,是的根,因此是代數數。高斯整數也是代數數,例如高斯整數是多項式的根。

所有規矩數(即可以從單位長度的線段出發,通過尺規作圖法做出的線段的長度數值)都是代數數。因為建立直角坐標系後可以證明,標準的尺規作圖步驟的每一步都相當於計算一個次數不超過2的多項式方程式,因此能夠通過有限步做出的線段長度必然是有限個有理係數多項式疊代後得到的多項式的根,從而是代數數。

自然對數的底圓周率都不是代數數。

性質

代數數不一定是實數,實數也不一定是代數數。代數數的集合是可數的。證明的方法是將所有整係數的多項式歸類。首先定義為所有次整係數多項式的集合。其次定義為係數絕對值的和等於次整係數多項式的集合:

中多項式的任何係數至多有個可能性,最高次項係數至多有個可能性,因此這樣的多項式個數不超過。每個多項式至多有個根。如果將所有中多項式的根的集合記為,則的元素個數不超過,即為有限集。

整係數多項式的集合可以寫為常數多項式和的併集:

而常數多項式沒有根。所以,任一代數數必然是某個中的多項式的根,即屬於。反之任何中的元素按定義必然是代數數。因此代數數的集合也可以寫為所有的併集:

是可數集。集合是可數個有限集的併集,因此是可數的。

由於代數數的集合是可數集,因此在複數平面上,代數數集合的勒貝格測度為零。在此意義上,可以說「幾乎所有」的複數都不是代數數。

給定一個代數數z,在所有以為根的有理係數多項式中,存在唯一的一個首一多項式,其次數小於等於任何其他以為根的多項式。這個多項式稱為極小多項式。如果極小多項式的次數為,則稱該代數數為次代數數。一次的代數數就是有理數

所有的代數數都是可計算數,因此是可定義數

代數數體

兩個代數數的和、差、積與商(約定除數不為零)也是代數數。可以驗證,裝備了有理數的加法、乘法運算的代數數集合構成一個,有時也記為。每一個係數為代數數的多項式方程式的根也是代數數。因此,代數數體是代數封閉體。實際上,它是含有有理數體的最小的代數封閉體,稱為有理數體的代數閉包

由根式定義的數

任何可以從整數或有理數通過有限次四則運算和正整數次開方運算得到的數都是代數數。反之則不成立:有些代數數不能用這種方法得出。所有這些代數數都是次數不小於5的多項式的根。這是伽羅瓦理論的一個結果(參見五次方程式阿貝爾-魯菲尼定理)。一個例子是的唯一的實根(大約為)。

代數整數

代數整數是任何整係數首一多項式的根。顯然代數整數是代數數的一部分,但代數數不全是代數整數。所有整數都是代數整數,其餘的有理數則不是代數整數。代數整數的集合記作,是代數數的子集。在某些上下文中,為了與代數整數區別,整數也被稱作有理整數。

兩個代數整數的和、差與積也是代數整數,這就是說,裝備了整數的加法、乘法運算的代數整數集合構成了一個環,因此代數中也被稱為代數整數環。

參考文獻

{{bottomLinkPreText}} {{bottomLinkText}}
代數數
Listen to this article