Ordonombro: Malsamoj inter versioj

1 bitokon aldonis ,  antaŭ 5 jaroj
sen resumo de redaktoj
e (Forigis la dosieron Omega-exp-omega.svg forigitan el la Komunejo de Fastily: No source since 4 August 2014: you may re-upload the file, but please cite the file's...)
Kiel por aliaj nombrospecoj, por ordonombroj estas difinitaj operacioj de [[adicio]], [[obligo]] kaj [[potencigo]]. [[Subtraho]] kaj [[divido]] ne estas difineblaj por la ordonombroj.
 
Unue la koncepton de ordonombroj enkondukis [[Georg Cantor]] en 1897 por priskribi [[senfineco|senfinajn]] [[vico]]jn kaj klasigi arojn laŭ [[teorio de ordo]]. Pli detaljndetalajn priskribojn de la sistemo donis Levy (1979) kaj Sacks (2003).
 
La finhavaj ordonombroj (same kiel la finhavaj kvantonombroj) estas naturaj nombroj (0, 1, 2, …), ĉar ĉiuj du ordoj de finhava aro estas [[orda izomorfio|orde izomorfiaj]]. La plej malgranda senfina ordonombro ω estas identa kun plej malgranda senfina kvantonombro <math>\aleph_0</math>. Tamen, senfinaj ordonombroj post ω havas subtilan distingon, kiun kvantonombroj ne havas. Ekzemple, dum ekzistas nur unu [[nombrebla aro|nombrebla]] senfina kvantonombro <math>\aleph_0</math>, estas senfine multaj nombreblaj senfinaj ordonombroj: