查看“︁序型”︁的源代码

[[分类:序数理论]]{{DEFAULTSORT:xu4xing2}}
{{#seo:
|keywords=序型, 序同构
|description=本文介绍序型的定义、性质和应用，包括序型作为序同构等价类的概念、良序集序型与序数的对应关系，以及各种经典序型在数学中的重要性。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2025-04-20
}}
{{InfoBox
|name=序型
|eng_name=order type
}}
'''序型'''('''order type''')是对序的抽象刻画。对[[偏序]]及更强的序，称[[序同构]]的两个有序集具有相同的序型。

由于[[良序集]]的序型与[[序数]]一一对应，一般多研究良序集的序型。

== 定义 ==

对两个偏序集 <math>(P,\preceq_P)</math> 和 <math>(Q,\preceq_Q)</math> ，若存在序同构 <math>f: X\to Y</math> （即保持序关系地将一个集合元素一一对应到另一个集合上），则称偏序集 <math>(P,\preceq_P)</math> 与 <math>(Q,\preceq_Q)</math> 具有相同的'''序型'''(have the same '''order type''')。或称所有序同构的有序集构成的等价类为一个序型。

良序集的序型与序数一一对应，也称对应的序数为这一良序集的'''序型'''。特别地，在 von Neumann 序数构造下，良序集 <math>(n, \in_n)</math> 的 <math>n</math> 是 von Neumann 序数，称 <math>n</math> 为 <math>(n, \in_n)</math> 的序型。

== 性质 ==

* 序型是序同构中的不变量，两个有序集有相同序型当且仅当它们序同构。可以认为序型是有序集结构的抽象，忽略具体元素。
* 良序集的序型有特别良好的性质：
** 每个良序集都唯一对应一个[[序数]]，称为该良序集的序型；
** 在 [[von Neumann 序数]]定义下，序数本身就是具有该序型的良序集；
** [[良序定理]]断言每个集合都可以良序化，因此每个集合基数都对应多个序型。

== 经典序型例子 ==

* 有限序型
** <math>0</math> ：空集的序型。
** <math>1</math> ：单元素集的序型。
** <math>n</math> ： n 个元素的全序集的序型。
* 可数无限序型
** <math>\omega</math> ：自然数集(0,1,2,3,...)的序型。
** <math>^* \omega</math> ：负整数集(...,-3,-2,-1)的序型。
** <math>\zeta</math> ：整数集(...,-2,-1,0,1,2,...)的序型。
** <math>\eta</math> ：有理数集的序型。
* 不可数序型
** <math>\lambda</math> ：实数集的序型。
** <math>\Omega</math> ：最小不可数序数对应的序型。

== 序型运算 ==

=== 对偶 ===

设 <math>\alpha</math> 是一个序型， <math>^* \alpha</math> 定义为其[[对偶（序理论）|对偶]]序的序型。

=== 加法 ===

设α和β是两个序型，α+β定义为将β类型的集合接在α类型的集合之后。

性质：
* 不满足交换律：1+ω = ω ≠ ω+1
* 满足结合律：(α+β)+γ = α+(β+γ)

=== 乘法 ===

设α和β是两个序型，α·β定义为按反词典序排列的α×β。

性质：
* 不满足交换律：2·ω = ω ≠ ω·2
* 满足左分配律：α·(β+γ) = α·β+α·γ
* 不满足右分配律