查看“︁不可测集”︁的源代码

在[[數學]]上，'''不可測集'''指的是一類無法指定有意義的「[[測度|容積]]」的集合。在數學上，學者建構此類集合以為形式集合論提供關於[[長度]]、[[面積]]、[[體積]]等觀念的資訊。在[[策梅洛-弗蘭克爾集合論]]的架構下，[[選擇公理]]蘊含了實數集<math>\mathbb{R}</math>有不可測的子集。

自不可測集的提出以來，這觀念掀起了許多的爭議，在歷史上，這曾使得[[埃米尔·博雷尔|博雷爾]]以及[[安德雷·柯爾莫哥洛夫|柯爾莫哥洛夫]]將機率論討論的對象限至於可測集上。實數上的可測集是區間的可數聯集與交集（即[[博雷爾集]]）與[[零測集]]之間的加減的結果。可測集合的數量多到可包含所有在標準數學中出現的集合的可靠定義；然而要證明一個集合可測，需要下很大的功夫。

在1970年，{{link-en|羅伯特·M·梭羅維|Robert M. Solovay}}（Robert M. Solovay）建構出[[梭羅維模型]]，他並證明說這模型與不包含不可數選擇的標準集合論相容，而在這模型中，實數集所有的子集都可測；然而，梭羅維的結果仰賴[[不可達基數]]的存在性，而其存在性無法在標準集合論的框架下證明。

==歷史建構==
為任何集合定義長度的作法可能出問題的第一個跡象是[[維塔利集合|維塔利定理]]。<ref>Moore, Gregory H., Zermelo's Axiom of Choice, Springer-Verlag, 1982, pp. 100-101</ref>

人們會期望說兩個不相交[[集合 (数学)|集合]]的[[測度]]，與這兩個集合的測度的和相等，而有著這樣性質的測度具有「有限可加性」。盡管就多數對面積的直觀想法而言，有限可加的測度已足夠，且這與[[黎曼積分]]相等，但這樣的測度在[[機率論]]上依舊是不足的，而這是因為當代對一系列事件或隨機值的常規處理要求[[可數可加性]]。

就這方面而言，平面與線段類似，在平面上有作為[[勒貝格測度]]延伸、具有有限可加性且在[[等距同構]]意義下保持不變的測度；然而在更高[[維度]]下，狀況變得複雜，[[豪斯多夫悖論]]與[[巴拿赫-塔斯基定理|巴拿赫-塔斯基悖論]]指出，一個半徑為1的三維球可分成五塊並重組成兩顆半徑為1的三維球。

==例子==
設<math>S</math>是單位圓上所有點的集合，並考慮由包含所有有理旋轉（也就是旋轉角度為<math>\pi</math>乘以[[有理數]]的旋轉）的群<math>G</math>對<math>S</math>的[[群作用]]。在此<math>G</math>是可數的（更具體地說，<math>G</math>與<math>\Q/\Z</math>同構）而<math>S</math>是則是不可數的，因此<math>S</math>可透過<math>G</math>分成不可數多的軌道（而<math>s \in S</math>的軌道是可數集<math>\{ s e^{i q \pi} : q \in \Q \}</math>）。利用[[選擇公理]]，我們可以從每個軌道中找到一個元素，並得以構造一個不可數集<math>X \subset S</math>，且<math>X</math>的所有有理數變換（也就是對某個有理數<math>q</math>而言，有著<math>e^{i q \pi} X := \{ e^{i q \pi} x : x \in X \}</math>這樣形式的變換複本）<ref>{{Cite journal|last=Ábrego|first=Bernardo M.|last2=Fernández-Merchant|first2=Silvia|last3=Llano|first3=Bernardo|date=January 2010|title=On the Maximum Number of Translates in a Point Set|journal=[[Discrete & Computational Geometry]]|language=en|volume=43|issue=1|pages=1–20|doi=10.1007/s00454-008-9111-9|issn=0179-5376|doi-access=free}}</ref>彼此[[不交集|兩兩不相交]]，也就是這些集合彼此不相交，也不與<math>X</math>相交，而這樣的變換所構成的集合是一個將圓分成可數多且彼此不相交集合的[[集合劃分|劃分]]，且在有理變換下，這些集合彼此兩兩全等。這樣的<math>X</math>就旋轉不變且可數可加的機率測度而言，是一個不可測集合，因為假若<math>X</math>是零測集，那這個圓的測度就會是零；但若<math>X</math>的測度大於零，那可數可加性就會使得這個圓的測度為無限大。

==測度與機率的一致定義==
[[巴拿赫-塔斯基定理|巴拿赫-塔斯基悖論]]指出，除非在以下數條中至少一條作出讓步，不然在三維空間中無法定義體積：
# 一些集合的體積在旋轉後發生變化。
# 兩個不相交集合的體積，可以與這兩個集合的體積的和不相等。
# 一些集合是不可測的，而在討論體積前必須先討論一個集合是否可測。
# ZFC公理（帶有[[選擇公理]]的[[策梅洛-弗蘭克爾集合論]]）需要修正。

標準的測度論在第三項上做出讓步，數學家定義可測集的集族，而這樣的集合非常豐富，幾乎所有在多數數學分支中會被特別定義的集合都屬此類，而通常要證明一個集合可測是相當容易的。這麼做的基本假設是不相交集合的無限序列滿足求和公式，此性質即是所謂的[[可加性|σ-可加性]]。

在1970年，{{link-en|羅伯特·M·梭羅維|Robert M. Solovay|梭羅維}}證明說在不假設[[選擇公理]]等更多公設的狀況下，[[勒貝格測度|勒貝格]]不可測集的存在性在[[策梅洛-弗蘭克爾集合論]]當中是不可證明的，而他藉由證明說在假定[[不可達基數]]存在的狀況下，存在有一個基於[[策梅洛-弗蘭克爾集合論]]且[[可數選擇公理]]的模型，在其中所有的集合都是勒貝格可測的，且在其中完全版的選擇公理不成立，而現在一般把這模型給稱為[[梭羅維模型]]。

完全版的選擇公理與[[吉洪諾夫定理]]這個[[點集拓樸學]]的基本結果等價，且與泛函分析中[[巴拿赫-阿勞格魯定理]]及{{link-en|克林-米爾曼定理|Krein–Milman theorem}}的這兩個基本結果等價；此外這公理對無限群的研究有巨大的影響，也對[[環論]]與[[序理論]]的研究造成影響（見[[布爾素理想定理]]）；然而就{{link-en|幾何測度論|Geometric measure theory}}、[[位勢論]]、[[傅立葉級數]]和[[傅立葉變換]]而言，[[決定公理]]及[[依賴選擇公理]]的加總是足夠的，而在決定公理及依賴選擇公理成立的狀況下，實數線上所有的子集都是勒貝格可測的。

==參見==

* [[巴拿赫-塔斯基定理]]
* [[豪斯多夫悖論]]
* [[測度]]
* [[非博雷爾集]]
* [[維塔利集合]]

==參考資料==
===註解===
{{reflist}}

===書目===

{{refbegin}}
*{{cite journal|last=Dewdney|first=A. K.|date=1989|title=A matter fabricator provides matter for thought|journal=Scientific American|issue=April|pages=116&ndash;119|doi=10.1038/scientificamerican0489-116}}
{{refend}}

[[Category:測度論]]