查看“︁梭羅維模型”︁的源代码

在[[數學]]的[[集合論]]中，'''梭羅維模型'''是一個由{{link-en|羅伯特·M·梭羅維|Robert M. Solovay}}在1970年建構的[[模型論|模型]]。在這模型中，[[策梅洛-弗蘭克爾集合論]]（ZF）所有的公理成立，但不包括[[選擇公理]]；而在此模型中所有的集合都是[[勒貝格可測]]的。這個模型的建構仰賴於[[不可達基數]]的存在。

梭羅維藉此模型顯示說[[選擇公理]]對證明[[不可測集]]的存在性而言是必要的，至少在與帶有選擇公理的策梅洛-弗蘭克爾集合論（ZFC）相容的不可達基數存在的狀況下是如此。

==陳述==
以下，ZH表示策梅洛-弗蘭克爾集合論；而DC表示[[依賴選擇公理]]。

梭羅維的理論如次表示：假定存在不可達基數，那就存在一個合適的ZF+DC的力迫延伸<math>V[G]</math>，使得任意的實數集合都是勒貝格可測的、且具有{{link-en|完美集性質|perfect set property}}以及[[貝爾性質]]。

==建構==
梭羅維以兩個步驟建構他的模型，而他的建構從一個包含不可達基數<math>\Kappa</math>的ZFC模型<math>M</math>開始。

首先第一步是用力迫中將所有比<math>\Kappa</math>還小的基數坍縮至<math>\Omega</math>的概念，加入一個一般的集合<math>G</math>以將{{link-en|坍縮代數|Levy collapse|李維坍縮}}<math>M\left[G\right]</math>套用在<math>M</math>上，而這樣得到的<math>M\left[G\right]</math>會是一個ZFC的模型，而在這模型中所有可在序數的可數序列上定義的實數集合都是勒貝格可測的，且有著貝爾性質與完美集性質（而這包括了所有實數可定義的{{link-en|射影集|projective set}}；然而因為[[塔斯基不可定義定理]]之故，實數的可定義集無法以集合論的語言定義；而可在序數的可數序列上定義的實數集合則可如此定義）

第二步是將梭羅維模型<math>N</math>給建構成所有<math>M\left[G\right]</math>中可自然地在序數的可數序列上定義的集合的類，這模型<math>N</math>是<math>M\left[G\right]</math>的內模型，且這模型滿足ZF+DC、所有的實數集合都是勒貝格可測的，且具有完美集性質與貝爾性質。而由於這證明利用了<math>M\left[G\right]</math>是可在序數的可數序列上定義的這事實之故，因此<math>N</math>與<math>M\left[G\right]</math>有著相同的實數集。

在不使用梭羅維模型<math>N</math>的狀況下，也可使用<math>M\left[G\right]</math>較小的內模型{{link-en|L(R)|}}，而{{link-en|L(R)|}}包括了實數的可建構閉包，而這閉包具有類似的性質。

==評論==
梭羅維在他的論文中認為不可達基數不是必需的，一些人也在不假定不可達基數的存在性的狀況下，證明了梭羅維模型的弱化版，尤其柯里文（Krivine）在1969年證明了存在有ZFC的模型，在其中所有序數可定義的集合都是可測的。梭羅維則正明說存在一個ZF+DC的模型，在其中有一些勒貝格測度的平移不變的延伸可套用至所有的實數上；而細拉（Shelah）則在1984年證明說存在有一個模型，在其中所有的實數都有貝爾性質（而在這種狀況下，不可達基數的存在性就是不必要的）。

完美集性質的部分已在1957年由斯貝科（Specker）解決，他證明說在ZF下，若所有的實數集合都有完美集性質且第一個不可數基數<math>\aleph_1</math>是正則的，那麼在{{link-en|可構造全集|constructible universe}}中，<math>\aleph_1</math>就是不可達的。而將他的結果與梭羅維模型結合，可知「存在不可達基數」和「所有的實數集合都有完美集性質」兩者在ZF中是同等相容的。

最後，細拉在1984年證明說不可達基數的相容性對於建構所有實數都是勒貝格可測的模型而言是必要的；更精確地，他證明了說若所有的實數的{{link-en|射影層級|Projective hierarchy#Table|'''Σ'''{{su|p=1|b=3}}集}}都是可測的，那<math>\aleph_1</math>在可構造全集中就是不可達的，因此不可達基數的條件是不能自梭羅維模型中拿掉的；細拉也證明說在（不用不可達基數）建構一個在其中所有實數的'''Δ'''{{su|p=1|b=3}}集合都可測的模型方面，'''Σ'''{{su|p=1|b=3}}條件已近乎是最佳解了。可見{{harvtxt|Raisonnier|1984}}、{{harvtxt|Stern|1985}}跟{{harvtxt|Miller|1989}}的文中對細拉結果的演示。

細拉跟[[烏丁]]在1990年證明說若{{link-en|超緊緻基數|supercompact cardinal}}存在，那所有L(R)中的實數集合，也就是所有由實數生成的可構造集合，都是勒貝格可測的且具有貝爾性質，而這包含了所有「可以合理定義」的實數集合。

==參考資料==
*{{Citation | last1=Krivine | first1=Jean-Louis | title=Modèles de ZF + AC dans lesquels tout ensemble de réels définissable en termes d'ordinaux est mesurable-Lebesgue | mr=0253894 | year=1969 | journal=Comptes Rendus de l'Académie des Sciences, Série A et B | issn=0151-0509 | volume=269 | pages=A549–A552}}
*{{Citation | last1=Krivine | first1=Jean-Louis | title=Séminaire Bourbaki vol. 1968/69 Exposés 347-363 | series=Lecture Notes in Mathematics | isbn=978-3-540-05356-9 | doi=10.1007/BFb0058812 | year=1971 | volume=179 | chapter=Théorèmes de consistance en théorie de la mesure de R. Solovay | pages=187–197 | chapter-url=http://www.numdam.org/item/SB_1968-1969__11__187_0/ | accessdate=2022-07-28 | archive-date=2022-07-28 | archive-url=https://web.archive.org/web/20220728193743/http://www.numdam.org/item/SB_1968-1969__11__187_0/ | dead-url=no }}
*{{Citation | last1=Miller | first1=Arnold W. | title=Review of "Can You Take Solovay's Inaccessible Away? by Saharon Shelah" | doi=10.2307/2274892 | jstor=2274892 | publisher=Association for Symbolic Logic | year=1989 | journal=The Journal of Symbolic Logic | issn=0022-4812 | volume=54 | issue=2 | pages=633–635}}
*{{Citation | last1=Raisonnier | first1=Jean | title=A mathematical proof of S. Shelah's theorem on the measure problem and related results.  | doi=10.1007/BF02760523 | doi-access=free | mr=0768265 | year=1984 | journal=[[Israel Journal of Mathematics]] | volume=48 | pages=48–56}}
*{{Citation | last1=Shelah | first1=Saharon | author1-link=Saharon Shelah | title=Can you take Solovay's inaccessible away? | doi=10.1007/BF02760522 | doi-access=free | mr=768264 | year=1984 | journal=[[Israel Journal of Mathematics]] | issn=0021-2172 | volume=48 | issue=1 | pages=1–47}}
*{{Citation | last1=Shelah | first1=Saharon | author1-link=Saharon Shelah | last2=Woodin | first2=Hugh | author2-link=Hugh Woodin | title=Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable | doi=10.1007/BF02801471 | doi-access=free | mr=1074499 | year=1990 | journal=[[Israel Journal of Mathematics]] | issn=0021-2172 | volume=70 | issue=3 | pages=381–394}}
*{{Citation | last1=Solovay | first1=Robert M. | author1-link=Robert M. Solovay | title=A model of set-theory in which every set of reals is Lebesgue measurable | jstor=1970696 | mr=0265151 | year=1970 | journal=[[Annals of Mathematics]] |series=Second Series | issn=0003-486X | volume=92 | issue=1 | pages=1–56 | doi=10.2307/1970696}}
*{{Citation | last1=Specker | first1=Ernst | author-link=Ernst Specker | title=Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom) | doi=10.1002/malq.19570031302 | mr=0099297 | year=1957 | journal=Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | issn=0044-3050 | volume=3 | issue=13–20 | pages=173–210}}
*{{Citation | last1=Stern | first1=Jacques | title=Le problème de la mesure | mr=768968 | year=1985 | journal=Astérisque | issn=0303-1179 | issue=121 | pages=325–346}}

[[Category:集合論]]
[[Category:測度論]]
[[Category:大基數]]