代数的数
表示
代数的数︵だいすうてきすう、英: algebraic number︶とは、複素数であって、有理数係数︵あるいは同じことだが、分母を払って、整数係数︶の 0 でない一変数多項式の根︵すなわち多項式の値が 0 になる値︶となるものをいう。全ての有理数と、その整数冪根は代数的数である。実数や複素数には代数的数でないものも存在し、そのような数は超越数と呼ばれる。例えば π や eは超越数である。ほとんどすべての複素数は超越数である︵#集合論的性質︶。
が存在して、f(α) = 0 となるとき α を代数的数という。
まず α が有理数ならば
f(x) = x− α
は、α を根に持つので、有理数はすべて代数的数である。
さらに実数の
は
f(x) = x2− 2
の根であるから代数的数であり、また複素数の iは
f(x) = x2+ 1
の根であるから代数的数である。他にも円周率 π の有理数倍における三角関数 sin, cos, tan の値は代数的数であることが知られている[1]。その上、代数的数の四則演算による結果もまた代数的数である。
しかしながら、全ての複素数が代数的数であるかというと、そうではない。そのような複素数は超越数と呼ばれる。たとえば自然対数の底︵ネイピア数︶e の超越性は1873年にエルミートにより証明されている。また円周率 π の超越性は1882年にリンデマンにより証明されている︵これによりギリシアの三大作図問題のうち最後まで未解決であった円積問題は否定的に解決された︶。
が存在して f(α) = 0 となるとき、α は代数的数であるという。
同じことであるが、整数
が存在して、
が成り立つとき、α は代数的数であるという。
概要[編集]
複素数 α に対し、有理数を係数とする多項式定義[編集]
代数的数[編集]
複素数 α に対し、有理数を係数とする多項式代数的整数[編集]
詳細は「代数的整数」を参照
代数的数 α を根とする 0 ではない整数係数多項式で、最高次の係数が1であるもの︵モニック多項式と呼ぶ︶が存在するとき、α は代数的整数 (algebraic integer) であるという。代数的数の中で整なものの意味である。例えば、整数や、√2, iは、代数的整数である。整数 0, ±1, ±2, … ∈ Zを代数的整数の中で特に区別する必要がある場合、Z の元のことを有理整数 (rational integer) と呼ぶ。
は、2次の代数的数である。
の共役数は、
である。
一般に、n 次の代数的数は、自分自身を含め、重複を込めててちょうど n個の共役数を持つ。さらに、任意の代数的数 α の共役複素数
は、α の共役数の1つである。
とする。
を α の判別式 (discriminant) という。代数的数の判別式は有理数であり、代数的整数の判別式は有理整数である。0 でない代数的数の判別式は 0 ではない。
とし、K = Q(α) とおく。
を α のノルム (norm) という。代数的数のノルムは有理数であり、代数的整数のノルムは有理整数である。0 でない代数的数のノルムは 0 ではない。
とし、K = Q(α) とおく。
を α のトレース[要曖昧さ回避] (trace) という。代数的数のトレースは有理数であり、代数的整数のトレースは有理整数である。
で表す。
は Kのとり方によらずに定まる。この値を α の絶対的高さ (absolute height) と呼び、
を α の対数的高さ (logarithmic height) と呼ぶ。α の最小多項式を
とおくと、
が成り立つ。
と表す。
しかしながら、α, β を n次の代数的数としたとき、α + β や αβ が n次の代数的数になるとは限らない。たとえば、
とすると、これらはともに2次の代数的数であるが、α + β や αβ はどちらも4次の代数的数である。
一般に、
が成立する。
有理数体に有限個の代数的数を添加した体は、ある1つの代数的数を有理数体に添加した体に等しいので、有理数体の有限次拡大体︵このような体のことを代数体という︶となる。
逆に、任意の代数体は、有理数体に代数的数を添加した体に同型であるので、代数的数を、代数体の元のこととして定義することもできる。
これらのことから、任意の有理数に対して、加法、乗法、および、累乗根をとる操作を有限回適用することにより、代数的数をいくらでも生成することができる。
問題は、この逆、任意の代数的数は、これらの演算を用いて表現することが可能であるか否かであるが、まず4次以下の代数的数は、有限個の有理数を元にして、有限回の加法、乗法、および、累乗根を用いて表現することができる︵代数的方程式の解法を参照︶。
しかしながら、5次以上の代数的数は、必ずしも、これらの演算を用いて表現することはできず、たとえば x5− x− 1 = 0 の根は、有限個の有理数を基に、加法、乗法、および、累乗根を有限回用いて表現することはできない︵ガロア理論を参照︶。
の性質
は、有理数体の無限次元の代数拡大体である。また、代数的数を係数とする 0 ではない多項式の根は代数的数であるので、
は、代数的閉体である。さらに、有理数体を含む任意の代数的閉体は、
を含むので、有理数体の代数的閉包でもある。
に対して、以下が成り立つ。
●
︵つまり、有理数である代数的整数は、有理整数である。
を有理整数環という。︶
●任意の代数的数 α に対して、代数的整数 β と、有理整数 dが存在して、α = β/d となる。
dα が代数的整数となる最小の正整数のことを、α の分母 (denominator) といい、den α で表す。
●0 ではない代数的整数のハウスは、1以上である。ハウスが1である代数的整数は、1のベキ根に限る。
また、
と同様で、代数的整数を係数とするモニック多項式︵最高次の係数が1である多項式︶の根は、やはり代数的整数であるので、整数環は、整閉包である。
が q> cを満たす全ての有理数 p/q に対して成立するような、μ の下限 μ(α) を、α の無理数度 (measure of irrationality for α) という。もし、このような数が存在しない場合、
とする。つまり、無理数度は、α を有理数で近似したとき、どのくらいの精度で近似できるかの指標を与える。たとえば任意の有理数の無理数度は1になる。
フルヴィッツは、1891年に以下のことを証明した。︵フルヴィッツの定理︶
任意の無理数に対して、
を満たす既約分数 p/q が無限に多く存在する。また、上記の定数
は最良であり、より小さな正数に置き換えることはできない。つまり、全ての無理数に対して、無理数度は、2以上である[2]。
リウヴィルは、1844 年、α が n次の実代数的数︵実数である代数的数︶のとき、μ(α) ≤ nであることを証明し、このことから、リウヴィルは超越数が存在することを初めて証明した。
実代数的数に対する μ(α) の評価は、その後、トゥエ (A. Thue)、ジーゲル、ゲルフォント (A. O. Gel'fond)、ダイソンらにより改良され、最終的に ロスにより、μ(α) = 2 であることが証明された︵ディオファントス近似を参照︶。この功績によりロスは 1958 年フィールズ賞を受賞した。
上記のことから、無理数度が2よりも大きい実数は超越数となるが、超越数ならば無理数度が2よりも大きくなるわけではない。たとえば、自然対数の底 eの無理数度は、2である。
ほとんど全ての実数に対して、無理数度は2であることが知られているが、無理数度が分かっていない数がほとんどである。たとえば、円周率 π の無理数度が2であるかは不明である。現状、7.10321 以下であることが証明されているにすぎない[3]。
が可算集合であることを証明した。その後、彼は複素数全体の集合が非可算集合であることを証明し、ほとんど全ての複素数は、代数的数ではない、つまり超越数であることが判明した。
しかしながら、代数的でない式によって与えられた数が代数的数であるか否かを判定することは大変難しく、オイラーの定数のように古くから知られていながら、代数的数かどうかどころか、有理数かどうかすら分かっていない数もある。
既約多項式[編集]
代数的数 α を根とする 0 でない有理数係数多項式のうち、次数が最小で、最高次の係数が1であるものを、α の既約多項式 (irreducible polynomial) という。最小多項式は、有理係数多項式上既約多項式である。 代数的数 α の最小多項式の次数を、α の次数 (degree) といい、deg α で表す。次数が nであるとき、α は n次の代数的数であるという。たとえば、有理数は1次の代数的数ということができる。また共役数[編集]
代数的数 α の既約多項式の根を、α の共役数 (conjugate) という。たとえば、判別式[編集]
代数的数 α の共役数をノルム[編集]
代数的数 α の共役数をトレース[編集]
代数的数 α の共役数をハウス[編集]
代数的数 α の全ての共役数の絶対値の最大値を、α のハウス (house) といい、高さ[編集]
代数的数 α の最小多項式の分母を払って、全ての係数が互いに素である整数係数多項式にしたとき、係数の絶対値の最大値を α の︵古典的︶高さ ((classical) height) という。 また、 Kを α を含む Q上 d次の代数体とするとき、 v が K上の正規︵乗法︶付値全体を走るときの積代数的性質[編集]
代数的数に対する加減乗除の結果は、やはり代数的数であるので、代数的数全体からなる集合は体をなし、代数的整数環[編集]
代数的整数全体の集合は、環をなし、代数的整数環または、単に整数環と呼ばれる。代数的整数環数論的性質[編集]
α を無理数とする。任意の正数 ε に対して、ある正定数 c= c(ε) が存在して、集合論的性質[編集]
カントール (G. Cantor) は、1874 年に、脚注[編集]
- ^ Niven 2005, pp. 29f.
- ^ 無理数度が 2 以上であること自体は、ディリクレの部屋割り論法からでも証明可能である。
- ^ Weisstein, Eric W.. “Irrationality Measure” (英語). mathworld.wolfram.com. 2024年5月5日閲覧。
関連項目[編集]
参考文献[編集]
![]() |
●鹿野健﹃解析数論﹄教育出版、東京、1978年9月。ISBN 978-4-316-37690-5。 オリジナルの2016年3月4日時点におけるアーカイブ。
●塩川宇賢﹃無理数と超越数﹄森北出版、東京、1999年3月。ISBN 4-627-06091-2。
●高木貞治﹃初等整数論講義﹄︵第2版︶共立出版、東京、1971年10月。ISBN 4-320-01001-9。 オリジナルの2004年5月1日時点におけるアーカイブ。
●高木貞治﹃代数的整数論﹄︵第2版︶岩波書店、東京、1971年4月。ISBN 4-00-005630-1。 オリジナルの2016年1月26日時点におけるアーカイブ。
●ノイキルヒ, J.﹃代数的整数論﹄足立恒雄監修、梅垣敦紀訳、シュプリンガー・フェアラーク東京、東京、2003年12月。ISBN 4-431-70901-0。[リンク切れ]
●ゴッドフレイ・ハロルド・ハーディ、ライト, E.M. 著、示野信一・矢神毅 訳﹃数論入門﹄ Ⅰ、シュプリンガー・フェアラーク東京、東京、2001年7月。ISBN 4-431-70848-0。[リンク切れ]
●ゴッドフレイ・ハロルド・ハーディ、ライト, E.M. 著、示野信一・矢神毅 訳﹃数論入門﹄ Ⅱ、シュプリンガー・フェアラーク東京、東京、2001年7月。ISBN 4-431-70924-X。[リンク切れ]
●Baker, Alan (1975). Transcendental number theory. New York: Cambridge University Press. ISBN 052139791X
●I. Niven (2005). Irrational Numbers. The Mathematical Association of America. ISBN 0-88385-038-9