Трансконечен број

Трансконечните броеви (или трансфинитни броеви) — кардинални или редни броеви што се поголеми од сите конечни броеви, но не мора да бидат апсолутно бесконечни. Поимот „трансконечни броеви“ е кованка на математичарот Георг Кантор (1845-1918), кој со ова сакал да избегне погрешно толкување на бесконечноста на овие објекти, иако тие не се конечни. Денес е прифатено трансконечните броеви да се нарекуваат „бесконечни“, но првиот поим е сепак позастапен.

Како и конечните броеви, трансконечни броеви можат да се претстават на два начина: како редни и како кардинални броеви. За разлика од конечните редни и кардинални броеви, трансконечните дефинираат различни класи на броеви.

• ω (омега) се дефинира како најмалиот трансконечен реден број и е од поредочниот тип на природните броеви по нивното вообичаено линеарно подредување.

• Алеф-нула, ${\displaystyle \scriptstyle {\aleph _{0}}}$, се дефинира како првиот трансконечен кардинален број и претставува кардиналност на бесконечното множество на природни броеви. Ако важи аксиомата за избор, следниот повисок кардинален број е алеф-еден, ${\displaystyle \scriptstyle {\aleph _{1}}}$. Ако не, може да има други кардинални броеви што се неспоредливи со алеф-еден, а поголеми од алеф-нула. Во секој случај, помеѓу алеф-еден и алеф-нула не постојат кардинални броеви .

Хипотезата за постојаното вели дека не постојат кардинални броеви помеѓу алеф-нула и кардиналноста на постојаното (множеството реални броеви): that is to say, алеф-еден е кардиналноста на множество реални броеви. (Ако е доследна Цермело-Френкеловата теорија на множествата, тогаш од Цермело-Френкеловата теорија не можат да се докаже ниту хипотезата за постојаното, ниту нејзината негација.)

Некои автори како Сапс и Рубин го користат поимот „трансконечен кардинален број“ за кардиналноста на едно Дедекинд-бесконечно множство, во контекст каде поимот не е истоветен со поимот „бесконечен кардинален број“ - во контекст кајшто аксиомата за преброив избор не е претпоставена или не се знае дали важи. Според оваа дефиниција, сите овие се истоветни (еквивалентни):

• m е трансконечен кардинален број, т.е. има Дедекинд-конечно множество A каде кардиналноста на A е m.
• m + 1 = m.
• ${\displaystyle \scriptstyle {\aleph _{0}}}$ ≤ m.
• постои кардинален број n каде ${\displaystyle \scriptstyle {\aleph _{0}}}$ + n = m.

• Алеф-број
• Бет-број
• Кардинален број
• Бесконечно мал број (инфинитезимал)
• Бесконечно множество
• Трансконечна индукција

• „За конечното и бесконечното“ Архивирано на 18 јуни 2021 г. со објасненија за трансконечните броеви - Центар за инженерска математика, ФЕИТ - Скопје (македонски)

• Levy, Azriel, 2002 (1978) Basic Set Theory. Dover Publications. ISBN 0-486-42079-5
• O'Connor, J. J. and E. F. Robertson (1998) "Georg Ferdinand Ludwig Philipp Cantor" - MacTutor History of Mathematics archive.
• Rubin, Jean E., 1967. "Set Theory for the Mathematician". San Francisco: Holden-Day.
• Rudy Rucker, 2005 (1982) Infinity and the Mind. Princeton Univ. Press. ISBN 978-0691001722.
• Patrick Suppes, 1972 (1960) "Axiomatic Set Theory". Dover. ISBN 0-486-61630-4.

п р у Видови броеви Основни Природни броеви (${\displaystyle \scriptstyle \mathbb {N} }$) · Цели броеви (${\displaystyle \scriptstyle \mathbb {Z} }$) · Рационални броеви (${\displaystyle \scriptstyle \mathbb {Q} }$) · Ирационални броеви · Реални броеви (${\displaystyle \scriptstyle \mathbb {R} }$) · Имагинарни броеви (${\displaystyle \scriptstyle \mathbb {I} \,}$) · Комплексни броеви (${\displaystyle \scriptstyle \mathbb {C} }$) · Алгебарски броеви (${\displaystyle \scriptstyle {\overline {\mathbb {Q} }}}$) · Трансцендентни броеви · Кватерниони (${\displaystyle \scriptstyle \mathbb {H} }$) · Октониони (${\displaystyle \scriptstyle \mathbb {O} }$) · Седениони (${\displaystyle \scriptstyle \mathbb {S} }$) · Кејли–Диксонова постапка · Хиперболични броеви Комплексни проширувања Бикомплексни броеви · Бикватерниони · Кокватерниони · Тесарини · Хиперкомплексни броеви · Мизееви хиперброеви · Суперреални броеви · Хиперреални броеви · Натприродни броеви · Надреални броеви Други проширувања Дуални броеви · Трансконечни броеви · Продолжена реална бројна оска · Кардинални броеви · Редни броеви · p-адични броеви