查看“︁用户:星汐镜Littlekk/快速抵达大基数1.0”︁的源代码

= Littlekk自用概念备份 =

== 概述 ==
ZF集合论框架下，序数、基数、大基数概念的纯符号化形式化定义极速回忆版，所有定义前后完全兼容，核心用于序数分析、序数坍缩函数（OCF）锚点定义与证明论强度标定。
*   核心约定：所有带唯一性的基数定义，均为「满足对应性质的最小基数」，即序数分析中OCF的标准锚点约定
*   符号说明：<math>\iota</math>为限定摹状词，表“满足公式的唯一集合”；<math>\vDash</math>为结构满足关系；<math>\Pi^m_n</math>为m阶逻辑中全称n量词前缀的前束范式公式类

== 形式化定义 ==

=== 序数与序数关系 ===
==== 序数谓词 Ord(α) ====
 <math>\mathrm{Ord}(\alpha) \iff (\forall x \in \alpha, x \subseteq \alpha) \land (\forall x,y \in \alpha, x \in y \lor y \in x \lor x = y)</math>

谓词<math>\mathrm{Ord}(\alpha)</math>表示α是一个序数，定义包含两个核心条件：
 1. α是传递集，即α的所有元素都是α的子集；
 2. α的全体元素在∈关系下构成全序集。

==== 序数大小关系 α < β ====
 <math>\alpha < \beta \iff \mathrm{Ord}(\alpha) \land \mathrm{Ord}(\beta) \land \alpha \in \beta</math>

序数的小于关系定义为：当且仅当α、β均为序数，且α是β的元素时，α小于β。该定义与序数的良序性天然兼容。

==== 极限序数谓词 Lim(α) ====
 <math>\mathrm{Lim}(\alpha) \iff \mathrm{Ord}(\alpha) \land \alpha \neq \emptyset \land \forall \beta \in \alpha, \beta \cup \{\beta\} \in \alpha</math>

谓词<math>\mathrm{Lim}(\alpha)</math>表示α是一个极限序数，即α为非空序数，且对α中的任意元素β，β的后继<math>\beta \cup \{\beta\}</math>仍属于α，意味着α中不存在最大元。

==== 后继序数谓词 Succ(α) ====
 <math>\mathrm{Succ}(\alpha) \iff \mathrm{Ord}(\alpha) \land \exists \beta \in \alpha, \alpha = \beta \cup \{\beta\}</math>

谓词<math>\mathrm{Succ}(\alpha)</math>表示α是一个后继序数，即α是序数，且存在α中的元素β，使得α等于β的后继<math>\beta \cup \{\beta\}</math>（也记作β+1）。

==== 序数集上确界 Sup(X) ====
 <math>\mathrm{Sup}(X) = \bigcup X</math>

序数集合X的上确界定义为X中所有元素的并集。对于由序数构成的集合，该定义恰好给出该集合的最小上界，符合序数的良序性质。

=== 集合论基础运算与累积层级 ===
==== 幂集运算 𝒫(x) ====
 <math>\mathcal{P}(x) = \iota y \left( \forall z, z \in y \iff z \subseteq x \right)</math>

集合x的幂集<math>\mathcal{P}(x)</math>定义为所有x的子集构成的唯一集合y。其中<math>\iota</math>为限定摹状词，表示“满足该条件的唯一对象y”。

==== 集合论累积层级 V_α ====
 <math>V_0 = \emptyset</math>
 <math>V_{\alpha+1} = \mathcal{P}(V_\alpha)</math>
 <math>\mathrm{Lim}(\lambda) \to V_\lambda = \mathrm{Sup}\{ V_\alpha \mid \alpha < \lambda \}</math>

集合论累积层级<math>V_\alpha</math>是ZF集合论的标准宇宙构造，通过迭代幂集运算生成，分为三类情况：
 1. 零阶层：<math>V_0</math>定义为空集；
 2. 后继层：对任意序数α，<math>V_{\alpha+1}</math>为<math>V_\alpha</math>的幂集；
 3. 极限层：对任意极限序数λ，<math>V_\lambda</math>为所有下标小于λ的<math>V_\alpha</math>的上确界（即并集）。

=== 映射与基数 ===
==== 双射谓词 Bij(f,A,B) ====
 <math>\mathrm{Bij}(f,A,B) \iff (\forall x_1,x_2 \in A, f(x_1)=f(x_2) \to x_1=x_2) \land (\forall y \in B, \exists x \in A, f(x)=y)</math>

谓词<math>\mathrm{Bij}(f,A,B)</math>表示f是从集合A到集合B的双射，即f同时满足：
 1. 单射性：定义域A中不同元素映射到陪域B中不同元素；
 2. 满射性：陪域B中的每一个元素都有定义域A中的元素与之对应。

==== 基数谓词 Card(κ) ====
 <math>\mathrm{Card}(\kappa) \iff \mathrm{Ord}(\kappa) \land \forall \alpha < \kappa, \neg \exists f, \mathrm{Bij}(f,\alpha,\kappa)</math>

谓词<math>\mathrm{Card}(\kappa)</math>表示κ是一个基数（初始序数），即κ是序数，且不存在从任意小于κ的序数α到κ的双射，κ是其对应势的最小序数。

==== 后继基数 κ⁺ ====
 <math>\kappa^+ = \iota \lambda \left( \mathrm{Card}(\lambda) \land \lambda > \kappa \land \forall \mu \left( \mathrm{Card}(\mu) \land \mu > \kappa \to \lambda \leq \mu \right) \right)</math>

基数κ的后继基数<math>\kappa^+</math>定义为大于κ的最小基数。其中<math>\iota</math>为限定摹状词，表示“满足该条件的唯一对象λ”。

==== 可数序数谓词 Countable(α) ====
 <math>\mathrm{Countable}(\alpha) \iff \mathrm{Ord}(\alpha) \land \exists f, \mathrm{Bij}(f,\omega,\alpha)</math>

谓词<math>\mathrm{Countable}(\alpha)</math>表示α是一个可数序数，即α是序数，且存在从最小无限序数ω到α的双射。

=== 共尾性与特殊基数 ===
==== 共尾性 cf(α) ====
 <math>\mathrm{cf}(\alpha) = \iota \beta \left( \mathrm{Ord}(\beta) \land \exists f: \beta \to \alpha, \mathrm{Sup}(f[\beta]) = \alpha \land \forall \gamma < \beta, \neg \exists g: \gamma \to \alpha, \mathrm{Sup}(g[\gamma]) = \alpha \right)</math>

序数α的共尾度cf(α)，是满足以下条件的唯一的序数β：
 1. β是序数；
 2. 存在从β到α的函数f，使得f在β上的像的上确界等于α（即f的像在α中无界）；
 3. 对任意小于β的序数γ，都不存在从γ到α的函数g，使得g的像的上确界等于α（即β是能构造出这种无界函数的最小序数）。

共尾度刻画的是 “一个序数能被多小的序数的序列从下方逼近”。典型示例：cf(ω)=ω，cf(ℵ<sub>ω</sub>)=ω，cf(ℵ<sub>1</sub>)=ℵ<sub>1</sub>。

==== 正则基数谓词 Regular(κ) ====
 <math>\mathrm{Regular}(\kappa) \iff \mathrm{Card}(\kappa) \land \mathrm{cf}(\kappa) = \kappa</math>

谓词<math>\mathrm{Regular}(\kappa)</math>表示κ是一个正则基数，即κ是基数，且其共尾性等于自身，等价于κ无法被基数小于κ的、若干个小于κ的序数的并集所覆盖。

==== 极限基数谓词 LimitCard(κ) ====
 <math>\mathrm{LimitCard}(\kappa) \iff \mathrm{Card}(\kappa) \land \forall \lambda < \kappa, \lambda^+ < \kappa</math>

谓词<math>\mathrm{LimitCard}(\kappa)</math>表示κ是一个极限基数，即κ是基数，且对于任意小于κ的基数λ，其后继基数<math>\lambda^+</math>仍小于κ，即κ不是任何基数的后继。

==== 弱不可达基数谓词 Inacc(κ) ====
 <math>\mathrm{Inacc}(\kappa) \iff \mathrm{Card}(\kappa) \land \kappa > \omega \land \mathrm{Regular}(\kappa) \land \mathrm{LimitCard}(\kappa)</math>

谓词<math>\mathrm{Inacc}(\kappa)</math>表示κ是一个弱不可达基数，即κ是大于ω的、正则的极限基数。

=== 大基数前置核心概念 ===
==== 无界闭集谓词 Club(C,α) ====
 <math>\mathrm{Club}(C,\alpha) \iff \mathrm{Lim}(\alpha) \land C \subseteq \alpha \land (\forall \beta < \alpha, \exists \gamma \in C, \beta < \gamma) \land (\forall \lambda < \alpha, \mathrm{Lim}(\lambda) \land \mathrm{Sup}(C \cap \lambda) = \lambda \to \lambda \in C)</math>

谓词<math>\mathrm{Club}(C,\alpha)</math>表示C是极限序数α中的无界闭集，定义包含两个核心条件：
 1. 无界性：对任意小于α的序数β，都存在C中的元素γ大于β；
 2. 闭性：对任意小于α的极限序数λ，若C与λ的交的上确界等于λ（即C在λ中无界），则λ属于C。

==== 平稳集谓词 Stationary(S,α) ====
 <math>\mathrm{Stationary}(S,\alpha) \iff S \subseteq \alpha \land \forall C, \mathrm{Club}(C,\alpha) \to S \cap C \neq \emptyset</math>

谓词<math>\mathrm{Stationary}(S,\alpha)</math>表示S是α中的平稳集，即S是α的子集，且与α中的任意无界闭集都有非空交集，是大基数理论中刻画“大子集”的核心概念。

==== 正则基数集 RegSet(κ) ====
 <math>\mathrm{RegSet}(\kappa) = \{ \alpha < \kappa \mid \mathrm{Regular}(\alpha) \}</math>

<math>\mathrm{RegSet}(\kappa)</math>表示所有小于κ的正则基数构成的集合，是Mahlo基数定义的核心组件。

==== Π¹ₙ-不可描述谓词 Π¹ₙ-Indescr(κ) ====
 <math>\Pi^1_n\text{-Indescr}(\kappa) \iff \mathrm{Inacc}(\kappa) \land \forall A_1,...,A_m \subseteq V_\kappa, \forall \varphi \in \Pi^1_n, \left( (V_\kappa, \in, \vec{A}) \vDash \varphi \to \exists \alpha < \kappa, (V_\alpha, \in, \vec{A} \cap V_\alpha) \vDash \varphi \right)</math>

谓词<math>\Pi^1_n\text{-Indescr}(\kappa)</math>表示κ是Π¹ₙ-不可描述基数，即κ是弱不可达基数，且所有在带有限个谓词的模型<math>(V_\kappa, \in, \vec{A})</math>中成立的Π¹ₙ公式，都能反射到某个更小的模型<math>(V_\alpha, \in, \vec{A} \cap V_\alpha)</math>中成立。

==== 完全不可描述谓词 Π¹_ω-Indescr(κ) ====
 <math>\Pi^1_\omega\text{-Indescr}(\kappa) \iff \mathrm{Inacc}(\kappa) \land \forall n < \omega, \Pi^1_n\text{-Indescr}(\kappa)</math>

谓词<math>\Pi^1_\omega\text{-Indescr}(\kappa)</math>表示κ是完全不可描述基数，即κ是弱不可达基数，且对所有有限的n<ω，κ都是Π¹ₙ-不可描述基数，所有二阶公式都能被反射。

==== Π²₀-不可描述谓词 Π²₀-Indescr(κ) ====
 <math>\Pi^2_0\text{-Indescr}(\kappa) \iff \mathrm{Inacc}(\kappa) \land \forall A \subseteq V_\kappa, \forall \varphi \in \Pi^2_0, \left( (V_\kappa, \in, A) \vDash \varphi \to \exists \alpha < \kappa, (V_\alpha, \in, A \cap V_\alpha) \vDash \varphi \right)</math>

谓词<math>\Pi^2_0\text{-Indescr}(\kappa)</math>表示κ是Π²₀-不可描述基数，即κ是弱不可达基数，且所有在带一个谓词的模型<math>(V_\kappa, \in, A)</math>中成立的Π²₀公式，都能反射到某个更小的模型<math>(V_\alpha, \in, A \cap V_\alpha)</math>中成立。

=== 核心序数与基数锚点构造 ===
==== 1. 最小无限序数 ω ====
 <math>\omega = \iota \alpha \left( \mathrm{Lim}(\alpha) \land \forall \beta, \mathrm{Lim}(\beta) \to \alpha \leq \beta \right)</math>

<math>\omega</math>是最小无限序数，定义为满足以下条件的唯一序数：它是极限序数，且是所有极限序数中最小的那个。是序数分析的基础锚点。

==== 2. Ω（Ω₁，第一个不可数基数） ====
 <math>\Omega = \Omega_1 = \iota \kappa \left( \mathrm{Card}(\kappa) \land \neg \mathrm{Countable}(\kappa) \land \forall \lambda, \mathrm{Card}(\lambda) \land \neg \mathrm{Countable}(\lambda) \to \kappa \leq \lambda \right)</math>

<math>\Omega</math>（也记作<math>\Omega_1</math>，对应标准集合论的<math>\aleph_1</math>）是第一个不可数基数，定义为满足以下条件的唯一基数：它是不可数基数，且是所有不可数基数中最小的那个。是Buchholz序数坍缩函数的核心锚点。

==== 3. Ω_α 序列（第α个无限初始序数） ====
 <math>\Omega_0 = 1</math>
 <math>\forall \alpha, \Omega_{\alpha+1} = (\Omega_\alpha)^+</math>
 <math>\forall \lambda, \mathrm{Lim}(\lambda) \to \Omega_\lambda = \mathrm{Sup}\{ \Omega_\alpha \mid \alpha < \lambda \}</math>

<math>\Omega_\alpha</math>序列是对无限初始序数的递归构造，对应标准集合论中的阿列夫（<math>\aleph</math>）序列，定义分为三类情况：
 1. 零阶情况：<math>\Omega_0</math>定义为1，即第一个有限基数；
 2. 后继情况：对任意序数α，第α+1个无限初始序数是第α个无限初始序数的后继基数；
 3. 极限情况：对任意极限序数λ，第λ个无限初始序数是所有下标小于λ的<math>\Omega_\alpha</math>的上确界。

==== 4. Ω_Ω（Bird's Ordinal 锚点） ====
 <math>\Omega_\Omega = \mathrm{Sup}\{ \Omega_\alpha \mid \alpha < \Omega \}</math>

<math>\Omega_\Omega</math>是第<math>\Omega</math>个无限初始序数，定义为所有下标小于<math>\Omega</math>的<math>\Omega_\alpha</math>的上确界，是大序数理论中Bird's Ordinal的核心锚点构造。

==== 5. I（第一个弱不可达基数，Extended Buchholz Ordinal 锚点） ====
 <math>I = \iota \kappa \left( \mathrm{Inacc}(\kappa) \land \forall \lambda < \kappa, \neg \mathrm{Inacc}(\lambda) \right)</math>

<math>I</math>是第一个弱不可达基数，定义为满足弱不可达性质的最小基数，是Extended Buchholz Ordinal的标准锚点，一致性强度严格高于所有<math>\Omega_\alpha</math>序列中的基数。

=== 标准大基数锚点定义（按一致性强度递增） ===
==== 1. M：最小弱Mahlo基数（对应KPM） ====
 <math>M = \iota \kappa \left( \mathrm{Inacc}(\kappa) \land \mathrm{Stationary}(\mathrm{RegSet}(\kappa), \kappa) \land \forall \lambda < \kappa, \neg \left( \mathrm{Inacc}(\lambda) \land \mathrm{Stationary}(\mathrm{RegSet}(\lambda), \lambda) \right) \right)</math>

<math>M</math>是最小弱Mahlo基数，定义为满足以下条件的唯一基数：它是弱不可达基数，且小于自身的正则基数集在自身中是平稳集，同时是所有满足该性质的基数中最小的那个。对应证明论系统为KPM，是高阶序数坍缩函数的核心锚点。

==== 2. K：最小弱紧基数（最小Π¹₁-不可描述基数） ====
 <math>K = \iota \kappa \left( \Pi^1_1\text{-Indescr}(\kappa) \land \forall \lambda < \kappa, \neg \Pi^1_1\text{-Indescr}(\lambda) \right)</math>

<math>K</math>是最小弱紧基数，即最小的Π¹₁-不可描述基数，定义为满足Π¹₁-不可描述性质的最小基数，一致性强度严格高于弱Mahlo基数。对应证明论系统为<math>\text{KP} + \Pi^3_\text{set}\text{-Reflection}</math>。

==== 3. S：最小Π¹₂-不可描述基数 ====
 <math>S = \iota \kappa \left( \Pi^1_2\text{-Indescr}(\kappa) \land \forall \lambda < \kappa, \neg \Pi^1_2\text{-Indescr}(\lambda) \right)</math>

<math>S</math>是最小的Π¹₂-不可描述基数，定义为满足Π¹₂-不可描述性质的最小基数，一致性强度高于弱紧基数，是序数坍缩函数<math>\psi(\Omega_{S+\omega})</math>的标准锚点。

==== 4. X：最小完全不可描述基数（最小Π¹_ω-不可描述基数） ====
 <math>X = \iota \kappa \left( \Pi^1_\omega\text{-Indescr}(\kappa) \land \forall \lambda < \kappa, \neg \Pi^1_\omega\text{-Indescr}(\lambda) \right)</math>

<math>X</math>是最小完全不可描述基数，即最小的Π¹_ω-不可描述基数，定义为满足完全不可描述性质的最小基数，一致性强度高于所有有限阶的Π¹ₙ-不可描述基数。对应证明论系统为<math>\text{KP} + \Pi^\text{set}_\omega\text{-Reflection}</math>。

==== 5. Ξ：最小Π²₀-不可描述基数 ====
 <math>\Xi = \iota \kappa \left( \Pi^2_0\text{-Indescr}(\kappa) \land \forall \lambda < \kappa, \neg \Pi^2_0\text{-Indescr}(\lambda) \right)</math>

<math>\Xi</math>是最小的Π²₀-不可描述基数，定义为满足Π²₀-不可描述性质的最小基数，是本备份中一致性强度最高的锚点。对应证明论系统为<math>\Delta^1_2\text{-CA} + \text{BI} + \Pi^1_2\text{-CA}^-</math>；注：部分资料中该符号被误写为H。
[[分类:入门]]