Ordonombro: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Neniu resumo de redakto |
|||
Linio 19:
==Vastigo de naturaj nombroj==
Oni povas rigardi [[natura nombro|naturan nombron]] (inkluzive [[nulo]]n) laŭ du manieroj: kiel grando de [[aro]] aŭ kiel pozicio de aparta elemento en la aro. Por finiaj aroj tiuj du konceptoj kongruas, ĉar ekzistas nur unu maniero transformi aron al linia vico (krom izmorfismoj). Sed prizorgante nefiniajn arojn oni devas distingi inter
Kiam nocio de kardinala nombro asociiĝas kun senstruktura aro, la nocio de ordonombro estas ligita kun aparte [[plene ordigita aro|plene ordigitaj aroj]] - tiel proksime ligita, ke tiuj du nocioj ofte estas uzataj interŝanĝeble. Plene ordigitaj aroj estas [[tuteca ordo|tutece ordigitaj]] (t.e. por iuj du malsamaj elementoj unu estas pli granda ol alia) en kiu ne eblas nefinia ''malkreskanta'' vico (tamen, nefiniaj kreskantaj vicoj
Ĉiu ordonombro difineblas per la aro de antaŭaj ordonombroj. Fakte, plimulto de nune uzataj difinoj difinas ordonombron ''kiel'' aron de antaŭaj ordonombroj. Ekzemple, la ordonombro 42 estas difinebla kiel la aro de antaŭaj ordonombroj {0,1,2,…,41}. Pli ĝenerale, iu aro (''S'') de ordonombroj kiu estas masupren-limigita (t.e. por ĉiu ordonombro α el S kaj ĉiu ordonombro β < α, β estas ankaŭ el ''S'' kaj estas (aŭ estas identa kun) ordonombro.
Linio 28:
[[Image:Omega squared.png|thumb|right|256px|Grafika reprezentaĵo de la ordonombro ω². Ĉiu linieto respondas al ordonombro de formo ω·''m''+''n'' kie ''m'' kaj ''n'' estas naturaj nombroj.]]
Eble oni povas ekhavi plian intuician komprenon de ordonombroj post pripenso de kelkaj unuaj el ili. Kiel supre-menciite, la aro komencas je naturaj nombroj (inkluzive nulon): 0, 1, 2, 3, … Post ''ĉiuj'' naturaj nombroj sekvas la unua transfinia ordonombro ω, kiun sekvas ω+1, ω+2, ω+3, ktp. (
== Difinoj ==
|