超積

テンプレート:出典の明記 数理論理学のとくにモデル理論、あるいは普遍代数学における超積（ちょうせき、テンプレート:Lang-en-short）は、同じテンプレート:Ill2の数学的構造からなる族の直積の適当な商構造をとる数学的構成を言う。任意の直積因子が等しい特別の場合として、超冪（ちょうべき、テンプレート:Lang-en-short）がある。

例えば、与えられた体から新たな体を構成するのに超冪が利用できる。超実数体はそのような方法で実数体の超冪として得られる。

超積の顕著な応用として、例えばコンパクト性定理および完全性定理の非常にエレガントな証明、テンプレート:Ill2の超冪定理（初等同値に関する 意味論的概念の代数的特徴付けを与える）、そして解析学の超準モデルを構成するための超構造およびその間の単型射の使用に関するロビンソン–ザコン表示（アブラハム・ロビンソンが（コンパクト性定理の応用として）開拓した超準解析の分野の成長を導いた）などを挙げることができる。

定義

超積を得る一般の方法として、添字集合を テンプレート:Mvar の各添字 テンプレート:Math に（すべて同じ型の構造）テンプレート:Mvar が対応付けられ、テンプレート:Mvar 上の超フィルター テンプレート:Mvar が与えられているとする。通常は テンプレート:Mvar として無限集合を取り、テンプレート:Mvar は テンプレート:Mvar の補有限部分集合をすべて含むものとする。あるいは、超フィルターがテンプレート:Ill2で、得られる超積が直積因子の一つに同型となるものを考える。

定義 (超積)

直積対象 $\prod _{i\in I}{M}_i$ 上の代数演算は、通例の如く成分ごとに定義する（例えば、各因子が二項演算 “テンプレート:Math” を持つとき、テンプレート:Math とする）ものとして、さらに同値関係 テンプレート:Math を $$a\sim b:⟺\{i\in I:a_i=b_i\}\in U$$ で定める。このとき所期の超積とは、この直積対象の同値関係 テンプレート:Math による商 $\prod _{i\in I}{M}_i/U$ を言う。

添字集合 テンプレート:Mvar 上に有限加法的測度 テンプレート:Mvar を $$m(A):=\{\begin{array}{cc}1& (A\in U)\\ 0& (\text{otherwise})\end{array}$$ と定義することができて、直積対象の二つの元が同値であるというのを、それらが添字集合上殆ど至る所一致することと定めると、超積はこの同値類全体の成す集合に生成される。

同様にして他の種類の関係も拡張できる: $$R([a^1],\dots ,[a^n])⟺\{i\in I:R^{M_i}(a_i^1,\dots ,a_i^n)\}\in U$$（ただし、テンプレート:Math は テンプレート:Mvar の テンプレート:Math に関する同値類を表す）。特に、任意の テンプレート:Mvar が順序体のとき、それらの超積もまた順序体にできる。

定義 (超冪)

超冪は任意の因子 テンプレート:Mvar が相等しい（それを テンプレート:Mvar と書く）ときの超積 $M^{\kappa }/U=\prod _{\alpha <\kappa }M/U$ を言う。

より一般に、上記の構成は テンプレート:Mvar が テンプレート:Mvar 上のフィルターである限りにおいて敷衍でき、得られるモデル $\prod _{i\in I}{M}_i/U$ を被約積 (reduced product) と呼ぶ。

例

超実数全体の成す集合は、実数体を各自然数ごとに一つコピーを作って、それらの超積（自然数の集合を添字集合とする超冪）をとったものである（この場合、超フィルターは自然数全体の集合上でその補有限集合をすべて含むものをとっている）。超実数の集合における順序は、実数全体の集合における順序の拡張として与えられる。例えば、数列 テンプレート:Mvar は一般項が テンプレート:Math で与えられるものとすると、その同値類として表現される超実数は任意の実数よりも大きい。

同様の類似対応物として、テンプレート:Ill2やテンプレート:Ill2などが、対応する構造の超冪をとることにより与えられる。

関係が超積上に引き写されることの例として、数列 テンプレート:Mvar が一般項 テンプレート:Math で与えられるものとすれば、テンプレート:Math から テンプレート:Mvar の属する同値類は テンプレート:Mvar の属する同値類よりも大きく、したがって テンプレート:Mvar に対応する超実数は テンプレート:Mvar に対応する超実数よりも大きな無限大数と考えることができる。しかし、テンプレート:Math かつ テンプレート:Math とすると、テンプレート:Mvar と テンプレート:Mvar が一致する添字全体の成す集合は任意の超フィルターに属する（テンプレート:Mvar と テンプレート:Mvar は殆ど至る所一致する）から、テンプレート:Mvar と テンプレート:Mvar は同じ同値類に属する。

巨大基数論における標準的な構成は、集合論的宇宙全体の、注意深く適切に選ばれた超フィルター テンプレート:Mvar に関する超積をとる。この超フィルター テンプレート:Mvar の性質は超積の（高階の）性質に強く影響する。例えば、テンプレート:Mvar が テンプレート:Mvar-完備ならば、超積はふたたび整礎となる（原型例はテンプレート:Ill2の項を見よ）。

ウォシュの定理

超積の基本定理とも呼ばれるウォシュの定理は、テンプレート:Ill2テンプレート:Efn によって示され「一階述語論理の任意の式が超積において真となるための必要十分条件は、その式が テンプレート:Mvar において真となる添字 テンプレート:Mvar 全体の成す集合が超フィルター テンプレート:Mvar に属することである」ことを述べる。より精確には:

定理 (Łoś)

テンプレート:Mvar を一つの指標とし、集合 テンプレート:Mvar 上の超フィルター テンプレート:Mvar が与えられ、各 テンプレート:Math に対して テンプレート:Mvar が テンプレート:Mvar-型の構造とする。テンプレート:Mvar を テンプレート:Mvar の テンプレート:Mvar に関する超積 $M=\prod _{i\in I}{M}_i/U$ とすれば、各 $a^1,\dots ,a^n\in \prod M_i(a^k=(a_i^k{)}_{i\in I})$ および任意の テンプレート:Mvar-式 テンプレート:Mvar に対し、$$M\models \varphi [[a^1],\dots ,[a^n]]⟺\{i\in I:M_i\models \varphi [a_i^1,\dots ,a_i^n]\}\in U$$ が成り立つ。

定理は式 テンプレート:Mvar の複雑さに関する帰納法で示せる。テンプレート:Mvar が超フィルターである（単にフィルターとなるだけでない）ことはこの節の否定において用いられており、また存在量化のステップでは選択公理が必要である。応用として、超実数に対するテンプレート:Ill2が得られる。

例

テンプレート:Mvar が構造 テンプレート:Mvar 上の単項関係とし、テンプレート:Mvar の超冪を作る。集合 テンプレート:Math は超冪の中に対応する テンプレート:Mvar を持ち、テンプレート:Mvar に関する一階の式は テンプレート:Mvar に対しても有効となる。例えば、テンプレート:Mvar が実数体で テンプレート:Mvar は テンプレート:Mvar が有理数であるとき真とするとき、テンプレート:Mvar において「任意の有理数の対 テンプレート:Mvar に対して有理数でない テンプレート:Mvar が存在して、テンプレート:Math とできる」が成立するが、この性質は適当な形式言語における一階の式に直せるから、ウォシュの定理により、テンプレート:Mvar も同じ性質を持つ。つまり、超実数体の部分集合で有理数と一階の性質が同じである「超有理数」の概念がこれによって定まったということになる。

それでもなお、実数の持つアルキメデス性（無限個の条件 テンプレート:Math を同時に満たす実数 テンプレート:Mvar は存在しない）を考えれば、これは一階の性質として述べることはできないから、ウォシュの定理は適用できない。実は、超実数に対してアルキメデス性は偽となる（上で述べた数 テンプレート:Mvar の構成がそれを示している）。

超極限

テンプレート:Dablink モデル理論および集合論において超極限 (ultralimit) あるいは極限超冪 (limiting ultrapower) は超冪の列の帰納極限を言う。

構造 テンプレート:Math と超フィルター テンプレート:Math があらかじめ与えられているとして、それらから超冪 テンプレート:Math を作り、さらにそこから テンプレート:Math を作り、以下同様に繰り返す。各 テンプレート:Mvar に対して、標準的な対角線埋め込み テンプレート:Math が存在するから、その極限段階 テンプレート:Math は帰納極限として得られる。これはさらに超限段階まで続けることができる。

参考文献

• テンプレート:Cite book
• テンプレート:Cite book

外部リンク

• テンプレート:MathWorld / テンプレート:MathWorld
• テンプレート:Nlab
• テンプレート:PlanetMath
• テンプレート:ProofWiki
• テンプレート:SpringerEOM