実閉体

数学における**実閉体**（じつへいたい、）は実数体と一階の性質が同じである体を言う。実数体、実代数的数体、超実数体などがその例を与える。

## 定義
与えられた体  が実閉体であるとは、以下のたがいに同値な条件の何れか、したがって全部を満足するときに言う:

#  は実数の全体とである。別な言い方をすれば、実数体と同じ一階の性質を持つこと、つまり一階言語で書ける任意の文が  において真となるための必要十分条件はそれが実数体において真となることである。(代数型 (signature) の選択は重要でない)
#  上の全順序が存在して  は順序体となり、かつその順序に関する  の任意の正元が  内に平方根を持つこと、および任意の奇数次 -係数多項式が少なくとも一つの根を  内に持つことが真である。
#  は実体であって、任意の奇数次 -係数多項式が  内に少なくと一つの根を持ち、かつ各  に対して適当な  が存在して  または  が成り立つ。
#  は代数閉でないがその代数閉包は有限次拡大として得られる。
#  は代数閉でないが拡大体  は代数閉である。
#  の順序付けで  の真の代数拡大上の如何なる順序付けにも延長することができないものが存在する。
#  は実体であって、かつその真の代数拡大で形式的に実となる体は存在しない。(すなわち、そのような体は代数閉包において形式的に実という性質に関して極大なものである) 
#  上の適当な順序付けが存在して  は順序体となり、かつその順序に関する意味で  上の次数  なる任意の多項式に対して中間値の定理が満足される。
#  はである。

順序体に対する****は、1926年にエミール・アルティンおよびが証明したことに名を因む。
; 定理 (Artin&ndash;Schreier)
:  が順序体ならば、 の**実閉包**と呼ばれる代数拡大体  が存在して、 は実閉体かつ  の順序の延長となる適当な順序に関して順序体となり、かつそのような  は  上自明となる体の同型を除いて一意である。
 例えば、有理数全体の成す順序体の実閉包は実代数的数体  である。

順序体  と  のガロワ拡大  に対し、 の部分体  と  の延長となる  上の順序  からなる拡大順序体  で包含関係に関して極大なものが（ツォルンの補題を適用することにより）存在する。この順序体 （あるいは短く ）は （あるいは短く ）の  における**（相対）実閉包**と呼ぶ。 がちょうど  に一致するとき、 は  に**対して実閉**であるという。また  が  の代数閉包のとき、 における  の相対実閉包は、実際に上で述べたところの  の実閉包となる。

 が単に体である（体の演算と両立する順序の存在も仮定しないし、 が順序付け可能とも仮定しない）ときでも、やはり  は実閉包（それはもはや体ではないかもしれない）を持ち、それはとして得られる。例えば、二次体  の実閉包は、実閉環  である（ のコピーが二つあるのは、 の二つの順序付けに対応している）。他方、 を  の部分順序体と考えるときの、その実閉包はふたたび  となる。

## モデル理論: 決定可能性および量限定子消去
実閉体の理論は初めは代数学の中で発展したものだけれども、重要な示唆はモデル理論からもたらされた。順序体の公理系に
* 任意の正元が平方根を持つことを要請する公理
* 任意の奇数次多項式が少なくとも一つの根を持つことを要請する公理図式
を加えることにより、一階の理論が得られる。 は、に関する一階の言語（二項述語記号 "", "", 加法、減法、乗法の演算および定数記号  からなる）において、実閉体の理論が を許すことを示した。このことのもっとも重要なモデル理論的帰結は、実閉体の理論が、かつ決定可能なることである。

決定可能性が意味するのは少なくとも一つの決定手順が存在すること、すなわち実閉体に関する一階言語で書かれた文が真であるかどうかを決定するためのwell-definedなアルゴリズムが存在することである。ユークリッド幾何学（角度の決定可能性は除く）もまた実体の公理のモデルであって、したがって決定可能である。

この決定手順が「実用的」であるかは問わない。実閉体に対する決定手順は何れも計算量が極めて大きいことが知られているから、非常に単純な問題を除けば実際の実行時間は極めて長くなりうる。

タルスキーのアルゴリズムはが複雑性クラス  に属する可能性を示唆している。つまり、問題の大きさを  とするとき、アルゴリズムの実行時間を上から評価するような冪の塔 2^{2^{\,\cdot^{\,\cdot^{\,\cdot^{\,n}}}}} は存在しない。 は量限定子消去が実は（少なくとも）二重指数的であることを示した。つまり、漸近記法を用いれば、 個の量限定子を持つ式の族  で長さ  のものと一定の次数が存在して、 に同値な量限定子を持たない任意の式が次数  かつ長さ  の多項式を必ず含む。 は実閉体の理論が EXPSPACE において（したがって二重指数時間で）決定可能であることを示した。

Basu and Roy (1996) は  なる式（ただし、 は  の何れか）が真かを決定するためのよく振る舞うアルゴリズムで、算術演算  の複雑性に属するものが存在することを示した。実はは PSPACE で決定できる。

追加の函数記号（例えば正弦函数  や指数函数 ）を加えて、することができる。

まだほかにも、実閉体の重要なモデル理論的性質として、それがを持つことが挙げられる。逆に、任意の弱 o-極小順序体は実閉でなければならない。

## 順序論的性質
実数体の著しく重要な性質は、それがアルキメデス体であること、つまり任意の実数に対して絶対値がそれより大きい整数が存在するというアルキメデスの性質をもつことである。任意の実数に対してそれよりも大きい整数と小さい整数の両方が存在する、と言っても同じことである。アルキメデス的でない実閉体は非アルキメデス順序体である。例えば、超実数からなる任意の体は実閉かつ非アルキメデスである。

アルキメデスの性質は共終数の概念と関係がある。順序集合  に含まれる集合  が  において共終であるとは、各  に対し  が存在して  となることである。つまり、 は  における非有界列を成す。 の共終数は、最小の共終集合の大きさ（つまり、非有界列を与えることのできる集合の最小濃度）である。例えば自然数は実数全体の成す順序集合において共終であり、したがって実数体の共終数は  である。

いま実閉体  の特質を定義する不変量として「 の濃度」と「 の共終数」を得た。これに加えて「 の重み (weight)」は  の稠密部分集合の大きさの最小値で与えられる。これら三種の基数は、任意の実閉体の順序に関する性質の多くを教えてくれるが、それがどのようなものであるかを発見するのは難しいかもしれない（特に一般化連続体仮説を含めない場合には）。成り立つかもしれないし成り立たないかもしれない特定の性質も存在する:
* 体  が**完備** (complete) であるとは、 を真に含む順序体  で  が  において稠密となるようなものが存在しないときに言う。 の共終数が  のとき、この完備性は  で添字付けられるコーシー列が  において収束することと同値である。
* 順序体  が順序数  に対する 性質  を持つとは、 の  より小さい濃度を持つ二つの部分集合  で  の任意の元が  の任意の元よりも小さいようなものが任意に与えられたとき、 の任意の元より大きくかつ  の任意の元より小さい  が存在するときに言う。これはであるというモデル理論的性質に近しい関係がある。つまり、任意の二つの実閉体が  となるための必要十分条件は、それらが -飽和となることであり、またさらに言えば二つの  実閉体はそれらがともに濃度  ならば互いに順序同型である。

## 一般化連続体仮説
実閉体の特徴付けは一般化連続体仮説を仮定することを受け入れるならば非常に簡単になる。連続体仮説が満足されるならば、連続体濃度と -性質を持つ任意の実閉体は、互いに順序同型である。この意味で一意な実閉体  は超冪の意味で  と定義できる（ただし、 は  に順序同型な体を導かない極大イデアルとする）。これが超準解析においてもっとも一般的に用いられる超実数体であり、その一意性は連続体仮説に同値である。

さらに言えば、 の構成に超冪が必要というわけでもなく、より構成的に、濃度  の -群となる全順序可除アーベル群  上の形式冪級数体  の、可算個の例外を除く全ての項が零であるような級数全体の成す部分体として構成することもできる。

しかしこの  は完備体ではなく、またそれに完備化を施して得られる体  は濃度がより大きいものとなる。 が連続体濃度（いま仮定によりそれは  である）を持てば、その完備化  は濃度  で  を稠密部分体として含む。これは超冪のでないとはいえ、やはりこれは「超実体」であり、したがって超準解析で用いるに適した体である。これは実数体の高次元版とみることもできる。つまり、濃度が  でなく  で、共終数が  でなく  で、重みが  でなく  であり、-性質（これは単に任意の二実数の間に別の実数が存在することを言うもの）の代わりに - 性質を満たす。

## 例
には以下のようなものが挙げられる:
* 実代数的数体
* 計算可能数体
* 定義可能実数体
* 実数体
* 準超実数体
* 超実数体
* 実係数体

## 注
### 注釈

### 出典

## 参考文献
* 
* .
* 
* 
* 
* 
* 
* 

## 関連文献
* Basu, Saugata, Richard Pollack, and Marie-Françoise Roy (2003) "Algorithms in real algebraic geometry" in *Algorithms and computation in mathematics*. Springer.  (online version)
* Caviness, B F, and Jeremy R. Johnson, eds. (1998) *Quantifier elimination and cylindrical algebraic decomposition*. Springer. 
* Chen Chung Chang and Howard Jerome Keisler (1989) *Model Theory*. North-Holland.
* 
* Mishra, Bhubaneswar (1997) "Computational Real Algebraic Geometry," in *Handbook of Discrete and Computational Geometry*. CRC Press. 2004 edition, p.&nbsp;743. 

## 外部リンク
* ''Real Algebraic and Analytic Geometry Preprint Server''
* ''Model Theory preprint server''
* 
*