無理数

無理数（むりすう、 ）とは、有理数ではない実数、つまり整数の比（）（分数）で表すことのできない実数のことである。実数は非可算個で有理数は可算個であるから、無理数は非可算個あり、ほとんど全ての実数は無理数である。
無理数という語は、何かが「無理である数」という意味に受け取れるため、語義的に「無比数」と訳すべきだったという意見もある（有理数#用語の由来も参照）。
無理数の例.
以下の実数は無理数である。
無理数判定法.
任意の に対して不等式
が有理数解 を持つとき、 は無理数である。多くの無理性の証明はこれを用いている。これは が無理数であるための必要条件でもある。
性質.
無理数を十進小数で表記すると、繰り返しのない無限小数（非循環小数）になる。これは記数法の底によらず一般の "N" 進小数でも成り立つ。
"α" を無理数とすると、
を満たす無限に多くの有理数 が存在する（ディリクレの定理）。なお、このように無理数の有理数による近似を扱う理論はディオファントス近似と呼ばれる数論の分野に属する。
無理数全体の空間を完備とするような距離が存在する。またA-演算が自然に応用できる例でもあり、この空間は点集合論的トポロジーでは重要な対象である。
代数的無理数と超越数.
無理数のうち、代数的数であるものを代数的無理数、そうでないものを超越数という。
"α" が代数的数、"κ" > 2 ならば、
を満たす有理数 は有限個しかない（トゥエ－ジーゲル－ロスの定理）。このことは不定方程式の解の有限性を示すときに使われる。
2の平方根は代数的無理数であり、log 3, "e", , "e" といった数は超越数である。"ζ"(3) が超越数であるか否かは未だに解決されていない。
無理数度.
数 "α" に対して
を満たす有理数 は有限個しかない、という性質を満たす "κ" の下限を "α" の無理数度 () という。
有理数の無理数度は 1, ディリクレの定理およびロスの定理より代数的無理数の無理数度は 2, リウヴィル数の無理数度は ∞ である。ディリクレの定理より無理数の無理数度は全て 2 以上である。"e" の無理数度は 2 であることが知られている。また、の無理数度の上限は7.103程度であることがわかっている。
ルベーグ測度に関してほとんど全ての数の無理数度は 2 である。
歴史.
無理数の発見は古代ギリシャにまでさかのぼる。ピタゴラス教団は数を長さとして現れるものに限って議論し、すべての数は有理数で表されるとし、これは教団の教義として信奉された。しかし、ピタゴラスの定理からも示されるように2の平方根が無理数であることも自明であったが、教義に反するため受け入れられず、このことは今日から見れば自ずから制約を課せられていたと見なせる。無理数の発見を公言したヒッパソスは、教団から追放され殺害されたとする伝説が残る。
しかし、プラトンが現れると、彼の著書『テアイテトス』の中で平方数でない数の平方根が有理数でないことを論じ、さらに同じ論法が立方根にも適用できると述べている。これらの数学的な蓄積を受けて、エウクレイデスは『原論』の中で統一した形で実数論を展開している。
円周が円の直径の3倍より少し大きいことは古来知られていた。古代インドやギリシアの数学者たちの間では半径 "r" の円の面積が円周率 を使って "r" であることも知られ、アルキメデスは半径 "r" の球の体積が "r" であることや、この球の表面積が 4"r" （その球の大円の面積の4倍）であることを示していた。円周率 が無理数であることはすでにアリストテレスによって予想されていたが、実際に証明されたのはそれよりはるかに後の時代のことである（ヨハン・ハインリヒ・ランベルト）。
自然対数の底であるネイピア数 "e" は、1618年にジョン・ネイピアが発表した対数の研究の付録の表にその端緒があるが、定性的に研究したのはレオンハルト・オイラーである。
1872年にリヒャルト・デデキントは『連続性と無理数』を出版し、デデキント切断を用いて無理数を定義した。
リーマンゼータ関数の特殊値 "ζ"(3) は、アペリーによって1979年に無理数であることが証明された（アペリーの定数）。 + "e" は、によって無理数であることが証明された。
未解決の問題.
オイラー定数 "γ", + "e", "e", その他 "P"("e", )（"P"("X", "Y") は "X", "Y" 双方について次数が 1 以上である多項式）は有理数であるか無理数であるか知られていない。"e", , といった数も同様である。