超越数 (ちょうえつすう、英 : 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) 超越数となる定数の例
(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つであり、その定義から、最良の評価を与えるものである。
^ 整数
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
Edward B. Burger and Robert Tubbs (2004): Making Transcendence Transparent: An intuitive approach to classical transcendental number theory , Springer, ISBN 978-1-4757-4114-8 .
塩川宇賢 (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, https://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