Kardinalno število

Za kardinalno število v jezikoslovju glej Glavni števnik.

Kardinalno število je v matematiki posplošeno število, ki izraža moč ali kardinalnost množice. Moč množice A označimo z zapisom m(A) ali |A| ali tudi card(A).

Moč prazne množice je enaka 0. Število 0 je najmanjše kardinalno število.

Moč končne množice je enaka številu elementov in se izraža z naravnim številom. Vsa naravna števila so kardinalna števila.

Končni množici imata enako moč, če in samo če med njima obstaja bijektivna preslikava. To lastnost uporabimo za definicijo neskončnih kardinalnih števil. Definiramo, da imata neskončni množici enako moč (sta ekvipolentni), če med njima obstaja bijektivna preslikava.

Alef nič je najmanjše neskončno kardinalno število

Vse množice, ki so ekvipolentne množici naravnih števil imenujemo števno neskončne množice. Moč take množice označimo s kardinalnom številom $\aleph _{0}$ (beri: álef nič). Poleg množice $\mathbb {N}$ ima tako moč še več drugih neskončnih množic, npr.: $\mathbb {Z} ,~\mathbb {Q} ,~\ldots$

Množica realnih števil $\mathbb {R}$ ima večjo moč. Označimo jo s kardinalnim številom $\aleph _{1}$ .

Obstajajo tudi množice, ki imajo še več elementov. Njihovo moč označimo z nadaljnjimi kardinalnimi števili $\aleph _{2},~\aleph _{3},~\ldots$

p p u Množice, sistemi in vrste števil
Števne množice	naravna ( $\scriptstyle \mathbb {N}$ ) cela ( $\scriptstyle \mathbb {Z}$ ) racionalna ( $\scriptstyle \mathbb {Q}$ ) konstruktabilna algebrska ( $\scriptstyle {\overline {\mathbb {Q} }}$ ) periode izračunljiva aritmetična Gaussova cela
Realna števila in njihove razširitve	realna ( $\scriptstyle \mathbb {R}$ ) kompleksna ( $\scriptstyle \mathbb {C}$ ) kvaternioni ( $\scriptstyle \mathbb {H}$ ) bikvaternioni ( $\scriptstyle \mathbb {C} \otimes \mathbb {H}$ ) oktonioni ( $\scriptstyle \mathbb {O}$ ) sedenioni ( $\scriptstyle \mathbb {S}$ ) Cayley-Dicksonova konstrukcija dualna hiperbolična bikompleksna hiperkompleksna superrealna iracionalna transcendentna hiperrealna ( $\scriptstyle ^{*}\mathbb {R}$ ) Levi-Civitajev obseg surrealna
Drugi sistemi	kardinalna ordinalna transfinitna p-adična supernaravna
Druge značilnosti	praštevilskost sestavljenost deljivost brez kvadrata palindromnost normalnost mera iracionalnosti algebrska neodvisnost