無理数

無理とは


無理(むりすう、英: irrational number)とは、有理として表現することができない実[[数]]のことを指します。つまり、整を比として持つことができない実[[数]]です。無理の性質や歴史的背景について考察してみましょう。

無理の例


無理にはさまざまながあり、以下はその一部です:
  • - 平方[[数]]を除く平方根、たとえば \\(\ ext{√2}\\) や \\(\ ext{√3}\\) など。
  • - 整 \(N\) の \(m\) 乗根 \\(\text{√[m]{N}}\\) (ただし、\(m\) は 1 より大きな整、\(N\) は \(m\) の冪を持たない整)。
  • - 対の値、たとえば \(\log_2 3\) や \(\log_2 5\) は無理です。
  • - 三角関の特定の値、特に \(\cos x\) や \(\sin x\)(\(x\) が無理のとき)も無理となります。
  • - 円周率 \(\pi\) とネイピア[[数]] \(e\) も著名な無理です。
  • - 他にも、循環しない無限小で表される(例えば、小部分が自然を順に並べた)があります。

無理の性質


無理十進法で表現すると、必ず非循環の無限小になります。これは他の記法でも同様です。無理の近似も興味深く、ディリクレの定理によれば、無理の周りには無限に多くの有理が存在します。さらに、無理の性質を分析するための距離測定も存在し、点集合論の観点からも重要です。

的無理と超越


無理には、代的無理と超越という2つのカテゴリーがあります。代的無理とは、有理の根として表される無理のことを指します。たとえば、\(\text{√2}\\)は代的無理ですが、\(\pi\) や \(e\) は超越です。これらの違いは、無理を分類し理解する上で重要です。

歴史


無理の発見は古代ギリシャにまでさかのぼります。特にピタゴラス学派のヒッパソスが、正方形の対角線の長さが無理であることを発見したとされます。彼の師であるピタゴラスは、の調和を信じていたため、その存在を受け入れられず、ヒッパソスは命を落とすこととなりました。

プラトンエウクレイデスも無理の特性について議論し、学の基礎を構築しました。円周率の無理性に関する知識も古代から存在し、後にアリストテレスによって予想されましたが、実証はずっと後に行われました。

未解決の問題


現在でも、オイラーの定や \(π + e\) といったが有理か無理かは解明されていません。このような問題は、無理の性質を理解する鍵となるかもしれません。

まとめ


無理学において重要な役割を果たし、その特性や歴史は多くの学者によって探求されてきました。無理の存在は、学の理論的な枠組みを深める上で欠かせない要素と言えるでしょう。

もう一度検索

【記事の利用について】

タイトルと記事文章は、記事のあるページにリンクを張っていただければ、無料で利用できます。
※画像は、利用できませんのでご注意ください。

【リンクついて】

リンクフリーです。