第一个不可数序数：修订间差异

2025年10月29日 (三) 17:50的最新版本

第一个不可数序数
对象名称	第一个不可数序数
对象记号	[math]\displaystyle{ \omega_1 }[/math]
Latex	`\omega_1`
对象类别	序数

第一个不可数序数，记作 [math]\displaystyle{ \omega_1 }[/math] ，是最小不可数良序集的序型，即序数，表示所有可数序数构成的良序集的序型。

@@ 第1行： / 第1行： @@
-[[分类:序数理论]]
+[[分类:序数理论]]{{DEFAULTSORT:di4yi1ge4bu4ke3shu3xu4shu4}}
+{{#seo:
+|keywords=第一个不可数序数, ω₁
+|description=本文关于第一个不可数序数，即ω₁，介绍了其定义和性质。
+|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
+|published_time=2025-10-12
+}}
 {{InfoBox
 |name=欧米伽一
 |eng_name=omega-one
+|aliases=第一个不可数序数
 }}
 {{Identity
@@ 第10行： / 第17行： @@
 |type=序数
 }}
-第一个不可数序数，记作 ω₁ （<math>\omega_1</math>），是最小不可数良序集的[[序型]]。
+第一个不可数序数，记作 <math>\omega_1</math> ，是最小不可数[[良序集]]的[[序型]]，即[[序数]]，表示所有可数序数构成的良序集的序型。
-是全部可数序数后的第一个序数，是[[不可数]]的序数。
+* 是第一个不可数序数，是全部可数序数的上确界。
+* 是可数序数与不可数序数的分界线，一个无限序数小于 <math>\omega_1</math> 当且仅当其是可数序数。
+* 是不可数序数。
+* 对应[[基数]]为[[第一个不可数基数]]。