単語記事: 実数

編集  

実数とは、数体系の1つであり、有理数無理数からなる。

簡単な概要

実数についての厳密な説明は結構難しいので、特に高校の段階では簡単な説明をされることが多く、「数直線上の数」や「有理数無理数を合わせたもの」といった簡単な説明がされる。この場合、無理数の説明としては「有理数以外の実数」というと定義が循環して不適切なので、「循環しない小数」などという説明がされる。

具体的に言えば、有理数だけでは、「2乗して2になる正の数」や「円の円周/直径の値」や「(1+1/n)nnにおける収束先」を表現できないので、これらの数も扱えるように「無理数」を導入し、「有理数無理数を合わせて実数」という説明がなされることも。

大ざっぱに言えばそのような理解で支障ない。

更に、実数は「複素数」という数体系の一部である。実数でない複素数のことを虚数といい、実数虚数単位を使って表す。詳細は虚数及び虚数単位の項を参照。

詳細

もう少し詳しく説明すると、実数を特徴づける要素は「連続性」や「備性」などと呼ばれ、この性質を持って実数が定義されることとなる。

有理数は稠密性を持ってはいるものの、この備性を持っていないので、√2円周率π自然対数の底eといった数をカバーすることができずに隙が生じてしまうことになる。連続性・備性はこのような隙を埋め合わせたものともいえる。

関数の連続性や微分積分について議論する際にも、この実数の連続性が前提となる。

連続性・備性と同値な命題はたくさんあり、以下のようなものが実数の説明として使われる。
以下、(やや説明不足かもしれないが)「有理数だけの世界実数世界の違い」を重視して分かりやすく説明する。

デデキントカットを用いた説明

実数集合におけるデデキントカット(A,B)について、「Aに最大元がなく、Bに最小元がある」「Aに最大元があり、Bに最小元がない」のいずれかとなる。

まず有理数集合を定めておいて、「Aに最大限がなく、Bに最小元がない」切断を導入し、この切断が無理数を表すと説明されることも。

詳細はデデキントカットを参照。

上限・下限を用いた説明

実数の上に有界な集合は上限※を持つ。

例えば、x2<2を満たす実数x集合は、全てのxについてx<2なので上に有界で、上限√2を持つが、x有理数とすると上限は存在しなくなる。

「下に有界な集合は下限を持つ」でも同じ。

※上限は最大値、下限は最小値と似た概念であり、詳細はwikipedia等参照。

有界単調数列を用いた説明

有界な単調数列は収束して実数の極限値を持つ。

例えば、数列(1+1/n)nについて、各項は有理数であり、3より小さいことが示せるため上に有界であり、また単調増加であることも示せる。収束し極限値を持つのであるが、極限値は有理数ではなく、実数まで数を広げることで初めて極限が存在すると言える。

「下に有界な単調減少数列」でも同じ。

コーシー列を用いた説明

実数世界では、任意のコーシー列が収束する。

コーシー列とは、「自然数m,nについて、m,nのとき|am-an|0となる数列(厳密にはε-δ論法で定義)」のことで、大ざっぱに言うと「十分先で値がほとんど変化しなくなる数列」のこと。

実数世界では、コーシー列は必ず極限値を持ち、収束すると言えるが、有理数世界ではコーシー列であっても極限値が有理数世界には存在せず、収束するとは言えなくなることもある。

なお、アルキメデス公理「任意の正の数a,bに対し、na>bとなる自然数nが存在する」が前提となる。

その他

wikipedia実数の連続性」などを参照。

その他の性質

有理数の濃度が可算無限であるのに対し、実数の濃度は非可算無限であることが知られ、自然数と対応させて番号をつけて数えていくのは不可能である。対角線論法によって示される。
詳細は可算無限と非可算無限を参照。

直観的に当然であるが、αβ実数として(ただしβ0とする)実数の加減乗除の結果α+βα-βαβα/β実数となる。

また、これも直観的に当然であるが、実数は必ず大小関係が定まる。しかし複素数にまで世界を広げると、大小関係は必ずしも定まらなくなる。

関連動画

関連商品

実数に関するニコニコ市場の商品を紹介してください。

関連コミュニティ

関連項目


【スポンサーリンク】

携帯版URL:
http://dic.nicomoba.jp/k/a/%E5%AE%9F%E6%95%B0
ページ番号: 5522252 リビジョン番号: 2572652
読み:ジッスウ
初版作成日: 18/03/23 23:31 ◆ 最終更新日: 18/03/23 23:31
編集内容についての説明/コメント: 新規作成
記事編集 / 編集履歴を閲覧
このエントリーをはてなブックマークに追加

この記事の掲示板に最近描かれたお絵カキコ

お絵カキコがありません

この記事の掲示板に最近投稿されたピコカキコ

ピコカキコがありません

実数について語るスレ


まだ掲示板に書き込みがありません… 以下のようなことを書き込んでもらえると嬉しいでーす!

  • 記事を編集した人の応援(応援されると喜びます)
  • 記事に追加して欲しい動画・商品・記述についての情報提供(具体的だと嬉しいです)
  • 実数についての雑談(ダラダラとゆるい感じで)

書き込みを行うには、niconicoのアカウントが必要です!


急上昇ワード
ニコニコニューストピックス
  JASRAC許諾番号: 9013388001Y45123
  NexTone許諾番号: ID000001829