Бесконечно множество: Разлика помеѓу преработките

[проверена преработка][проверена преработка]
Избришана содржина Додадена содржина
сНема опис на уредувањето
сНема опис на уредувањето
Ред 8:
Едно множество е бескочечно [[ако и само ако]] за секој природен број множеството има [[подмножество]] чијашто [[кардиналност]] (моќност) е тој природен број.
 
Ако држиважи [[аксиома за избор|аксиомата за избор]], тогаш едно множество е бесконечно ако и само ако содржи преброиво бесконечно подмножество.
 
Ако едно множество од множества е бесконечно или содржи бесконечен елемент, тогаш неговата унија е бесконечна. Партитивното множество на едно бесконечно множество е бесконечно. Секое надмножество на едно бесконечно множество е бесконечно. Ако едно бесконечно множество се подели на конечнен број на помали подмножества, тогаш барем едно од нив мора да е бесконечно. Секое мноежство што може да се преслика во бесконечно множество е бесконечно. [[Декартов производ|Декартовиот производ]] од едно бесконечно и едно непразно множество е бесконечен. Декартовиот производ од бесконечен број на множества, секое со барем по два елемента, е или празен или бесконечен. Ако важи аксиомата на избор, тогаш е бесконечен.
Ред 14:
Ако едно бесконечно множество е [[добро подредено множество]], тогаш мора да има непразно подмножество кое нема најголем елемент.
 
Според Цермело-Френкеловата теорија, едно множество е бесконечно ако и само ако [[партитивно множество|партитивното множество]] на неговото партитивно множество е [[Дедекинд-бесконечно множество]], содржејќи подмножество што е [[рамнобројност|рамнобројно]] само на себе. Ако држиважи и аксиомата на избор, тогаш бесконечните множествa се токму Дедекинд-бесконечните множества.
 
Ако едно бесконечно множество е добро подредливо множество, тогаш има многу добри поредоци што се неизоморфни.