数学の集合論において、ソロヴェイモデルはロバート M. ソロヴェイ
(1970)によって構成されたモデルでツェルメロ＝フレンケル集合論 (ZF) の全ての公理が成り立ち、選択公理を除去し、実数の集合が全てルベーグ可測であるようにしたものである。この構成は到達不能基数の存在に依拠している。これによってソロヴェイはルベーグ不可測集合の存在をZFC (ZF+選択公理) から証明するには、少なくとも到達不能基数の存在がZFCと矛盾しない限り、選択公理が本質的に必要であることを示した。 DC は従属選択公理の略記とする。 ソロヴェイの定理は次のことである。到達不能基数の存在を仮定する。このとき、適切な強制拡大 V[G] の ZF+DC の内部モデル ソロヴェイはそのモデルを二つのステップによって構成した。まず初めに、到達不能基数 κ を含む ZFC のモデル M から始める。 最初のステップでは M のレヴィ崩壊
ステートメント
構成
二つ目のステップではソロヴェイのモデル N として、M[G] の中で順序数の可算列で遺伝的に定義可能な集合全てからなるクラスを考える。このモデル N は M[G] の内部モデルであって ZF + DC を満たし、実数集合が全てルベーグ可測で perfect set property を持ち、ベールの性質を持つものになっている。この証明には、M[G] の実数は全て順序数の可算列を用いて定義可能であり、N と M[G] が同じ実数を持っていることを使う。
ソロヴェイのモデル N を用いる代わりに、さらに小さい内部モデル L(R) (を M[G] で考えたもの)を用いることもできる。これは実数からの相対的な構成可能性についての閉包で、前述のソロヴェイモデルに似た性質をもつ。 ソロヴェイは自身の論文で、到達不能基数の使用は必要ないかもしれないと示唆した。何人かの研究者はソロヴェイの結果の弱いバージョンを到達不能基数の存在を仮定せずに証明した。特に、Krivine (1969) は順序数定義可能な実数集合は全てルベーグ可測である ZFC のモデルの存在を示したし、ソロヴェイは ZF + DC のモデルであって、ルベーグ測度の拡張で平行移動不変性を持ちつつ全ての集合に定義可能であるような測度が存在するモデルの存在を示したし、そして Shelah (1984) は実数集合が全てベールの性質を持つモデルの存在を示した (つまり、実はベールの性質には到達不能基数は不要であった). perfect set property についてのバージョンは Specker (1957) によって解かれた。スペッカーは ZF の下で、実数集合が全て perfect set property をもち、最初の不可算基数 ?1 が正則ならその ?1 が構成可能宇宙の中では到達不能基数になっていることを示した。ソロヴェイの結果と合わせると、"到達不能基数が存在する" と "実数集合が全て perfect set property を持つ" は ZF の下で無矛盾同値であることが分かる。 最終的に、Shelah (1984) では到達不能基数の無矛盾性が、実数集合が全てルベーグ可測であるモデルの構成に必要であることが示された。もっと正確には、彼は全ての Σ1 Shelah & Woodin (1990) はもし超コンパクト基数
補足
3 な実数集合が可測であれば、最小の不可算基数 ?1 が構成可能宇宙で到達不能になっていることを示した。つまり、ソロヴェイの定理から、到達不能基数の条件は外すことはできない。また、シェラは到達不能基数を用いずに全ての Δ1
3 実数集合が可測であるモデルを構成することで Σ1
3 の条件が射影階層の比較において最良であることも示している。Raisonnier (1984)、Stern (1985)、Miller (1989) はそのシェラの結果を説明している。
参考文献
Krivine, Jean-Louis (1969), “Modeles de ZF + AC dans lesquels tout ensemble de reels definissable en termes d'ordinaux est mesurable-Lebesgue”, Comptes Rendus de l'Academie des Sciences, Serie A et B 269: A549?A552, .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}ISSN 0151-0509, MR0253894
Krivine, Jean-Louis (1971), ⇒“Theoremes de consistance en theorie de la mesure de R. Solovay”, Seminaire Bourbaki vol. 1968/69 Exposes 347-363, Lecture Notes in Mathematics, 179, pp. 187?197, doi:10.1007/BFb0058812, ISBN 978-3-540-05356-9, ⇒http://www.numdam.org/item/SB_1968-1969__11__187_0/
Miller, Arnold W. (1989), “Review of "Can You Take Solovay's Inaccessible Away? by Saharon Shelah"”, The Journal of Symbolic Logic (Association for Symbolic Logic) 54 (2): 633?635, doi:10.2307/2274892, ISSN 0022-4812, JSTOR 2274892, https://jstor.org/stable/2274892
Raisonnier, Jean (1984), “A mathematical proof of S. Shelah's theorem on the measure problem and related results.”, Israel Journal of Mathematics 48: 48?56, doi:10.1007/BF02760523, MR0768265