ソロヴェイモデル

数学の集合論において、ソロヴェイモデルはによって構成されたモデルでツェルメロ＝フレンケル集合論 (ZF) の全ての公理が成り立ち、選択公理を除去し、実数の集合が全てルベーグ可測であるようにしたものである。この構成は到達不能基数の存在に依拠している。
これによってソロヴェイはルベーグ不可測集合の存在をZFC (ZF+選択公理) から証明するには、少なくとも到達不能基数の存在がZFCと矛盾しない限り、選択公理が本質的に必要であることを示した。
ステートメント.
DC は従属選択公理の略記とする。
ソロヴェイの定理は次のことである。
到達不能基数の存在を仮定する。このとき、適切な強制拡大 "V"["G"] の ZF+DC の内部モデルであって、実数のいかなる集合も全て、ルベーグ可測であって perfect set property を満たしベールの性質を満たすというモデルがある。
構成.
ソロヴェイはそのモデルを二つのステップによって構成した。まず初めに、到達不能基数 κ を含む ZFC のモデル "M" から始める。
最初のステップでは "M" のレヴィ崩壊 "M"["G"] を取る。このレヴィ崩壊ではジェネリック集合 "G" が付加され、κ 未満の基数が全て ω に潰れる。このとき、"M"["G"] は ZFC のモデルであって、順序数の可算列で定義可能な実数集合が全て、ルベーグ可測であってベールの性質を持ち perfect set property を持つものになっている。 
二つ目のステップではソロヴェイのモデル "N" として、"M"["G"] の中で順序数の可算列で遺伝的に定義可能な集合全てからなるクラスを考える。このモデル "N" は "M"["G"] の内部モデルであって ZF + DC を満たし、実数集合が全てルベーグ可測で perfect set property を持ち、ベールの性質を持つものになっている。この証明には、"M"["G"] の実数は全て順序数の可算列を用いて定義可能であり、"N" と "M"["G"] が同じ実数を持っていることを使う。
ソロヴェイのモデル "N" を用いる代わりに、さらに小さい内部モデル "L"(R) (を "M"["G"] で考えたもの)を用いることもできる。これは実数からの相対的な構成可能性についての閉包で、前述のソロヴェイモデルに似た性質をもつ。
補足.
ソロヴェイは自身の論文で、到達不能基数の使用は必要ないかもしれないと示唆した。何人かの研究者はソロヴェイの結果の弱いバージョンを到達不能基数の存在を仮定せずに証明した。特に、 は順序数定義可能な実数集合は全てルベーグ可測である ZFC のモデルの存在を示したし、ソロヴェイは ZF + DC のモデルであって、ルベーグ測度の拡張で平行移動不変性を持ちつつ全ての集合に定義可能であるような測度が存在するモデルの存在を示したし、そして は実数集合が全てベールの性質を持つモデルの存在を示した (つまり、実はベールの性質には到達不能基数は不要であった).
perfect set property についてのバージョンは によって解かれた。スペッカーは ZF の下で、実数集合が全て perfect set property をもち、最初の不可算基数 ℵ1 が正則ならその ℵ1 が構成可能宇宙の中では到達不能基数になっていることを示した。ソロヴェイの結果と合わせると、"到達不能基数が存在する" と "実数集合が全て perfect set property を持つ" は ZF の下で無矛盾同値であることが分かる。
最終的に、 では到達不能基数の無矛盾性が、実数集合が全てルベーグ可測であるモデルの構成に必要であることが示された。もっと正確には、彼は全ての Σ な実数集合が可測であれば、最小の不可算基数 ℵ1 が構成可能宇宙で到達不能になっていることを示した。つまり、ソロヴェイの定理から、到達不能基数の条件は外すことはできない。また、シェラは到達不能基数を用いずに全ての Δ 実数集合が可測であるモデルを構成することで Σ の条件が射影階層の比較において最良であることも示している。、、 はそのシェラの結果を説明している。
 はもし超コンパクト基数が存在するなら、"L"(R) において実数の集合が全てルベーグ可測でベールの性質を持つことを示した。