超実数のソースを表示

{{要改訳}}
'''超実数'''（ちょうじっすう、{{lang-en-short|hyperreal number}}）または'''超準実数'''（ちょうじゅんじっすう、{{lang-en-short|nonstandard reals}}）と呼ばれる数の体系は[[無限大]]量や[[無限小]]量を扱う方法の一つである。超実数の全体 {{math|*'''R'''}} は実数体 {{math|'''R'''}} の[[拡大体]]であり、
: <math>1 + 1 + \cdots + 1</math>
の形に書ける如何なる数よりも大きい元を含む。そのような数は無限大であり、その逆数は無限小である。{{en|"hyper-real"}} の語は{{仮リンク|エドウィン・ヒューイット|en|Edwin Hewitt}}が1948年に導入した<ref>{{citation|first=Edwin |last=Hewitt |date=1948|page=74}}</ref><ref>Keisler (1994).</ref>。

超実数は（[[ゴットフリート・ライプニッツ|ライプニッツ]]の経験則的な{{仮リンク|連続の法則|en|Law of Continuity}}を厳密なものにした）{{仮リンク|移行原理|en|Transfer principle}}を満たす。この移行原理が主張するのは、{{math|'''R'''}} についての[[一階述語論理]]の真なる主張は {{math|*'''R'''}} においても真であることである。例えば、加法の[[可換則]] {{math|''x'' + ''y'' {{=}} ''y'' + ''x''}} は、実数におけると全く同様に、超実数に対しても成り立つ。また例えば {{math|'''R'''}} は[[実閉体]]であるから、{{math|*'''R'''}} も実閉体である。また、任意の[[整数]] {{mvar|n}} に対して {{math|sin(&pi;''n'') {{=}} 0}} が成立するから、任意の[[超整数|超準整数]] {{mvar|H}} に対しても {{math|sin(&pi;''H'') {{=}} 0}} が成立する。超冪に対する移行原理は1955年の[[超積|ウォシュの定理]]の帰結である。

無限小を含むような論法の[[健全性]]に対する関心は、[[アルキメデス]]がそのような証明を[[取り尽くし法]]など他の手法によって置き換えた、[[古代ギリシャ]]時代の[[数学]]にまで遡る。1960年代に[[アブラハム・ロビンソン|ロビンソン]]は、超実数体が論理的に無矛盾であることと実数体が論理的に無矛盾であることが同値であることを示した。これは、ロビンソンが描いた論理的な規則に従って操作されなかったならば、あらゆる無限小を含む証明が不健全になる恐れが残ることを示している。

超実数の応用、特に解析学における諸問題への移行原理の適用は[[超準解析]]と呼ばれる。一つの例は、微分や積分のような解析学の基礎概念を複数の[[量化|量化子]]を用いる論理的複雑さを回避して直接的に定義することである。つまり、{{math|''f''&thinsp;(''x'')}} の導関数は、
:<math>f'(x) = {\rm st}\left( \frac{f(x+\Delta x)-f(x)}{\Delta x} \right)</math>
になる。
ただし、{{math|&Delta;''x''}} は無限小超実数で、{{math|st(･)}} とは有限超実数から実数への関数で、「有限超実数にそれに無限に近いただ一つの実数への関数」という'''{{仮リンク|標準部関数|en|Standard part function}}'''である。積分も同様に、適切な無限和の標準部によって定義される。

== 移行原理 ==
超実数の体系のアイデアは、実数の集合 {{math|'''R'''}} を拡張し、代数の基本公理を変更することなく無限小や無限大を含む体系 {{math|*'''R'''}} を構成するというものである。「任意の数 {{mvar|x}} に対し～」という形のいかなる主張も、実数にとって真であれば超実数にとっても真である。例えば「任意の数 {{mvar|x}} に対し {{math|''x'' + 0 {{=}} ''x''}}」という公理にもあてはまる。複数の変数に対する[[量化]]、例えば「任意の数 {{math|''x'', ''y''}} に対しても、{{math|''xy'' {{=}} ''yx''}}」などでも同じことが成り立つ。
この「実数体に対する主張を超実数体に対して引き移す」ことができるということを'''{{仮リンク|移行原理|en|Transfer principle}}'''という。ただし「いかなる数の集合 {{math|'''S'''}} に対しても～」という形の主張は引き継ぐことができない。実数と超実数とが区別される唯一の性質は、典型的には集合とは関係なく構成できる、[[関数 (数学)|関数]]や[[関係]]のような集合やその他の高位の構造や上の量化に依るものである。
実数の集合や関数、関係は、全く同じ[[一階述語論理|一階]]の性質をもつその自然な超実数への拡張を持つ。量化の制限に従うこの種類の論理的文は、[[一階述語論理]]における主張について述べられる。

しかしながら、移行原理は、{{math|'''R'''}} と {{math|*'''R'''}} とが全く同一の振る舞いを持つということを意味しない。例えば、{{math|*'''R'''}} において、次のような性質をもつ元 {{mvar|ω}} が存在する（即ち {{math|*'''R'''}} は[[アルキメデスの性質|非アルキメデス的]]である）：
: <math> 1<\omega, \quad 1+1<\omega, \quad 1+1+1<\omega, \quad 1+1+1+1<\omega, \ldots. </math>
しかし、{{math|'''R'''}} にはそのような元は存在しない。これは、{{mvar|ω}} が存在しないことは一階論理の主張では表現することができないから、起こりうるのである。

== 解析学における利用 ==
実数でない量の非正式な概念は、2 つの文脈にそって歴史的に[[微積分学]]において現れる。1 つは {{mvar|dx}} のような無限小として、もう 1 つは[[広義積分]]の[[極限]]において使われる {{math|∞}} という記号として現れる。

移行原理のひとつの例として「{{math|0}} でないいかなる 数についても {{math|2''x'' &ne; ''x''}}」という主張は実数にとって真であり、この主張は移行原理で求められる性質を持った文になっているから、超実数についても真である。超実数についてこれが真であるということは、{{math|∞}} のような一般記号は超実数の体系に属するすべての無限大量に対して使用不能であることを意味する。無限大量は“大きさが”他の無限大量と異なっているし、無限小量も他の無限小量と異なる。

同様にして、「{{math|0}} での割り算は定義されない」という主張に移行原理が適用できるから、おいそれと{{math|1/0 {{=}} ∞}} のように書くのも無効である。そのような計算を厳密に書くならば「{{mvar|ε}} が無限小ならば {{math|1/''ε''}} は 無限大量 である」となる。

いかなる有限超実数 {{mvar|x}} に対しても、その標準部 {{math|st(''x'')}} は、無限小の違いしかない唯一の実数と定義される。

=== 微分 ===
関数 {{math|''y''(''x'')}} の[[導関数]]は {{math|{{fraction|''dy''|''dx''}}}} ではなく、{{math|{{fraction|''dy''|''dx''}}}} の標準部として定義される。

例えば、{{math|''f''&thinsp;(''x'') {{=}} ''x''<sup>2</sup>}} の導関数 {{math|''f{{'}}''(''x'')}} を求めるには、{{mvar|dx}} を無限小超実数として
:<math>\begin{align}
f'(x) &= \operatorname{st}\left(\frac{f(x + dx) - f(x)}{dx}\right) \\
      &= \operatorname{st}\left(\frac{x^2 + 2x \cdot dx + dx^2 -x^2}{dx}\right) \\
      &= \operatorname{st}\left(\frac{2x \cdot dx +  dx^2}{dx}\right) \\
      &= \operatorname{st}\left(2x + dx\right) \\
      &= 2x
\end{align}</math>

この導関数の定義において標準部をとるのは、無限小量の平方を無視するという伝統的な慣習の厳密な代替である。上記の式の三行目以降、ニュートンから19世紀にわたっての典型的な方法は単に {{math|''dx''<sup>2</sup>}} の項を無視するというものであったが、超実数の体系では {{math|''dx''<sup>2</sup> &ne; 0}} である（超実数の体系では {{mvar|dx}} は非零であり、かつ「非零実数の平方は非零である」という主張に移行原理が適用できるから）。ただし、{{math|''dx''<sup>2</sup>}} という量は、{{mvar|dx}} に比べ'''無限に小さい''' {{en|(infinitesimally small)}}。つまり、超実数の体系は無限小量の無限の階層を含む。

=== 積分 ===
超実数の体系において定積分を定義する一つの方法は、{{mvar|dx}} を無限小、{{mvar|n}} を[[超整数|超準自然数]] として 
: {{math|''a'',&nbsp;''a&nbsp;+&nbsp;dx'',&nbsp;''a&nbsp;+&nbsp;2&thinsp;dx'', …, ''a&nbsp;+&nbsp;n&thinsp;dx''}}
で定義される{{仮リンク|超準有限集合|label=超準有限|en|Hyperfinite set}}格子上でとった無限和の標準部をとることである。このとき、積分の下の限界は {{mvar|a}}, 上の限界は {{math|''b''&nbsp;{{=}}&nbsp;''a''&nbsp;+&nbsp;''n''&thinsp;''dx''}} である<ref>Keisler</ref>。

== 性質 ==
超実数の全体 {{math|*'''R'''}} は、実数体 {{math|'''R'''}} を部分体として含む、[[順序体]]を成す。実数体とは異なり、超実数は通常の意味の[[距離空間]]を成さないが、超実数の[[半順序|大小関係]]から{{仮リンク|順序位相|en|Order topology}}を入れることはできる。

定冠詞 {{en|the}} を付けて "{{en|the hyperreal numbers}}" と呼ぶことは、言及される大抵の文脈において一意な順序体が存在しないという点で、幾ばくか誤解を招くことになる。しかし、論文 {{harvtxt|Kanovei|Shelah|2003}}<ref name="kanovei2003">{{Citation | last1=Kanovei|first1=Vladimir | last2=Shelah | first2=Saharon | authorlink2=サハロン・シェラハ | title=A definable nonstandard model of the reals| url=http://shelah.logic.at/files/825.pdf| journal=Journal of Symbolic Logic|volume=69|year=2004| pages=159–164 | doi=10.2178/jsl/1080938834}}</ref>は実数体の{{仮リンク|定義可能集合|label=定義可能|en|Definable set}}で{{仮リンク|飽和モデル|label=可算飽和|en|Saturated model}}（{{math|ω}}-飽和）な{{仮リンク|初等拡大|en|elementary extension}}が存在することを示した。これは {{en|''the'' hyperreal numbers}} と呼ぶにふさわしいものであった。よりはっきり言えば、実数列の空間から超冪構成により得られるこの体は（[[連続体仮説]]を仮定すれば）[[同型を除いて]]一意に定まる。

超実体であるという条件は、実数 {{math|'''R'''}} を真に含む[[実閉体]]であるという条件よりも強い。また、{{harvtxt|Woodin|Dales|1996}} の意味での[[準超実体]] (the super-real field<ref>the super-real numbers の体系。superreal numbers と呼ばれる体系には、ほかに David Tall によるものもある。参考リンク: http://www.jonhoyle.com/MAAseaway/Infinitesimals.html </ref>)<ref>{{Citation | last1=Woodin | first1=W. H. | authorlink1=ヒュー・ウッディン| last2=Dales | first2=H. G. | title=Super-real fields: totally ordered fields with additional structure | publisher=Clarendon Press | location=Oxford | isbn=978-0-19-853991-9 | year=1996}}</ref>であるという条件よりも強い。

== 発展 ==
超実数は、公理的にまたは構成志向的な方法のいずれかによって発展されうる。
公理的アプローチの本質は、次を主張することである：
# 少なくともひとつの無限小数の存在
# トランスファープリンシプルの正当性。

以下のサブセクションでは、さらに構成的なアプローチの概要を与える。[[超フィルター|非単項超フィルター]]と呼ばれる集合論的対象が与えられれば、超実数を構成することができる。しかし、非単項超フィルターそれ自体は明晰に構成されない（Kanovei と Shelah<ref name="kanovei2003" />は、恐ろしく複雑な方法という代償をはらって、明晰な構成法を与えた)。

=== ライプニッツからロビンソンへ ===
{{節スタブ}}

=== 超冪による構成 ===
実数列から超実数体が構成できることを見てゆこう<ref>{{Citation 
| last1=Loeb | first1=Peter A. 
| title=Nonstandard analysis for the working mathematician 
| publisher=Kluwer Acad. Publ. | location=Dordrecht 
| series=Math. Appl. | year=2000 | volume=510 
| chapter=An introduction to nonstandard analysis 
| pages=1–95}}</ref>。次のようにして、実数列の加法と乗法を定義する：
:<math> (a_0, a_1, a_2, \ldots) + (b_0, b_1, b_2, \ldots) = (a_0 +b_0, a_1+b_1, a_2+b_2, \ldots) </math>
:<math> (a_0, a_1, a_2, \ldots) (b_0, b_1, b_2, \ldots) = (a_0 b_0, a_1b_1, a_2b_2, \ldots) </math>
これにより、実数列全体の成す集合は可換環（実際には[[体上の多元環|実多元環]]）{{math|'''A'''}} を成す。
実数 {{mvar|r}} と数列 {{math|(''r'', ''r'', ''r'', ...)}} を同一視することによって、{{math|'''R'''}} の {{math|'''A'''}} への自然な埋め込みが存在する。この同一視は実数の代数的演算を保存する。
直感的な動機は、例えば、ゼロに収束するような数列を用いて無限小超実数を表したいということである。そのような数列の逆元が無限大超実数を表すことになるだろう。
以下で見るように、幾ばくかの恣意性が避けられないものの、[[セルフコンシステント|self-consistent]] であり、[[well-defined|well defined]] でなければならない点において数列の比較の規則を定義する必要性から困難が生ずる。
例えば、はじめの {{mvar|n}} 項のみが違い、残りはすべて同一な 2 つの数列は等しい、つまり、それらの数列は明らかに同一の超実数であると考えられるべきなのである。
同様に、{{mvar|&epsilon;}} はある無限小超実数として {{math|7 + ''&epsilon;''}} を考えるように、永遠にランダムに振動するような多くの数列についても、これを解釈する方法を見つけなければならない。

実数列の比較を定義するのはデリケートな問題である。例えば、加法や乗法と同じように次のように定義したとしても、すぐに問題が生じる。
:<math> (a_0, a_1, a_2, \ldots) \leq (b_0, b_1, b_2, \ldots) \iff  a_0 \leq b_0 \wedge a_1 \leq b_1 \wedge a_2 \leq b_2 \ldots </math>
それは、前者の数列のいくつかの項が、後者の数列の対応する項より大きく、それ以外のの項が小さいということがありうるからだ。従って、この方法によって定義される関係は、[[半順序]]である。これを回避するには、位置の問題を明示しなければならない。数列には無限の項([[添字]])が存在するから、有限個の項についてそれを問題にしたくない。問題となる添字集合の一貫した選択は、[[自然数]]上の任意の自由[[超フィルター]] {{mvar|U}} によって与えられる。自由超フィルターとは有限集合を含まない超フィルターのことである（それの良い点は、[[ツォルンの補題]]よりそのような多くの {{mvar|U}} が存在することである。悪い点は、それが明示的に構成されえないということである）。
「問題」となる添字集合を一つ選び出すような、{{mvar|U}} を考えよう。つまり、
:<math>(a_0 , a_1 , a_2 , ...) \leq (b_0 , b_1 , b_2 , ...) \Leftrightarrow \{ n \mid a_n \leq b_n \} \in U</math>
と定義しよう。

これは、[[:en:Weak ordering|total preoder]] であり、2 つの数列 {{math|''a'', ''b''}} に対し、{{math|''a'' ≤ ''b''}} かつ {{math|''b'' ≤ ''a''}} であるとき、{{mvar|a}} と {{mvar|b}} を区別しないことを認めれば、これは[[全順序]]になる。この同一視により、超実数順序体 {{math|*'''R'''}} が構成される。代数的観点からみると、{{mvar|U}} によって対応する[[可換環]] {{math|'''A'''}} の[[極大イデアル]] {{math|'''I'''}}（すなわち、{{mvar|U}} の元の幾つかが消えた数列の集合）を定義し、{{math|'''A'''/'''I'''}} を {{math|*'''R'''}} と定義できる。極大イデアルによる可換環の商として、{{math|*'''R'''}} は体である。それを自由超フィルター {{mvar|U}} を使って {{math|'''A'''/''U''}} と書くこともあり、それらは等しい。その {{math|'''I'''}} の極大性から、与えられた数列 {{mvar|a}} からその非ゼロ元の逆数をとって、ゼロ元はそのままにしてできた数列 {{mvar|b}} を作ることができる可能性が従う。それらの積 {{mvar|ab}} は、この場合は数 {{math|1}} と同定され、{{math|1}} を含む如何なるイデアルは {{mvar|A}} でなければならない。その結果の体において、{{mvar|a}} と {{mvar|b}} は互いに逆元である。

体 {{math|'''A'''/''U''}} は {{math|'''R'''}} の[[超積|超冪]]である。この体は {{math|'''R'''}} を含むから、最低でも[[連続体濃度]]以上の濃度を持つ。
{{mvar|A}} は
:<math>(2^{\aleph_0})^{\aleph_0} = 2^{\aleph_0^2} =2^{\aleph_0},\,</math>
という濃度以下でもあるから、{{math|'''A'''/''U''}} の濃度は連続体濃度に等しい。

ここで一つの疑問が出てくる。それは {{mvar|U}} とは違う自由超フィルター {{mvar|V}} を選んだら、その商 {{math|'''A'''/''V''}} は {{math|'''A'''/''U''}} に同型かどうかということだ。この疑問は、[[連続体仮説]]と同等であるということがわかっている。ZFC と連続体仮説を仮定したうえで、これらの体は順序同型で一意的であるということが証明できる。
ZFC と連続体仮説の否定を仮定したうえで、それぞれ可算に添字付けられた実数の超冪で、順序非同型な体のペアが存在することを証明できる。

構成の詳細な説明は[[超積]]を参照せよ。

=== 超冪による構成の直感的アプローチ ===
{{節スタブ}}

== 無限小および無限大超実数の性質 ==
超実数体 {{math|'''*R'''}} の有限な元全体 {{math|'''F'''}} は[[局所環]]（実は[[付値環]]）であり、その唯一の極大イデアル {{math|'''S'''}} は無限小元全体によって与えられ、剰余体 {{math|'''F'''/'''S'''}} は実数体 {{math|'''R'''}} に同型になる。従って[[環準同型]] {{math|st: '''F''' → '''R'''}} で {{math|1=[[核 (代数学)|ker]](st) = '''S'''}} かつ、各値 {{math|st(''x'') (''x'' &isin; '''F''')}} は {{math|''x'' &minus; st(''x'') &isin; '''S'''}} となる唯一の標準実数となるものの存在が言える。言い方を変えれば、任意の有限超準実数 {{mvar|x}} は、ただ一つの標準実数 {{math|st(''x'')}} に（それらの差 {{math|''x'' &minus; st(''x'')}} が無限小となるという意味で）「極めて近い」のである。この標準実数 {{math|st(''x'')}} を {{mvar|x}} の{{仮リンク|標準成分函数|label=標準成分|en|standard part function}} と言い、概念的には {{mvar|x}} に最も近い実数を意味するものである。この函数 {{math|st}} は[[単調写像|順序を保つ]]環準同型であり、従って代数学的にも順序論的にもよく振る舞う。

* {{math|st}} は順序を保つが、同調写像ではない。すなわち {{math|''x'' &le; ''y'' ⇒ st(''x'') &le; st(''y'')}} だが、{{math|''x'' < ''y''}} は {{math|st(''x'') < st(''y'')}} を導かない。
* {{mvar|x, y}} がともに有限超準実数ならば {{math|1=st(''x'' + ''y'') = st(''x'') + st(''y'')}} および {{math|1=st(''xy'') = st(''x'')st(''y'')}} が成り立つ。
* {{mvar|x}} が有限かつ無限小でないならば {{math|1=st(1/''x'') = 1/st(''x'')}} が成り立つ。
* {{mvar|x}} が標準実数となるための必要十分条件は {{math|1=st(''x'') = ''x''}} を満たすことである。
函数 {{math|st}} は、この有限超実数体 {{math|'''F'''}} 上の{{仮リンク|順序位相|en|order topology}}に関して[[連続写像|連続]]である（実は {{math|st}} は[[局所定数函数]]になる）。

== 超実体 ==
{{mvar|X}} が{{仮リンク|チコノフ空間|en|Tychonoff space}}（{{math|T<sub>3&frac12;</sub>}}-空間）で {{math|C(''X'')}} を {{mvar|X}} 上の実数値連続函数全体の成す多元環とする。{{math|M}} が {{math|C(''X'')}} の[[極大イデアル]]ならば、[[商環]] {{math|F {{=}} C(''X'')/M}} は実数体 {{math|'''R'''}} を含む全順序体である。{{math|F}} が真に {{math|'''R'''}} を含むとき、（{{harvtxt|Hewwitt|1948}} に従い）{{math|M}} を'''超実イデアル''' (''hyperreal ideal'')、{{math|F}} を'''超実体''' (''hyperreal field'') と呼ぶ。ここでは {{math|F}} の濃度が {{math|'''R'''}} の濃度より真に大きいことは仮定していないことに注意せよ（実際に同じ濃度を取り得る）。

特に重要な場合は {{mvar|X}} の位相が[[離散位相]]のときである。この場合、{{mvar|X}} はその[[基数]] {{math|κ}} に同一視することができ、{{math|C(''X'')}} は {{math|κ}} から {{math|'''R'''}} への函数全体の成す実多元環 {{math|'''R'''{{sup|&kappa;}}}} に同一視される。このとき得られる超実体は {{math|'''R'''}} の[[超積|超冪]] と呼ばれ、モデル論において自由[[超フィルター]]から得られるものと同一である。

== 関連項目 ==
* [[モデル理論]]
* [[コンパクト性定理]]
* [[ゲーデルの完全性定理]]
* [[拡張実数]]
{{Number systems}}
{{Infinitesimals}}
== 脚注 ==
{{reflist}}

== 参考文献 ==
* {{Citation | last1=Keisler | first1=H. Jerome | author1-link=Howard Jerome Keisler | title= [[Elementary Calculus: An Infinitesimal Approach]] | publisher=[[Dover Publications]] | location=New York | edition=2nd | isbn=978-0-486-48452-5 | origyear=1986 |year=2012 |postscript= &mdash;特に第一章に超実数の性質が、エピローグにその構成が、それぞれ平易に書かれている。}}
* {{citation | last = Ball | first = W.W. Rouse  | authorlink = W. W. Rouse Ball | title = A Short Account of the History of Mathematics | origyear =  | url =  | edition = 4th ed. [Reprint. Original publication: London: Macmillan & Co., 1908] | year = 1960 | publisher = Dover Publications | location = New York | isbn = 0-486-20630-0 | pages = 50–62 }}
* Hatcher, William S. (1982) "Calculus is Algebra", [[American Mathematical Monthly]] 89: 362&ndash;370.
* Hewitt, Edwin (1948) Rings of real-valued continuous functions. I. Trans. Amer. Math. Soc. 64, 45—99.
* {{citation | last1=Jerison | first1=Meyer | last2=Gillman | first2=Leonard | title=Rings of continuous functions | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90198-5 | year=1976}}
*Keisler, H. Jerome (1994) The hyperreal line. Real numbers, generalizations of the reals, and theories of continua, 207—237, Synthese Lib., 242, Kluwer Acad. Publ., Dordrecht.
* {{citation | last1=Kleinberg | first1=Eugene M. | last2=Henle | first2=James M. | title=Infinitesimal Calculus | publisher=[[Dover Publications]] | location=New York | isbn=978-0-486-42886-4 | year=2003}}

== 外部リンク ==
* {{MathWorld|urlname=HyperrealNumber|title=Hyperreal Number}}
* {{nlab|urlname=hyperreal+number|title=hyperreal number}}
* {{PlanetMath|urlname=Hyperreal|title=hyperreal}}

{{デフォルトソート:ちようしつすう}}
[[Category:数学基礎論]]
[[Category:無限]]
[[Category:超準解析]]
[[Category:数学に関する記事]]