Ordonombro: Malsamoj inter versioj
[kontrolita revizio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
e r2.7.1) (robota aldono de: mk:Реден број |
Neniu resumo de redakto |
||
Linio 4:
Oni povas rigardi la ordonombrojn kiel [[ordotipo]]jn de bone ordigitaj aroj. Origine oni identigis la ordotipojn kun la [[ekvivalentklaso]]j de ordigitaj aroj, kun [[izomorfio|izomorfieco]] kiel [[ekvivalento-rilato]]. Ĉar en la moderna [[aksioma aroteorio]] tiaj ekvivalentklasoj ne povas esti aroj, oni nuntempe preferas identigi la ordonombrojn kun la herede [[transitiva aro|transitivaj aroj]].
Kiel por aliaj nombrospecoj, por ordonombroj estas difinitaj operacioj de [[adicio]], [[obligo]] kaj [[potencigo]]. [[Subtraho]] kaj [[divido]] ne estas
Unue la koncepton de ordonombroj enkondukis [[Georg Cantor]] en 1897 por priskribi [[senfineco|senfinajn]] [[vico]]jn kaj klasigi arojn laŭ [[teorio de ordo]]. Pli detaljn priskribojn de la sistemo donis Levy (1979) kaj Sacks (2003).
|