代數數

各種各樣的
基本

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

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

延伸

雙複數
四元數
共四元數
八元數
超數
上超實數

超複數
十六元數
複四元數
大實數
超實數
超現實數

其他

對偶數
雙曲複數
序數
質數
同餘
可計算數
艾禮富數

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

圓周率  = 3.141592653…
自然對數的底  = 2.718281828…
虛數單位  = 
無窮大

代數數代數數論中的重要概念,指任何係數多項式的複根。這即是說若是一個代數數,那麼必然存在整數,使得是以下方程的根:

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

不是代數數的實數稱為超越數,例如圓周率

定義

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

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

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

例子

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

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

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

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

性質

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

 

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

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

 

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

 

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

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

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

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

代數數體

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

由根式定義的數

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

代數整數

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

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

參考文獻

  • Artin, Michael, Algebra, Prentice Hall, 1991, ISBN 0-13-004763-5, MR1129886 
  • Ireland, Kenneth; Vosen, Michael, A Classical Introduction to Modern Number Theory, Graduate Texts in Mathematics 84 Second, Berlin, New York: Springer-Verlag, 1990, ISBN 0-387-97329-X, MR1070716 
  • G. H. Hardy and E. M. Wright 1978, 2000 (with general index) An Introduction to the Theory of Numbers: 5th Edition, Clarendon Press, Oxford UK, ISBN 0-19-853171-0
  • Lang, Serge, Algebra, Graduate Texts in Mathematics 211 4th, Springer-Verlag, 2004, ISBN 0-387-95385-X 
  • Orestein Ore 1948, 1988, Number Theory and Its History, Dover Publications, Inc. New York, ISBN 0-486-65620-9 (pbk.)