超準解析

微分積分学の歴史は、流率法あるいは無限小数の意味および論理的妥当性に関する哲学的論争を孕んでいる。これらの論争の標準的な解決策は、微分積分学における操作を無限小ではなくイプシロン-デルタ論法によって定義することである。超準解析は代わりに論理的に厳格な無限小数の概念を用いて微分積分学を定式化する。Nonstandard Analysisは直訳すれば非標準解析学となるが、齋藤正彦が超準解析という訳語を使い始めたため、そのように呼ばれるようになった。無限小解析という言葉で超準解析を意味することもある。

超準解析は1960年代に数学者アブラハム・ロビンソンによって創始せられた。 彼は次のように記述している：

[...] 無限に小さいあるいは無限小の量という概念は我々の直観に自然に訴えかけるように見える。何れにせよ、無限小の使用は、微分学・積分学の黎明期において、広く普及した。相異なる2つの実数の差が無限に小さくなることはないという [...] 異論に対して、ゴットフリート・ライプニッツは、無限小の理論は理想的数――それは実数と比較して無限に小さかったり無限に大きかったりするものであるが、//後者と同じ性質を有する//――の導入を含意するものであると主張した。ロビンソンはこのライプニッツの連続性の原理は移行原理の先駆けであるとしている。ロビンソンは次のように続ける：

しかしながら、彼も、彼の弟子たちや後継者たちも、このようなシステムに繋がる合理的な進展を得なかった。その結果、無限小の理論は徐々に評判を落としてゆき、最終的には古典的な極限の理論に取って代わられた。ロビンソンはさらに次のように続ける：

本書では、ライプニッツのアイデアが完全に正当なものであり、古典解析やその他の多くの数学の分科に対する新奇で実りあるアプローチに繋がることを示す。我々の方法の鍵は、現代モデル理論の基盤にある、数学の言語と数学的構造との間の関係の詳細な分析によって齎される。1973年、直観主義者アレン・ハイティングは超準解析を「重要な数学的研究の標準モデル」だと賞賛した。

1. 導入
-----

順序体 の非零元が無限小であるとは、その絶対値が の形をした如何なる の元よりも小さいことをいう。無限小を持つ順序体は非アルキメデス的であるという。もっと一般に、超準解析は超準モデルと移行原理に基づくあらゆる形態の数学をいう。実数に対して移行原理を満たすような体を超実数体といい、超準実解析学はそういった体を実数の超準モデルとして用いる。

ロビンソン自身のアプローチはそれら実数体の超準モデルに基づく。彼のこの分野に関する古典的・基礎的な本 //Non-standard Analysis// は1966年に出版され、現在も販売されている。 88ページにおいて、ロビンソンは次のように書いている：

算術の超準モデルの存在はトアルフ・スコーレムによって発見された。スコーレムの手法は超冪構成を予示するものである [...]無限小計算を展開するには幾つかの技術的問題を解決しなければならない。例えば順序体に無限小を付け加えたものを構成するだけでは不十分である。これに関連するアイデアにまつわる議論は超実数の記事を参照。

2. 基本的定義
--------

本節では超実数体 の最も簡明な定義のひとつを概説する。 を実数体、 を自然数の成す半環とする。また、 によって実数列の成す集合を表す。体 は の適当な商として定義される。いま 上の非単項超フィルター を取る。とくに はフレシェフィルターを含む。次の2つの実数列を考える

このとき と が同値であるということを、それらが超フィルターに属す集合上で一致すること、あるいは同じことであるが、次の式によって定義する：

この同値関係による の商がひとつの超実数体 を与える。この状況を簡単に と表す。この構成は による の超冪と呼ばれる。

3. 動機
-----

超準解析を考えることには少なくとも3つの理由がある。

3.1. 歴史的
--------

ニュートンとライプニッツによる無限小解析の最も初期の成果の多くは //infinitesimal number// や //vanishing quantity// といった表現を用いて定式化されていた。超実数の記事で注意されているように、それらの定式化はジョージ・バークリーなどから広く批判を受けた。無限小を使用した解析学の整合的な理論の構築が問題であったが、これを満足のいく仕方で成し遂げた最初の人物がアブラハム・ロビンソンである。

1958年にクルト・シュミーデンとデトレフ・ラウグヴィッツは論文 "Eine Erweiterung der Infinitesimalrechnung"  を出版した。この論文は無限小を含む環の構成法を提案したものである。この環は実数列達から構成される。2つの数列が同値と看做されるのは、それが高々有限個の要素だけ異なっているときである。算術演算は要素毎に定義される。しかしながら、このようにして構成された環は零因子を含み、よって体を成さない。

3.2. 教育的
--------

ハワード・ジェローム・キースラー、デイビット・トールやその他の教育者らは、無限小の使用は学生達にとって"イプシロン-デルタ"アプローチよりもより直感的かつ容易に解析学的概念を把握することができるものである、と主張する。このアプローチはしばしば、対応するイプシロン-デルタで定式化された証明よりも、より易しい証明を提供する。大抵の単純化は、次のような超準算術の大変簡単な法則を適用することから得られる：

無限小 × 有限 = 無限小無限小 + 無限小 = 無限小および後で述べる移行原理である。

超準解析の別の教育的な応用はエドワード・ネルソンによる確率過程の取り扱いである。彼のアプローチは測度論的確率論のオルタナティヴを与えるものでもある。従来の測度論的確率論に於いて無限確率空間を用いて定式化されていた現象が、超準的な意味での有限確率空間によって再定式化される。それゆえ、測度論や積分論の知識を用いることなく、初等的な有限確率論と超準解析を用いて高度な確率論を展開することが可能となる。

3.3. 技術的
--------

幾つかの最近の研究は、超準解析の概念を用いた解析学、とくに統計学や数理物理学における極限過程の研究において為されている。セルジオ・アルベヴェリオらはそれらの幾つかの応用について論じている。

4. ロビンソンの書
----------

アブラハム・ロビンソンの書 //Non-standard analysis// は1966年に出版された。この本で開発された幾つかのトピックは、彼の1961年の同名の論文で既に与えられている。この本は、超準解析の最初の完全な取扱いを含むことの他にも、詳細な歴史的な章を含んでいる。そこでロビンソンは、無限小が矛盾した量であるという超準解析以前の認識に基づく、数学の歴史に関する広く信じられている幾つかの見解に挑戦している。ロビンソンは、連続関数の級数の収束に関するオーギュスタン＝ルイ・コーシーの //Cours d'Analyse// にある "sum theorem" が誤りであるという考え方に挑み、この"定理"の仮定に無限小に基く解釈を与えて正しい定理になるようにすることを目論んだ。

5. 論理的枠組み
---------

5.1. ふたつのアプローチ
--------------

超準解析には2つの非常に異なったアプローチがある：ひとつは意味論的あるいはモデル論的アプローチであり、もうひとつは構文論的アプローチである。これらのアプローチはどちらも、解析学以外にも、数論、代数やトポロジーを含む、他の数学の領域に適用される。

ロビンソンによる超準解析の元々の定式化は「意味論的アプローチ」のカテゴリーに分類される。彼が一連の論文で行ったように、これは理論のモデルの研究に基づく。ロビンソンの仕事が最初に現れてから、Elias Zakonは上部構造と呼ばれる純粋に集合論的な対象を用いたより単純な意味論的アプローチを開発した。このアプローチでは、「理論のモデル」は集合 の「上部構造」 と呼ばれる対象で置き換えられる。上部構造 に超冪構成を適用することで、写像 を伴い移行原理を満たす別の対象 を構成することができる。写像 は と の形式的性質を関連付ける。さらに、飽和性のより簡素な形である可算飽和性を考えることもできる。この簡素化されたアプローチはモデル理論やロジックの専門家ではない数学者が超準解析を使用する場合により適している。なぜなら、可算飽和性を満たすモデルは前述したフレシェ超フィルターによる超冪によって構成でき、各々の超準的対象は「標準的対象の可算列の同値類」という具体的な描像を持つからである。

「構文論的アプローチ」は数理論理学とモデル理論に関して遥かに少ない理解と使用を要する。このアプローチは1970年代半ばに数学者エドワード・ネルソンによって開発せられた。ネルソンは内的集合論と彼が呼ぶ完全に公理的な超準解析の定式化を導入した。ISTは二項帰属関係 に関するツェルメロ＝フレンケル集合論に新しい単項述語「標準的」を追加する。この新しい述語は、集合論的宇宙の要素達に適用可能なものであって、それに関する推論の為の幾つかの公理を伴う。この方向からのアプローチはフルバチェックらによって進展された。

構文論的な超準解析は数学者が通常当たり前と考える集合構成原理の適用において細心の注意を要する。ネルソンが指摘するように、IST内の推論における誤りは「非合法な集合構成」によるものである。例えば、ちょうど標準的自然数からなる集合はISTにおいては存在しない。非合法な集合構成を回避するために、部分集合の定義にはZFCの論理式だけを使用しなければならない。

構文論的アプローチの別の例としてはヴォピェンカによって導入された代替集合論がある。これはZF公理系よりもより超準解析と両立的な集合論的公理を探るものである。

その他の構文論的アプローチとして と呼ばれる特殊な定数記号を公理的に導入する Alpha Theory がある。

5.2. 上部構造アプローチ
--------------

以下ではモデル論的アプローチに分類される上部構造アプローチについて述べる。任意の集合 が与えられたとき、 の上部構造とは次のように帰納的に定義される集合 である：

つまり の上部構造は から始めて、 の冪集合を に添加していく操作を繰り返し、それによって得られた列の和集合を取ることで得られる。実数たちの上部構造は沢山の数学的構造を含む：例えば全ての可分距離空間や距離化可能位相線型空間の同型なコピーを含む。実質的には、解析学者が興味を持つ全ての数学が の中で展開できる。一般に、ある一群の数学的対象 について議論したいならば、それらの和集合の上部構造を考えればよい。

超準解析の道具立ては集合 と写像 で幾つかの追加の性質を満たすものである。それらの原理を定式化するために、最初に幾つかの定義を述べる。

論理式が有界であるとは、その論理式に現れるどの量化子も、それぞれある集合上に制限されていること、すなわち、次の何れかの形をしているときにいう：

例えば、論理式

は有界である：全称量化された変数 x}} は A}} 上を走り, 存在量化された変数 y}} は B}} の冪集合上を走る。他方で、

は有界でない。なぜなら //y// の量化が制限されていないからである。有界論理式の真偽はあるランクの の中で完全に決定され、 全体を参照する必要がないことが重要である。

5.3. 内的集合
---------

集合 //x// が内的とは、ある に対して となることをいう。 ならば 自身が内的である。

超準解析の基本的な論理的枠組みを定式化しよう：

拡大原理：写像 は 上で恒等的である。
移行原理：いかなる有界論理式 と に対しても、次の同値が成り立つ：
可算飽和性：もし が空でない内的集合の減少列ならば、超積を用いることで、このような写像 が存在することが示せる。 の元は標準的と呼ばれる。 の元は超実数と呼ばれる。

5.4. κ}}-飽和性
------------

飽和原理はより高次の基数を許すことによって「改良」することができる。モデルが -飽和であるとは、 が有限交叉性を持つ内的集合の族で のときには必ず次が成り立つことをいう：

添字集合の条件を とする流儀もある。例えば、最初の流儀で -飽和と呼ばれるものは、後者の流儀では -飽和と呼ばれる。以下の記述は最初の流儀に従う。

この原理は有用である。例えば、位相空間 において、全ての標準的な近傍の共通部分が内的な近傍を含むことを保証するために -飽和性を用いることができる。より精密には -飽和性があれば十分である。ここで は の指標を表す。この事実は、開集合、連続写像、コンパクト性などの概念の標準的な定義と超準的な定義との同値性を示すのに使われる。一方、実数全体 は第一可算であるので、初等的な解析学に関する限り、可算飽和性があれば十分である。

いかなる基数 に対しても、-飽和的な拡大を構成できる。 集合論の超準モデル が -飽和的なとき、 の内的な無限集合の濃度は より大きい。特に台集合 の濃度は より大きい。

一方で次の飽和原理の弱い形である広大化の原理は基数の制限を除くことができる。超準宇宙が広大化であるとは、 が有限交叉性を持つ標準集合の族のとき、必ず次が成り立つことをいう：

この原理は -飽和原理から帰結する。したがって を標準集合全体の濃度とすれば、-飽和モデルは広大化の原理を満たす。先述したモナドの性質などは広大化の原理から導かれる。

を超える飽和原理はしばしば本質的に用いられる。1+1次元時空のディラック方程式の経路積分に基づく解法は超準解析を用いて測度論的に正当化できることが知られている。この超準的な解法において、光速度 を正の無限大超実数と置くことで、非相対論的極限である1+1次元時空のシュレーディンガー方程式の解が得られる。この解法において -飽和性が本質的に用いられる。

6. 微分積分学の超準化
------------

記号 で超自然数の集合を表すものとする。拡大原理によれば、これは の上位集合になっている。集合 は空でない。このことを見るためには、可算飽和性を次の内的集合の列に適用する：

列 は空でない減少列であるから、所望の結果を得る。

幾つかの定義から始める：超実数 が無限に近いとは、次が成り立つことをいう：

超実数 が無限小であるとは、それが 0 に無限に近いことである。例えば、もし が自然数でない超自然数、つまり、 の元であるならば、 は無限小である。超実数 が限定または有限とは、その絶対値がある標準自然数で抑えられることである。有限超実数の全体は、全ての実数を含むような、 の部分環を成す。この環において、無限小超実数の全体はイデアルを成す。

有限超実数の成す集合や無限小超実数の成す集合は の外的な部分集合である。これの意味するところは内的集合に限定された有界量化は、これらの集合を亙ることはできないということである。