実数のソースを表示

{{出典の明記|date=2019年5月}}
{{Wikibooks|解析学基礎/実数|実数}}
[[数学]]における'''実数'''（じっすう、{{lang-fr-short|''nombre réel''}}, {{lang-de-short|''reelle Zahl''}}, {{lang-en-short|''real number''}}）とは、[[実数の連続性|連続]]な[[量]]を表すために[[有理数]]を拡張した[[数]]の体系である。

実数全体の空間は、途切れのなさにあたる[[実数の完備性|完備性]]と呼ばれる[[位相空間|位相]]的な性質を持ち、[[代数学|代数]]的には加減乗除ができるという[[可換体|体]]の構造を持っている。[[幾何学]]や[[解析学]]ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は[[数学基礎論]]の観点からも興味深い性質を持っている。また、[[自然科学]]における連続的なものの[[計測]]値を表すのに十分な数の体系だとも考えられている。

実数の概念は、その形式的な定義が[[19世紀]]に達成される前から数の体系として使われていた。「実数」という名前は[[複素数]]の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。

実数全体からなる集合はしばしば慣習的に太字の '''R''' または[[黒板太字]]の <math>\mathbb R</math>で表す。これは英語の「Real number」の省略と考えられている<ref>鈴木紀明「数学の記号(2010年4月)」（名城大学鈴木研究室）[https://ccmath.meijo-u.ac.jp/~suzukin/dl/01.pdf]</ref><ref>中村亮一「数学記号の由来について(8)」[https://www.nli-research.co.jp/report/detail/id=69195?site=nli]</ref>。

== 定義 ==
実数体とは[[順序体]]であって[[空集合|空]]でない[[有界|上に有界]]な部分集合が[[順序集合#上界、最大、極大、上限、上方集合|上限]]を持つようなものをいう{{efn2|この性質を順序完備性と呼ぶことがある。実数体においては特に「上限性質」という呼称で呼ばれることが多い。なおこの性質には[[実数の連続性]]にある通り同値な言い換えが複数ある。}}。実数体の元（＝要素）を実数という。

また位相的特徴付けである次を定義として採用することも出来よう：非自明な[[順序体]]であって[[順序集合#順序位相|順序位相]]に関して連結なものは唯一つに定まる（[[:en:Archimedean group|アルキメデス的順序群に関するHölderの定理]]による）。これを実数体と呼ぶ。実数体の元（＝要素）を実数という。


これで実数（体）の概念は定まったがこれだけではまだ実数（体）というものが存在するかどうかは分からない。しかし[[#実数の様々な構成|#構成]]節で述べるようにそのようなものは実際に存在する、即ちこのような性質を満たす順序体が構成できることが分かる。またその構成方法は複数ある。また本記事では言及されていないが本来存在するならば、それがある意味で一意的なものであるかを確かめる必要があるが、実数体は実際にある意味で一意的に定まる{{efn2|これは正確に述べると「実数体の定義を満たす二つの順序体は順序体として同型（＝順序同型かつ体同型であるような写像が存在する）」という意味である。}}。

== 実数の表示 ==
現代数学の体系において実数が構成されるときは[[#実数の様々な構成|#構成]]節で述べるような、数の表示に直接依存しない方法が用いられるが、個々の実数を表すときは {{math|&minus;1.13}} や {{math|3.14159...}} のような（有限とは限らない）[[小数]]表示がよく用いられる。

また、実数の集まりを幾何学的に表示する方法として[[数直線]]があげられる。これは実数 {{math|0}} に対応する原点とよばれる点を持った一つの直線で、直線上のそれぞれの点と原点との向きをこめた位置関係が各実数に対応している。

== 実数の様々な構成 ==
{{details|:en:Construction of the real numbers}}
=== コーシー列を用いた構成 ===
{{details|コーシー列#実数の構成}}

実数の構成は[[有理数]]の空間 {{math|'''Q'''}} の[[完備化]]とよばれる手続きによる方法が一般的である。
有理数の空間には二つの数の差の絶対値として定義される[[距離空間|距離]] {{math|''d''(''a'', ''b'') {{=}} {{!}}''a'' &minus; ''b''{{!}}}} から定まる点の近さを考えることができる。これについての[[コーシー列]]たちを適当な同値関係によって同一視した空間として {{math|'''R'''}} が得られる。こうして構成された実数の空間の中では、収束数列によって近似的に与えられる対象が実際に実数として存在している。また、{{math|'''Q'''}} 上の距離が代数構造と両立するようになっているので、{{math|'''R'''}} の上でも {{math|'''Q'''}} の代数構造を基にした代数構造を考えることができる。この際、コーシー列全体が自然に[[環 (数学)|環]]をなし、0に収束するコーシー列全体Iが[[極大イデアル]]であることが示せる。このIによる[[剰余環]]を考えるとこれは{{math|'''R'''}}そのもので、[[環論]]の一般論からこれが体をなすことがすぐにわかる。こうして代数構造を持つことは実は綺麗に示すことができる。あとは順序構造を定義すれば実数体の出来上がりである。

この完備化による定義の変種として、コーシー列たちの空間のかわりに長さがどんどん小さくなっていくような[[閉区間]]の列たちを適当な同値関係によって同一視したものを考えてもやはり実数を得ることができる。この考え方はより一般的で強力な手法である[[フィルター (数学)|フィルター]]の特別な例と見なすことができる。

=== デデキント切断による構成 ===
{{main|デデキント切断}}
有理数の集合 {{math|'''Q'''}} 上に通常の意味での大小関係を考えて、それをもとにした {{math|'''Q'''}} の分割の方法として実数を定めることもでき、この方法は[[デデキント切断]]と呼ばれる。この考え方では {{math|'''Q'''}} を {{math|{{(}} ''q'' &isin; '''Q''' : ''q'' &lt; ''r'' {{)}}}} と {{math|''U''<sub>''r''</sub> {{=}} {{(}} ''q'' &isin; '''Q''' : ''r'' &le; ''q'' {{)}}}} に分けるという操作である数 {{mvar|r}} を定義する。{{math|{{sqrt|2}}}} のような有理数でない {{mvar|r}} によって与えられる切断 {{mvar|U<sub>r</sub>}} は有理数の範囲での最小の数よりも {{mvar|r}} が小さくなるため、有理数の間の数として無理数の実在を示すことができる。一方実数の範囲ではその定義からいつでも {{mvar|r}} が {{mvar|U<sub>r</sub>}} の最小の数になっている。

=== 超準解析に基づく構成 ===
有理数体 {{math|'''Q'''}} の超準モデル（超有理数体） {{math|<sup>*</sup>'''Q'''}} を取る。ある正の有理数よりも絶対値の小さい超有理数は有限という。有限数の全体を {{math|'''F'''}} とおく。任意の正の有理数よりも絶対値の小さい超有理数は無限小という。無限小数の全体を {{math|'''I'''}} とおく。このとき剰余環 {{math|'''F'''/'''I'''}} は完備順序体となる。

=== エウドクソスの実数 ===
[[エウドクソス]]の実数（Eudoxus real number）とは[[:en:Stephen Schanuel|シャヌエル]]によって1984年に発見され（しかし論文は出版しなかった）、また名付けられた構成法である{{sfn|Arthan|2004}}。整数から直接、有理数を経由することなく実数を構成するという特徴を持っている。この構成法は2003年にアカンポ（{{harvnb|A'Campo|2003}}）によって再発見された{{sfn|Arthan|2004}}。

== 論理学における実数 ==
実数という数のクラスが初めてはっきりと取り出されたのは[[ゲオルク・カントール|カントール]]による[[集合]]の研究においてだった。彼は集合論的には実数全体の集合は有理数全体の集合からはっきりと区別されるべき大きさ（[[濃度 (数学)|濃度]]）を持っていること（実数の集合は[[可算]]でないこと）を示した。

また、カントールは実数全体の集合と有理数全体の集合のちょうど中間の大きさの集合は存在することするかどうかいう問いをたてた。これは後になって[[連続体仮説]]とよばれ、結局通常用いられる集合論の体系からは証明も反証もできないことがわかった。

実数の体系の持つ超越的な性格は集合論の初期から様々な数学者の嫌悪の的となった。実数を定めるのに便利な集合論的定式化はやがて多くの数学者に受け入れられるようになったが、20世紀初めに論理学者の[[ライツェン・エヒベルトゥス・ヤン・ブラウワー|ブラウワー]]は[[直観主義 (数学の哲学)|直観主義]]とよばれる、具体的に構成できるようなものだけを認める論理の体系をつくったが、彼はそこでは実数について通常の数学におけるものとは著しく異なった結論を導きだせることを示した。これには Kripke-Joyal の[[層 (数学)|層]]の意味論によって現代的な解釈が与えられる。

== 解析学における実数 ==
実数の完備性により、実数に値を持つ[[関数 (数学)|関数]]の範疇で様々な近似操作を考えることができ、[[微積分]]などが定義される。特定のクラスの関数たちに対して距離の概念などを用いて位相を考えると[[位相線形空間]]が得られる。こうして得られるものは多くの場合に無限[[次元]]であるが、考えている位相に関して完備になっている。[[関数解析学]]では、この概念を公理化した実数体上で考えられる完備位相線形空間とよばれる様々な空間が研究される。

位相空間上の関数やその積分の[[収束]]を考えるときは、問題にしている関数たちによって指定される位相空間の部分集合が重要になるが、こうして[[可測集合]]の概念が得られる。例えば実閉区間 {{math|[0, 1]}} 上の関数を考えるときには一点集合 {{math|{{(}}''t''{{)}} (0 &le; ''t'' &le; 1)}} や開集合を含んで、補集合をとったり[[可算]]個の[[合併 (集合論)|合併]]について閉じていたりするような集合族を考えることになる。距離を持つコンパクト空間の可測集合のなす構造は、高々可算集合または閉区間 {{math|[0, 1]}} の構造に[[同型]]となることが知られている。

== 幾何学における実数 ==
{{日本語版にない記事リンク|ウリゾーンの補題|en|Urysohn's lemma}}から[[正規空間]]とよばれる広いクラスの位相空間の[[位相構造]]（つまり、どの部分集合が開集合か）はその上の実数値連続関数のなす空間に完全に反映されていることがわかる。

[[ユークリッド空間]]は有限次元の実[[ベクトル空間]]にその構造と両立するような距離をあたえたものとして定式化される。実1次元ベクトル空間を平行移動したものが[[直線]]を示し、実2次元ベクトル空間を平行移動したものが[[平面]]を表していると見なせる。古典的なユークリッド幾何学は2次元や3次元のユークリッド空間とその構造を保つような変換についての研究だと解釈できる。

現代数学における図形の基本的な定式化の方法として[[多様体]]の概念が挙げられるが、これは局所的にはユークリッド空間のように見える「端切れ」を張り合わせたものとして定式化される。したがって多様体の点は局所的にはいくつかの実数の組による座標付けを持ち、多様体上の実数値関数について微分や積分を考えることが可能になる。

多様体は連続的なものとして定義されるので、その連続的な「時間発展」、「変化」、あるいは「変形」を考えることができるが、これはしばしば加法群 {{math|'''R'''}} の微分同相による作用と考えることができる。このような作用は力学系とよばれ、その類似として様々な分野でも {{math|'''R'''}} の作用が研究される。

== 代数学における実数 ==
実数の集合 {{math|'''R'''}} は[[可換体|体]]の構造を持っており、実数を係数とした多項式や実数の拡大体を考えることができる。ここで実数が極大順序体であることにより実数係数の多項式は 3 次以上なら既約にならない。したがって {{math|'''R'''}} の有限次元拡大になっている可換体は {{math|'''R'''}} 自身と複素数体 {{math|'''C'''}} しかなく、可換性を外してもほかの有限次拡大体は[[四元数]]体 {{math|'''H'''}} しかない。

数論的に重要と見なされる位相群に（{{math|'''Q'''}} の）[[イデアル類群]] {{mvar|C}} があるが、その[[単位元]]の[[連結成分]]は加法群 {{math|'''R'''}} と同型である。{{math|'''Q'''}} の[[アデール環|アデール]] {{math|'''A'''}} を {{math|'''Q'''}} の乗法群で割った {{math|'''A'''/'''Q'''<sup>&times;</sup>}} へのこの {{mvar|C}} の[[正規部分群]]の作用の理解が[[アラン・コンヌ]]による[[リーマン予想]]プログラムの一部分をなしている。

[[代数体]]のうちで[[複素数]]体への埋め込み先が必ず実数に含まれるようなものは[[総実体|総実代数体]]とよばれ、代数的整数論において重要な役割を果たしている。

== 部分群 ==
実数体は加法に関して群であるが、その部分群は[[離散空間|離散]]部分群か[[稠密集合|稠密]]部分群のいずれかしかない。なお前者の場合は巡回群となる{{efn2|https://proofwiki.org/wiki/Subgroup_of_Real_Numbers_is_Discrete_or_Dense}}。

== 自然科学における実数の使用 ==
[[自然科学]]のさまざまな分野において、連続的に変化する量の計測値を表す数の体系として実数がもちいられている。たとえば[[時間]]は基準となる時刻からの経過を表す一つの実数によって指定される。また、現実には離散的な値をとる量でもその単位があまりに小さい場合には実数による連続的な定式化が用いられる。たとえば[[化学]]における[[溶液]]の[[濃度]]や[[経済学]]における通貨流通量などは微分や積分が可能な関数によって表され、解析されるのが普通である。

一方で、20世紀に入って[[量子力学]]において複素数（値の関数）が本質的なものとしてもちいられることや、物理量が離散的な値をとる（量子化）ことなど、現実世界の現象の記述にいつでも実数が適合しているわけではないことが認識されるようになった。[[ベルンハルト・リーマン]]など何人かの数学者は、空間における物体の位置を表す数の体系としても、実数はひとつの近似を提示しているにすぎないのかもしれないという疑念を表明している。

== 歴史 ==
紀元前1000年頃の[[エジプト数学|エジプト]]で帯分数がすでに使われており、紀元前600年頃の[[インド]]「[[シュルバ・スートラ]]」（[[サンスクリット語]]で「コードの規則」）では無理数の使用や円周率の近似値として {{math|3.16}} が与えられている。

数の体系としての実数をとらえる試みは[[古代ギリシャ]]における「大きさの理論」<!-- theory of magnitudes -->にさかのぼることができる。この「大きさ」とは大小比較や加法、自然数倍ができるようなものとして定式化される。幾何学における線分の長さなどがこの大きさの理論を適用できる概念になるが、こうして考えられた量が自然数（あるいは整数）の比である有理数だけではとらえきれないという紀元前500年頃の[[ピタゴラス教団|ピタゴラス学派]]による発見は大きな意義をもっていた。

6世紀にはインドの数学者によって[[正の数と負の数|負数]]の概念が発明されており、ほどなくして中国の数学者たちも独立にその概念を発明した。ヨーロッパでは16世紀まで負数が用いられていなかったし、1700年代後半の[[レオンハルト・オイラー]]でさえ方程式の負の解をあり得ないものとして切り捨てている。

17世紀に[[アイザック・ニュートン]]とほぼ同時に微分の概念に到達した[[ゴットフリート・ライプニッツ]]は数の無限小変動（[[モナド (哲学)|モナド]]）の考え方によって微分をとらえようとした。彼の考え方は十分に形式化されず、厳密性を欠いたものだった。18～19世紀に[[ベルナルト・ボルツァーノ]]、[[オーギュスタン＝ルイ・コーシー|オーギュスタン・コーシー]]、[[カール・ワイエルシュトラス]]らにより[[イプシロン-デルタ論法]]にもとづく微分の定式化が達成された。これにより数のコーシー列の「収束先」の存在を保証するものとして実数の体系がはっきりとした存在意義を持つようになった。

また、18世紀から19世紀にかけて[[無理数|無理性]]や[[超越数|超越性]]についての研究が大きく進展した。代表的な成果に、[[ヨハン・ハインリッヒ・ランベルト]]による[[円周率の無理性の証明]]（1761年）、[[パオロ・ルフィニ]]と[[ニールス・アーベル]]による五次以上の代数方程式が一般には冪根を用いて解けないこと（1799年、1824年{{Sfn|kotobank-アーベル(Niels Henrik Abel)}}）の証明、[[ジョゼフ・リウヴィル]]による超越数の存在証明、[[シャルル・エルミート]]による[[ネイピア数]]の超越性の証明、[[フェルディナント・フォン・リンデマン|フェルディナント・リンデマン]]による円周率の超越性の証明（1882年）などがある。

[[ゲオルク・カントール]]は[[フーリエ級数]]の収束の問題を研究するうちに実数の部分集合を考察するようになり、整数や有理数などのよく知られていたクラスの数の集合と実数の集合が本質的に異なるサイズのものであることを示した。このような実数の超越性により[[レオポルト・クロネッカー]]など一部の数学者たちは嫌悪を示した。カントールが提起した「実数集合はどの程度大きいか」という問題は通常採用される数学の枠組み（[[公理的集合論|ZFC 集合論]]）からは独立であることが後になってわかった。

[[アンリ・ルベーグ]]は[[ルベーグ積分]]の理論によって積分論の構造化を達成する過程で「積分可能」な関数のクラスである可測関数の概念と、それらによって指定されるような実数の部分集合である可測集合の概念をえた。この可測集合は具体的に構成できるような実数の集合を尽くしていて、[[選択公理]]を仮定しなければ非可測な集合の存在を導くことができない。

ライプニッツの無限小の概念はその曖昧さ故に {{math|''&epsilon;''&ndash;''&delta;''}} 論法の陰に葬り去られていたが、1960年代に[[超準解析]]という枠組みのもとで厳密な定式化が達成された。

== 注釈 ==
{{脚注ヘルプ}}
{{notelist2}}

== 出典 ==
{{脚注ヘルプ}}
{{Reflist|2}}

== 参考文献 ==

* {{cite book|和書
 |last=高木
 |first=貞治
 |author1-link=高木貞治
 |title=数の概念
 |publisher=岩波書店
 |year=1970
 |isbn=4-00-005153-9
 |ref=harv
}}
* {{cite book|和書
 |last=デーデキント
 |first=リヒャルト
 |author1-link=リヒャルト・デデキント
 |title=数について　連続性と数の本質
 |translator=[[河野伊三郎]]
 |publisher=岩波書店
 |series=岩波文庫
 |year=1961
 |isbn=4-00-339241-8
 |ref=harv
}}
* {{cite book
 |last=Robinson
 |first=Abraham
 |author1-link=アブラハム・ロビンソン
 |year=1966
 |title=Non-standard analysis
 |isbn=9780444534071
 |lccn=66005818
 |series=Studies in logic and the foundations of mathematics
 |publisher=North-Holland Publishing Company
 |ref=harv
}}
* {{citation
 |last=A'Campo
 |first=Nobert
 |title=A natural construction for the real numbers
 |publisher=arXiv
 |date=2003-01-03
 |arxiv=math/0301015
 |doi=10.48550/arXiv.math/0301015
 |ref=harv
}}
* {{citation
 |last=Arthan
 |first=R. D.
 |title=The Eudoxus Real Numbers
 |publisher=arXiv
 |date=2004-05-24
 |arxiv=math/0405454
 |doi=10.48550/arXiv.math/0405454
 |ref=harv
}}
* {{Cite Kotobank
 |word=アーベル(Niels Henrik Abel)
 |accessdate=2023-02-13
 |encyclopedia=日本大百科全書(ニッポニカ)
 |hash=#E6.97.A5.E6.9C.AC.E5.A4.A7.E7.99.BE.E7.A7.91.E5.85.A8.E6.9B.B8.28.E3.83.8B.E3.83.83.E3.83.9D.E3.83.8B.E3.82.AB.29
}}

== 関連項目 ==
* [[複素数]] - [[虚数]]
* [[有理数]]
* [[無理数]]
* [[小数]]
* [[イプシロン-デルタ論法]]
* [[デデキント切断]]
* [[実解析]]
* [[超実数]]
* [[p進数]]

== 外部リンク ==
* {{MathWorld|urlname=RealNumber|title=Real Number}}
* {{nlab|urlname=real+number|title=real number}}
* {{PlanetMath|urlname=RealNumber|title=real number}}
* {{SpringerEOM|urlname=Real_number|title=Real number|author=Kudryavtsev, L.D.}}
* {{Kotobank}}

{{数の体系}}
{{Normdaten}}
{{DEFAULTSORT:しつすう}}
[[Category:数]]
[[Category:初等数学]]
[[Category:数学に関する記事]]
[[Category:レトロニム]]