用户:星汐镜Littlekk/自用概念梳理 - 版本历史

2026年3月3日 (二) 05:31 星汐镜Littlekk

2026-03-03T05:31:59Z

←上一版本		2026年3月3日 (二) 13:31的版本
第76行：		第76行：

	谓词<math>\mathrm{LimitCard}(\kappa)</math>表示κ是一个极限基数，即κ是基数，且对于任意小于κ的基数λ，其后继基数<math>\lambda^+</math>仍小于κ，即κ不是任何基数的后继。		谓词<math>\mathrm{LimitCard}(\kappa)</math>表示κ是一个极限基数，即κ是基数，且对于任意小于κ的基数λ，其后继基数<math>\lambda^+</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>，定义为满足以下条件的唯一序数：它是极限序数，且是所有极限序数中最小的那个。其中<math>\iota</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>）即第一个不可数基数，定义为满足以下条件的唯一基数：它是不可数的，且是所有不可数基数中最小的那个。

			==== 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. Ω_Ω====
			<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的核心锚点构造。

星汐镜Littlekk：/* 共尾性 cf(α) */

2026-02-26T23:35:48Z

共尾性 cf(α)

←上一版本		2026年2月27日 (五) 07:35的版本
第56行：		第56行：
	<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>		<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>

	~~序数α的共尾性~~<~~math~~>~~\mathrm{cf}~~(~~\alpha~~)</~~math~~>~~定义为满足以下条件的最小序数β：存在从β到α的映射，其像集的上确界为α；且不存在比β更小的序数γ满足该条件，刻画了α的最小共尾子集的序型。~~
			序数α的共尾度cf(α)，是满足以下条件的唯一的序数β：

			β是序数；

			存在从β到α的函数f，使得f在β上的像的上确界等于α（即f的像在α中无界）；

			对任意小于β的序数γ，都不存在从γ到α的函数g，使得g的像的上确界等于α（即β是能构造出这种无界函数的最小序数）。

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

	==== 正则基数谓词 Regular(κ) ====		==== 正则基数谓词 Regular(κ) ====

2026年2月26日 (四) 20:16 星汐镜Littlekk

2026-02-26T20:16:12Z

←上一版本		2026年2月27日 (五) 04:16的版本
第67行：		第67行：

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

	~~[[分类:入门]]~~

2026年2月26日 (四) 20:15 星汐镜Littlekk

2026-02-26T20:15:12Z

←上一版本		2026年2月27日 (五) 04:15的版本
第2行：		第2行：

	== 概述 ==		== 概述 ==
	~~部分概念的集合论定义~~		部分概念的集合论定义极速回忆版
	~~主要基于ZFC~~

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

	~~[[分类:集合论相关]]~~
	[[分类:入门]]		[[分类:入门]]

星汐镜Littlekk：自用页面，若有疑问前往b站lt_littlekk

2026-02-26T20:13:18Z

自用页面，若有疑问前往b站lt_littlekk

新页面

= Littlekk自用概念备份 =

== 概述 ==
部分概念的集合论定义
主要基于ZFC

== 形式化定义 ==

=== 序数与序数关系 ===
==== 序数谓词 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>仍属于α，意味着α中不存在最大元。

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

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

=== 映射与基数 ===
==== 双射谓词 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>

序数α的共尾性<math>\mathrm{cf}(\alpha)</math>定义为满足以下条件的最小序数β：存在从β到α的映射，其像集的上确界为α；且不存在比β更小的序数γ满足该条件，刻画了α的最小共尾子集的序型。

==== 正则基数谓词 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>仍小于κ，即κ不是任何基数的后继。

[[分类:集合论相关]]
[[分类:入门]]