リウヴィル数のソースを表示

{{Expand English|Liouville number|date=2024年5月}}
'''リウヴィル数'''（リウヴィルすう、Liouville number）とは、以下の定義を満たす[[実数]] {{mvar|&alpha;}} のことである：任意の正[[整数]] {{mvar|n}} に対して、
:<math>0<\left|\alpha-\frac{p}{q}\right|<\frac{1}{q^n}</math>
を満たす[[有理数]] {{math2|{{sfrac|''p''|''q''}} (''q'' > 1)}} が少なくとも一つ存在する。

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

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

有理数 {{mvar|α}} が {{math2|0 < {{abs|''α''}} < 1}} を満たし、[[整数]]からなる単調増加列 {{math|{''a{{sub|k}}''}{{sub|''k'' ≥ 1}}}} が {{math2|''a''{{sub|''k''+1}}/''a{{sub|k}}'' → ∞ (''k'' → ∞)}} を満たすとき、
:<math>\sum_{k=1}^\infty\alpha^{a_k}</math>
はリウヴィル数である。

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

==リウヴィル数と測度==
[[測度論]]の観点から、リウヴィル数全体 <math>L</math> は小さいと言える。正確には[[ルベーグ測度]] <math>\lambda(L)</math> が0である。次の証明にあるアイデアは [[John C. Oxtoby]]<ref name="oxtoby">{{Cite book | last = Oxtoby | first = John C. | year = 1980 | title = Measure and Category | series = Graduate Texts in Mathematics | volume = 2 | edition = Second | publisher = Springer-Verlag | isbn = 0-387-90508-1 | location = New York-Berlin | mr=0584443 | doi=10.1007/978-1-4684-9339-9}}</ref>{{Rp|8}} による。

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

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

とすると

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

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

:<math>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).</math>

である。

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

と <math>n>2</math> であることから、

: <math>
\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}
</math>

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

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

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

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

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

==リウヴィル数全体の集合の構造==
各正の整数{{mvar|n}}に対して、

:<math>~ U_n  = \bigcup\limits_{q=2}^\infty ~ \bigcup\limits_{p=-\infty}^\infty  ~ \left\{ x \in \mathbb R : 0 <  \left |x- \frac{p}{\,q\,} \right |< \frac{1}{\;q^n\,}\right\} = \bigcup\limits_{q=2}^\infty ~ \bigcup\limits_{p=-\infty}^\infty ~ \left(\frac{p}{q}-\frac{1}{q^n}~,~\frac{p}{\,q\,} + \frac{1}{\;q^n\,}\right) \setminus \left\{\frac{p}{\,q\,}\right\} ~</math>

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

:<math>~ 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) ~.</math>

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

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

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

:<math>0 < \left|x - \frac{\,p\,}{q}\right| < \frac{1}{\;q^n\,}~</math>

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

{{mvar|p}} と {{mvar|q}} を任意の整数で <math>~q > 1~</math> であるものとすると、

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

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

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

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

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

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

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

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

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

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

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

== リウヴィル数の超越性 ==
与えられた数がリウヴィル数であることを証明することは、与えられた数が超越数であることを証明するのに便利なツールである。しかしながら、全ての超越数がリウヴィル数というわけではない。
いかなるリウヴィル数もその[[連分数]]展開の項は非有界である。数え上げの議論を使えば、リウヴィル数でない超越数は不可算無限に存在するはずであることを示すことができる。[[ネイピア数|''e'']] の明示的な連続分数展開を使うと、''e'' がリウヴィル数でない超越数の例であることを示すことができる。
[[Kurt Mahler|Mahler]] は1953年に [[円周率|{{pi}}]] が別のそのような例であることを証明した。<ref>Kurt Mahler, "On the approximation of π", ''Nederl. Akad. Wetensch. Proc. Ser. A.'', t.&nbsp;56 (1953), p.&nbsp;342–366.</ref>

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

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

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

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

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

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

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

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

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

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

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

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

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

: <math>\left|x-\frac ab\right|<\frac1{b^m}=\frac1{b^{r+n}}=\frac1{b^rb^n} \le \frac1{2^r}\frac1{b^n} \le \frac A{b^n} </math>

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

== 脚注 ==
{{reflist}}

== 関連項目 ==
* [[超越数]]

== 参考文献 ==
* {{Cite book|和書|author=鹿野健|year=1978|title=解析数論|publisher=[[教育出版]]|location=東京}}
* {{Cite book|和書|last=リーベンボイム|first=P.|translator=吾郷孝視|year=2003|title=我が数よ、我が友よ 数論への招待|publisher=[[共立出版]]|location=東京}}

== 外部リンク ==
* {{高校数学の美しい物語|1338|リウヴィル数の具体例と性質}}

{{DEFAULTSORT:りうういるすう}}
[[Category:数論]]
[[Category:超越数]]
[[Category:無理数]]
[[Category:ディオファントス近似]]
[[Category:ジョゼフ・リウヴィル]]
[[Category:数学のエポニム]]
[[Category:数学に関する記事]]