代数的数とは (ダイスウテキスウとは) [単語記事]

代数的数とは、有理数係数の代数方程式の解として表される複素数のことである。

概要

a₀,a₁,…a_nを有理数として(ただしa_n≠0)、代数方程式a_nxⁿ+a_n-1x^n-1+…+a₀=0の解となるような複素数のことである。

有理数係数の方程式は分母を払って整数係数にすることができるので、「整数係数の代数方程式の解として表される複素数」と言い換えることもできる。

この条件を満たさない、有理数係数の代数方程式の解として表せない複素数は超越数と呼ばれ、代表例としては円周率 πや自然対数の底eがある。

代数的数かどうか未判明の数の例は超越数の項目参照。

証明は容易ではないが、α、βを代数的数として(ただしβ≠0とする)、
代数的数の加減乗除の結果α+β、α-β、α β、α/βは代数的数となることが知られている。

結論から言うと、代数的数の集合は可算集合である。

ということを踏まえると分かりやすいかもしれない。

しかし、代数方程式の集合が可算集合であることを示すには工夫が必要である。
一例として、「(係数を整数にした上で)係数の絶対値の和と方程式の次数の和」ごとに方程式を分類するという方法がある。

以下、a₀,a₁,…a_nを整数として(ただし最高次の項の係数は正としてa_n>0とする)、
代数方程式a_nxⁿ+a_n-1x^n-1+…+a₀=0について考える。
係数の絶対値と次数の和：h=| a₀|+| a₁|+…+| a_n |+n　について考えると、h≧2となり、

というように、与えられたhに対して有限個の整数係数の代数方程式と、それぞれの代数方程式について有限個の解が得られるので、解を順次リストアップし、重複分を除いて番号をつけていくことが可能となる。