無理数

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年6月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Irrational number|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

無理数（むりすう、 英: irrational number）とは、有理数ではない実数、つまり整数の比（英: ratio）（分数）で表すことのできない実数のことである。有理数の集合は可算であるが実数の集合は非可算であるから、無理数の集合は非可算である。つまり、ほとんど全ての実数は無理数である。

無理数という語は、何かが「無理である数」という意味に受け取れるため、語義的に「無比数」と訳すべきだったという意見もある^[1][2][3]（有理数#用語の由来も参照）。

以下の実数は無理数である。

• 平方数ではない自然数の平方根（ ${\displaystyle {\sqrt {2}}}$、${\displaystyle {\sqrt {3}}}$など）
• 整数 N の m 乗根 ${\displaystyle {\sqrt[{m}]{N}}}$（ただし、m は 1 より大きい整数、N は m 乗数でない整数）
• 対数 log_m n（ただし、m, n は 1 より大きい整数で、m = N^a, n = N^b を満たす整数 N, a, b が存在しない）
  • log₂ 3 や log₂ 5
• 非零の有理数 x に対する三角関数の値^[4] cos x, sin x, tan x, csc x, sec x, ctn x
• 円周率 π
• ネイピア数 e
• ゲルフォントの定数 e^π
• アペリーの定数 ζ(3)
• 小数部分が循環しない無限小数で表される数。例えば十進法における
  • チャンパーノウン定数 0.123456789101112…（小数部分に自然数を順に並べた小数）
  • コープランド-エルデシュ定数 0.2357111317192329…（小数部分に素数を順に並べた小数）

任意の ε > 0 に対して不等式

${\displaystyle 0<\left|\alpha -{\frac {p}{q}}\right|<{\frac {\varepsilon }{q}}}$

が有理数解 p/q を持つとき、α は無理数である。これは α が無理数であるための必要十分条件でもある。無理数性の証明にはたいていこのことを利用している。

無理数を十進小数で展開したものは、循環しない無限小数（非循環小数）になる。これは記数法の底によらず一般の N 進小数展開でも成り立つ。

α が無理数であれば、

${\displaystyle \left|\alpha -{\frac {p}{q}}\right|<{\frac {1}{q^{2}}}}$

を満たす無限に多くの有理数 p/q が存在する（ディリクレの定理）。このような、有理数による無理数の近似を扱う理論はディオファントス近似と呼ばれる数論の分野に属する。

無理数全体の空間を完備とするような距離が存在する。またA-演算が自然に応用できる例でもあり、この空間は点集合論的トポロジーでは重要な対象である。

無理数のうち、代数的数であるものを代数的無理数、そうでないものを超越数という。

α が代数的数、κ > 2 ならば、

${\displaystyle \left|\alpha -{\frac {p}{q}}\right|<{\frac {1}{q^{\kappa }}}}$

を満たす有理数 p/q は有限個しかない（トゥエ－ジーゲル－ロスの定理）^[5]。このことは不定方程式の解の有限性を示すときに使われる。

2の平方根は代数的無理数であり、log₂ 3, e, π, e^π といった数は超越数である。ζ(3) が超越数であるか否かは未だに解決されていない。

数 α に対して

${\displaystyle \left|\alpha -{\frac {p}{q}}\right|<{\frac {1}{q^{\kappa }}}}$

を満たす有理数 p/q は有限個しかない、という性質を満たす κ の下限を α の無理数度 (英: irrationality measure) という。

有理数の無理数度は 1, ディリクレの定理およびロスの定理より代数的無理数の無理数度は 2, リウヴィル数の無理数度は ∞ である。ディリクレの定理より無理数の無理数度は全て 2 以上である。e の無理数度は 2 であることが知られている。また、πの無理数度の上限は7.103程度であることがわかっている^[6]。

ルベーグ測度に関してほとんど全ての数の無理数度は 2 である。

無理数の発見は古代ギリシア文明にまで遡る。一説では、無理数の発見者は古代ギリシャの大数学者、ピタゴラスの弟子であったヒッパソスという人物であった。ヒッパソスは正方形の研究をしているうち、その辺と対角線の長さの比は整数でも分数でも表せない未知の数、すなわち無理数であることを発見したという。

彼の師匠のピタゴラスは、宇宙の万物は数から成り立つこと、そして宇宙を構成する数は、調和した比を保っていると信じていた。ピタゴラスと教団は教義の反証である無理数が存在する事実に動揺し、不都合な事実を隠すため、発見者のヒッパソスを縛りあげ、船から海に突き落として殺害したという伝承が残っている。

ただし、ピタゴラスと無理数にまつわる以上の伝承が史実であるかどうかは疑わしい。この伝承のもととなっている記述が見られるもっとも古い文献はイアンブリコスの著作（『ピュタゴラス的な人生について』など）であるが、そもそもイアンブリコスは伝承が描く時代から6世紀以上後の時代の人である^[7]。さらに、この文献の記述は、ヒッパソスが創始したマテーマティコイというピタゴラス派の分派と対立する分派アクゥスマティコイが、無理数について述べたかもしれないヒッパソスが偶然にも海で溺死したという出来事を使って「不敬の故に神罰が下った」とする伝説を創作した、と解釈することが合理的であるとも考えられている^[8]。伝承のもととなっている他の記述は、パッポス『原論』第10巻注釈や『原論』第10巻古注1における記述であるが、どちらもイアンブリコスの著作よりも後の時代のものである^[9]。

プラトンが現れると、彼の著書『テアイテトス』の中で平方数でない数の平方根は有理数ではないことを論じ、さらに同じ論法が立方根についても適用できると述べている。これらの数学的な蓄積を受けて、エウクレイデスは『原論』の中で統一した形で実数論を展開している。

円周が円の直径の3倍より少し大きいことは古くから知られていた。古代インドやギリシアの数学者たちの間では半径 r の円の面積が円周率 π を使って πr² であることも知られ、アルキメデスは半径 r の球の体積が 4/3πr³ であることや、この球の表面積が 4πr² （その球の大円の面積の4倍）であることを示していた。円周率 π が無理数であることはすでにアリストテレスによって予想されていたが、実際に証明されたのはそれよりはるかに後の時代のことである（ヨハン・ハインリヒ・ランベルト）。

自然対数の底であるネイピア数 e は、1618年にジョン・ネイピアが発表した対数の研究の付録の表にその端緒があるが、定性的に研究したのはレオンハルト・オイラーである。

1872年にリヒャルト・デデキントは『連続性と無理数』を出版し、デデキント切断を用いて無理数を定義した。

リーマンゼータ関数の特殊値 ζ(3) は、アペリーによって1979年に無理数であることが証明された（アペリーの定数）。π + e^π は、ネステレンコ（英語版）によって無理数であることが証明された。

オイラーの定数（オイラー・マスケローニ定数）γ、π+e、eπ、その他 P (e, π) の形であらわされる数（ここで P (x, y) は、x, y 双方について次数が 1 以上の多項式を表す）はいずれも、有理数であるか無理数であるか知られていない。

また、e^e、π^e、π^π、といった数もやはり、有理数であるか無理数であるか知られていない。ただし、上記 #無理数の例 に挙げたとおり、e^π は無理数であることが既に知られている。

• 塩川宇賢：『無理数と超越数』森北出版、ISBN 978-4-627-06091-3、（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), pp.196-203.
• ジュリアン・ハヴィル、松浦俊輔（訳）：「無理数の話 √2の発見から超越数の謎まで」青土社、ISBN 978-4-79176675-8、(2012年10月24日)。
• 西岡久美子：「超越数とはなにか 代数方程式の解にならない数たちの話」講談社（ブルーバックス）ISBN 978-4-06-257911-7（2015年4月21日)。
• Ivan Niven (1956). Irrational Numbers. The Mathematical Association of America. ISBN 0-88385-038-9 
• 斎藤憲『ユークリッド『原論』の成立 古代の伝承と現代の神話』東京大学出版会、1997年。ISBN 978-4-13-061301-9。 

• 高木貞治：『新式算術講義』、1904年、「第九章 無理數」。

• 有理数、循環小数
• 平方根、立方根
• 超越数
• 円周率の無理性の証明
• ネイピア数の無理性の証明
• アペリーの定理
• 近似値

ウィキメディア・コモンズには、無理数に関連するカテゴリがあります。

• ウィキソースには、新式算術講義/第九章の原文があります。
• ウィクショナリーには、無理数の項目があります。
• Weisstein, Eric W. “Irrational Number”. mathworld.wolfram.com (英語).

表 話 編 歴 数の体系
可算な体系	自然数 (${\displaystyle \mathbb {N} }$) 整数 (${\displaystyle \mathbb {Z} }$) 有理数 (${\displaystyle \mathbb {Q} }$) 作図可能数 代数的数 (${\displaystyle \mathbb {A} }$) 周期 計算可能数 定義可能実数 算術数（英語版） ガウス整数 (${\displaystyle \mathbb {Z} [i]}$) アイゼンシュタイン整数 (${\displaystyle \mathbb {Z} [\omega ]}$)
合成代数	通常型 実数 (${\displaystyle \mathbb {R} }$) 複素数 (${\displaystyle \mathbb {C} }$) 四元数 (${\displaystyle \mathbb {H} }$) 八元数 (${\displaystyle \mathbb {O} }$) 分解型 /${\displaystyle \mathbb {R} }$ 分解型複素数 分解型四元数（英語版） 分解型八元数 /${\displaystyle \mathbb {C} }$ 双複素数 双四元数（英語版） 双八元数
その他の多元数	二重数 二重四元数（英語版） 双曲四元数（英語版） 十六元数 (${\displaystyle \mathbb {S} }$) 分解型双四元数（英語版） 多重複素数
その他	基数 無理数 ファジー数（英語版） 超実数 レヴィ＝チヴィタ体 超現実数 超越数 順序数 p-進数 (${\displaystyle \mathbb {Q} _{p}}$) シュタイニッツ数 準超実数
一覧 カテゴリ:数