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

(特殊篇章)哥德尔可构造宇宙L第二版本 (3-1)

8.2 哥德尔的 L

以下我们专注于哥德尔可构成集的构造。

8.2.1.定义 对任意α,我们递归定义序列 Lα 如下:

(1) L₀=∅;

(2) Lα₊₁=Def(Lα);

(3) 对任意极限序数α,Lα=∪ᵦ<α Lᵦ。

同时我们还定义

L=∪ Lα, (8.6)

α∈On

L的元素称为可构成集。

L 与 V 的构造不同、我们在后继步骤中不是加入所有的子集,而是加入在已有层谱中可定义的子集。虽然如此,许多关于 Vα 的性质,如果它的证明中只用到了 Vα 的某些可定义子集也在 Vα₊₁中,则这些性质对 Lα 也是成立的。

8.2.2.引理 对任意序数α,

(1) Lα是传递的;

(2)如果α<β,则 Lα ⊆ Lᵦ。

(3) Lα ⊆ Vα。

证明.如果α=0,则(1),(2)显然成立。假设命题对 β 成立,并且α=β+1,则Lα=Def(Lᵦ)。由引理 8.1.10,Lᵦ ⊆ Lα ⊆ P(Lᵦ),所以

(1),(2)都成立。(3)显然。 □

8.2.3.定义 如果x∈L,x 在 L 中的秩 rank˪(x) 定义为

rank˪(x)=min{β│x ∈ Lᵦ₊₁}。 (8.7)

8.2.4.引理 对任意α,

Lα={x∈L│rank˪(x)<α}。 (8.8)

证明. 显然。 □

与 Vα 类似的是,如果x∈L 且 rank˪=β,则 x ⊆ Lᵦ,x ∉ Lᵦ,但 x ∈ Lᵦ₊₁。而与Vα不同的是,经常会有以下情况出现,Lᵦ的一些子集虽然属于 L 但不属于Lᵦ₊₁。以下引理是说,这种情况不会发生在序数身上,序数在L和 V 中的位置是一样的。

8.2.5. 引理 对任意序数 α,

(1)Lα ∩ On=α;

(2) α ∈ L ∧ rank˪(α)=α。

证明.

(1)施归纳于α。如果α=0或 α 是极限序数,则是显然的。如果α=β+1并且Lᵦ ∩ On=β。因为 Lα ⊆ P(Lᵦ) ⊆ P(Vᵦ),所以Lα ∩ On ⊆ Vα ∩ On=α,另一方面,β=Lᵦ ∩ On ⊆ Lα ∩ On,所以我们只需证明 β ∈ Lα,而这又只需证明β ∈ Def(Lᵦ)。

我们知道“β是序数”对任意传递集是绝对的,所以

β=Lᵦ∩On={η ∈ Lᵦ│η是序数}={η ∈ Lᵦ│(η 是序数)ᴸβ} ∈ Def(Lᵦ)。

(2) 由 (1),任意α ∈ Lα₊₁。 □

8.2.6.引理 对任意序数 α,

(1) Lα ∈ Lα₊₁;

(2) Lα 的任意有穷子集属于Lα₊₁;

证明.对于(1),Lα={x ∈ Lα│(x=x)ᴸα}。

(2)是引理8.1.10的推论。 □

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

千年轮回只为了与你相恋 连载中
千年轮回只为了与你相恋
吾悦余
“安期生,你到底在哪里?我历经千年轮回寻你三世为何还是见不到你。”风无双站在相思树下哭喊,她不知道她要找的人就是面前的相思树,安期生化成的相......
20.8万字8个月前
噩梦的噩梦 连载中
噩梦的噩梦
无敌大游客
一个从平民走向炸翻太阳系的故事:我的目的不是人定胜天,而是要毁灭这个世界,如果这个世界是一场噩梦,那我就要成为这场噩梦的噩梦
38.1万字8个月前
余生请指教3 连载中
余生请指教3
君沐白
本书之前小号发布,现在整理整理在这里发布,各种类型小故事,一般都是想到什么写什么,文笔渣,勿喷,谢谢大家!封面图来自百度。
5.6万字8个月前
我穿越古代当祖宗(一) 连载中
我穿越古代当祖宗(一)
豆澄雪
“我穿越了?!还是书里会法术的几千万年前?!”来自女主角妙穗穗的反(质)问(疑)为了寻找自己真爱,穿过万水千山,妙穗穗哭着质疑:“我的真爱,......
5.6万字8个月前
四生四世虐恋 连载中
四生四世虐恋
玖辞小姐
(三生三世枕上书的续文)我也不知道怎么写简介,你们自己看好不好呢,纯属喜爱,不喜勿喷(灵感不好找就两天一更,一更两章,希望各位读者见谅)
6.0万字8个月前
如戏。 连载中
如戏。
锦歌—念凉
双男主。『人生若只如戏一场,曲终不记戏中悲凉。』五百年前,神界苏家大少爷苏锦怀恨离家出走,五百年后,他因调查父亲死因强势而归。父亲的死亡疑点......
7.8万字8个月前