「超実数」の版間の差分
削除された内容 追加された内容
超準解析に統合 |
en:Hyperreal number oldid=539708602 17:48, 22 February 2013の版 より部分的に翻訳、下書きは利用者:Tkcom/加筆･作成したい数学の項目/超実数. タグ: サイズの大幅な増減 |
||
1行目:
'''[[超実数]]'''(ちょうじっすう、[[:en:hyperreal number|hyperreal number]])の体系は無限大量や無限小量を扱うためにある。超実数や'''超準実数'''(nonstandard reals)、'''*R'''は実数'''R'''の拡張であり、次のような形のいかなる数より大きい数を含むものである:
:<math>1 + 1 + \cdots + 1. \, </math>
そのような数は無限大であり、その逆数は無限小である。"hyper-real"という単語は
[[:en:Edwin Hewitt|Edwin Hewitt]]により1948年に紹介された<ref>Hewitt (1948), p. 74, as reported in Keisler (1994)</ref>。
超実数はトランスファープリンシプル([[:en:Transfer principle|en]])を満たす。それの厳格なヴァージョンは[[ゴットフリート・ライプニッツ|ライプニッツ]]の連続性の法則([[:en:Law of Continuity|en]])である。トランスファープリンシプルは、'''R'''における[[一階述語論理]]の真なる主張は'''*R'''においても真であるという事を主張する。例えば、加法の[[可換則]]は実数で行われるのと全く同様に成り立つ。よって、'''R'''は実閉体([[:en:Real closed field|Real closed field]])であるから、'''*R'''も実閉体である。また、いかなる[[整数]]nについても<math>\sin{\pi n}=0</math>が成立することから、いかなる超整数([[:en:hyperinteger|hyperinteger]])Hにおいても<math>\sin{\pi H}=0</math>が成立する。超冪のトランスファープリンシプルは1955年のロスの定理([[:en:Ultraproduct#Łoś's theorem|en]])の帰結である。
無限小に関わる議論の[[健全性]]に対する関心は、[[アルキメデス]]が無限小に関する証明を([[:en:Method of exhaustion|Method of exhaustion]])を始めとするテクニックを用いた証明を置き換えたような[[古代ギリシャ]]時代の[[数学]]にまで遡る。1960年代に[[アブラハム・ロビンソン|ロビンソン]]は、実数が論理的に無矛盾であるならば、かつその時に限り、超実数は論理的に無矛盾(logically consistent)であることを証明した。ロビンソンが描写した論理規則によると、無限小が関わるいかなる証明は不健全であり、巧みに操られたものではないかという懸念がでてきた。
超実数の応用、特に解析学における諸問題へのトランスファープリンシプルの適用は[[超準解析]]と呼ばれる。一つの例は、微分や積分のような解析学の基礎概念を複数の[[量化|量化子]]を用いる論理的複雑さを回避して直接的に定義することである。つまり、f(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|en]])である。積分も同様に、適切な無限和の標準部分によって定義される。
== トランスファープリンシプル ==
超実数の体系のアイデアは、実数の集合'''R'''を拡張し、代数の基礎的ないかなる公理を変更することなく無限小や無限大を含む'''*R'''を構成するというものである。“すべての数xに対し…”という形のいかなる主張は、実数にとって真であれば超実数にとっても真である。例えば、“いかなる数についても、x+0=0”という公理にもあてはまる。同じ事が、いくつかの数の上での[[量化]]に対しても成立する：“いかなる数x,yに対しても、xy=yx”。
このように、実数から超実数に主張を引き継ぐことができることを、'''トランスファープリンシプル'''([[:en:Transfer principle|Transfer principle]])という。ただし、“数'''S'''のいかなる集合に対しても…”という形の主張は引き継ぐことができない。実数と超実数とが区別される唯一の性質は、典型的には集合とは関係なく構成できる、[[関数]]や[[関係]]のような集合やその他の高位の構造や上の量化に依るものである。
実数の集合や関数、関係は、全く同じ[[一階述語論理|一階]]の性質をもつその自然な超実数への拡張を持つ。量化の制限に従うこの種類の論理的文は、[[一階述語論理]]における主張について述べられる。
しかしながら、トランスファープリンシプルは、'''R'''と'''*R'''とが全く同一の振る舞いを持つということを意味しない。例えば、'''*R'''において、次のような性質をもつ元ωが存在する：
: <math> 1<\omega, \quad 1+1<\omega, \quad 1+1+1<\omega, \quad 1+1+1+1<\omega, \ldots. </math>
しかし、'''R'''にはそのような元は存在しない。これは、ωが存在しないことは一階論理の主張では表現することができないから、起こりうるのである。
== 解析での使用 ==
=== 代数関数における微分 ===
実数でない量の非正式な概念は、2つの文脈にそって歴史的に[[微積分学]]において現れる。一つはdxのような無限小として、もう一つは[[広義積分]]の[[極限]]において使われる∞という記号として現れる。
トランスファープリンシプルの例として、
“ゼロでないいかなる数について、2x≠x”という主張は実数にとって真であり、
超実数についても真であるためには、この形式ではトランスファープリンシプルが要求される。
これは、超実数の体系においてすべての無限大量は∞のような遺伝的な記号(generic symbol)を使うことが不可能である、ということを示している。
無限大量は“大きさが”他の無限大量と異なっているし、無限小量も他の無限小量と異なる。
同様にして、ゼロで割るという主張に対してトランスファープリンシプルを適用すれば、1/0=∞ということを無思慮に使うのは正当ではないことがわかる。
それに対応する計算の厳密なものは、εが無限小であるとき、1/εは∞であるということである。
いかなる有限超実数xに対して、その標準部分st(x)は、無限小の違いしかない唯一の実数と定義される。関数y(x)の[[導関数]]は <math>\frac{dy}{dx}</math> ではなく、 <math>\frac{dy}{dx}</math> の標準部分として定義される。
例えば、f(x)=x<sup>2</sup>の導関数 f'(x)を求めるには、dxを無限小超実数として
:{|
|-
|<math>f'(x)\,</math>
|<math>=\operatorname{st}\left(\frac{f(x + dx) - f(x)}{dx}\right)</math>
|-
|
|<math>=\operatorname{st}\left(\frac{x^2 + 2x \cdot dx + dx^2 -x^2}{dx}\right)</math>
|-
|
|<math>=\operatorname{st}\left(\frac{2x \cdot dx + dx^2}{dx}\right)</math>
|-
|
|<math>=\operatorname{st}\left(2x + dx\right)</math>
|-
|
|<math>=2x\,</math>
|}
導関数の定義において標準部分を使用することは、無限小量の平方を無視するという伝統的な慣習の厳密な代替である。上記の式の三行目以降、ニュートンから19世紀にわたっての典型的な方法は単に dx<sup>2</sup> の項を無視するというものであった。
ゼロでない実数の平方はゼロでないという主張にトランスファープリンシプルを適用することで、超実数の体系では、dx がゼロでないことがわかるから、dx<sup>2</sup>≠0である。
しかし、dx<sup>2</sup> という量は、dxに比べ極微に(infinitesimally)小さい。つまり、超実数の体系は無限小量のヒエラルキーを含むのである。
== 性質 ==
超実数'''*R'''は部分体としての実数'''R'''を含む順序体を形成する。
実数とは違い超実数は標準的な[[距離空間]]を形成しない。がしかし、その[[順序]]をもっていることにより[[順序位相]]は保つことができる。
英語で明確にする目的でtheという冠詞を用いて、the hyperreal numbersとすることは、言及される大抵の文脈において一意な順序体が存在しないという点で、幾ばくか誤解を招くことになる。
しかし、[[:en:Vladimir Kanovei|Vladimir Kanovei]]と[[:en:Saharon Shelah|Shelah]]<ref name=kanovei2003>{{Citation | last1=Kanovei|first1=Vladimir| last2=Shelah|first2=Saharon| 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>の2003年の論文において、[[:en:definable|definable]], countably saturated [[:en:elementary extension|elementary extension]] of reals というものを示した。これは、the hyperreal numberというタイトルは(一意的な順序体であるという意味で)ふさわしいものであった。さらに、すべての実数列の空間からの超冪による構成により得られた体は、連続体仮説を仮定すれば、同型を除いて一意に定まる。
超実数体であることの状態は実数'''R'''を真に含む実閉体([[:en:Real closed field|Real closed field]])のそれより、強いものである。Dales や [[:en:W. Hugh Woodin|Woodin]].<ref>{{Citation | last1=Woodin | first1=W. H. | 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>の意味での、[[:en:superreal field|superreal field]]の状態もまた、それより強い。
== 発展 ==
超実数は、公理的にまたは構成志向的な方法のいずれかによって発展されうる。
公理的アプローチの本質は、次を主張することである：
# 少なくともひとつの無限小数の存在
# トランスファープリンシプルの正当性。
以下のサブセクションでは、さらに構成的なアプローチの概要を与える。[[超フィルター]]と呼ばれる集合論的対象が与えられれば、超実数を構成することができる。しかし、超フィルターそれ自体は明晰に構成されない。(Kanovei と Shelah<ref name=kanovei2003/> は、恐ろしく複雑な方法という代償をはらって、明晰な構成法を与えた。)
=== ライプニッツからロビンソンへ ===
{{節stub}}
=== 超冪による構成 ===
実数列から超実数体が構成できることを見てゆこう<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_1*b_1, a_2*b_2, \ldots) </math>
これにより、このような数列の集合は可換環になり、それは実際に、[[体上の多元環|real algebra]]で'''A'''とする。
実数rと数列(r,r,r,…)を同一視することによって、'''R'''の'''A'''への自然な埋め込みが存在する。この同一視は実数の代数的演算を保存する。
直感的な動機は、例えば、ゼロに収束するような数列を用いて無限小超実数を表したいということである。そのような数列の逆元が無限大超実数を表すことになるだろう。
以下で見るように、幾ばくかの恣意性が避けられないものの、self-consistentであり、well definedでなければならない点において数列の比較の規則を定義する必要性から困難が生ずる。
例えば、はじめのn項のみが違い、残りはすべて同一な2つの数列は等しい。つまり、それらの数列は明らかに同一の超実数であると考えられるべきなのである。
同様に、<math>\epsilon</math>はある無限小超実数として<math>7+\epsilon</math>を考えるように、永遠にランダムに振動するような多くの数列についても、これを解釈する方法を見つけなければならない。
実数列の比較を定義するのはデリケートな問題である。例えば、加法や乗法と同じように次のように定義したとしても、すぐに困難にぶつかる。
:<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>
それは、前者の数列のいくつかの項が、後者の数列の対応する項より大きく、それ以外のの項が小さいということがありうるからだ。従って、この方法によって定義される関係は、[[半順序]]である。これを回避するには、位置の問題を明示しなければならない。数列には無限の項([[添字]])が存在するから、有限個の項についてそれを問題にしたくない。問題となる添字集合の一貫した選択は、[[自然数]]上の任意の自由[[超フィルター]] U によって与えられる。自由超フィルターとは有限集合を含まない超フィルターのことである
(それの良い点は、[[ツォルンの補題]]よりそのような多くの U が存在することである。悪い点は、それが明晰に構成されえないということである。)。
“問題”となる添字集合を一つ選び出すような、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つの数列a､bに対し、 a ≤ b かつ b ≤ a であるとき、a と b を区別しないことを認めればこれは[[全順序]]になる。この同一視により、超実数順序体'''*R'''が構成される。代数的観点からみると、
U によって対応する[[可換環]] '''A''' の極大イデアル '''I''' (すなわち、Uの元の幾つかが消えた数列の集合)を定義し、'''A/I''' を '''*R''' と定義できる。極大イデアルによる可換環の商として、'''*R'''は体である。それを自由超フィルター U を使って '''A'''/Uと書くこともあり、それらは等しい。その '''I''' の極大性から、与えられた数列 a からその非ゼロ元の逆数をとって、ゼロ元はそのままにしてできた数列 b をつくることができる可能性が従う。それらの積 abは、この場合は数1と同定され、1を含むいかなるイデアルは A でなければならない。その結果の体において、a と b は互いに逆元である。
体 '''A'''/U は '''R''' の[[超冪]]([[:en:Ultraproduct|ultrapower]])である。この体は '''R''' を含むから、最低でも[[連続体濃度]]以上の濃度を持つ。
A は
:<math>(2^{\aleph_0})^{\aleph_0} = 2^{\aleph_0^2} =2^{\aleph_0},\,</math>
という濃度以下でもあるから、'''A'''/U の濃度は連続体濃度に等しい。
ここで一つの疑問が出てくる。それはU とは違う自由超フィルター V を選んだら、その商 '''A'''/V は '''A'''/U に同型かどうかということだ。この疑問は、[[連続体仮説]]と同等であるということがわかっている。ZFCと連続体仮説を仮定したうえで、これらの体は順序同型で一意的であるということが証明できる。
ZFCと連続体仮説の否定を仮定したうえで、それぞれ可算に添字付けられた実数の超冪で、順序非同型な体のペアが存在することを証明できる。
構成の詳細な説明は[[超積]]([[:en:Ultraproduct|Ultraproduct]])を参照せよ。
=== 超冪による構成の直感的アプローチ ===
{{節stub}}
== 無限小超実数や無限大超実数の性質 ==
{{節stub}}
== 超実数体 ==
{{節stub}}
== 関連項目 ==
* [[超準解析]]([[:en:Non-standard analysis|Non-standard analysis]]または[[:en:|Non-standard calculus]])
* [[超現実数]]([[:en:Surreal number|Surreal number]])
== 脚注 ==
<references />
== 参考文献 ==
* Jerome Keisler '''''Elementary Calculus: An Infinitesimal Approach'''''
:* これはキースラーの[http://www.math.wisc.edu/~keisler/calc.html 公式ホームページ]で無償で公開されている。特に第一章に超実数の性質が、エピローグにその構成が、それぞれ平易に書かれている。
== 外部リンク ==
{{デフォルトソート:ちょうしっすう}}
[[Category:数学に関する記事]]
[[Category:数学基礎論]]
[[Category:無限]]
| |||