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

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). +more 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ž \alef_0, 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

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 \alef_{127}, \alef_{\omega}, \alef_{\alef_{\omega+2}}, … jsou menší. +more Dodejme ještě, že kvůli regularitě je slabě nedosažitelný kardinál nutně pevným bodem funkce \alef (funkce alef).

Vztah ke stacionárním množinám

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

Související články

Velké kardinály * Nedosažitelný kardinál * Hypernedosažitelný kardinál

Kategorie:Velké kardinály

5 min read

Share this post:

Like it 8

Slabě nedosažitelný kardinál

Author