能不能不用選擇公理構造乙個不可測集合?

時間 2021-05-31 23:00:01

1樓:

簡單地說,目前已知的是不能,並且不可測集的存在需要用到較強的選擇公理。

前面已經有人提到了Solovay的模型,這裡多說一句,Solovay的模型依賴於乙個比ZFC更強的假設(俗稱inaccessible cardinal),而且這個假設是必要的。這樣就有乙個有趣的結果就是你確實可以假設 ZF+「不用較強選擇公理就能推出存在不可測集」

(DC是選擇公理的乙個弱形式,目前已知是不能推出存在不可測集的)

2樓:dhchen

Solovay model - Wikipedia

選擇公理是非常「神奇」的東西,很多結果都和它密切相關,比如任何向量空間都有基。比如任何ring都有最大理想。甚至

的解是不是就是線性函式也依賴於選擇公理,在Solovay的模型中,這個方程的解就是乙個線性函式。

Are there any non-linear solutions of Cauchy's equation ($f(x+y)=f(x)+f(y)$) without assuming the Axiom of Choice?

A model of set-theory in which every set of reals is Lebesgue measurable", Annals of Mathematics. Second Series (1970)921–56

3樓:

不可以。

ZF理論無法證明不可測集的存在性。而且,如果採用ZF+AD(決定性公理)系統,可以證明R的所有子集都是可測的。所以不可測集的存在性必須要依賴於AC。

Java開發業務模組能不能不用實體類?

鐵原 上面 施建航 的回答很不錯,回答了大部分背景知識我從OO的角度來補充回答以下。OO 資料 演算法。如果完全動態,意味著資料不確定,則相應邏輯部分亦不能確定。這是動態的缺陷。在不關注具體業務的準中介軟體系統中 比如閘道器 以map為資料模型,是可以的,不但沒問題,而且非常合適。但是在map之外,...

拍延時攝影能不能不用三腳架?

落魄鐵馬 可以啊,你可以用電子穩定器,大疆如影,智雲之類,也可以放在石頭上,不要放樹上,以陣風吹來就晃了,不過放在石頭上什麼就受限制了 王超 html?id 10315528我拍的大範圍延時攝影。可以手持拍攝,但是難度很大,不能用太廣的鏡頭,建議三腳架或者穩定器拍攝。 小鳥遊六神 把相機水平線開啟保...

能不能不用網路模組或ap面板直接用帶有水晶頭的網線連線路由器和電腦?

qiwin 當然可以。但是標準施工並無法預估終端電腦的準確位置。從而無法確定準確的網線長度。用面板擴充套件性會好很多。可以引出任意長度的終端網線。並且面板上可以準確標識號碼而利於企業級的統一管理。企業級的佈線必須連線網路面板。自用隨意。 張佚名 當然可以,用一根網線連線兩者本來就是最直接最正常的方式...