円周率 π は超越数であるため、コンパス と定規 を有限回用いて円と等面積の正方形を作図すること は不可能である。 超越数 (ちょうえつすう、英 : transcendental number )とは、代数的数 でない複素数 、すなわちどの有理 係数の代数方程式
x n + a n − 1 x n − 1 + ⋯ + a 0 = 0 {\displaystyle x^{n}+a_{n-1}x^{n-1}+\cdots +a_{0}=0} (n は正の整数、各 ai は有理数) の解(英語版) にもならない複素数のことである。有理数 は一次方程式 の解であるから、超越的な実数 はすべて無理数 であるが、例えば無理数 √ 2 は二次方程式 x 2 − 2 = 0 の解であるから、その逆 は成り立たない。超越数論 は、超越数について研究する数学 の分野で、与えられた数 の超越性の判定などが主な問題 である。
よく知られた超越数にネイピア数 e (自然対数 の底)や円周率 π があり、またほとんど全ての複素数が超越数であることが分かっている。ただし超越性が示されている複素数のクラスはほんの僅かであり、与えられた数が超越数であるかどうかを調べるのは難しい問題だとされている。例えば、ネイピア数と円周率はともに超越数であるにもかかわらず、それをただ足しただけの π + e すら超越数かどうか分かっていない。
代数学の標準的な記号 Q [ x ] {\displaystyle \mathbb {Q} [x]} で有理数係数多項式 全体を表し、代数的数全体の集合を、代数的数 algebraic number の頭文字を使って A と書けば、超越数全体の集合は
C ∖ A = { a ∈ C ∣ 0 ≠ ∀ p ( x ) ∈ Q [ x ] , p ( a ) ≠ 0 } {\displaystyle \mathbb {C} \setminus A=\{a\in \mathbb {C} \mid 0\neq \forall p(x)\in \mathbb {Q} [x],\;p(a)\neq 0\}} となる( C {\displaystyle \mathbb {C} } は複素数 、 ∖ {\displaystyle \setminus } は差集合 、 C ∖ A {\displaystyle \mathbb {C} \setminus A} は「複素数のうち代数的数以外の数の集合」)。
なお、本稿では log を自然対数 とする。
超越数の例 最初に証明した人を括弧内に記述するが、特別な条件の場合に対しては、別の人物が既に証明している場合も多々ある。ただしそれらの詳細についてはここの一覧では触れない。詳細は、各記事ならびに参考文献などを参照のこと。
(1) 超越数となる定数の例
自然対数の底 e (エルミート ) 円周率 π (リンデマン ) e π ( = ( − 1 ) − i ) {\displaystyle e^{\pi }\ (=(-1)^{-i})} 。これはゲルフォントの定数 とよばれる。(オンライン整数列大辞典 の数列 A039661) (ゲルフォント=シュナイダーの定理 ) π + eπ , πeπ (ネステレンコ (Yu. V. Nesterenko)) 正の整数 を小さい順に並べた小数であるチャンパーノウン定数 0.123456789101112… (マーラー (K. Mahler)) 連分数 展開が [ 0 ; a F 0 , a F 1 , a F 2 , ⋯ ] {\displaystyle \scriptstyle [0;\ a^{F_{0}},\ a^{F_{1}},\ a^{F_{2}},\ \cdots ]} である無理数。ただし、a は 2 以上の整数であり、 { F n } n ≥ 0 {\displaystyle \scriptstyle \{F_{n}\}_{n\geq 0}} はフィボナッチ数 列。(クヌース ) チャイティンの定数 Ω 超越数の正の整数乗 (2) 初等関数 の特殊値が超越数となる例
代数的数 α ≠ 0 {\displaystyle \scriptstyle \alpha \neq 0} に対する、 e α {\displaystyle e^{\alpha }} 。(リンデマン) i α {\displaystyle \scriptstyle i\alpha } が有理数ではない代数的数 α {\displaystyle \scriptstyle \alpha } に対する、 e α π {\displaystyle e^{\alpha \pi }} 。(ゲルフォント (A. O. Gel'fond)、シュナイダー (Th. Schneider)) 代数的数 α , β ≠ 0 {\displaystyle \scriptstyle \alpha ,\ \beta \neq 0} に対する、 e α π + β {\displaystyle e^{\alpha \pi +\beta }} 。(ベイカー ) 代数的数 α ≠ 0 {\displaystyle \scriptstyle \alpha \neq 0} に対する、 sin α {\displaystyle \sin {\alpha }} , cos α {\displaystyle \cos {\alpha }} , tan α {\displaystyle \tan {\alpha }} 。(リンデマン、ワイエルシュトラス (K. Weierstrass)) 有理数ではない代数的数 α {\displaystyle \scriptstyle \alpha } に対する、 sin α π {\displaystyle \sin {\alpha \pi }} , cos α π {\displaystyle \cos {\alpha \pi }} , tan α π {\displaystyle \tan {\alpha \pi }} 。(ゲルフォント、シュナイダー) 代数的数 α , β ≠ 0 {\displaystyle \scriptstyle \alpha ,\ \beta \neq 0} に対する、 sin ( α π + β ) {\displaystyle \sin {(\alpha \pi +\beta )}} , cos ( α π + β ) {\displaystyle \cos {(\alpha \pi +\beta )}} , tan ( α π + β ) {\displaystyle \tan {(\alpha \pi +\beta )}} 。(ベイカー) 代数的数 α ≠ 0 {\displaystyle \scriptstyle \alpha \neq 0} に対する、 sinh α , cosh α , tanh α {\displaystyle \sinh {\alpha },\ \cosh {\alpha },\ \tanh {\alpha }} 。(リンデマン、ワイエルシュトラス) i α {\displaystyle \scriptstyle i\alpha } が有理数ではない代数的数 α {\displaystyle \scriptstyle \alpha } に対する、 sinh α π {\displaystyle \sinh {\alpha \pi }} , cosh α π {\displaystyle \cosh {\alpha \pi }} , tanh α π {\displaystyle \tanh {\alpha \pi }} 。(ゲルフォント、シュナイダー) 代数的数 α , β ≠ 0 {\displaystyle \scriptstyle \alpha ,\ \beta \neq 0} に対する、 sinh ( α π + β ) {\displaystyle \sinh {(\alpha \pi +\beta )}} , cosh ( α π + β ) {\displaystyle \cosh {(\alpha \pi +\beta )}} , tanh ( α π + β ) {\displaystyle \tanh {(\alpha \pi +\beta )}} 。(ベイカー) α ≠ 0 , 1 , β ∉ Q {\displaystyle \scriptstyle \alpha \neq 0,\ 1,\ \beta \notin \mathbb {Q} } を満たす代数的数 α , β {\displaystyle \scriptstyle \alpha ,\ \beta } に対する、 α β {\displaystyle \alpha ^{\beta }} 。(ゲルフォント、シュナイダー) 代数的数 α ≠ 0 , 1 {\displaystyle \scriptstyle \alpha \neq 0,\ 1} に対する、 log α {\displaystyle \log {\alpha }} 。(リンデマン) 乗法的独立[ 注 1] である、0, 1 ではない代数的数 α , β {\displaystyle \scriptstyle \alpha ,\ \beta } に対する、 log α log β {\displaystyle {\tfrac {\log {\alpha }}{\log {\beta }}}} 。(ゲルフォント、シュナイダー) 代数的数 α ≠ 0 {\displaystyle \scriptstyle \alpha \neq 0} に対する、 π + log α {\displaystyle \pi +\log {\alpha }} 。(ベイカー) (3) 特殊関数 の特殊値が超越数となる例
正整数 n {\displaystyle n} に対する、ゼータ関数 ζ ( 2 n ) {\displaystyle \zeta (2n)} 。(リンデマン) ℘ ( z ) {\displaystyle \scriptstyle \wp (z)} を、不変量 g 2 , g 3 {\displaystyle \scriptstyle g_{2},\ g_{3}} が代数的数であるワイエルシュトラスの ℘ {\displaystyle \scriptstyle \wp } 関数 としたとき、定義域内の任意の代数的数 α {\displaystyle \scriptstyle \alpha } に対する ℘ ( α ) {\displaystyle \scriptstyle \wp (\alpha )} 。(シュナイダー) j ( τ ) {\displaystyle \scriptstyle j(\tau )} をクラインのモジュラ関数 とし、 α {\displaystyle \alpha } を、上半平面 内の3次以上の代数的数としたときの j ( α ) {\displaystyle \scriptstyle j(\alpha )} 。(シュナイダー) α ≠ 0 {\displaystyle \scriptstyle \alpha \neq 0} に対する、位数 0 の第1種ベッセル関数 J 0 ( α ) {\displaystyle J_{0}(\alpha )} 。(ジーゲル ) α ≠ 0 {\displaystyle \scriptstyle \alpha \neq 0} に対する、合流型超幾何級数 F ( 1 , 1 , c ; α ) {\displaystyle F(1,1,c;\alpha )} ( c {\displaystyle c} は0以下の整数以外の有理数)。(シドロフスキー (A. B. Shidlovsky)) ガンマ関数 Γ ( 1 6 ) , Γ ( 1 4 ) , Γ ( 1 3 ) , Γ ( 1 2 ) , Γ ( 2 3 ) , Γ ( 3 4 ) , Γ ( 5 6 ) {\displaystyle \scriptstyle \Gamma ({\tfrac {1}{6}}),\ \Gamma ({\tfrac {1}{4}}),\ \Gamma ({\tfrac {1}{3}}),\ \Gamma ({\tfrac {1}{2}}),\ \Gamma ({\tfrac {2}{3}}),\ \Gamma ({\tfrac {3}{4}}),\ \Gamma ({\tfrac {5}{6}})} 。(チュドノフスキー (G. V. Chudnovsky)[ 注 2] ) ベータ関数 B ( 1 2 , 1 6 ) , B ( 1 2 , 1 4 ) , B ( 1 2 , 1 3 ) {\displaystyle \scriptstyle B({\tfrac {1}{2}},{\tfrac {1}{6}}),\ B({\tfrac {1}{2}},{\tfrac {1}{4}}),\ B({\tfrac {1}{2}},{\tfrac {1}{3}})} 。(ジーゲル、シュナイダー、チュドノフスキー) ヤコビのテータ級数 の値 ϑ 1 ( 0 , α ) , ϑ 2 ( 0 , α ) , ϑ 3 ( 0 , α ) {\displaystyle \scriptstyle \vartheta _{1}(0,\alpha ),\ \vartheta _{2}(0,\alpha ),\ \vartheta _{3}(0,\alpha )} [ 注 3] 。(ネステレンコ) (4) ベキ級数で表される関数の特殊値が超越数となる例
リウヴィル級数: 0 < | α | < 1 {\displaystyle \scriptstyle 0<|\alpha |<1} である代数的数 α {\displaystyle \scriptstyle \alpha } に対する、 ∑ k = 1 ∞ α − k ! {\displaystyle \textstyle \sum \limits _{k=1}^{\infty }\alpha ^{-k!}} 。(マーラー) フレドホルム級数:2以上の整数 d {\displaystyle d} と、 0 < | α | < 1 {\displaystyle \scriptstyle 0<|\alpha |<1} である代数的数 α {\displaystyle \scriptstyle \alpha } に対する、 ∑ k = 1 ∞ α d k {\displaystyle \textstyle \sum \limits _{k=1}^{\infty }\alpha ^{d^{k}}} 。(マーラー) 自然数列 { d k } k ≥ 1 ( d k ≥ 2 ) {\displaystyle \scriptstyle \{d_{k}\}_{k\geq 1}\ (d_{k}\geq 2)} と、 0 < | α | < 1 {\displaystyle \scriptstyle 0<|\alpha |<1} である代数的数 α {\displaystyle \scriptstyle \alpha } に対する、 ∑ k = 1 ∞ α d 1 ⋯ d k {\displaystyle \textstyle \sum \limits _{k=1}^{\infty }\alpha ^{d_{1}\cdots d_{k}}} 。(西岡) ω > 0 {\displaystyle \scriptstyle \omega >0} 、整数 d ≥ 2 {\displaystyle \scriptstyle d\geq 2} 、 0 < | α | < 1 {\displaystyle \scriptstyle 0<|\alpha |<1} である代数的数 α {\displaystyle \scriptstyle \alpha } に対する、 ∑ k = 1 ∞ α [ ω d k ] {\displaystyle \textstyle \sum \limits _{k=1}^{\infty }\alpha ^{[\omega d^{k}]}} 。(田中) ヘッケ=マーラー級数:無理数 ω > 0 {\displaystyle \scriptstyle \omega >0} と、 0 < | α | < 1 {\displaystyle \scriptstyle 0<|\alpha |<1} である代数的数 α {\displaystyle \scriptstyle \alpha } に対する、 ∑ k = 1 ∞ [ k ω ] α k {\displaystyle \textstyle \sum \limits _{k=1}^{\infty }[k\omega ]\alpha ^{k}} 。(マーラー) 整数 d ≥ 2 {\displaystyle \scriptstyle d\geq 2} 、 0 < | α | < 1 {\displaystyle \scriptstyle 0<|\alpha |<1} である代数的数 α {\displaystyle \scriptstyle \alpha } に対する、 ∏ k = 0 ∞ ( 1 − α d k ) {\displaystyle \textstyle \prod \limits _{k=0}^{\infty }(1-\alpha ^{d^{k}})} 。(マーラー) 0 < | α | < 1 {\displaystyle \scriptstyle 0<|\alpha |<1} である代数的数 α {\displaystyle \scriptstyle \alpha } に対する、 ∏ k = 0 ∞ ( 1 − α k ) {\displaystyle \textstyle \prod \limits _{k=0}^{\infty }(1-\alpha ^{k})} 。(ネステレンコ) σ k ( n ) ( k = 1 , 3 , 5 ) {\displaystyle \sigma _{k}(n)\ (\scriptstyle k=1,\ 3,\ 5)} を約数関数 とする。 0 < | α | < 1 {\displaystyle \scriptstyle 0<|\alpha |<1} である代数的数 α {\displaystyle \scriptstyle \alpha } に対する、 ∑ n = 1 ∞ σ k ( n ) α n {\displaystyle \textstyle \sum \limits _{n=1}^{\infty }\sigma _{k}(n)\alpha ^{n}} 。(ネステレンコ) (5) 逆数和からなる級数が超越数となる例
| a | ≥ 2 {\displaystyle \scriptstyle |a|\geq 2} を満たす整数 a {\displaystyle a} に対する、 ∑ k = 0 ∞ 1 a 2 k + 1 {\displaystyle \textstyle \sum \limits _{k=0}^{\infty }{\frac {1}{a^{2^{k}}+1}}} 。(ドゥヴェルネ (D. Duverney)) 以下において、 { F n } n ≥ 0 {\displaystyle \scriptstyle \{F_{n}\}_{n\geq 0}} はフィボナッチ数列とする。
∑ k = 0 ∞ 1 k ! F 2 k {\displaystyle \textstyle \sum \limits _{k=0}^{\infty }{\frac {1}{k!\,F_{2^{k}}}}} 。(ミニョット (M. Mignotte)、マーラー) ∑ k = 0 ∞ 1 F 2 k + 1 {\displaystyle \textstyle \sum \limits _{k=0}^{\infty }{\frac {1}{F_{2^{k}+1}}}} 。(ベッカー (P. -G. Becker)、トッファー) 任意の正整数 m {\displaystyle m} に対する、 ∑ n = 1 ∞ 1 F n 2 m , ∑ n = 1 ∞ 1 F 2 n − 1 m {\displaystyle \textstyle \sum \limits _{n=1}^{\infty }{\frac {1}{{F_{n}}^{2m}}},\ \sum \limits _{n=1}^{\infty }{\frac {1}{{F_{2n-1}}^{m}}}} 。(ドゥヴェルネ、西岡(啓)、西岡(久)、塩川)
超越数かどうかが未解決の例 e + π , e − π , e π , π e , π π , e e , π e , π 2 , e π 2 {\displaystyle e+\pi ,e-\pi ,e\pi ,{\frac {\pi }{e}},{\pi }^{\pi },e^{e},\pi ^{e},\pi ^{\sqrt {2}},e^{\pi ^{2}}} などの円周率 π やネイピア数 e の大抵の和、積、べき乗は、有理数であるのか無理数であるのか超越的であるのか否かは証明されていない[ 注 4] 。一方で、
π + e π , π e π , e π n {\displaystyle \pi +e^{\pi },\pi e^{\pi },e^{\pi {\sqrt {n}}}} (n は正の整数) は、超越的であると証明されている[ 1] [ 2] 。
超越数と勘違いされていたが後から代数的数と判明した例 ∑ k = 1 ∞ 1 F 2 k = 5 − 5 2 {\displaystyle \textstyle \sum \limits _{k=1}^{\infty }{\frac {1}{F_{2^{k}}}}={\frac {5-{\sqrt {5}}}{2}}} 。(西岡、トッファー (T. Töpher) [1])
代数的独立性 複数の超越数が代数的独立 である例を挙げる。
α 1 , α 2 , ⋯ , α n {\displaystyle \alpha _{1},\ \alpha _{2},\cdots ,\ \alpha _{n}} を有理数体上線形独立な代数的数としたとき、 e α 1 , e α 2 , ⋯ , e α n {\displaystyle e^{\alpha _{1}},\ e^{\alpha _{2}},\cdots ,\ e^{\alpha _{n}}} は、代数的独立である。(リンデマン、ワイエルシュトラス) π , Γ ( 1 4 ) {\displaystyle \scriptstyle \pi ,\ \Gamma ({\tfrac {1}{4}})} 、および、 π , Γ ( 1 3 ) {\displaystyle \scriptstyle \pi ,\ \Gamma ({\tfrac {1}{3}})} は、それぞれ代数的独立である。(チュドノフスキー) π , e π , Γ ( 1 4 ) {\displaystyle \scriptstyle \pi ,\ e^{\pi },\ \Gamma ({\tfrac {1}{4}})} は、代数的独立である。(ネステレンコ) 代数的数 α 1 , ⋯ , α n ( 0 < | α i | < 1 ( i = 1 , ⋯ , n ) ) {\displaystyle \scriptstyle \alpha _{1},\cdots ,\ \alpha _{n}\ (0<|\alpha _{i}|<1\ (i=1,\cdots ,\ n))} を、 α i α j {\displaystyle {\tfrac {\alpha _{i}}{\alpha _{j}}}} が1の冪根 ではないようにとったとき、 ∑ k = 1 ∞ α 1 − k ! , ⋯ , ∑ k = 1 ∞ α n − k ! {\displaystyle \textstyle \sum \limits _{k=1}^{\infty }{\alpha _{1}}^{-k!},\cdots ,\ \sum \limits _{k=1}^{\infty }{\alpha _{n}}^{-k!}} は、代数的独立である。(西岡) 相異なる 2 以上の整数 d 1 , ⋯ , d n {\displaystyle \scriptstyle d_{1},\cdots ,\ d_{n}} と、 0 < | α | < 1 {\displaystyle \scriptstyle 0<|\alpha |<1} である代数的数 α {\displaystyle \scriptstyle \alpha } に対して、 ∑ k = 1 ∞ α d 1 k , ⋯ , ∑ k = 1 ∞ α d n k {\displaystyle \textstyle \sum \limits _{k=1}^{\infty }\alpha ^{{d_{1}}^{k}},\cdots ,\ \sum \limits _{k=1}^{\infty }\alpha ^{{d_{n}}^{k}}} は、代数的独立である。(西岡) 2次の無理数 ω > 0 {\displaystyle \scriptstyle \omega >0} と、相異なる代数的数 α 1 , ⋯ , α n ( 0 < | α i | < 1 ( i = 1 , ⋯ , n ) ) {\displaystyle \scriptstyle \alpha _{1},\cdots ,\ \alpha _{n}\ (0<|\alpha _{i}|<1\ (i=1,\cdots ,\ n))} に対して、 ∑ k = 1 ∞ [ h ω ] α 1 − k , ⋯ , ∑ k = 1 ∞ [ k ω ] α n − k {\displaystyle \textstyle \sum \limits _{k=1}^{\infty }[h\omega ]{\alpha _{1}}^{-k},\cdots ,\ \sum \limits _{k=1}^{\infty }[k\omega ]{\alpha _{n}}^{-k}} は、代数的独立である。(マッサー (D. W. Masser)) 相異なる 2 以上の整数 d 1 , ⋯ , d n {\displaystyle \scriptstyle d_{1},\cdots ,\ d_{n}} と、 0 < | α | < 1 {\displaystyle \scriptstyle 0<|\alpha |<1} である代数的数 α {\displaystyle \scriptstyle \alpha } に対して、 ∏ k = 0 ∞ ( 1 − α d 1 k ) , ⋯ , ∏ k = 0 ∞ ( 1 − α d n k ) {\displaystyle \scriptstyle \textstyle \prod \limits _{k=0}^{\infty }{\bigl (}1-\alpha ^{{d_{1}}^{k}}{\bigr )},\cdots ,\ \prod \limits _{k=0}^{\infty }{\bigl (}1-\alpha ^{{d_{n}}^{k}}{\bigr )}} は、代数的独立である。(西岡) 相異なる 2 以上の整数 d 1 , ⋯ , d n {\displaystyle \scriptstyle d_{1},\cdots ,\ d_{n}} に対して、 ∑ k = 0 ∞ 1 F 2 k + 1 d 1 , ⋯ , ∑ k = 0 ∞ 1 F 2 k + 1 d n {\displaystyle \textstyle \sum \limits _{k=0}^{\infty }{\frac {1}{{F_{2^{k}+1}}^{d_{1}}}},\cdots ,\ \sum \limits _{k=0}^{\infty }{\frac {1}{{F_{2^{k}+1}}^{d_{n}}}}} は、代数的独立である。(西岡) m 1 , m 2 , m 3 {\displaystyle \scriptstyle m_{1},\ m_{2},\ m_{3}} を少なくとも1つは偶数である正整数としたとき、 ∑ n = 1 ∞ 1 F n 2 m 1 , ∑ n = 1 ∞ 1 F n 2 m 2 , ∑ n = 1 ∞ 1 F n 2 m 3 {\displaystyle \textstyle \sum \limits _{n=1}^{\infty }{\frac {1}{{F_{n}}^{2m_{1}}}},\ \sum \limits _{n=1}^{\infty }{\frac {1}{{F_{n}}^{2m_{2}}}},\ \sum \limits _{n=1}^{\infty }{\frac {1}{{F_{n}}^{2m_{3}}}}} は、代数的独立である。(エルスナー (C. Elsner)、下村、塩川) 代数的独立性には、シャヌエルの予想 (Schanuel's conjecture) と呼ばれる有名な予想があり、現在でも解決されていない。( n = 2 {\displaystyle n=2} のときでさえも、未解決である。)
シャヌエルの予想
α 1 , α 2 , ⋯ , α n {\displaystyle \alpha _{1},\ \alpha _{2},\cdots ,\ \alpha _{n}} を有理数体上線形独立な複素数としたとき、 t r a n s . deg Q Q ( α 1 , α 2 , ⋯ , α n , e α 1 , e α 2 , ⋯ , e α n ) ≥ n {\displaystyle \mathbf {trans} .\deg _{\mathbb {Q} }\mathbb {Q} (\alpha _{1},\ \alpha _{2},\cdots ,\ \alpha _{n},\ e^{\alpha _{1}},\ e^{\alpha _{2}},\cdots ,\ e^{\alpha _{n}})\geq n} [ 注 5] 。 注意: α 1 , α 2 , ⋯ , α n {\displaystyle \alpha _{1},\ \alpha _{2},\cdots ,\ \alpha _{n}} が代数的数のときは、リンデマン=ワイエルシュトラスの定理 である。
この予想が解決すると、様々な数が代数的独立になることが知られている。例えば、以下の17個の数が代数的独立となる。
e , e π , e e , e i , π , π π , π e , π i , 2 π , 2 e , 2 i , log π , log 2 , log 3 , log log 2 , ( log 2 ) log 3 , 2 2 {\displaystyle e,\ e^{\pi },\ e^{e},\ e^{i},\ \pi ,\ \pi ^{\pi },\ \pi ^{e},\ \pi ^{i},\ 2^{\pi },\ 2^{e},\ 2^{i},\ \log \pi ,\ \log 2,\ \log 3,\ \log \log 2,\ (\log 2)^{\log 3},\ 2^{\sqrt {2}}} 注意:上記の数のうち、
e e , π π , π e , π i , 2 π , 2 e , log π , log log 2 , ( log 2 ) log 3 {\displaystyle e^{e},\ \pi ^{\pi },\ \pi ^{e},\ \pi ^{i},\ 2^{\pi },\ 2^{e},\ \log \pi ,\ \log \log 2,\ (\log 2)^{\log 3}} は、それ自身が超越数であるかについても今のところ未解決である。
マーラーの分類 複素数 α {\displaystyle \alpha } に対して、
w n , H ( α ) = min { | f ( α ) | | f ( z ) = ∑ i = 0 n a i z i , f ( α ) ≠ 0 , | a 0 | , ⋯ , | a n | ≤ H } , {\displaystyle w_{n,H}(\alpha )=\min {\Bigl \{}|f(\alpha )|\;{\Bigl |}\;f(z)={\textstyle \sum \limits _{i=0}^{n}a_{i}z^{i}},f(\alpha )\neq 0,|a_{0}|,\cdots ,|a_{n}|\leq H{\Bigr \}},} w n ( α ) = lim sup H → ∞ − log w n , H ( α ) log H , {\displaystyle w_{n}(\alpha )=\limsup _{H\to \infty }{\frac {-\log w_{n,H}(\alpha )}{\log H}},} w ( α ) = lim sup n → ∞ w n ( α ) n {\displaystyle w(\alpha )=\limsup _{n\to \infty }{\frac {w_{n}(\alpha )}{n}}} として、 w ( α ) {\displaystyle w(\alpha )} を定める。このとき、 0 ≤ w ( α ) ≤ ∞ {\displaystyle \scriptstyle 0\leq w(\alpha )\leq \infty } が成立する。
また、 μ ( α ) = inf { n | w n ( α ) = ∞ } {\displaystyle \scriptstyle \mu (\alpha )=\inf\{n|w_{n}(\alpha )=\infty \}} とする。ただし、 w ( α ) < ∞ {\displaystyle \scriptstyle w(\alpha )<\infty } の場合、 μ ( α ) = ∞ {\displaystyle \scriptstyle \mu (\alpha )=\infty } とする。
この w ( α ) , μ ( α ) {\displaystyle \scriptstyle w(\alpha ),\ \mu (\alpha )} を用いて、マーラーは、複素数を以下のように分類した。これをマーラーの分類 (Mahler's classification) と呼ぶ。
α {\displaystyle \alpha } は、A 数 (A-number) である。 :⇔ w ( α ) = 0 , μ ( α ) = ∞ {\displaystyle :\Leftrightarrow w(\alpha )=0,\ \mu (\alpha )=\infty } 。 α {\displaystyle \alpha } は、S 数 (S-number) である。 :⇔ 0 < w ( α ) < ∞ , μ ( α ) = ∞ {\displaystyle :\Leftrightarrow 0<w(\alpha )<\infty ,\ \mu (\alpha )=\infty } 。 α {\displaystyle \alpha } は、T 数 (T-number) である。 :⇔ w ( α ) = ∞ , μ ( α ) = ∞ {\displaystyle :\Leftrightarrow w(\alpha )=\infty ,\ \mu (\alpha )=\infty } 。 α {\displaystyle \alpha } は、U 数 (U-number) である。 :⇔ w ( α ) = ∞ , μ ( α ) < ∞ {\displaystyle :\Leftrightarrow w(\alpha )=\infty ,\ \mu (\alpha )<\infty } 。 以下の性質がある。
A 数からなる集合、S 数からなる集合、T 数からなる集合、U 数からなる集合は、いずれも空集合ではない。 α , β {\displaystyle \alpha ,\ \beta } を代数的従属である複素数としたとき、 α , β {\displaystyle \alpha ,\ \beta } は同じクラス(同じ分類の数)である。 A 数からなる集合は、代数的数全体の集合に等しい。 ほとんど全て[ 注 6] の複素数は、S 数である。 さらに、ほとんど全ての実数は、タイプ[ 注 7] 1 の S 数であり、ほとんど全ての複素数は、タイプ 1/2 の S 数である。 全てのリウヴィル数 は、U 数である。 任意の正整数 n {\displaystyle n} に対して、 μ ( α ) = n {\displaystyle \mu (\alpha )=n} を満たす U 数が存在する。 また、いくつかの具体的な超越数に対して、どのクラスに属するかについては、例えば、以下のことが知られている。
自然対数の底 e は、タイプ 1 の S 数である。 π は、U 数ではない。 チャンパーノウン定数は、S 数である。 r を 1 以外の正の有理数としたとき、 log r {\displaystyle \log r} は、U 数ではない。
超越測度 超越数 α {\displaystyle \alpha } に対して、 T ( α , n , H ) {\displaystyle T(\alpha ,n,H)} を、 n ≥ 1 , H ≥ 1 {\displaystyle \scriptstyle n\geq 1,\ H\geq 1} で定義された実数を値にとる関数とする。
次数が n {\displaystyle n} 以下で、各係数の絶対値が H {\displaystyle H} 以下である、0 以外の整数係数多項式に対して、
| f ( α ) | ≥ T ( α , n , H ) {\displaystyle |f(\alpha )|\geq T(\alpha ,n,H)} が、任意の n ≥ 1 , H ≥ 1 {\displaystyle \scriptstyle n\geq 1,\ H\geq 1} で成立するとき、 T ( α , n , H ) {\displaystyle T(\alpha ,n,H)} を α {\displaystyle \alpha } の超越測度 (transcendence measure) という。
マーラーの分類のところで与えられた、 w n , H ( α ) {\displaystyle w_{n,H}(\alpha )} は、超越測度の1つであり、その定義から、最良の評価を与えるものである。
歴史 リウヴィル は、1844年 に超越数の最初の例を与えた(リウヴィル数 )。さらに1873年 にシャルル・エルミート によって、自然対数の底 e が超越数であることが証明された。
カントール は1874年 に、実数全体の集合が非可算集合である一方で代数的数全体の集合が可算集合 であることを示すことにより、ほとんどの実数や複素数は超越数であることを示した。
その後、リンデマン は、1882年 に円周率 π が超越数であることを証明した。これによって古代ギリシア 数学以来の難問であった円積問題 が否定的に解かれた。また、彼は、任意の0でない代数的数 a に対する ea が超越数であることも証明した(リンデマンの定理 )。
ヒルベルト は、1900年 にパリで行われた国際数学者会議 において、ヒルベルトの23の問題 と呼ばれる23個の問題を提出したが、そのうちの 7番目の問題「a が 0 でも 1 でもない代数的数 で、b が代数的無理数であるとき、ab は超越数であるか」は、1934-1935年にゲルフォントとシュナイダーによって肯定的に解決された(ゲルフォント=シュナイダーの定理 )。
1968年 ベイカー は、ゲルフォント=シュナイダーの定理を含む、代数的数の1次形式の超越性および、1次形式の値が計算可能な下限で与えられることを証明した(ベイカーの定理 を参照)。特に後者の結果は、ディオファントス方程式 の整数解の上限を求めるための基本的な定理として重要なものである。[ 注 8]
1996年 、ネステレンコにより、長い間懸案であった、π と、eπ (ゲルフォントの定数 )の代数的独立性が証明された。
脚注 [脚注の使い方 ]
注釈 ^ 整数 k , l {\displaystyle \scriptstyle k,\ l} に対して、 α k β l = 1 {\displaystyle \scriptstyle \alpha ^{k}\beta ^{l}=1} ならば、 k = l = 0 {\displaystyle \scriptstyle k=l=0} が成り立つとき、 α , β {\displaystyle \scriptstyle \alpha ,\ \beta } は、乗法的独立であるという。 ^ Γ ( 1 2 ) = π {\displaystyle \scriptstyle \Gamma ({\tfrac {1}{2}})={\sqrt {\pi }}} であるので、 Γ ( 1 2 ) {\displaystyle \scriptstyle \Gamma ({\tfrac {1}{2}})} が超越数であることは、チュドノフスキー以前から知られていた。 ^ ただし、ここでは、テータ関数の第2変数 τ {\displaystyle \tau } を、 q = e 2 π i τ {\displaystyle q=e^{2\pi i\tau }} で変数変換した級数で考えている。 ^ しかしながら、例えば e + π , e − π のうち少なくとも一方は超越数である。これは代数的数 全体が体 をなすことから分かる。 ^ trans.deg は、超越次数 を表す。代数性・超越性 を参照。 ^ 実数の部分集合の場合は、1次元のルベーグ測度 、複素数の部分集合の場合は、2次元のルベーグ測度の意味で、測度 0 となる集合は例外とするという意味。 ^ θ ( α ) = lim sup n → ∞ w n ( α ) n {\displaystyle \scriptstyle \theta (\alpha )=\limsup \limits _{n\to \infty }{\tfrac {w_{n}(\alpha )}{n}}} を α {\displaystyle \alpha } のタイプという。 ^ この功績によりベイカーは1970年 にフィールズ賞 を受賞した。
出典
関連項目
参考文献
著書 塩川宇賢『無理数と超越数』森北出版 、東京、1999年3月。ISBN 978-4-627-06091-3。https://www.morikita.co.jp/books/book/363 。 西岡久美子 『超越数とはなにか 代数方程式の解にならない数たちの話』講談社 〈ブルーバックス B-1911〉、2015年4月20日。ISBN 978-4-06-257911-7。https://bookclub.kodansha.co.jp/product?item=0000194872 。 ハヴィル, ジュリアン 著、松浦俊輔 訳『無理数の話 √2の発見から超越数の謎まで』青土社 、2012年10月24日。ISBN 978-4-7917-6675-8。http://www.seidosha.co.jp/index.php?cmd=read&page=%CC%B5%CD%FD%BF%F4%A4%CE%CF%C3&word=%CC%B5%CD%FD%BF%F4%A4%CE%CF%C3 。 三井孝美『解析数論――超越数論とディオファンタス近似論――』共立出版 、東京、1977年4月。ISBN 978-4-320-01129-8。http://www.kyoritsu-pub.co.jp/bookdetail/9784320011298 。 リーベンボイム, P. 著、吾郷孝視 訳『我が数よ、我が友よ 数論への招待』共立出版、東京、2003年8月。http://www.kyoritsu-pub.co.jp/bookdetail/9784320017412 。 Baker, Alan (1975), Transcendental number theory , New York: Cambridge University Press, ISBN 0-521-20461-5 Schmidt, W.M. (1980), Diophantine Approximations , Lecture Notes in Math. 785, New York: Springer-Verlag, ISBN 978-3-540-09762-4, http://www.springer.com/en/book/9783540097624 Schmidt, W.M. (1991), Diophantine approximations and diophantine equations , Lecture Notes in Math. 1467, New York: Springer-Verlag, ISBN 978-3-540-54058-8, http://www.springer.com/en/book/9783540540588 Nishioka, Kumiko (1996), Mahler Functions and Transcendence , Lecture Notes in Math. 1631, New York: Springer-Verlag, ISBN 978-3-540-61472-2, http://www.springer.com/en/book/9783540614722
論文 塩川宇賢 (8 2008). “フィボナッチ数と超越数”. 数理科学 46 (第8号 (通号 542)): 46-51. D. Duverney, Ke. Nishioka, Ku. Nishioka and I. Shiokawa (1997), “Transcendence of Rogers-Ramanujan continued fraction and reciprocal sums of Fibonacci numbers”, Proc. Japan Acad. (73A): 140-142 Nesterenko, Yu. V. (1996-09-09), “Modular functions and transcendence questions” (PDF), Sbornik: Mathematics (IOP Publishing) 187 (9): 1319-1348, http://iopscience.iop.org/1064-5616/187/9/A04 Tanaka, K. (2002), “Transcendence of the values of certain series with Hadamard's gaps”, Arch. Math. (78): 202-209
外部リンク ウィキソースにÜber die Transzendenz der Zahlen e und π. の原文があります。
Weisstein, Eric W. "Transcendental Number". mathworld.wolfram.com (英語). Weisstein, Eric W. "Liouville Number". mathworld.wolfram.com (英語). Weisstein, Eric W. "Liouville's Constant". mathworld.wolfram.com (英語). eもπも超越数 若林誠一郎 (PDF ) πの超越性 大浦拓哉 (PDF ) 超越数について (数研通信 83号 2015年9月) (PDF ) - リウヴィル数 の超越性の証明、超越数は非加算無限個存在することの証明など eが超越数であることの証明 (PDF ) - MATHEMATICS.PDF (英語) リウヴィル数が超越数であることの証明 『超越数』 - コトバンク 『{{{2}}}』 - 高校数学の美しい物語 典拠管理データベース: 国立図書館 フランス BnF data イスラエル アメリカ 日本 チェコ