Реден број: Разлика помеѓу преработките

[проверена преработка][проверена преработка]
Избришана содржина Додадена содржина
сНема опис на уредувањето
Ред 10:
Тука собирањето и одземањето не се комутативни: поточно 1&nbsp;+&nbsp;ω е ω наместо ω&nbsp;+&nbsp;1 и така 2·ω е ω наместо ω·2. Множеството на сите преброиви ординали го сочинува првиот непреброив ординал ω<sub>1</sub>, кој се асоцира со [[алеф-еден|ℵ<sub>1</sub>]] (следниот кардинал по ℵ<sub>0</sub>). Добро подредените кардинали се совпаѓаат со нивните првични ординали, т.е. најмалиот ординал со таа дадена [[кардиналност]]. „Кардиналноста на редниот број“ ја определува асоцијацијата „еден на повеќе“ од ординали на кардинали.
 
Општо земено, секој ординал α е „поредочен тип на множеството редни броеви“ без самиот ординал α. Ова својство овозможува секој ординал да се претстави како множество од сите ординали помали од него. Ординалите можеме да ги класификуваме како: нула, следбени ординали и гранични ординали (со разни [[коконечност]]и). Ако имаме „класа на ординали“, можеме да го утврдиме α-тиот член на таа класа, т.е. можеме да ги наброиме. Ваквата класа е затворена и неограничена ако нејзината функцијата на редење е [[непрекината функција|непрекината]] и не никогаш запира. '''Канторовиот нормален облик''' го претставува секој ординал засебно како конечен збир од ординалните степени на ω. Меѓутоа, ова не може да биде основа за универзално претставување на ординалите поради самоодносните претстави како &epsilon;<sub>0</sub> = &omega;<sup>&epsilon;<sub>0</sub></sup>. Можеме да дефинираме сè поголеми ординали, но така тие стануваат сè потешки за опишување. Секој реден број може да се претвори во [[тополошки простор]] давајќи му [[поредочна топологија]]. Оваа топологија ќе биде [[дискретен простор|дискретна]] [[ако и само ако]] ординалот е преброив кардинал, т.е. највеќе ω. Едно подмножество на ω&nbsp;+&nbsp;1 ќе биде отворено во поредончната топологија ако и само ако е коконечно или не го содржи ω како [[елемент (математика)|елемент]] (не обете).
 
== Поврзано ==