超越数

超越数とは、代数的数でない複素数、すなわちどの有理係数の代数方程式

の方程式の解にもならない複素数のことである。有理数は一次方程式の解であるから、超越的な実数はすべて無理数であるが、例えば無理数 sqrt は二次方程式 1=//x//sup の解であるから、その逆は成り立たない。超越数論は、超越数について研究する数学の分野で、与えられた数の超越性の判定などが主な問題である。

よく知られた超越数にネイピア数 //e//}}や円周率 //π//}}があり、またほとんど全ての複素数が超越数であることが分かっている。ただし超越性が示されている複素数のクラスはほんの僅かであり、与えられた数が超越数であるかどうかを調べるのは難しい問題だとされている。例えば、ネイピア数と円周率はともに超越数であるにもかかわらず、それをただ足しただけの //π// + //e//}} すら超越数かどうか分かっていない。

代数学の標準的な記号 で有理数係数多項式全体を表し、代数的数全体の集合を、代数的数 algebraic number の頭文字を使って A}} と書けば、超越数全体の集合は

となる。

なお、本稿では log}} を自然対数とする。

1. 超越数の例
--------

最初に証明した人を括弧内に記述するが、特別な条件の場合に対しては、別の人物が既に証明している場合も多々ある。ただしそれらの詳細についてはここの一覧では触れない。詳細は、各記事ならびに参考文献などを参照のこと。

 超越数となる定数の例

自然対数の底 e}}
円周率 π}}
。これはゲルフォントの定数とよばれる。 
//π// + //esup//
正の整数を小さい順に並べた小数であるチャンパーノウン定数 0.123456789101112…}}
連分数展開が である無理数。ただし、a}} は 2}} 以上の整数であり、 はフィボナッチ数列。
チャイティンの定数
超越数の正の整数乗 初等関数の特殊値が超越数となる例

代数的数 に対する、。
が有理数ではない代数的数 に対する、。、シュナイダー )
代数的数 に対する、。
代数的数 に対する、, , 。
有理数ではない代数的数 に対する、, , 。
代数的数 に対する、, , 。
代数的数 に対する、。
が有理数ではない代数的数 に対する、, , 。
代数的数 に対する、, , 。
を満たす代数的数 に対する、。
代数的数 に対する、。
乗法的独立 である、0, 1 ではない代数的数 に対する、。
代数的数 に対する、。 特殊関数の特殊値が超越数となる例

正整数 に対する、ゼータ関数 。
を、不変量 が代数的数であるワイエルシュトラスの 関数としたとき、定義域内の任意の代数的数 に対する 。
をクラインのモジュラ関数とし、 を、上半平面内の3次以上の代数的数としたときの 。
に対する、位数 0 の第1種ベッセル関数 。
に対する、合流型超幾何級数 。
ガンマ関数 。
ベータ関数 。
ヤコビのテータ級数の値 。 ベキ級数で表される関数の特殊値が超越数となる例

リウヴィル級数： である代数的数 に対する、。
フレドホルム級数：2以上の整数 と、 である代数的数 に対する、。
自然数列 と、 である代数的数 に対する、。
、整数 、 である代数的数 に対する、。
ヘッケ＝マーラー級数：無理数 と、 である代数的数 に対する、。
整数 、 である代数的数 に対する、。
である代数的数 に対する、。
を約数関数とする。 である代数的数 に対する、。 逆数和からなる級数が超越数となる例

を満たす整数 に対する、。以下において、 はフィボナッチ数列とする。

。
。
任意の正整数 に対する、。

2. 超越数かどうかが未解決の例
----------------

などの円周率 π}} やネイピア数 e}} の大抵の和、積、べき乗は、有理数であるのか無理数であるのか超越的であるのか否かは証明されていない。一方で、

は、超越的であると証明されている。

3. 超越数と勘違いされていたが後から代数的数と判明した例
-----------------------------

。

4. 代数的独立性
---------

複数の超越数が代数的独立である例を挙げる。

を有理数体上線形独立な代数的数としたとき、 は、代数的独立である。
、および、 は、それぞれ代数的独立である。
は、代数的独立である。
代数的数 を、 が1の冪根ではないようにとったとき、 は、代数的独立である。
相異なる 2 以上の整数 と、 である代数的数 に対して、 は、代数的独立である。
2次の無理数 と、相異なる代数的数 に対して、 は、代数的独立である。
相異なる 2 以上の整数 と、 である代数的数 に対して、 は、代数的独立である。
相異なる 2 以上の整数 に対して、 は、代数的独立である。
を少なくとも1つは偶数である正整数としたとき、 は、代数的独立である。代数的独立性には、シャヌエルの予想  と呼ばれる有名な予想があり、現在でも解決されていない。

シャヌエルの予想

を有理数体上線形独立な複素数としたとき、。注意： が代数的数のときは、リンデマン＝ワイエルシュトラスの定理である。

この予想が解決すると、様々な数が代数的独立になることが知られている。例えば、以下の17個の数が代数的独立となる。

注意：上記の数のうち、

は、それ自身が超越数であるかについても今のところ未解決である。

5. マーラーの分類
----------

複素数 に対して、

として、 を定める。このとき、 が成立する。

また、 とする。ただし、 の場合、 とする。

この を用いて、マーラーは、複素数を以下のように分類した。これをマーラーの分類  と呼ぶ。

は、//A// 数  である。。
は、//S// 数  である。。
は、//T// 数  である。。
は、//U// 数  である。。以下の性質がある。

//A// 数からなる集合、//S// 数からなる集合、//T// 数からなる集合、//U// 数からなる集合は、いずれも空集合ではない。
を代数的従属である複素数としたとき、 は同じクラスである。
//A// 数からなる集合は、代数的数全体の集合に等しい。
ほとんど全て の複素数は、//S// 数である。
さらに、ほとんど全ての実数は、タイプ 1 の //S// 数であり、ほとんど全ての複素数は、タイプ 1/2 の //S// 数である。
全てのリウヴィル数 は、//U// 数である。
任意の正整数 に対して、 を満たす //U// 数が存在する。また、いくつかの具体的な超越数に対して、どのクラスに属するかについては、例えば、以下のことが知られている。

自然対数の底 e}} は、タイプ 1 の //S// 数である。
π}} は、//U// 数ではない。
チャンパーノウン定数は、//S// 数である。
r}} を 1 以外の正の有理数としたとき、 は、//U// 数ではない。

6. 超越測度
-------

超越数 に対して、 を、 で定義された実数を値にとる関数とする。

次数が 以下で、各係数の絶対値が 以下である、0 以外の整数係数多項式に対して、

が、任意の で成立するとき、 を の超越測度  という。

マーラーの分類のところで与えられた、 は、超越測度の１つであり、その定義から、最良の評価を与えるものである。

7. 歴史
-----

リウヴィルは、1844年に超越数の最初の例を与えた。さらに1873年にシャルル・エルミートによって、自然対数の底 //e// が超越数であることが証明された。

カントールは1874年に、実数全体の集合が非可算集合である一方で代数的数全体の集合が可算集合であることを示すことにより、ほとんどの実数や複素数は超越数であることを示した。

その後、リンデマンは、1882年に円周率 π}} が超越数であることを証明した。これによって古代ギリシア数学以来の難問であった円積問題が否定的に解かれた。また、彼は、任意の0でない代数的数 //a// に対する //ea}}// が超越数であることも証明した。

ヒルベルトは、1900年にパリで行われた国際数学者会議において、ヒルベルトの23の問題と呼ばれる23個の問題を提出したが、そのうちの 7番目の問題「//a// が 0 でも 1 でもない代数的数で、//b// が代数的無理数であるとき、//ab}}// は超越数であるか」は、1934-1935年にゲルフォントとシュナイダーによって肯定的に解決された。

1968年ベイカーは、ゲルフォント＝シュナイダーの定理を含む、代数的数の1次形式の超越性および、1次形式の値が計算可能な下限で与えられることを証明した。特に後者の結果は、ディオファントス方程式の整数解の上限を求めるための基本的な定理として重要なものである。

1996年、ネステレンコにより、長い間懸案であった、π}} と、esupの代数的独立性が証明された。

8. 脚注
-----

8.1. 注釈
-------

8.2. 出典
-------

9. 関連項目
-------

ゲルフォント＝シュナイダーの定理

10. 参考文献
--------

10.1. 著書
--------

10.2. 論文
--------

11. 外部リンク
---------

[1]}} - リウヴィル数の超越性の証明、超越数は非加算無限個存在することの証明など
[2]}} - MATHEMATICS.PDF
[3]