数理論理学におけるモストフスキ崩壊(潰し,収縮とも)補題とは、集合論の命題でアンジェイ・モストフスキの名に因む。 RをクラスX上の二項関係で以下の3条件を満たすものとする。 モストフスキ崩壊補題はこのようなRに対して、推移的クラス(真のクラスでもよい)M で(M,∈)と(X, R)が同型となるものが一意的に存在し、その同型対応も一意的であるという命題である。その同型対応GはG(x)={G(y):yRx}で与えられる。この関数をモストフスキ崩壊関数という。(Jech 2003:69). 全ての整礎的かつ集合状な関係は整礎的かつ集合状かつ外延的な関係に埋め込める。これはモストフスキ崩壊補題の変形を導く:整礎的かつ集合状な関係は、あるクラス上の∈-関係と同型である。(このクラスは一意的でないし、推移的である必要もない。) F(x) = {F(y) : y R x}なるX上の写像FはRがX上で整礎的かつ集合状なら再帰によって定義できる。 これは推移的クラス(一意的ではない)への準同型写像を与え、同型となるのはRが外延的であるときかつちょうどそのときのみである。 この補題の整礎性の仮定は、整礎性を使わない集合論では緩和したり外したりすることができる。 ボッファの集合論では、集合状かつ外延的な関係は推移的クラス(一意的ではない)上の∈-関係と同型になる。アクゼルの反基礎公理 ZFの集合モデルは集合状かつ外延的である。モデルが整礎的なら本補題により、ZFの推移的モデルと一意的に同型である。 ZFのあるモデルの∈-関係が整礎的であるというのは、そのモデル内で正則性公理が成立するという主張よりも強いことに注意。 ZFは無矛盾であるとの仮定の下で、ZFのモデルMで、その論議領域にR-極小要素をもたない部分集合AをもつがAはそのモデル内で集合でないというものがある。(Aの要素が全て議論領域内にあってもAはモデルの議論領域内に無い。)もっと正確には、そうでない集合AにはMの要素xでA = R?1[x]となるものが存在する。だからMは正則性公理を満たす(内部的には整礎的である)が、Rは整礎的関係でなく、この崩壊補題も適用できない。
概要
Rは集合状すなわち: R?1[x] = {y : y R x}が必ず集合になる。
Rは整礎的である。すなわち: 空でないXの部分集合SはR-極小要素を持つ。(言いかえると、R?1[x] ∩ Sが空となるようなx ∈ Sがあるということ。)
Rは外延的である。すなわち:Xの異なる二元x,yについて必ず、R?1[x] ≠ R?1[y]
一般化
応用
脚注[脚注の使い方]
関連項目
順序数崩壊関数(ordinal collapsing function
参考
Jech, Thomas (2003), Set Theory, Springer Monographs in Mathematics (third millennium ed.), Berlin, New York: Springer-Verlag, .mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 978-3-540-44085-7