リンデマン・ワイエルシュトラスの定理

超越数論

948

はじめに

　この記事では超越数論におけるリンデマン・ワイエルシュトラスの定理について解説していきます。

リンデマン・ワイエルシュトラスの定理

　互いに異なる代数的数 $α_{1}, α_{2}, \dots, α_{n}$ に対し $e^{α_{1}}, e^{α_{2}}, \dots, e^{α_{n}}$ は $\overset{―}{Q}$ 上線形独立となる。

　この定理において選ぶ代数的数のひとつを $α_{0} = 0$ とすると $0$ でない任意の代数的数 $c_{0}, c_{1}, c_{2}, \dots, c_{n}$ に対して
$c_{1} e^{α_{1}} + c_{2} e^{α_{2}} + \dots + c_{n} e^{α_{n}} \neq c_{0} e^{0} = c_{0}$
つまり
$c_{1} e^{α_{1}} + c_{2} e^{α_{2}} + \dots + c_{n} e^{α_{n}} \notin \overset{―}{Q}$
が言えるのでこの定理から無数に超越数を得ることができます。
　ちなみにリンデマン・ワイエルシュトラスの定理は言わば指数関数に対する超越性についての定理となりますが、その対数関数版としてベイカーの定理というものがあります(証明はせきゅーんさんの記事などを参照されたい)。

ベイカーの定理

$0$ でない代数的数 $α_{1}, α_{2}, \dots, α_{n}$ に対し $\log α_{1}, \log α_{2}, \dots, \log α_{n}$ が $Q$ 上線形独立であれば $1, \log α_{1}, \log α_{2}, \dots, \log α_{n}$ は $\overset{―}{Q}$ 上線形独立である。

　リンデマン・ワイエルシュトラスの定理では
$c_{1} e^{α_{1}} + c_{2} e^{α_{2}} + \dots + c_{n} e^{α_{n}}$
という形の超越数が作れるのに対し、ベイカーの定理では
$α_{1}^{c_{1}} α_{2}^{c_{2}} \dots α_{n}^{c_{n}}$
という形の超越数が作れるので個人的に前者は和についての、後者は積についての定理というイメージが強いです。

パート1

　まず初めに所望の性質より弱い以下の主張を示す。

それぞれ異なる最小多項式を持つ代数的数 $γ_{k} (k = 1, 2, \dots, r)$ について、それぞれの共役元全体を $γ_{k, j} (1 \leq k \leq r, 1 \leq j \leq m_{k})$ とおくと
$\sum_{j = 1}^{m_{k}} e^{γ_{k, j}} (k = 1, 2, \dots, r)$
は $Q$ 上線形独立となる。

　ある $0$ でない整数 $c_{k} (k = 1, 2, \dots, r)$ に対し $\sum_{k = 1}^{r} c_{k} \sum_{j = 1}^{m_{k}} e^{γ_{k, j}} = 0$
が成り立つと仮定して矛盾を導く。
　以下簡単のため $γ_{k, j}$ にそれぞれ番号を付け $α_{i} (i = 1, 2, \dots, n, n = \sum_{k = 1}^{r} m_{k})$ とし、対応する $c_{k}$ を $β_{i}$ とおく。このとき仮定は
$\sum_{k = 1}^{n} β_{k} e^{α_{k}} = 0$
と表せる。
　また $l$ を $l α_{k} (k = 1, 2, \dots, r)$ が全て代数的整数となるような正整数、 $p$ を任意の素数とし
$\begin{aligned} f_{i} (x) & = \frac{l^{n p - 1}}{(p - 1)! (x - α_{i})} {(\prod_{k = 1}^{n} (x - α_{k}))}^{p} \\ I_{i} (s) & = \int_{0}^{s} e^{s - x} f_{i} (x) d x \\ J_{i} & = \sum_{k = 1}^{n} β_{k} I_{i} (α_{k}) \\ J & = \prod_{i = 1}^{n} J_{i} \end{aligned}$
とおく。

　 $J$ は整数となる。

　 $f_{i}$ の次数は $n p - 1$ 、つまり $f_{i}^{(n p)} (x) = 0$ が成り立つことに注意すると
$I_{i} (s) = {[- e^{s - x} \sum_{j = 0}^{n p - 1} f_{i}^{(j)} (x)]}_{0}^{s} = - \sum_{j = 0}^{n p - 1} f_{i}^{(j)} (s) + e^{s} \sum_{j = 0}^{n p - 1} f_{i}^{(j)} (0)$
と求まるので仮定より
$\begin{aligned} J_{i} & = - \sum_{k = 1}^{n} \sum_{j = 0}^{n p - 1} β_{k} f_{i}^{(j)} (α_{k}) + (\sum_{k = 1}^{n} β_{k} e^{α_{k}}) (\sum_{j = 0}^{n p - 1} f_{i}^{(j)} (0)) \\ = - \sum_{k = 1}^{n} \sum_{j = 0}^{n p - 1} β_{k} f_{i}^{(j)} (α_{k}) \end{aligned}$
となる。ここで
$f_{i} (x) = \frac{1}{(p - 1)! (l x - l α_{i})} {(\prod_{k = 1}^{n} (l x - l α_{k}))}^{p}$
および $j < p$ において
$f_{i}^{(j)} (α_{k}) = {\begin{cases} {(\prod_{m \neq i} (l α_{i} - l α_{m}))}^{p} & j = p - 1 and i = k \\ 0 & otherwise . \end{cases}$
であることに注意すると $J$ は代数的整数 $l α_{k} (k = 1, 2, \dots, n)$ についての整数係数の対称式となることがわかるので $α_{k}$ の取り方から $J$ は整数となる。

　十分大きい任意の $p$ に対して $J \neq 0$ が成り立つ。

　 $j \geq p$ において $f_{i}^{(j)} (α_{k}) \in p \overset{―}{Z}$ となることおよび
$J_{i} = - f_{i}^{(p - 1)} (α_{i}) - \sum_{k = 1}^{n} \sum_{j = p}^{n p - 1} β_{k} f_{i}^{(j)} (α_{k})$
に注意して
$G = (- 1)^{n} \prod_{i = 1}^{n} f_{i}^{(p - 1)} (α_{i})$
とおくと $J = G + p H$ なる代数的整数 $H$ が存在することがわかる。
　また対称性より $G$ は整数なので $H$ も有理数、特に整数となる。ここで $p$ を十分大きくとって
$| \prod_{i = 1}^{n} \prod_{m \neq i} (l α_{i} - l α_{m}) | < p$
とすると $\prod_{i = 1}^{n} \prod_{m \neq i} (l α_{i} - l α_{m})$ も整数であることから
$G = (- 1)^{n} {(\prod_{i = 1}^{n} \prod_{m \neq i} (l α_{i} - l α_{m}))}^{p} ≢ 0 (\mod p)$
つまり $J \equiv G ≢ 0 (\mod p)$ 特に $J \neq 0$ を得る。

命題3の証明

　いま $A = max_{k} | α_{k} |, B = max_{k} | β_{k} |$ とおくと
$\begin{aligned} | I_{i} (α_{k}) | & = | \int_{0}^{α_{k}} e^{α_{k} - x} f_{i} (x) d x | \\ \leq | α_{k} | e^{| α_{k} |} \frac{l^{n p - 1}}{(p - 1)! (| α_{k} | + | α_{i} |)} {(\prod_{j = 1}^{n} (| α_{k} | + | α_{j} |))}^{p} \\ \leq \frac{A e^{A} (2 A l)^{n p - 1}}{(p - 1)!} \end{aligned}$
と評価できるので
$| J | = | \prod_{i = 1}^{n} \sum_{k = 1}^{n} β_{k} I_{i} (α_{k}) | \leq {(\frac{n A B e^{A} (2 A l)^{n p - 1}}{(p - 1)!})}^{n}$
となる。この右辺は $p \to \infty$ において $0$ に収束するので $p$ を十分大きくとると $| J | < 1$ とできる。しかし補題4,5により $| J |$ は $0$ より大きい自然数、特に $1$ 以上であることに矛盾。よって主張を得る。

パート2

　次に命題3を用いてより強い以下の主張を示す。

　互いに異なる代数的数 $α_{1}, α_{2}, \dots, α_{n}$ に対し $e^{α_{1}}, e^{α_{2}}, \dots, e^{α_{n}}$ は $Q$ 上線形独立となる。

　今回もある $0$ でない整数 $c_{1}, c_{2}, \dots, c_{n}$ に対し
$\sum_{k = 1}^{n} c_{k} e^{α_{k}} = 0$
が成り立つと仮定して矛盾を導く。
　まず $α_{k}$ の共役元全体を $α_{k, j} (j = 1, 2, \dots, m_{k})$ とおき、それらに番号を付けることで改めて $α_{k} (k = 1, 2, \dots, N, N = \sum_{k = 1}^{n} m_{k})$ とする。このとき仮定から
$\prod_{σ} (\sum_{k = 1}^{n} c_{k} e^{α_{σ (k)}}) = 0$
が成り立つ。ただし $σ$ は ${1, 2, \dots, N}$ 上の置換全体を渡る。

　いま仮定の左辺
$\prod_{σ} (\sum_{k = 1}^{n} c_{k} e^{α_{σ (k)}})$
を展開したときの $e^{\sum_{k = 1}^{N} h_{k} α_{k}}$ ( $h_{k}$ は非負整数)の係数と任意の置換 $σ$ に対する $e^{\sum_{k = 1}^{N} h_{σ (k)} α_{k}}$ の係数は等しく、また
$f (x) = \prod_{σ} (x - \sum_{k = 1}^{N} h_{σ (k)} α_{k})$
とおくと対称性より $f (x)$ は有理数係数となるので $\sum_{k = 1}^{N} h_{k} α_{k}$ の共役元は $\sum_{k = 1}^{N} h_{σ (k)} α_{k}$ の形で尽くされることになり、係数が等しい項をまとめることで
$\prod_{σ} (\sum_{k = 1}^{n} c_{k} e^{α_{σ (k)}}) = \sum_{k = 1}^{r} C_{k} \sum_{j = 1}^{m_{k}^{'}} e^{γ_{k, j}}$
とおくと仮定よりこれは $0$ に等しいので命題3から $C_{1} = C_{2} = \dots = C_{r} = 0$ でなければならない。
　しかし各 $σ$ に対して $α_{σ (k)} (k = 1, 2, \dots, n)$ のうち実部が最大のものの中で虚部が最大のものを $α_{k_{σ}}$ とおくと $e^{\sum_{σ} α_{k_{σ}}}$ の係数は
$\prod_{σ} c_{k_{σ}} \neq 0$
であるので矛盾。よって主張を得る。

パート3

　最後に命題6を用いてリンデマン・ワイエルシュトラスの定理を得る。

リンデマン・ワイエルシュトラスの定理(再掲)

　互いに異なる代数的数 $α_{1}, α_{2}, \dots, α_{n}$ に対し $e^{α_{1}}, e^{α_{2}}, \dots, e^{α_{n}}$ は $\overset{―}{Q}$ 上線形独立となる。

　今回もまたある $0$ でない代数的数 $c_{1}, c_{2}, \dots, c_{n}$ に対し
$\sum_{k = 1}^{n} c_{k} e^{α_{k}} = 0$
が成り立つと仮定して矛盾を導く。
　例のごとく $c_{k}$ の共役元全体を $c_{k, j} (j = 1, 2, \dots, m_{k})$ とおく。

　自然数 $k (1 \leq k \leq n)$ に対して ${1, 2, \dots, m_{k}}$ の元を写す写像全体を $S$ とし、
$P (x_{1}, x_{2}, \dots, x_{n}) = \prod_{σ \in S} (\sum_{k = 1}^{n} c_{k, σ (k)} x_{k})$
とおくと、対称性より $P$ は有理数係数多項式となる。すなわち同じ指数の項をまとめて
$P (e^{α_{1}}, e^{α_{2}}, \dots, e^{α_{n}}) = \sum_{k = 1}^{N} C_{k} e^{γ_{k}}$
とおくと $C_{k}$ は有理数となり、仮定より上式は $0$ に等しいので命題6から $C_{1} = C_{2} = \dots = C_{N} = 0$ でなければならない( $γ_{k}$ が代数的数であることは明らか)。
　しかし $α_{k} (k = 1, 2, \dots, n)$ のうち実部が最大のものの中で虚部が最大のものを $α_{K}$ とおくと $e^{| S | α_{K}}$ の係数は
${(\prod_{k = 1}^{m_{K}} c_{K, k})}^{| S | / m_{K}} \neq 0$
であるので矛盾。よって主張を得る。