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

特殊篇章(数学解释)六

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

我们知道如果 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),接着再看更方便。

相关小说

垃圾断文章合集 连载中
垃圾断文章合集
一一默rycidxy
所有内容都为言情。这一本是黑历史。我自己写的一些篇章和和别人一起写的一些篇章,会汇集到这本书里。类型多样,风格多样。
1.8万字9个月前
秋风下的女孩 连载中
秋风下的女孩
166***982_8882861693
同化,初心,消散
0.3万字6个月前
鬼神回忆录 连载中
鬼神回忆录
暮色之中
雾散,梦醒,我终于看见真实,那是千帆过尽的沉寂
0.3万字6个月前
穿越撞见吸血鬼 连载中
穿越撞见吸血鬼
暴走小丸子
刚到新城市的安娜因为在图书馆翻看了一本关于吸血鬼的书籍,无意间穿越到了1460年的秋天,遇到了一位三百多岁的吸血鬼……被吓坏的她能成功逃离这......
2.5万字4个月前
1000个民间故事 连载中
1000个民间故事
无敌蛙王
每一个故事。或奇幻、或温情、或警醒。那些被岁月尘封的传说。带着生活的烟火与奇思。跨越时空。讲述人间万象。
18.6万字4个月前
冥王,你的灵魂我征用了 连载中
冥王,你的灵魂我征用了
不想更文的懒猫猫
主神VS冥王,众所周知,时空管理局的工作人员都是死去的灵魂,而冥王则掌管着死去的灵魂,主神和冥王,会有什么发展呢?2025年6月23日,请勿......
0.9万字3周前