Slabě nedosažitelný kardinál

Z Wikipedie, otevřené encyklopedie
Skočit na navigaci Skočit na vyhledávání

Slabě nedosažitelný kardinál je matematický pojem z oblasti teorie množin (kardinální aritmetiky). Je nejmenším z velkých kardinálů.

Definice[editovat | editovat zdroj]

Slabě nedosažitelný kardinál je takové kardinální číslo, které je nespočetné, limitní a regulární.

Historie[editovat | editovat zdroj]

Pojem slabě nedosažitelného kardinálu zavedl Felix Hausdorff roku 1908.

Vlastnosti[editovat | editovat zdroj]

Nezávislost[editovat | editovat zdroj]

Existence slabě nedosažitelného kardinálu je nezávislá na axiomech ZFC. Za předpokladu zobecněné hypotézy kontinua (GCH) je kardinál slabě nedosažitelný právě když je nedosažitelný.

Nedosažitelnost[editovat | editovat zdroj]

Název slabě nedosažitelný kardinál byl zvolen, kvůli vlastnostem takto definovaného kardinálu. Z limitnosti totiž plyne, že ho není možné dosáhnout pomocí operace kardinálního následníka (kardinálním přičtením jedničky). Díky regularitě nelze tohoto kardinálu dosáhnout ani sjednocením (resp. supremem) menšího počtu menších kardinálů. Nejmenším limitním regulárním kardinálem je již , jehož existence je vynucena axiomem nekonečna. Existence slabě nedosažitelného kardinálu není vynucena žádným axiomem ZFC a tento kardinál tvoří (nevlastní) horní hranici pro kardinály, jejichž existence je axiomy ZFC vynucena. Proto je tvrzení „Existuje slabě nedosažitelný kardinál“ v podstatě silnější formou axiomu nekonečna.

Velikost[editovat | editovat zdroj]

Přestože je slabě nedosažitelný kardinál nejmenším ze všech velkých kardinálů, je mnohem větší, než jakékoli kardinální číslo, které lze v jazyce teorie množin zapsat. Všechny rozumně zapsatelné kardinály , … jsou menší. Dodejme ještě, že kvůli regularitě je slabě nedosažitelný kardinál nutně pevným bodem funkce (funkce alef).

Vztah ke stacionárním množinám[editovat | editovat zdroj]

Pro každý slabě nedosažitelný kardinál , je množina je pevný bod funkce (viz funkce alef) uzavřená neomezená (v ) a tedy stacionární.

Související články[editovat | editovat zdroj]