Število alef

Alef nič je najmanjše kardinalno število za neskončno množico.

Število alef se v teoriji množic imenujejo števila v zaporedju števil, ki predstavljajo kardinalnosti neskončnih množic. Ime izvira iz prve črke hebrejske abecede, ki ga zapišemo kot $\mathrm{\aleph }$, in se tudi uporablja za označevanje.

Kardinalnost naravnih števil označujemo z ${\mathrm{\aleph }}_0$ (beri alef nič). Po velikosti naslednjo kardinalnost označujemo z ${\mathrm{\aleph }}_1$ (beri alef ena), naslednja oznaka je ${\mathrm{\aleph }}_2$ (alef dva).

Na ta način lahko označimo kardinalno število ${\mathrm{\aleph }}_{\alpha }$ za poljubno ordinalno število $\alpha$.

Pojem je vpeljal nemški matematik Georg Ferdinand Cantor (1845 – 1918), ki je prvi vpeljal pojem kardinalnosti in je tudi ugotovil, da imajo neskončne množice različne kardinalnosti.

Alef nič

Alef nič označujemo z ${\mathrm{\aleph }}_0$, ki pomeni kardinalnost naravnih števil, in je prvo transfinitno kardinalno število. Množica ima kardinalnost ${\mathrm{\aleph }}_0$ samo, če in samo, če je števno neskončna, kar je samo, če in samo, če lahko uporabimo bijekcijo z naravnimi števili. Takšne množice vključujejo naslednje množice:

• praštevil
• celih števil
• racionalnih števil
• algebrskih števil
• binarnih nizov s končno dolžino
• podmnožica števnih množic

Alef ena

Označuje se z ${\mathrm{\aleph }}_1$.

To je kardinalnost vseh števnih ordinalnih števil (oznaka ${\omega }_1$ ali $\mathrm{\Omega }$).

Definicija ${\mathrm{\aleph }}_1$ kaže na to, da ni kardinalnih števil med ${\mathrm{\aleph }}_0$ in ${\mathrm{\aleph }}_1$. Če uporabimo aksiom izbire, ugotovimo, da je razred kardinalnih števil polno urejen in je ${\mathrm{\aleph }}_1$ drugo najmanjše neskončno kardinalno število.

Domneva kontinuuma

Domneva kontinuuma obravnava velikosti neskončnih množic. Domneva trdi, da ni množice, ki bi imela kardinalnost, ki bi bila med kardinalnostjo celih in realnih števil.

Kardinalnost množice realnih števil je enaka $2^{{\mathrm{\aleph }}_0}$.

Velja tudi:

$2^{{\mathrm{\aleph }}_0}={\mathrm{\aleph }}_1.$

Glej tudi

• kardinalnost
• število bet

Zunanje povezave

• Števila alef Predloga:Webarchive na PlanetMath Predloga:Ikona en
• Predloga:MathWorld