無理数
無理数（むりすう、 テンプレート:Lang-en-short）とは、有理数ではない実数、つまり分子・分母ともに整数である分数（比 = テンプレート:Lang-en-short）として表すことのできない実数を指す。実数は非可算個で有理数は可算個であるから、ほとんど全ての実数は無理数である。
無理数という語は、「何かが無理である数」という意味に誤解されやすいため、語義的に「無比数」と訳すべきだったという意見もある[1][2][3]。
無理数の例・判定法
2の平方根は無理数である。一般に m が 1 より大きい整数ならば、整数 N の m 乗根はそれが整数でなければ無理数である。また、logm n（m, n は整数, m > 0, m ≠ 1, n > 0） の形の数が有理数であるならば、m = Na, n = Nb を満たす整数 N, a, b が存在する。したがって log2 3, log2 5 のような数は無理数である。
ネイピア数 e や円周率 テンプレート:Π、また ゲルフォントの定数 eテンプレート:Π や ζ(3) のような数も無理数であることが知られている。詳しくは後述する歴史の項を参照。
小数部分が循環しない無限小数で表される数は常に無理数である。よって、正の整数を小さいほうから順番に並べた小数であるチャンパーノウン定数
- 0.123456789101112…
素数を小さいほうから順に並べた小数であるコープランド-エルデシュ定数
- 0.2357111317192329…
（共に基数が 10 のとき）なども無理数である。
任意の ε > 0 に対して不等式
- <math>0<\left| \alpha -\frac{p}{q} \right| <\frac{\varepsilon}{q}</math>
が有理数解 テンプレート:Sfrac を持つとき、α は無理数である。多くの無理数性の証明はこれを用いている。これは α が無理数であるための必要条件でもある。
性質
無理数を十進小数で表記すると、繰り返しのない無限小数になる。これは位取りの基数によらず一般の N 進小数にも当てはまる。
α を無理数とすると、
- <math>\left| \alpha -\frac{p}{q} \right| <\frac{1}{q^2}</math>
を満たす無限に多くの有理数 テンプレート:Sfrac が存在する（ディリクレの定理）。なお、このように無理数の有理数による近似を扱う理論はディオファントス近似と呼ばれる数論の分野に属する。
無理数全体の空間を完備とするような距離が存在する。またA-演算が自然に応用できる例でもあり、此の空間は点集合論的トポロジーでは重要な対象である。
代数的無理数と超越数
無理数のうち、代数的数であるものを代数的無理数、そうでないものを超越数という。
α が代数的数、κ > 2 ならば、
- <math>\left| \alpha -\frac{p}{q} \right| <\frac{1}{q^{\kappa}}</math>
を満たす有理数 テンプレート:Sfrac は有限個しかない（トゥエ－ジーゲル－ロスの定理）。このことは不定方程式の解の有限性を示すときに使われる。
2の平方根は代数的無理数であり、log2 3, e, テンプレート:Π, eテンプレート:Π といった数は超越数である。ζ(3) が超越数であるか否かは未だに解決されていない。 テンプレート:Main
無理数度
数 α に対して
- <math>\left| \alpha -\frac{p}{q} \right| <\frac{1}{q^{\kappa}}</math>
を満たす有理数 テンプレート:Sfrac は有限個しかない、という性質を満たす κ の下限を α の無理数度 (テンプレート:Lang-en-short) という。
有理数の無理数度は 1, ディリクレの定理およびロスの定理より代数的無理数の無理数度は 2, リウヴィル数の無理数度は ∞ である。ディリクレの定理より無理数の無理数度は全て 2 以上である。e の無理数度は 2 であることが知られている。
ルベーグ測度に関してほとんど全ての数の無理数度は 2 である。
歴史
無理数の発見は古代ギリシャにまでさかのぼる。ピタゴラス教団は数を長さとして現れるものに限って議論し、すべての数は有理数で表されるとし、これは教団の教義として信奉された。しかしピタゴラスの定理からも示されるように2の平方根が無理数であることも自明であったが、教義に反するため受け入れらず、このことは今日から見れば自ずから制約を課せられていたと見なせる。無理数の発見を公言したヒッパソスは、教団から追放され殺害されたとする伝説が残る。
しかしプラトンが現れると、彼の著書『テアイテトス』の中で平方数でない数の平方根が有理数でないことを論じ、さらに同じ論法が立方根にも適用できると述べている。これらの数学的な蓄積を受けて、エウクレイデスは『原論』の中で統一した形で実数論を展開している。
すでに円周の長さが3より少し大きいことも知られていた。古代インドやギリシアの数学者たちの間では半径 r の円の面積が円周率 テンプレート:Π を使って πr2 であることも知られ、アルキメデスは半径 r の球の体積が テンプレート:Sfracテンプレート:Πr3 であることや、この球の表面積が 4テンプレート:Πr2 （その球の大円の面積の4倍）であることを示していた。円周率 テンプレート:Π が無理数であることはすでにアリストテレスによって予想されていたが、実際に証明されたのはそれよりはるかに後の時代のことである（ヨハン・ハインリヒ・ランベルト）。
自然対数の底であるネイピア数 <math>e</math> は、1618年にジョン・ネイピアが発表した対数の研究の付録の表にその端緒があるが、定性的に研究したのはレオンハルト・オイラーである。
1872年にリヒャルト・デデキントは『連続性と無理数』を出版し、デデキント切断を用いて無理数を定義した。
リーマンゼータ関数の特殊値 ζ(3) は、アペリーによって1979年に無理数であることが証明された（アペリーの定数）。テンプレート:Π + eテンプレート:Π は、ネステレンコ (en:Yuri Valentinovich Nesterenko) によって無理数であることが証明された。
未解決の問題
オイラー定数 γ, テンプレート:Π + e, eテンプレート:Π, その他 P(e, テンプレート:Π)（P(X, Y) は X, Y 双方について次数が 1 以上である多項式）は有理数であるか無理数であるか知られていない。ee, テンプレート:Πe, テンプレート:Πテンプレート:Π といった数も同様である。
関連項目
参考文献
- ↑ 堀場芳数『無理数の不思議』講談社、1993年 ISBN 978-4061329782
- ↑ 吉田武『オイラーの贈物 人類の至宝eiπ=-1を学ぶ』東海大学出版会、2010年 ISBN 978-4486018636
- ↑ 吉田武『虚数の情緒 中学生からの全方位独学法』東海大学出版会、2000年 ISBN 978-4486014850
- 塩川宇賢『無理数と超越数』森北出版、1999年 ISBN 978-4627060913
- デーデキント『数について 連続性と数の本質』河野伊三郎訳、岩波書店、1961年 ISBN 4-00-339241-8
- W. M. Schmidt, "Diophantine Approximations", Lecture Notes in Math. 785, Springer-Verlag, 1980.
- W. M. Schmidt, "Diophantine approximations and diophantine equations", Lecture Notes in Math. 1467. Springer-Verlag, 1991.
- R. Apéry, "Irrationalité de ζ(2) et ζ(3)", Astérisque 61(1979), 11-13.
- A. van der Poorten, "A Proof that Euler Missed... Apéry's Proof of the Irrationality of ζ(3)", Math. Intel. 1 (1979), 196-203.
外部リンク
