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

特殊篇章(数学解释)六

σ完全性和超幂模型的秩:

我们知道如果 S 是一个集合且 U 是 S 的一个超滤,那么 V≺Vˢ/≡U ,但 Vˢ/≡U 是一个有秩的模型吗?关于这个问题我们有如下定理:

定理: U 是 σ 完全的,当且仅当 VS/≡U 有秩的。

证明:假设 U 是 σ 完全的,如果 Vˢ/≡U 是无秩的,那么存在一组函数 {fₙ}ₙ<ω 满足 {x∈S:fₖ₊₁(x)∈fₖ(x)}∈U ,因为 σ 完全性,那么 ⋂ₖ∈ω{x∈S:fₖ₊₁(x)∈fₖ(x)}∈U ;因为 ∅∉U ,因此存在 x∈S 满足 f₀(x)∋f₁(x)∋⋯ ,这与 V 的正则公理矛盾,反证 Vˢ/≡U 有秩。

假设 U 不是 σ 完全的,那么存在 {Aₙ}ₙ∈ω 满足 Aₙ∈U∧⋂ₙ Aₙ ∉ U ,设 Bₙ=Aₙ − ⋂ᵢ∈ω Aᵢ ,那么有 Bₙ∈U∧⋂ₙ Bₙ=∅ ;进一步设 Cₙ=⋂ᵢ≤ₙ Bᵢ ,那么有 Cₙ∈U∧⋂ₙ Cₙ =∅∧Cᵢ ⊇Cᵢ₊₁ 。

定义函数 gᵢ:Cᵢ → ω ,其中 gᵢ(x)=min{k−i:x∉Cₖ} ,对于其它 x∈S−Cᵢ,我们有 gᵢ(x)=0 。注意到 gᵢ₊₁(x)∈gᵢ(x) 当且仅当 x∈Cᵢ ,因此 {x∈S:gᵢ₊₁(x)∈gᵢ(x)}∈U ,则 [g₀]∋*[g1]∋* ⋯ 在 Vˢ/≡U 成立,因此 Vˢ/≡U 是无秩的,定理成立。 ⊣

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

相关小说

月夜之情 连载中
月夜之情
乔忆娇
0.8万字5个月前
残梦遗记 连载中
残梦遗记
时间独角兽的小号吖
原创作品,禁止抄袭,违反必究!!!作者原名:时间独角兽(墨怨)简介正文:——哥哥,我做了一场梦……像碎片一样的记忆涌入我的脑海,——是谁在呼......
2.1万字5个月前
碎梦之白鲸神明 连载中
碎梦之白鲸神明
白页茉
天空中的鲸鱼……在海里泡着的云朵……
2.3万字4个月前
复仇:命运挽杀 连载中
复仇:命运挽杀
幻夏星河
“杀手的复仇,才刚刚开始。”-林怀雾“一刻之仇,一生莫忘。”-林怀尘“我的复仇,可没有那么简单。”-林思月“君子报仇,十年不晚。”-林思星杀......
0.7万字3个月前
排球:姓名 连载中
排球:姓名
AAA掺水苏威瓷兔批发商
涉及排球少年,未定事件簿孤爪研磨+北信介+赤苇京治+佐久早圣臣爱情向梦女+穆子悠亲情向梦女有梦图,谷子,此是梦文【请注意避雷,雷者左上角划走......
0.6万字2个月前
暴露本性后我爽了 连载中
暴露本性后我爽了
绮潞
女主从小到大一直被打压,一次意外重生后她明白了一个道理,人活一世取悦自己才是真的。于是她开始发疯摆烂,嘿,没想到发疯了不仅自己爽了,还创造了......
0.4万字3周前