リウヴィル数

**リウヴィル数**（リウヴィルすう、Liouville number）とは、以下の定義を満たす実数  のことである：任意の正整数  に対して、
:0
を満たす有理数  が少なくとも一つ存在する。

リウヴィル数は"ほとんど有理数"であり、有理数の列で"非常に近く"近似できると言える。より正確にはこれらの数は、超越数であってそれが有理数で近似される精度は、いかなる代数的無理数も同様には近似されない程のものとなる。

例えば、
:l=\sum_{k=1}^\infty 10^{-k!} = 0.110001\,000000\,000000\,000001\,000000\,000000\,000000\ldots()
はリウヴィル数である。この数は特に**リウヴィルの定数**と呼ぶことがある。この数は、超越数であることが証明された初めての数である(ジョゼフ・リウヴィル、1844年)。特にこの数の場合、1が小数点以下、自然数の階乗の桁数に出現する(1!=1桁目、2!=2桁目、3!=6桁目、4!=24桁目、……)。

有理数  が  を満たし、整数からなる単調増加列  が  を満たすとき、
:\sum_{k=1}^\infty\alpha^{a_k}
はリウヴィル数である。

## 性質
* リウヴィル数は超越数である（リウヴィルの定理）。
* リウヴィル数はマーラーの分類で *U* 数に属する。
* 0 でない任意の実数は、2つのリウヴィル数の和、および積で表現することができる。
* リウヴィル数全体からなる集合は非可算集合であり、実数内で稠密であるが、1次元ルベーグ測度は 0 である。
上記の性質より、ほとんど全ての超越数はリウヴィル数ではない。リウヴィル数でないことが知られている数としては以下のようなものが挙げられる。
* ネイピア数（自然対数の底） 。
* 円周率 。
* チャンパーノウン定数 0.123456789101112… 。
* 1 でない任意の有理数 *r* に対する自然対数 log *r* 。
* 任意の整数 *d* ≥ 2 に対する \sum_{n=1}^\infty d^{-n^2} 。

## リウヴィル数と測度
測度論の観点から、リウヴィル数全体 L は小さいと言える。正確にはルベーグ測度 \lambda(L) が0である。次の証明にあるアイデアは John C. Oxtoby による。

正の整数 n>2 と q\geq2 に対して

:V_{n,q}=\bigcup\limits_{p=-\infty}^\infty \left(\frac{p}{q}-\frac{1}{q^n},\frac{p}{q}+\frac{1}{q^n}\right)

とすると

:L\subseteq \bigcup_{q=2}^\infty V_{n,q}.

である。各正の整数 m\geq1 について、

:L\cap (-m,m)\subseteq \bigcup\limits_{q=2}^\infty V_{n,q}\cap(-m,m)\subseteq \bigcup\limits_{q=2}^\infty\bigcup\limits_{p=-mq}^{mq} \left( \frac{p}{q}-\frac{1}{q^n},\frac{p}{q}+\frac{1}{q^n}\right).

である。

:  \left|\left(\frac{p}{q}+\frac{1}{q^n}\right)-\left(\frac{p}{q}-\frac{1}{q^n}\right)\right|=\frac{2}{q^n}

と n>2 であることから、

: 
\begin{align}
\mu(L\cap (-m,\, m)) & \leq\sum_{q=2}^\infty\sum_{p=-mq}^{mq}\frac{2}{q^n} = \sum_{q=2}^\infty \frac{2(2mq+1)}{q^n} \leq \sum_{q=2}^\infty \frac{4mq+q}{q^n} \\[6pt]
& \leq (4m+1)\sum_{q=2}^\infty\frac{1}{q^{n-1}} \leq (4m+1) \int^\infty_1 \frac{dq}{q^{n-1}}\leq\frac{4m+1}{n-2}.
\end{align}


この不等式は大きい全ての n について成り立つ。ここで、

:\lim_{n\to\infty}\frac{4m+1}{n-2}=0

であるので、L\cap (-m,m) のルベーグ測度は0である。これが各正の整数 m について成り立っており、その結果、L のルベーグ測度も0であることになる。

対照的に、全ての超越的実数の集合のルベーグ測度は無限である(代数的実数の全体が可算であり測度0であるため)。

また、リウヴィル数全体の集合がハウスドルフ次元0を持つ（これはルベーグ測度0を持つことよりも厳密に強い性質である）ことも示すことができる。

## リウヴィル数全体の集合の構造
各正の整数に対して、

:~ U_n  = \bigcup\limits_{q=2}^\infty ~ \bigcup\limits_{p=-\infty}^\infty  ~ \left\{ x \in \mathbb R : 0 

と集合を定める。このとき、リウヴィル数全体の集合は

:~ L ~=~ \bigcap\limits_{n=1}^\infty U_n ~=~ \bigcap\limits_{n \in \mathbb{N}_1} ~ \bigcup\limits_{ q \geqslant 2} ~ \bigcup \limits_{ p \in \mathbb{Z} }\,\left(\,\left(\,\frac{\,p\,}{q} - \frac{1}{\;q^n\,}~,~ \frac{\,p\,}{q} + \frac{1}{\;q^n\,} \,\right) \setminus \left\{\,\frac{\,p\,}{q}\,\right\} \,\right) ~.

と書ける。各 ~ U_n ~ は開集合である; そしてその閉包が全ての有理数を含んでいる (各穴 ~p / q~ の開いた区間からはその穴が閉包で得られる) ので、実数直線の稠密部分集合でもある。 は実数直線における稠密開集合の可算交叉であるので補痩であり、すなわち、*稠密な* G<sub>δ</sub> 集合である。

## リウヴィル数の無理性
ここでは、とが整数で~ d > 0 ~ とするとき、~ x = c / d ~という数がリウヴィル数を定義する不等式を満たすことができないことを証明する。つまり、**リウヴィル数は有理数にはなり得ない**ことを示す。

より具体的には、~ 2^{n - 1} > d > 0~ [等価的に ~ n > 1 + \log_2(d) ~] が成り立つ十分に大きい任意の正整数に対して、次の不等式を満たす整数の組~(\,p,\,q\,)~( q > 1 )は存在しないということを示す：

:0 

この主張が真であれば、望んでいた結論が得られる。

 と  を任意の整数で ~q > 1~ であるものとすると、

: \left| x - \frac{\,p\,}{q} \right| = \left| \frac{\,c\,}{d} - \frac{\,p\,}{q}  \right| = \frac{\,|c\,q - d\,p|\,}{ d\,q }

である。もし   \left| c\,q - d\,p \right| = 0~ であるとき

:\left| x - \frac{\,p\,}{q}\right|= \frac{\,|c\,q - d\,p|\,}{ d\,q } = 0 ~

である。このような整数の組 ~(\,p,\,q\,)~ はリウヴィル数の定義の*一つ目*の不等式を破壊していて、これは  の選び方によらない。

次に ~\left| c\,q - d\,p \right| > 0 ~ である場合を考える。c\,q - d\,p が整数なので、\left| c\,q - d\,p \right| \ge 1 ~ である。このことにより、

:\left| x - \frac{\,p\,}{q}\right|= \frac{\,| c\,q - d\,p |\,}{d\,q} \ge \frac{1}{\,d\,q\,}

である。ここで ~n > 1 + \log_2(d)~, であるような任意の整数 ~n~ について、

:\left| x - \frac{\,p\,}{q} \right| \ge \frac{1}{\,d\,q\,} > \frac{1}{\,2^{n-1}q\,} \ge \frac{1}{\;q^n\,} ~

が成り立つ。つまり、この場合はリウヴィル数の定義の*二つ目*の不等式を破壊している。

すなわち、どんな整数のペア ~(\,p,\,q\,)~ ( q > 1 ) を取ってきても、~ x = c / d ~ がリウヴィル数の条件式を満たすことはない。

すなわち、リウヴィル数は存在すればそれは有理数ではあり得ない。

## リウヴィル数の超越性
与えられた数がリウヴィル数であることを証明することは、与えられた数が超越数であることを証明するのに便利なツールである。しかしながら、全ての超越数がリウヴィル数というわけではない。
いかなるリウヴィル数もその連分数展開の項は非有界である。数え上げの議論を使えば、リウヴィル数でない超越数は不可算無限に存在するはずであることを示すことができる。''e'' の明示的な連続分数展開を使うと、*e* がリウヴィル数でない超越数の例であることを示すことができる。
Mahler は1953年に  が別のそのような例であることを証明した。

証明はまず代数的無理数の性質を確立することによって進められる。この性質は本質的に、代数的無理数は有理数でうまく近似できないというものであり、この"うまく近似できる"という条件は分母が大きくなるほど厳しくなる。リウヴィル数は無理数だがこの性質を持たないので、代数的になり得ず超越的でなければならない。次に記される補題は**(ディオファントス近似における)リウヴィルの定理**として知られている。リウヴィルの定理として知られている結果はいくつかある。

以下の証明は**リウヴィル数は代数的にはならない**ことを示す。

**補題:** \alpha が次数 n>1 の整数係数既約多項式の無理根であるとき、次のような実数 A>0 が存在する: 全ての整数 p,q (q>0) に対して、
:\left|\alpha-\frac{p}{q}\right|>\frac{A}{q^n}

**補題の証明:** f(x)=\sum_{k\,=\,0}^na_kx^k を f(\alpha)=0 である整数係数既約多項式とする。

代数学の基本定理により、f は最大でも n 個の異なる根しか持たない。
このことから、ある \delta_1>0 が存在して、0 である全ての x について f(x)\ne0 が成り立つ。

f が既約多項式なので、f'\!(\alpha)\ne0 であり f' は連続である。
そこで、最大値の定理によってある \delta_2>0 と M>0 が上手く取れて、|x-\alpha| である全ての x について 0 であるようにできる。

ここで \delta=\min\{\delta_1,\delta_2\} とおく。\delta は今述べた \delta_1,\delta_2 両方の条件を満たしている。

ここで \tfrac{p}{q}\in(\alpha-\delta,\alpha+\delta) を有理数とする。一般性を失わないで \tfrac{p}{q} であるものとして取ることができる。平均値の定理により、x_0\in\left(\tfrac{p}{q},\alpha\right) を
:f'\!(x_0)=\frac{f(\alpha)-f\bigl(\frac{p}{q}\bigr)}{\alpha-\frac{p}{q}}
であるものとして取れる。

f(\alpha)=0 かつ f\bigl(\tfrac{p}{q}\bigr)\ne0 であるので、上の式は両辺とも0でない。とくに |f'\!(x_0)|>0 であり、式を変形すると:
:\begin{align}\left|\alpha-\frac{p}{q}\right|&=\frac{\left|f(\alpha)-f\bigl(\frac{p}{q}\bigr)\right|}=\frac{\left|f\bigl(\frac{p}{q}\bigr)\right|}\\[5pt]&=\frac{1}\left|\,\sum_{k\,=\,0}^na_kp^kq^{-k}\,\right|\\[5pt]&=\frac{1}_{\ge\,1}\\&\ge\frac{1}{Mq^n}>\frac{A}{q^n}\quad:\!0

であるように A を取ることができる。この A が補題の要求しているものであることを確認しなければならない。整数 p,q (q>0) を任意に取ったとして、\tfrac{p}{q}\in(\alpha-\delta,\alpha+\delta) である場合は今まで行っていた議論でよいが、そうでない場合には
:\left|\alpha-\frac{p}{q}\right| > \delta > A \ge \frac{A}{q^n} 
が成り立っており、これでよい。

**本主張の証明:** *x* をリウヴィル数だったとする。それは無理数であるが、とくに代数的無理数だったと仮定する。このとき、今示した補題により、ある整数 *n* と正の実数 *A* が存在して、全ての *p*, *q* に対して

:   \left| x - \frac{p}{q}  \right|> \frac{A}{q^{n}} 

が成り立つ。ここで正の整数 *r* を 1/(2*r*) ≤ *A* であるものとしてとる。*m* = *r* + *n* とおいて、*x* がリウヴィル数であることから整数 *a*, *b* (*b* > 1) を次のようにとれる：

: \left|x-\frac ab\right|

これは補題に反している。したがってリウヴィル数は代数的にはなり得ない、すなわち超越的である。

## 脚注

## 関連項目
* 超越数

## 参考文献
* 
* 

## 外部リンク
*