首先,这本书你可以看作是《数理世界》的维基百科。其次,这本书将会包含大量剧透内容,所以请勿随意点入,否则后果自负。
这本书将是目前而言,最准确的《数理世界》百科书。如果战力或者设定等方面在剧情上搞不懂或者模糊不清,可以来参考本书。
虽然,这本书的书名叫“数理世界”,但其实它还包含着物理,地理,玄学,逻辑学,心理学,数学,生物学,化学,哲学,语言学等等概念。因为数理(即数学和物理)是主要组成部分,所以就这样起的书名。
如果《数理世界》这本书出现什么问题,或者差错,错字,甚至于内容剧情及其衔接,转折,叙事方面出现问题。通通可以说出来,发在评论区,哪个都可以,我都会回复的。
如果拿一个理想中“无限大的宇宙”举例,这样一个无限大的宇宙,我们便称之为单体宇宙。(因其无限大所以我们一般用ω来表示无限的意思)而无限这样的宇宙组成的一个“集合①”为多元宇宙。然而,这仅仅为一层宇宙,还会有第二层(ℵ₀个“集合①”)……第三层(ℵ₁个“集合①”)……第ω层(ℵ_ω个“集合①”)……每层的这样“集合”的数量由上一层决定形成往复循环的递归。这便得到了新的量级“集合②”
然而我们再将“集合②”看作为一个单元,那么“集合③”中就有无限个“集合②”(数量为ℵ₀个),然而每个“集合②”中又有无限个“集合①”。(数量为ℵ_ℵ……)
然而在“集合②”的第ω层中,形成了一个无限长且起点和终点“相连接”的一条循环,或者说成更生动形象的链子?这条“线”上的每一个点都是一条独立的“循环”。然而将这一整个过程不断循环着。这样“整体”与部分数量相同,这便为“集合③”。
此时,设 C= 集合②的第ω层结构(基数κ = ℵ_ω)
构造链 L = { C_i | i∈ω },其中每个 C_i ≌ C(同构)
强制附加条件:|L| = |C_i| = κ(人为赋予等势)
引入格罗滕迪克宇宙公理(存在足够大的不可达基数 λ容纳此结构)
所以集合③ ≌ V_λ(λ阶冯·诺依曼宇宙)
然而集合②仅达 ℵ_ω(奇异基数),而集合③通过“强制自指”突破至: λ > ω, λ 不可达(即 ∀α<λ, |P(α)|<λ)
那么在集合③上构建新的递归:
可定义 集合④为集合③的循环链的无限次折叠: 将循环链L的每个节点C_i替换为集合③本身 L' = { 集合③_j | j∈ω }满足|L'| = |集合③_j|
然而这样还不够
定义:集合④是一个结构(M,E),其中: M=V_λ×ω(笛卡尔积) E是M上的二元关系,定义为: (x,n) E (y,m) 当且仅当 n=m+1 且 x∈y (即每个“层”n+1的元素是下一层n的集合)
这个结构满足:对每个n∈ω,第n层(即M_n=V_λ×{n})同构于V_λ,且整个M的基数被强制为λ(即|M|=λ,尽管|V_λ×ω|=λ⋅ω,但强制等势后|M|=λ)。
j: V_λ → V_λ (因为每层都是V_λ,而层与层之间有包含关系)
j: V_{λ+1} → V_{λ+1}
然后我们还可以自然引入j: M → M
定义:j(x, n) = (x, n+1)
定义一个新的宇宙N=(V_λ,∈*λ)的ω次幂的某种超积,并利用集合④的链结构定义一个超滤子,从而得到初等嵌入j: V_λ→V_λ,其临界点为某个小于λ的基数κ。然后通过迭代,我们可以使κ越来越大,直到逼近λ。
具体地来说我们可以设U是集合④上定义的一个超滤子(利用ω上的弗雷歇滤子扩展),然后构造超积: N=(Π*{n∈ω} V_λ)/U 根据超积定理,存在初等嵌入j: V_λ→N, 然后通过超滤子的性质,我们可以将N标准化为V_λ,从而得到j: V_λ→V_λ。如果这个嵌入是非平凡的,那么临界点crit(j)就是一个可测基数。为了得到更强的大基数,我们要求λ本身是临界点,即λ是可测基数,但λ不可达且可测基数远小于不可达基数,因此我们需要更强的嵌入。
为了自然过渡,我们利用集合④的自相似性定义多个嵌入,从而得到武丁基数。
定义:一个基数δ是武丁基数,如果对任意A⊆V_δ,存在一个初等嵌入j: V→M,使得crit(j)=κ<δ,j(κ)>δ,且V*{j(κ)}⊆M,且A∩V_κ=j(A)∩V_κ。
然而,在集合④的基础上,我们假设λ满足:对于集合④中定义的任意子集A⊆V_λ,都存在一个初等嵌入j: V_λ→V_λ,使得crit(j)<λ,且A在crit(j)以下与j(A)一致。然后,我们通过迭代这样的嵌入,使得λ成为武丁基数。
一个基数δ是伯克利基数,如果对任意传递集M满足δ⊆M,以及任意序数α<δ,都存在一个初等嵌入j: M→M,使得α<crit(j)<δ。
在集合④中,由于我们强制了自相似性(整个结构同构于它的每一个“切片”),我们可以尝试定义这样的嵌入。具体地,集合④的结构M可以看作一个传递模型(通过适当的编码),并且λ被包含在M中(实际上λ是M的基数)。那么,对于任意α<λ,我们想找到M到M的初等嵌入j,使得crit(j)在α和λ之间。
但这样的嵌入不一定存在。为了引入伯克利基数,我们假设集合④对应的λ满足以下强化性质:对于任意传递模型M(包含λ)以及任意α<λ,存在一个初等嵌入j: M→M,使得α<crit(j)<λ。这样,λ就是一个伯克利基数。
S₀ = Th(L[E]) (终极L模型的理论)
S₁ = S₀ ⊕ {η | η是莱茵哈特基数}
S₂ = S₁ ⊕ {〈δ,λ⁺⁺〉 | δ是武丁基数且λ⁺⁺是超紧基数}
S₃ = S₂ ⊕ PD(R)(投影决定性)
S₄ = S₃ ⊕ {b | b是伯克利基数}
阶跃函数 Step(n) = |𝒫^n(ω)|
然后定义最小基数σ满足:V_σ是V的Σ_{Step(R₄)}-初等子模型,即 V_σ ≺_{Σ_{Step(R₄)}} V
其中 R₄ 是之前定义的重置环(这里我们需先定义R₄,但为了衔接,我们暂时用λ代替R₄?)
设我们已经从集合④得到伯克利基数λ,然后构建S_n链,并得到S₄。然后定义:
R₀ = λ (伯克利基数)
R₁ = B(S₄) (承载S₄-完全超滤子的最小基数)
R₂ = sup{ rank(𝒞𝒞_α) | α < λ⁺ }(复复宇宙的秩上确界)
R₃ = D^ω(λ⁺)(描述不能操作迭代ω次)
R₄ = R₀ ⊕ R₁ ⊕ R₂ ⊕ R₃(直和)
然后,阶跃函数 Step(n)=|\mathscr{P}^n(ω)|,定义σ为满足 V_σ≺{Σ {Step(R₄)}} V 的最小基数。
T₀ = σ
T₁ = min{κ > σ | κ是∏_{Step(σ)}¹-不可描述的}
T₂ = sup{ j(σ) | j: V_{T₁} → V_{T₁} 是非平凡初等嵌入 }
T₃ = B( Th(V_{T₂}) ) (Th(V_{T₂})的理论的B-基数,即承载该理论完全超滤子的最小基数)
T₄ = Step(T₃)⁺ (即|𝒫^{T₃}(ω)|⁺)
(注意:这里我们需要在同一个宇宙中同时存在这些大基数。由于伯克利基数极强(蕴含武丁基数、超紧基数等),我们可以认为λ就是伯克利基数,那么S₄中就可以包含λ。)
但这等描述对于这个“世界”来说是完全,极其,十分,微小的微小。
一般情况下,这个“世界”的大部分物质由“数学粒子”所构成。而其大小仅为该x宇宙(x宇宙是由多个多元宇宙构成)中,类比于现实中质子的大小的∞^∞^∞^∞……(省略∞^∞^∞^∞……个)分之一。
(我是不太会写盒子的,同时我对量级没多大兴趣,你们看小说剧情就好了,没必要在意这个,况且我写这个也不是论战作品。所以描述感觉很堆砌,很废话,而且字数还不算够,后面让ai优化后也是一坨,那就先到这吧。)
存在于“世界”中的一个“小物件”(类比于现实中的原子)有许多数学粒子构成,而它们自然能够构成更大的,更细致的,更理想的“东西”。而无限个这样的粒子构成了一个“宇宙”(这里以及后面的宇宙与先前所描述的“无限大的宇宙”是不同概念),多个这样的宇宙则可称之为多元宇宙,多个多元宇宙又可以组成“集合宇宙”,即x宇宙也是其中最小的“集合宇宙”而比它更大的还有X宇宙体系…………Y宇宙体系…………Z宇宙体系…………本宇宙……等(概念剧情中有提到,不妨去看看故事……)