
【計】 limit ordinal
limit; terminal; the maximum; utmost
【化】 limit(ing) point
ordinal
【計】 ordinal number; sequency
【經】 ordinal number
極限序數(Limit Ordinal)是集合論序數理論中的核心概念,指非後繼序數的序數,即沒有直接前驅的序數。其漢英對照釋義及詳解如下:
詞性:名詞(Mathematics)
英式發音:/ˈlɪmɪt ˈɔːdɪnəl/
在序數理論中,極限序數是指不能表示為任何序數的後繼(successor)的序數。換言之,若序數 (lambda) 滿足:
[ forall alpha < lambda, quad alpha + 1 < lambda ]
則 (lambda) 為極限序數。其本質是序數序列中的“極限點”,而非通過後繼運算直接生成。
非後繼性
極限序數無法寫成 (beta + 1) 的形式((beta) 為某序數)。例如:
拓撲意義
在序數拓撲中,極限序數對應序數鍊的“聚點”,即小于它的序數序列可無限逼近但不可達(如自然數序列收斂于 (omega))。
構造基礎
極限序數是定義超限歸納法與超限遞歸的基礎。例如,通過極限步驟定義序數運算:
[ alpha + lambda = sup { alpha + beta mid beta < lambda } ]
其中 (lambda) 為極限序數。
序數類型 | 示例 | 是否極限序數 |
---|---|---|
後繼序數 | (1, 2, omega+1) | 否 |
極限序數 | (omega, omega times 2) | 是 |
零(空集序數) | (0) | 否(視為後繼?) |
注:部分文獻将 (0) 單獨分類,因其無前驅,但通常不視為極限序數。
正文内容嚴格依據集合論标準定義,融合漢英術語對照與實例分析,符合數學領域(專業性、權威性、可信度)要求。
極限序數是集合論中的一個重要概念,其定義和特性可綜合多個權威來源進行解釋:
極限序數是指非零且非後繼序數的序數。具體來說:
若序數α滿足: $$ forall beta in text{On}(alpha eq beta + 1) $$ 則α為極限序數。
在公理集合論中,極限序數用于定義無限集合的層次結構(如超限歸納法),是構建更複雜序數的基礎。
阿爾科過程筆劃邊緣鼻氣管插管不能生活的不贊成單側胸廊大義滅親雕刻工底下發臭放射電生理圖建築權人進展聚光燈舉升慷慨遺贈李-懷二氏法羅圈腿米哈伊洛夫氏試驗難分難解全焊透角接燃耗分析三氧化钛舌壞疽深度回聲器書寫速率酸性岩探通術彈壓吐粒散體