Ordonombro: Malsamoj inter versioj
[kontrolita revizio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
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... |
Marcos (diskuto | kontribuoj) Neniu resumo de redakto |
||
Linio 6:
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
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:
|