Võimsus (hulgateooria): erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
17. rida:
On lihtne näidata, et võrdvõimsus on [[ekvivalentsusseos]]. Seetõttu saab anda järgmise [[definitsioon]]i:
 
:Hulkade [[ekvivalentsusklass]]e võrdvõimsus[[seos (matemaatika)|seos]]e suhtes nimetatakse [[kardinaalarv]]udeks.
 
[[Alef]] (<math>\aleph</math>) on [[heebrea tähestik]]u esimene [[Täht (kiri)|täht]]. See varustatakse [[indeks]]iga ja saadakse [[lõpmatu hulk|lõpmatute hulkade]] kardinaalarvude tähiseid.
26. rida:
''n'' elemendist koosneva [[lõplik hulk|lõpliku hulga]] võimsus samastatakse [[naturaalarv]]uga ''n''.
 
Võib küsida, kas lõikkõik lõpmatud hulgad on omavahel võrdvõimsad. Juhul kui see oleks nii, oleksid kõik lõpmatud hulgad loenduvad. Selgub aga, et on lõpmatuid hulki, mis ei ole omavahel võrdvõimsad. Näiteks ei ole [[naturaalarvude hulk]] võrdvõimas [[reaalarvude hulk|reaalarvude hulgaga]]. Et reaalarvude hulk on [[mitteloenduv hulk|mitteloenduv]], seda saab tõestada [[Cantori diagonaaltõestus]]e abil.
 
Allpool näitame, et erinevaid kardinaalarve on lõpmata palju.