数学联邦政治世界观
超小超大

Martin-Solovay马丁公理(假设与成立)篇章

Martin-Solovay定理:如果 MAκ 且 ⟨Dα:α<κ⟩ 是零测集序列,那么 ⋃α Dα 是零测集。

证明:根据零测集定义,只需证明对于任意 δ>0 ,存在开集 G⊇⋃α Dα 且 μ(G)≤δ 。定义偏序集

P={p⊆R:p是开集且μ(p)<δ} ,定义 p≤q↔p⊇q 。下面证明 P 满足可数反链条件:任选 P 的不可数子集 W ,显然存在 T⊆W∧

|T|>ω 和自然数 n 满足 p∈T→μ(p)<δ−1。

令 ⟨Iₖ:k<ω⟩ 是全体“有限个有理开集的并”的枚举,不难证明:对于任意 p∈T 、都存在 Iₖ ⊆p 满足 μ(p−Iₖ)<1

,并且存在不可数子集 S⊆T 和 I′ 满足 ∀p∈S,μ(p−I′)<1

,任选 p,q∈S ,那么 μ(p∪q)≤μ(p−I′)+μ(q−I′)+μ(I′)<δ ,因此 P 满足可数反链条件。

令 Aα={p∈P:p⊇Dα} ,不难看出 Aα 是稠密集:因为 Dα 是零测集,任选 p∈P∧μ(p)<δ−1

,那么任选q⊇Dα∧μ(q)<1

ₙ ,

则 p∪q∈Aα 。根据马丁公理,存在脱殊滤 G 与每个 Aα 的交不空,令 U=⋃G ,则 U⊇⋃αDα ,下面证明 μ(U)≤δ :首先注意到存在可数集 H⊆G 满足 U=⋃H ,此时如果 μ(U)>δ ,那么存在 p₁,⋯,pₙ∈H 满足 μ(p₁∪⋯∪pₙ)>δ (因为设 μ(p₁∪⋯∪pᵢ)=sᵢ ,那么 {sᵢ}ᵢ<ω 是单调递增序列,若 ∀i(sᵢ≤δ) ,那么 limᵢ sᵢ≤δ )但 G 是脱殊滤,因此 p₁∪⋯∪pₙ∈G ,则 μ(p₁∪⋯∪pₙ)≤δ ,矛盾,反证定理成立。而 H 的存在性有以下论证支持:如果 (α,b)=⋃η<λ(αη,bη),那么对于任意自然数 n ,存在 αη,bη′ 满足 |α−αη|,|b−bη′|< 1

ₙ ;

实数轴上每个开集都可 ⋃ᵢ<ω(αᵢ,bi) 的形式。 ⊣

推论:如果 MAκ 成立,那么任意 κ 个不交可测集 {Aα}α<κ ,都有 ∑αμ(Aα)=μ(∑α Aα) 。

证明:由于 {Aα}α<κ 只有可数个集合的测度大于零,且 κ 个零测集的并还是零测集,因此推论成立。⊣

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

无限流:疯批美人她十恶不赦 连载中
无限流:疯批美人她十恶不赦
菱意笙枫
  【无限流/双女主/双强/金手指/微悬疑】池漾意外进入了无限流副本当中,开局不但获得了金手指,还被副本当中的队友抢着要,为了拉她入伙,还额......
7.7万字4个月前
修罗女君,终入怀! 连载中
修罗女君,终入怀!
糖丝甜
千万幽怨,已难渡万般情。最后的最后,那血发女子也成了帝上,掌管天上人间,威仪八方。而那扯下别人发带的少年同是帝上,与女子同渡万年,也将女子爱......
25.1万字4个月前
落魄小宗竟全是大佬 连载中
落魄小宗竟全是大佬
栖休安
白漠渴望得道长生于是她来到来了一个小宗门(排雷:女主傻白甜,文中有多对楠楠副cp,全员be)
7.9万字3个月前
穷途(骗局3……0) 连载中
穷途(骗局3……0)
糊糊小白
欢迎各位来到“穷途”游戏,13位玩家齐聚一堂,遵循山羊的指引,携手闯关,只为取得塔顶的奖励,胜利者只有一位,谁会是最终赢家?注意:请不要相信......
7.4万字3个月前
幻境大陆 连载中
幻境大陆
彩蝶灵舞
一本属于和魔法相似的魔法小说,一共有十位主角,五位男生,五位女生。不要把其他人当配角看,重复一遍“十位主角”。
3.2万字2个月前
天皇下凡历劫记 连载中
天皇下凡历劫记
月下棠花
[天地仙魔文]魔幻多彩,令人迷叹。丨慕君之情,如晚春风扬,棠花依旧丨丨如沐晚风,棠花初开丨慕晚棠,天仙之皇,下凡历劫恢复记忆,只因无穷无尽的......
2.3万字2个月前