無理数
無理数(むりすう、 英: irrational number)とは、有理数ではない実数、つまり分子・分母ともに整数である分数(比 = 英: ratio)として表すことのできない実数を指す。実数は非可算個で有理数は可算個であるから、ほとんど全ての実数は無理数である。
無理数という語は、「何かが無理である数」という意味に誤解されやすいため、語義的に「無比数」と訳すべきだったという意見もある[1][2][3]。
Contents
無理数の例・判定法
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\lt \left| \alpha -\frac{p}{q} \right| \lt \frac{\varepsilon}{q}[/math]
が有理数解 pq を持つとき、α は無理数である。多くの無理性の証明はこれを用いている。これは α が無理数であるための必要条件でもある。
性質
無理数を十進小数で表記すると、繰り返しのない無限小数になる。これは位取りの基数によらず一般の N 進小数にも当てはまる。
α を無理数とすると、
- [math]\left| \alpha -\frac{p}{q} \right| \lt \frac{1}{q^2}[/math]
を満たす無限に多くの有理数 pq が存在する(ディリクレの定理)。なお、このように無理数の有理数による近似を扱う理論はディオファントス近似と呼ばれる数論の分野に属する。
無理数全体の空間を完備とするような距離が存在する。またA-演算が自然に応用できる例でもあり、此の空間は点集合論的トポロジーでは重要な対象である。
代数的無理数と超越数
無理数のうち、代数的数であるものを代数的無理数、そうでないものを超越数という。
α が代数的数、κ > 2 ならば、
- [math]\left| \alpha -\frac{p}{q} \right| \lt \frac{1}{q^{\kappa}}[/math]
を満たす有理数 pq は有限個しかない(トゥエ-ジーゲル-ロスの定理)[4]。このことは不定方程式の解の有限性を示すときに使われる。
2の平方根は代数的無理数であり、log2 3, e, π, eπ といった数は超越数である。ζ(3) が超越数であるか否かは未だに解決されていない。
無理数度
数 α に対して
- [math]\left| \alpha -\frac{p}{q} \right| \lt \frac{1}{q^{\kappa}}[/math]
を満たす有理数 pq は有限個しかない、という性質を満たす κ の下限を α の無理数度 (英: irrationality measure) という。
有理数の無理数度は 1, ディリクレの定理およびロスの定理より代数的無理数の無理数度は 2, リウヴィル数の無理数度は ∞ である。ディリクレの定理より無理数の無理数度は全て 2 以上である。e の無理数度は 2 であることが知られている。
ルベーグ測度に関してほとんど全ての数の無理数度は 2 である。
歴史
無理数の発見は古代ギリシャにまでさかのぼる。ピタゴラス教団は数を長さとして現れるものに限って議論し、すべての数は有理数で表されるとし、これは教団の教義として信奉された。しかしピタゴラスの定理からも示されるように2の平方根が無理数であることも自明であったが、教義に反するため受け入れられず、このことは今日から見れば自ずから制約を課せられていたと見なせる。無理数の発見を公言したヒッパソスは、教団から追放され殺害されたとする伝説が残る。
しかしプラトンが現れると、彼の著書『テアイテトス』の中で平方数でない数の平方根が有理数でないことを論じ、さらに同じ論法が立方根にも適用できると述べている。これらの数学的な蓄積を受けて、エウクレイデスは『原論』の中で統一した形で実数論を展開している。
すでに円周の長さが3より少し大きいことも知られていた。古代インドやギリシアの数学者たちの間では半径 r の円の面積が円周率 π を使って πr2 であることも知られ、アルキメデスは半径 r の球の体積が 43πr3 であることや、この球の表面積が 4πr2 (その球の大円の面積の4倍)であることを示していた。円周率 π が無理数であることはすでにアリストテレスによって予想されていたが、実際に証明されたのはそれよりはるかに後の時代のことである(ヨハン・ハインリヒ・ランベルト)。
自然対数の底であるネイピア数 e は、1618年にジョン・ネイピアが発表した対数の研究の付録の表にその端緒があるが、定性的に研究したのはレオンハルト・オイラーである。
1872年にリヒャルト・デデキントは『連続性と無理数』を出版し、デデキント切断を用いて無理数を定義した。
リーマンゼータ関数の特殊値 ζ(3) は、アペリーによって1979年に無理数であることが証明された(アペリーの定数)。π + eπ は、ネステレンコ (en:Yuri Valentinovich Nesterenko) によって無理数であることが証明された。
未解決の問題
オイラー定数 γ, π + e, eπ, その他 P(e, π)(P(X, Y) は X, Y 双方について次数が 1 以上である多項式)は有理数であるか無理数であるか知られていない。ee, πe, ππ といった数も同様である。
脚注
参考文献
- 塩川宇賢:『無理数と超越数』森北出版、ISBN 978-4627060913、(1999年)。
- デーデキント『数について 連続性と数の本質』河野伊三郎訳、岩波書店、 ISBN 4-00-339241-8、(1961年)。
- 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.
- ジュリアン・ハヴィル, 松浦俊輔 (訳):「無理数の話 √2の発見から超越数の謎まで」、青土社、ISBN 978-4791766758、(2012年10月24日)。
- 西岡久美子:「超越数とはなにか 代数方程式の解にならない数たちの話」、講談社 (ブルーバックス)、ISBN 978-4062579117、(2015年4月21日)。
関連項目
外部リンク
- Weisstein, Eric W. “Irrational Number”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。