代數數- 維基百科，自由的百科全書

定義 代數數 維基百科，自由的百科全書 跳至導覽 跳至搜尋 此條目已列出參考文獻，但因為沒有文內引註而使來源仍然不明。

(2015年5月9日)請加上合適的文內引註來改善這篇條目。

各式各樣的數 基本 N ⊆ Z ⊆ Q ⊆ R ⊆ C {\displaystyle\mathbb{N}\subseteq\mathbb{Z}\subseteq\mathbb{Q}\subseteq\mathbb{R}\subseteq\mathbb{C}} 正數 R + {\displaystyle\mathbb{R}^{+}} 自然數 N {\displaystyle\mathbb{N}} 正整數 Z + {\displaystyle\mathbb{Z}^{+}} 小數 有限小數 無限小數 循環小數 有理數 Q {\displaystyle\mathbb{Q}} 代數數 A {\displaystyle\mathbb{A}} 實數 R {\displaystyle\mathbb{R}} 複數 C {\displaystyle\mathbb{C}} 高斯整數 Z [ i ] {\displaystyle\mathbb{Z}[i]} 負數 R − {\displaystyle\mathbb{R}^{-}} 整數 Z {\displaystyle\mathbb{Z}} 負整數 Z − {\displaystyle\mathbb{Z}^{-}} 分數 單位分數 二進分數 規矩數 無理數 超越數 虛數 I {\displaystyle\mathbb{I}} 二次無理數 艾森斯坦整數 Z [ ω ] {\displaystyle\mathbb{Z}[\omega]} 延伸 二元數 四元數 H {\displaystyle\mathbb{H}} 八元數 O {\displaystyle\mathbb{O}} 十六元數 S {\displaystyle\mathbb{S}} 超實數 ∗ R {\displaystyle^{*}\mathbb{R}} 大實數 上超實數 雙曲複數 雙複數 複四元數 共四元數（英語：Dualquaternion） 超複數 超數 超現實數 其他 質數 P {\displaystyle\mathbb{P}} 可計算數 基數 阿列夫數 同餘 整數數列 公稱值 規矩數 可定義數 序數 超限數 p進數 數學常數 圓周率 π = 3.14159265 {\displaystyle\pi=3.14159265} … 自然對數的底 e = 2.718281828 {\displaystylee=2.718281828} … 虛數單位 i = − 1 {\displaystylei={\sqrt{-{1}}}} 無窮大 ∞ {\displaystyle\infty} 閱論編 代數數是代數與數論中的重要概念，指任何整係數多項式的複根。

所有代數數的集合構成一個體，稱為代數數體（與定義為有理數體的有限擴張的代數數體同名，但不是同一個概念），記作 A {\displaystyle{\mathcal{A}}} 或 Q ¯ {\displaystyle{\overline{\mathbb{Q}}}} ，是複數體 C {\displaystyle\mathbb{C}} 的子體。

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

幾乎所有的實數和複數都是超越數，這是因為代數數的集合是可數集，而實數和複數的集合是不可數集之故。

代數數的集合是可數的，是因為整係數多項式的集合是可數的，代數數的集合是為所有的整係數多項式的解集合的聯集，且可數無限多的可數集的聯集是可數的之故。

目次 1定義 2例子 3性質 4代數數域 5由根式定義的數 6代數整數 7參考文獻 定義[編輯] 代數數可以定義為「有理係數多項式的複根」或「整係數多項式的複根」。

第一個定義可以具體描述為： 設 z {\displaystylez} 為複數。

如果存在正整數 n {\displaystylen} ，以及 n + 1 {\displaystylen+1} 個有理數 q 0 , q 1 , ⋯ , q n {\displaystyleq_{0},q_{1},\cdots,q_{n}} ，並且 q n ≠ 0 {\displaystyleq_{n}\neq0} ，使得： q n z n + ⋯ + q 1 z + q 0 = 0 {\displaystyleq_{n}z^{n}+\cdots+q_{1}z+q_{0}=0} 則稱 z {\displaystylez} 是一個代數數。

這個定義中，由於 q n z n ⋯ + q 1 z + q 0 = 0 {\displaystyleq_{n}z^{n}\cdots+q_{1}z+q_{0}=0} 可以推出 a n z n + ⋯ + a 1 z + a 0 = 0 {\displaystylea_{n}z^{n}+\cdots+a_{1}z+a_{0}=0} ，其中整數 a 0 , a 1 , ⋯ , a n {\displaystylea_{0},a_{1},\cdots,a_{n}} 分別等於 M q 0 , M q 1 , ⋯ , M q n {\displaystyleMq_{0},Mq_{1},\cdots,Mq_{n}} ， M {\displaystyleM} 是 n + 1 {\displaystylen+1} 個有理數 q 0 , q 1 , ⋯ , q n {\displaystyleq_{0},q_{1},\cdots,q_{n}} 分母的最小公倍數。

所以「存在有理係數多項式使得 z {\displaystylez} 是其複根」可以推出「存在整係數多項式使得 z {\displaystylez} 是其複根」。

另一方面，由於整數集合是有理數集合的子集，所以「存在整係數多項式使得 z {\displaystylez} 是其複根」也可以推出「存在有理係數多項式使得 z {\displaystylez} 是其複根」。

這說明兩個定義是等價的。

例子[編輯] 任何有理數 q {\displaystyleq} 都是多項式 X − q {\displaystyleX-q} 的根，因此每個有理數都是代數數。

所有形同 z = q 1 m {\displaystylez=q^{\frac{1}{m}}} 的無理數也是代數數，因為它是多項式 X m − q {\displaystyleX^{m}-q} 的根。

例如 2 {\displaystyle{\sqrt{2}}} 和 3 3 {\displaystyle{\sqrt[{3}]{3}}} 是代數數，因為它們分別是方程式 X 2 − 2 = 0 {\displaystyleX^{2}-2=0} 和 X 3 − 3 = 0 {\displaystyleX^{3}-3=0} 的根。

黃金比率 ϕ {\displaystyle\phi} 是代數數，因為它是 X 2 − X − 1 = 0 {\displaystyleX^{2}-X-1=0} 的根。

二次無理數，也就是二次方程式 a x 2 + b x + c = 0 {\displaystyleax^{2}+bx+c=0\,} 的根，是代數數。

虛數單位 i {\displaystylei} 也是代數數，因為是 X 2 + 1 = 0 {\displaystyleX^{2}+1=0} 的根。

n次單位根，顧名思義，是 X n − 1 = 0 {\displaystyleX^{n}-1=0} 的根，因此是代數數。

高斯整數也是代數數，例如高斯整數 a + b i {\displaystylea+bi} 是多項式 X 2 − 2 a X + a 2 + b 2 {\displaystyleX^{2}-2aX+a^{2}+b^{2}} 的根。

所有規矩數（即可以從單位長度的線段出發，通過尺規作圖法做出的線段的長度數值）都是代數數。

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

自然對數的底 e {\displaystylee} 和圓周率 π {\displaystyle\pi} 都不是代數數。

性質[編輯] 代數數不一定是實數，實數也不一定是代數數。

代數數的集合是可數的。

證明的方法是將所有整係數的多項式歸類。

首先定義 Z n [ X ] {\displaystyle\mathbb{Z}_{n}[X]} 為所有 n {\displaystylen} 次整係數多項式的集合。

其次定義 Z n k [ X ] {\displaystyle\mathbb{Z}_{n}^{k}[X]} 為係數絕對值的和等於 k {\displaystylek} 的 n {\displaystylen} 次整係數多項式的集合： Z n k [ X ] = { a 0 + a 1 X + ⋯ + a n X n ; a 0 , a 1 , ⋯ , a n ∈ Z , a n ≠ 0 , | a 0 | + | a 1 | + ⋯ + | a n | = k } {\displaystyle\mathbb{Z}_{n}^{k}[X]=\left\{a_{0}+a_{1}X+\cdots+a_{n}X^{n};\;\;a_{0},a_{1},\cdots,a_{n}\in\mathbb{Z},\;a_{n}\neq0,\;|a_{0}|+|a_{1}|+\cdots+|a_{n}|=k\right\}} Z n k [ X ] {\displaystyle\mathbb{Z}_{n}^{k}[X]} 中多項式的任何係數至多有 2 k + 1 {\displaystyle2k+1} 個可能性，最高次項係數至多有 2 k {\displaystyle2k} 個可能性，因此這樣的多項式個數不超過 2 k ( 2 k + 1 ) n {\displaystyle2k(2k+1)^{n}} 。

每個多項式至多有 n {\displaystylen} 個根。

如果將所有 Z n k [ X ] {\displaystyle\mathbb{Z}_{n}^{k}[X]} 中多項式的根的集合記為 A n k {\displaystyle{\mathcal{A}}_{n}^{k}} ，則 A n k {\displaystyle{\mathcal{A}}_{n}^{k}} 的元素個數不超過 2 n k ( 2 k + 1 ) n {\displaystyle2nk(2k+1)^{n}} ，即為有限集。

整係數多項式的集合 Z [ X ] {\displaystyle\mathbb{Z}[X]} 可以寫為常數多項式和 Z n k [ X ] {\displaystyle\mathbb{Z}_{n}^{k}[X]} 的聯集： Z [ X ] = Z ⋃ n ∈ Z + , k ∈ Z + Z n k [ X ] . {\displaystyle\mathbb{Z}[X]=\mathbb{Z}\bigcup_{n\in\mathbb{Z}^{+},k\in\mathbb{Z}^{+}}\mathbb{Z}_{n}^{k}[X].} 而常數多項式沒有根。

所以，任一代數數必然是某個 Z n k [ X ] {\displaystyle\mathbb{Z}_{n}^{k}[X]} 中的多項式的根，即屬於 A n k {\displaystyle{\mathcal{A}}_{n}^{k}} 。

反之任何 A n k {\displaystyle{\mathcal{A}}_{n}^{k}} 中的元素按定義必然是代數數。

因此代數數的集合 A {\displaystyle{\mathcal{A}}} 也可以寫為所有 A n k {\displaystyle{\mathcal{A}}_{n}^{k}} 的聯集： A = ⋃ n ∈ Z + , k ∈ Z + A n k . {\displaystyle{\mathcal{A}}=\bigcup_{n\in\mathbb{Z}^{+},k\in\mathbb{Z}^{+}}{\mathcal{A}}_{n}^{k}.} 而 Z + × Z + {\displaystyle\mathbb{Z}^{+}\times\mathbb{Z}^{+}} 是可數集。

集合 A {\displaystyle{\mathcal{A}}} 是可數個有限集的聯集，因此是可數的。

由於代數數的集合 A {\displaystyle{\mathcal{A}}} 是可數集，因此在複數平面上，代數數集合的勒貝格測度為零。

在此意義上，可以說「幾乎所有」的複數都不是代數數。

給定一個代數數z，在所有以 z {\displaystylez} 為根的有理係數多項式中，存在唯一的一個首一多項式，其次數小於等於任何其他以 z {\displaystylez} 為根的多項式。

這個多項式稱為極小多項式。

如果極小多項式的次數為 n {\displaystylen} ，則稱該代數數為 n {\displaystylen} 次代數數。

一次的代數數就是有理數。

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

代數數體[編輯] 兩個代數數的和、差、積與商（約定除數不為零）也是代數數。

可以驗證，裝備了有理數的加法、乘法運算的代數數集合 A {\displaystyle{\mathcal{A}}} 構成一個體，有時也記為 Q ¯ {\displaystyle{\overline{\mathbb{Q}}}} 。

每一個係數為代數數的多項式方程式的根也是代數數。

因此，代數數體是代數封閉體。

實際上，它是含有有理數體的最小的代數封閉體，稱為有理數體的代數閉包。

由根式定義的數[編輯] 任何可以從整數或有理數通過有限次四則運算和正整數次開方運算得到的數都是代數數。

反之則不成立：有些代數數不能用這種方法得出，這些代數數是次數為5次或超過5次的多項式的根。

這是伽羅瓦理論的結果（參見五次方程式和阿貝爾-魯菲尼定理）。

一個例子是 x 5 − x − 1 = 0 {\displaystylex^{5}-x-1=0\,} 的唯一實根（大約為 1.167303978261418684256 {\displaystyle1.167303978261418684256\,} ）。

代數整數[編輯] 主條目：代數整數 代數整數是任何整係數首一多項式的根。

顯然代數整數是代數數的一部分，但代數數不全是代數整數。

所有整數都是代數整數，其餘的有理數則不是代數整數。

代數整數的集合記作 A {\displaystyle\mathbb{A}} ，是代數數的子集。

在某些上下文中，為了與代數整數區別，整數也被稱作有理整數。

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

參考文獻[編輯] Artin,Michael,Algebra,PrenticeHall,1991,ISBN 0-13-004763-5,MR1129886  Ireland,Kenneth;Vosen,Michael,AClassicalIntroductiontoModernNumberTheory,GraduateTextsinMathematics84Second,Berlin,NewYork:Springer-Verlag,1990,ISBN 0-387-97329-X,MR1070716  G.H.HardyandE.M.Wright1978,2000(withgeneralindex)AnIntroductiontotheTheoryofNumbers:5thEdition,ClarendonPress,OxfordUK,ISBN0-19-853171-0 Lang,Serge,Algebra,GraduateTextsinMathematics2114th,Springer-Verlag,2004,ISBN 0-387-95385-X  OresteinOre1948,1988,NumberTheoryandItsHistory,DoverPublications,Inc.NewYork,ISBN0-486-65620-9(pbk.) 閱論編數的系統可數集 自然數 ( N {\displaystyle\mathbb{N}} ) 整數 ( Z {\displaystyle\mathbb{Z}} ) 有理數 ( Q {\displaystyle\mathbb{Q}} ) 規矩數 代數數 ( A {\displaystyle\mathbb{A}} ) 週期（英語：Period(algebraicgeometry)） 可計算數 可定義數 高斯整數 ( Z [ i ] {\displaystyle\mathbb{Z}[i]} ) 艾森斯坦整數 合成代數（英語：Compositionalgebra） 可除代數（英語：Divisionalgebra）：實數 ( R {\displaystyle\mathbb{R}} ) 複數 ( C {\displaystyle\mathbb{C}} ) 四元數 ( H {\displaystyle\mathbb{H}} ) 八元數 ( O {\displaystyle\mathbb{O}} ) 凱萊-迪克森結構 實數 ( R {\displaystyle\mathbb{R}} ) 複數 ( C {\displaystyle\mathbb{C}} ) 四元數 ( H {\displaystyle\mathbb{H}} ) 八元數 ( O {\displaystyle\mathbb{O}} ) 十六元數 ( S {\displaystyle\mathbb{S}} ) 三十二元數 六十四元數 一百二十八元數 二百五十六元數…… 分裂形式 於 R {\displaystyle\mathbb{R}} ：雙曲複數 分裂四元數 分裂複四元數（英語：Split-biquaternion） 分裂八元數（英語：Split-octonion）於 C {\displaystyle\mathbb{C}} ：雙複數 複四元數 複八元數（英語：Bioctonion） 其他超複數 二元數 二元四元數（英語：Dualquaternion） 二元複數（英語：Applicationsofdualquaternionsto2Dgeometry） 雙曲四元數（英語：Hyperbolicquaternion） 十六元數 ( S {\displaystyle\mathbb{S}} ) 三十二元數 分裂複四元數（英語：Split-biquaternion） 多重複數 幾何代數（英語：Geometricalgebra） 物理空間代數（英語：Algebraofphysicalspace） 時空代數（英語：Spacetimealgebra） 三元數 無法良好構建 六元數 其他系統 基數 擴展自然數（英語：Extendednaturalnumbers） 無理數 模糊數（英語：Fuzzynumber） 超實數 列維-奇維塔體（英語：Levi-Civitafield） 超現實數 超越數 序數 p進數 超自然數（英語：Supernaturalnumber） 上超實數（英語：Superrealnumber） 分類 列表（英語：Listoftypesofnumbers） 取自「https://zh.wikipedia.org/w/index.php?title=代數數&oldid=71238889」 分類：​抽象代數代數數隱藏分類：​自2015年5月缺少註腳的條目使用ISBN魔術連結的頁面 導覽選單 個人工具 沒有登入討論貢獻建立帳號登入 命名空間 條目討論 臺灣正體 不转换简体繁體大陆简体香港繁體澳門繁體大马简体新加坡简体臺灣正體 查看 閱讀編輯檢視歷史 更多 搜尋 導航 首頁分類索引特色內容新聞動態近期變更隨機條目資助維基百科 說明 說明維基社群方針與指引互助客棧知識問答字詞轉換IRC即時聊天聯絡我們關於維基百科 工具 連結至此的頁面相關變更上傳檔案特殊頁面靜態連結頁面資訊引用此頁面維基數據項目 列印/匯出 下載為PDF可列印版 其他專案 維基共享資源 其他語言 AlemannischالعربيةБеларускаяБългарскиবাংলাBosanskiCatalàČeštinaЧӑвашлаDanskDeutschΕλληνικάEnglishEsperantoEspañolEuskaraفارسیSuomiFrançaisGalegoעבריתहिन्दीHrvatskiMagyarՀայերենBahasaIndonesiaÍslenskaItaliano日本語Қазақша한국어КыргызчаLatinaLietuviųLatviešuBahasaMelayuမြန်မာဘာသာNederlandsNorsknynorskOccitanPolskiPortuguêsRomânăРусскийSicilianuSimpleEnglishSlovenčinaSlovenščinaСрпски/srpskiSvenskaதமிழ்ไทยTürkçeУкраїнськаاردوOʻzbekcha/ўзбекчаTiếngViệt吴语Yorùbá文言粵語 編輯連結