代数的数

代数的数の最新ニュースをまとめて検索！

数学、特に代数学における代数的数（だいすうてきすう、英: algebraic number）とは、ある有理数係数の多項式の根となる複素数のことである。

[編集] 概要

複素数 α に対し、有理数を係数とする多項式

$f(x) = x^n + a_{n-1} x^{n-1} + \cdots + a_0$

が存在して、 $f (α) = 0$ となるとき α を代数的数という。

αが有理数ならば

$f (x) = x - α$

は、 $α$ を根に持つので、有理数はすべて代数的数である。

無理数ではたとえば $\sqrt{2}$ は

$f (x) = x 2 - 2$

の根であるので代数的数であるし、複素数でも

$f (x) = x 2 + 1$

の根である $\pm i$ は代数的数である。

しかしながら、全ての無理数が代数的数であるかというと、そうではないことが知られている。例えば円周率 π や自然対数の底(ネイピア数) e は、0 以外のいかなる有理数係数多項式に対しても、根になることはない。この様な数のことを超越数と呼ぶ。

[編集] 定義

[編集] 代数的数

複素数 α に対し、有理数を係数とする多項式

$f(x) = x^n + a_{n-1} x^{n-1} + \cdots + a_0$

が存在して $f (α) = 0$ となるとき、α は代数的数であるという。

同じことであるが、整数 $a_n\ne 0,\ a_{n-1},\ldots,\ a_0$ が存在して、

$f(x) = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_0,\ \ \ f(\alpha) = 0$

が成り立つとき、α は代数的数であるという。

[編集] 代数的整数

代数的数 α を根とする 0 ではない整数係数多項式で、最高次の係数が 1 であるものが存在するとき、α は代数的整数 (algebraic integer) であるという。代数的数の中で整なものの意味である。特に、整数や、 $\sqrt{2}, \ i$ は、代数的整数である。整数 $0, \pm 1, \pm 2, \cdots \in \mathbb{Z}$ を代数的整数のなかで特に区別する必要がある場合、 $\mathbb{Z}$ の元のことを、 有理整数 (rational integer) と呼ぶ。

[編集] 最小多項式

代数的数 α を根とする 0でない有理数係数多項式のうち、次数が最小で、最高次の係数が 1 であるものを、α の最小多項式 (minimal polynomial)という。最小多項式は、有理係数多項式上既約多項式である。

[編集] 次数

代数的数 α の最小多項式の次数を、α の次数 (degree) といい、deg α で表す。次数が n であるとき、α は n 次の代数的数であるという。例えば、有理数は、1次の代数的数ということができる。また $\sqrt{2}$ は、2次の代数的数である。

[編集] 共役数

代数的数 α の最小多項式の根を、α の共役数 (conjugate) という。例えば、 $\sqrt{2}$ の共役数は、 $\sqrt{2},\ -\sqrt{2}$ である。

一般に、n 次の代数的数は、自分自身を含めて、ちょうど n 個の共役数を持つ。さらに、任意の代数的数α の共役複素数 $\ \overline{\alpha}\$ は、α の共役数の一つである。

[編集] 判別式

代数的数 α の共役数を $\scriptstyle\alpha^{(1)},\ \alpha^{(2)},\ldots,\alpha^{(n)}$ とする。

$D_{\alpha} = \prod_{1\le i < j\le n}(\alpha^{(i)} - \alpha^{(j)})^2$

を α の判別式 (discriminant)という。代数的数の判別式は有理数であり、代数的整数の判別式は有理整数である。0 でない代数的数の判別式は 0 ではない。

[編集] ノルム

代数的数 α の共役数を $\scriptstyle\alpha^{(1)},\ \alpha^{(2)},\ldots,\alpha^{(n)}$ とし、 $\scriptstyle K=\mathbb{Q}(\alpha)$ とおく。

$N_{K/\mathbb{Q}}(\alpha) = \alpha^{(1)}\alpha^{(2)}\cdots\alpha^{(n)}$

を α のノルム (norm)という。代数的数のノルムは有理数であり、代数的整数のノルムは有理整数である。0 でない代数的数のノルムは 0 ではない。

[編集] トレース

代数的数 α の共役数を $\scriptstyle\alpha^{(1)},\ \alpha^{(2)},\ldots,\alpha^{(n)}$ とし、 $\scriptstyle K=\mathbb{Q}(\alpha)$ とおく。

$\operatorname{Tr}_{K/\mathbb{Q}}(\alpha) = \alpha^{(1)} + \alpha^{(2)} + \cdots + \alpha^{(n)}$

を α のトレース (trace)という。代数的数のトレースは有理数であり、代数的整数のトレースは有理整数である。

[編集] ハウス

代数的数 α の全ての共役数の絶対値の最大値を、α のハウス (house) といい、 $\overline{|\alpha|}$ で表す。

[編集] 高さ

代数的数 α の最小多項式の分母をはらって、全ての係数が互いに素である整数係数多項式にしたとき、係数の絶対値の最大値を、α の高さ (height) という。

[編集] 代数的性質

代数的数に対する加減乗除の結果は、やはり代数的数であるので、代数的数全体からなる集合は体をなし、 $\overline{\mathbb{Q}}$ と表す。

しかしながら、α, β を n 次の代数的としたとき、α + β や αβ が n次の代数的数になるとは限らない。例えば、 $\alpha = \sqrt{2}$ , $β = 1 + i$ とすると、これらは共に2次の代数的数であるが、 α + β や αβ は、どちらも 4 次の代数的数である。

一般に、

$\bold{deg}(\alpha + \beta),\ \bold{deg}(\alpha\beta)\ \le\ (\bold{deg}\alpha)(\bold{deg}\beta)$

が成立する。

有理数体に有限個の代数的数を添加した体は、ある一つの代数的数を有理数体に添加した体に等しいので、有理数体の有限次拡大体(このような体のことを代数体という)となる。

逆に、任意の代数体は、有理数体に代数的数を添加した体に同型であるので、代数的数を、代数体の元のこととして定義することもできる。

これらのことから、任意の有理数に対して、加法、乗法、および、累乗根をとる操作を有限回適用することにより、代数的数をいくらでも生成することができる。

問題は、この逆、任意の代数的数は、これらの演算を用いて表現することが可能であるか否かであるが、まず 4 次以下の代数的数は、有限個の有理数を元にして、有限回の加法、乗法、および、累乗根を用いて表現することができる。 (代数的方程式の解法を参照)

しかしながら、5次以上の代数的数は、必ずしも、これらの演算を用いて表現することはできず、例えば $x 5 + x + 1 = 0$ の根は、有限個の有理数を元に、加法、乗法、および、累乗根を有限回用いて表現することはできない(ガロア理論を参照)。

$\overline{\mathbb{Q}}$ の性質

$\overline{\mathbb{Q}}$ は、有理数体の無限次元の代数拡大体である。また、代数的数を係数とする0 ではない多項式の根は代数的数であるので、 $\overline{\mathbb{Q}}$ は、代数的閉体である。さらに、有理数体を含む任意の代数的閉体は、 $\overline{\mathbb{Q}}$ を含むので、有理数体の代数的閉包でもある。

代数的整数環

代数的整数全体の集合は、環をなし、代数的整数環または、単に整数環と呼ばれる。代数的整数環 $\mathbb{ I }$ に対して、以下が成り立つ。

$\mathbb{ I }\cap\mathbb{ Q } = \mathbb{Z}.$ (つまり、有理数である代数的整数は、有理整数である。)
任意の代数的数 $\ \alpha$ に対して、代数的整数 β と、有理整数 $d$ が存在して、 $α = β / d$ となる.
$d α$ が代数的整数となる、最小の正整数のことを、α の分母 (denominator) といい、den α で表す。
0 ではない代数的整数のハウスは、1 以上である。ハウスが 1 である代数的整数は、1 のベキ根に限る。

また、 $\overline{\mathbb{Q}}$ と同様で、代数的整数を係数とするモニック多項式(最高次の係数が 1 である多項式)の根は、やはり代数的整数であるので、整数環は、整閉包である。

[編集] 数論的性質

α を無理数とする。

任意の正数 $\varepsilon$ に対して、ある正定数 $c = c(\varepsilon)$ が存在して、

$\left|\alpha - \frac{p}{q}\right| > \frac{1}{q^{\mu + \varepsilon}}$

が $q > c$ を満たす全ての有理数 $p / q$ に対して成立する様な、 $μ$ の下限 $μ(α)$ を、α の無理数度 (measure of irrationality for α) という。

もし、この様な数が存在しない場合、 $\mu(\alpha)=\infty$ とする。

つまり、無理数度は、α を有理数で近似したとき、どのくらいの精度で近似できるかの指標を与える。たとえば任意の有理数の無理数度は1になる。

フルヴィッツは、1891年に以下のことを証明した。

任意の無理数に対して、

$\left|\alpha - \frac{p}{q}\right| < \frac{1}{\sqrt{5}q^2}$

を満たす既約分数 $p / q$ が無限に多く存在する。また、上記の定数 $\scriptstyle 1/\sqrt{5}$ は最良であり、より小さな正数に置き換えることはできない。

つまり、全ての無理数に対して、無理数度は、2 以上である。^[1]

リウヴィルは、1844 年、α がn次の実代数的数(実数である代数的数)のとき、 $\mu(\alpha) \le n$ であることを証明し、このことから、リウヴィルは超越数が存在することを初めて証明した。

実代数的数に対する $μ(α)$ の評価は、その後、トゥエ (A. Thue), ジーゲル, ゲルフォント (A. O. Gel'fond), ダイソンらにより改良され、最終的にロスにより、 $μ(α) = 2$ であることが証明された。(ディオファントス近似を参照)この功績により、ロスは、1958 年フィールズ賞を受賞した。

上記のことから、無理数度が 2 よりも大きい実数は、超越数となるが、超越数ならば、無理数度が 2 よりも大きくなるわけではない。例えば、自然体数の底 e の無理数度は、2 である。

ほとんど全ての実数に対して、無理数度は 2 であることが知られているが、無理数度が分かっていない数がほとんどである。例えば、円周率 π の無理数度が 2 であるかは不明である。現状、8.0161 以下であることが証明されているにすぎない。(畑 1992年)

[編集] 集合論的性質

カントール (G. Cantor)は、1874年に、 $\overline{\mathbb{Q}}$ が、可算集合であることを証明した。その後、彼は複素数全体の集合が非可算集合であることを証明し、ほとんど全ての複素数は、代数的数ではない。つまり超越数であることが判明した。

しかしながら、代数的でない式によって与えられた数が代数的数であるか否かを判定することは大変難しく、オイラーの定数のように古くから知られていながら、代数的数かどうかどころか、有理数かどうかかすら分かっていない数もある。

[編集] 脚注

^ 無理数度が 2 以上であること自体は、ディリクレの部屋割り論法からでも証明可能である。

[編集] 関連項目

[編集] 参考文献

高木, 貞治『初等整数論講義』共立出版、東京、1971年、第2版。
鹿野, 健『解析数論』教育出版、東京、1978年。
塩川, 宇賢『無理数と超越数』森北出版、東京、1999年。
ハーディ, G.H.・ライト, E.M. 『数論入門 I, II』示野信一・矢神毅訳、シュプリンガー・フェアラーク東京、東京、2001年。
Alan, Baker (1975). Transcendental number theory. New York: Cambridge University Press.

[編集] 外部リンク

Eric W. Weisstein. Algebraic Number, MathWorld.（英語）

フリー百科事典『ウィキペディア（Wikipedia）』 Text is available under GNU Free Documentation License.

最終更新 2009年11月7日 (土) 02:17 （日時は個人設定で未設定ならばUTC）。
【代数的数】変更履歴

[0] 無理数度が 2 以上であること自体は、ディリクレの部屋割り論法からでも証明可能である。

[1]