超越数

超越数（ちょうえつすう、英: 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 は二次方程式 x2 − 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 }} 。（リンデマン） 乗法的独立 である、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)） ベータ関数 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 )} 。（ネステレンコ） (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 の大抵の和、積、べき乗は、有理数であるのか無理数であるのか超越的であるのか否かは証明されていない。一方で、 π + e π , π e π , e π n {\displaystyle \pi +e^{\pi },\pi e^{\pi },e^{\pi {\sqrt {n}}}} （n は正の整数） は、超越的であると証明されている。 ∑ 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} 。 注意： α 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 数からなる集合は、代数的数全体の集合に等しい。 ほとんど全て の複素数は、S 数である。 さらに、ほとんど全ての実数は、タイプ 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 )} は、超越測度の１つであり、その定義から、最良の評価を与えるものである。 リウヴィルは、1844年に超越数の最初の例を与えた（リウヴィル数）。さらに1873年にシャルル・エルミートによって、自然対数の底 e が超越数であることが証明された。 カントールは1874年に、実数全体の集合が非可算集合である一方で代数的数全体の集合が可算集合であることを示すことにより、ほとんどの実数や複素数は超越数であることを示した。 その後、リンデマンは、1882年に円周率 π が超越数であることを証明した。これによって古代ギリシア数学以来の難問であった円積問題が否定的に解かれた。また、彼は、任意の0でない代数的数 a に対する ea が超越数であることも証明した（リンデマンの定理）。 ヒルベルトは、1900年にパリで行われた国際数学者会議において、ヒルベルトの23の問題と呼ばれる23個の問題を提出したが、そのうちの 7番目の問題「a が 0 でも 1 でもない代数的数で、b が代数的無理数であるとき、ab は超越数であるか」は、1934-1935年にゲルフォントとシュナイダーによって肯定的に解決された（ゲルフォント＝シュナイダーの定理）。 1968年ベイカーは、ゲルフォント＝シュナイダーの定理を含む、代数的数の1次形式の超越性および、1次形式の値が計算可能な下限で与えられることを証明した（ベイカーの定理を参照）。特に後者の結果は、ディオファントス方程式の整数解の上限を求めるための基本的な定理として重要なものである。 1996年、ネステレンコにより、長い間懸案であった、π と、eπ（ゲルフォントの定数）の代数的独立性が証明された。