超準解析

出典: フリー百科事典『ウィキペディア（Wikipedia）』

超準解析（ちょうじゅんかいせき）とは、超実数やその上の関数について研究する解析学の一分野である。無限小解析と同一のものとも見なされる。そこではイプシロン-デルタ論法によって一度は追放されたと思われた、無限小や無限大という極限に関する古典的で直観的な感覚、すなわち、ライプニッツ流の微積分を数学的に厳密に定式化し、取り戻すことができる。アブラハム・ロビンソンによって考案された。超準解析の基本的な手法である超積はアラン・コンヌらによって作用素環の研究に応用されてもいる。

超実数（ちょうじっすう）は実数を拡張した数概念である。実数体に無限小・無限大を加えたものは体をなし、超実数体と呼ばれる。超実数体は ^*R, R^* などと表記される。その元を超実数という。ただし、無限小や無限大は 1 点ではなく、たとえばある無限小について、それより小さい無限小、大きい無限小が存在する。無限大に対しても同様。また、一つの超実数の周りには、それと無限に近い超実数が無数に存在する。

超実数は数学的に厳密に構成することができる。しかし、標準的な超実数の構成には数学基礎論の手法が用いられており、ある程度の基礎論に関する知識を要する。超実数の構成は実数の構成によく似ていて、実数からなる数列にたいして一定の同一視操作（たとえば有限項の違いは無視する）をしたものを新たな数と見なすというものである。

超準解析における超準とは、実数体の超準モデルを用いることからきている。超準解析では、一つの対象に対して二通りのモデルを考える。二通りのモデルのうち、一つのモデルはもう一つのモデルを含むものである。

[編集] 歴史

17世紀にニュートンやライプニッツが微分積分学を創始したとき、彼らは極限や収束の概念を極めて素朴に考えていた。後になって、ワイエルシュトラスの ε-δ 論法の発明により微分積分学は厳密化され、無限小や無限大という概念によらずに議論できるようになった。これにより、収束性に関する直観的なイメージをそのまま議論に用いる方法は廃れた。

ニュートンやライプニッツ以来300年間厳密に定義されなかった無限小量は ε-δ 論法の登場によって一旦は追放された。しかし1950年代に登場したモデル理論をはじめて応用することで、1960年代にアブラハム・ロビンソンは超実数を考案して、古典的な無限小・無限大の概念を数学的に厳密な形で正当化し、無限小解析をそのままの形で蘇らせることに成功した。このロビンソンの理論が超準解析とよばれるものである。

[編集] 超実数の公理

ジェロム=キースラーは、微積分の展開に最低限必要な前提を単純な公理としてまとめることに成功する。

R はアルキメデス順序体である。
R^* は R の真拡大順序体である。
任意の有限超実数はちょうど一つの実数に無限に近い。
任意の n 変数関数 f に対し、f の自然延長とよばれる n 変数超実関数 f^* が対応する。特に、R^* の体演算は R の体演算の自然延長である。
ふたつの式系がちょうど同じ実解を持つならば、それはちょうど同じ超実解を持つ。

もうひとつの同値な公理系がある。

R は完備順序体である。
R^* は R の真拡大順序体である。
任意の n 変数実関数 f に対し、f の自然延長と呼ばれる n 変数超実関数 f^* が応じる。特に、R^* の体演算は R の体演算の自然延長である。
二つの式系がちょうど同じ実解をもつならば、それらはちょうど同じ超実解を持つ。

ここで変数 x₁, ..., x_n を含む式系 S の超実解とは、n 個の超実数の組 <c₁, ..., c_n> で、S の式に現われるあらゆる関数の自然延長をとり、各変数 x_i に c_i を代入して得られた式の両辺が定義されて、しかも全ての式が真となることである。

[編集] 諸概念

R を実数体、R^* を超実数体といい、実数体の元を実数、超実数体の元を超実数という。超実数の元 x で、任意の正実数 r に対して |x| < r となるものを無限小超実数、ある実数 r が存在して |x| < r となるものを有限超実数、任意の正実数 r に対して |x| > r となるものを無限大超実数という。