查看“︁加性不可分解序数”︁的源代码

[[分类:序数理论]]{{DEFAULTSORT:jia1xing4bu4ke3fen1jie3xu4shu4}}
{{#seo:
|keywords=加性不可分解序数, γ数
|description=本文描述了加性不可分解序数或γ数的定义和性质，讲解了其在序数加法中的特殊作用。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2025-10-30
}}
{{InfoBox
|name=加性不可分解序数
|eng_name=additively indecomposable ordinal
|aliases=伽马数,gamma number
}}
{{非标准翻译}}
'''加性不可分解序数'''('''additively indecomposable ordinal''')是一类在[[序数]][[加法（序数）|加法]]下具有特殊性质的序数，它们不能分解为两个更小序数的和。这意味着任何更小序数都不可能只通过加法跨越这一屏障，这些屏障将序数分为不同的层级。更小的序数无法通过加法影响这一序数，因此将这样的序数加在更小序数后时会将其[[吸收律|吸收]]。

== 定义 ==

对非零序数 <math>\alpha</math> ，若对任意 <math>\beta,\gamma<\alpha</math> 都有 <math>\beta+\gamma<\alpha</math> ，称 <math>\alpha</math> 是一个'''加性不可分解序数'''('''additively indecomposable ordinal''')，也称为 '''γ 数'''('''gamma numbers''')。

或表述为：一个序数是加性不可分解的，当且仅当它不能表示为两个更小序数之和。

== 特征 ==

加性不可分解序数恰好是全体形如 <math>\omega^\alpha</math> 的序数，其中 <math>\alpha</math> 是任意序数。

最小的加性不可分解序数是 <math>1</math> （<math>\alpha=0</math>），然后是 <math>\omega</math> （<math>\alpha=1</math>）、 <math>\omega^2</math> ，以此类推。然后在极限意义上得到 <math>\omega^\omega</math> 以及更复杂的序数。

== 性质 ==

* 分解定理：任意非零序数 <math>\alpha</math> 都可以唯一表示为 <math>\alpha=\gamma+\beta</math> ，其中 <math>\gamma</math> 是加性不可分解序数且 <math>\beta<\gamma</math> 。
* 加性不可分解序数对更小的序数满足加法的单侧[[吸收律]]。 <math>\alpha</math> 是加性不可分解序数， <math>\beta < \alpha</math>  ，则 <math>\beta+\alpha<\alpha</math> 。
** 此时 <math>\alpha+\beta = \sup_{\delta<\beta}(\alpha+\delta)</math> 中 <math>\alpha+\delta</math> 和 <math>\delta</math> 本身组成的集合都小于 <math>\beta</math> ，且是其上确界。
** 推论：根据分解定理和结合律，加法中在一个序数左侧添加小于其最大的加性不可分解序数项不会改变序数。
** 比如 <math>1+\omega=\omega</math> ，其中 <math>1+n,n\in\mathbb{N}</math> 本身和 <math>\mathbb{N}</math> 只差头部一个元素 0 ，其他元素对应相同。类似地， <math>\omega+\omega^2=\omega^2</math> 。


{{序数}}