Število alef

Iz Wikipedije, proste enciklopedije
Skoči na: navigacija, iskanje
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  \aleph \,, in se tudi uporablja za označevanje.

Kardinalnost naravnih števil označujemo z  \aleph_0 \, (beri alef nič). Po velikosti naslednjo kardinalnost označujemo z  \aleph_1 \, (beri alef ena), naslednja oznaka je  \aleph_2 \, (alef dva).

Na ta način lahko označimo kardinalno število  \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č[uredi | uredi kodo]

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

Alef ena[uredi | uredi kodo]

Označuje se z  \aleph_1 \,.

To je kardinalnost vseh števnih ordinalnih števil (oznaka  \omega_1 \, ali  \Omega \,).

Definicija  \aleph_1 \, kaže na to, da ni kardinalnih števil med  \aleph_0 \, in  \aleph_1 \,. Če uporabimo aksiom izbire, ugotovimo, da je razred kardinalnih števil polno urejen in je  \aleph_1 \, drugo najmanjše neskončno kardinalno število.

Domneva kontinuuma[uredi | uredi kodo]

Glavni članek: 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^{\aleph_0} \,.

Velja tudi:

 2^{\aleph_0}=\aleph_1.

Glej tudi[uredi | uredi kodo]

Zunanje povezave[uredi | uredi kodo]