主題
Search

序數乘法


(A,<=)(B,<=)全序集。設 C=A×B笛卡爾積,並按如下方式定義順序。對於任意 a_1,a_2 in Ab_1,b_2 in B,

1. 如果 a_1<a_2, 則 (a_1,b_1)<(a_2,b_2),

2. 如果 a_1=a_2, 則 (a_1,b_1)(a_2,b_2) 的比較方式與 b_1,b_2 相同 (即,字典序)

(Ciesielski 1997, 第 48 頁;Rubin 1967;Suppes 1972)。然而,Dauben (1990, 第 104 頁) 和 Moore (1982, 第 40 頁) 以相反的順序定義乘法。

與加法類似,乘法不滿足交換律,但滿足結合律,

 2*omega=omega!=omega*2.
(1)

序數乘法的歸納定義指出,對於任何序數 alpha,

 alpha*0=0
(2)
 alpha*(successor to beta)=alpha*beta+alpha.
(3)

如果 beta極限序數,則 alpha*beta 是大於集合 {alpha*gamma:gamma<beta} 中任何序數的最小序數 (Suppes 1972, 第 212 頁)。


另請參閱

序數加法, 序數指數, 序數, 後繼

使用 探索

參考文獻

Ciesielski, K. Set Theory for the Working Mathematician. 劍橋,英格蘭: Cambridge University Press, 1997.Dauben, J. W. Georg Cantor: His Mathematics and Philosophy of the Infinite. 普林斯頓,新澤西州: Princeton University Press, 1990.Moore, G. H. Zermelo's Axiom of Choice: Its Origin, Development, and Influence. 紐約: Springer-Verlag, 1982.Rubin, J. E. Set Theory for the Mathematician. 紐約: Holden-Day, 1967.Suppes, P. Axiomatic Set Theory. 紐約: Dover, 1972.

在 中被引用

序數乘法

請引用為

Weisstein, Eric W. "Ordinal Multiplication." 來自 Web 資源. https://mathworld.tw/OrdinalMultiplication.html

主題分類