Nedosažitelný kardinál

Technology

12 hours ago

Author

Nedosažitelný kardinál je matematický pojem z oblasti teorie množin (kardinální aritmetiky). Patří mezi velké kardinály.

Definice

Nedosažitelný kardinál je takové kardinální číslo \kappa, které je nespočetné, regulární a silně limitní (tj. pro každé \,\lambda je také \, 2^{\lambda}).

Vlastnosti

Zřejmě nedosažitelný kardinál je slabě nedosažitelný. Za předpokladu zobecněné hypotézy kontinua je kardinál nedosažitelný právě když je slabě nedosažitelný.

Nedosažitelnost

Nedosažitelný kardinál nelze zdola dosáhnout pomocí operace kardinálního následníka, pomocí sjednocení (resp. suprema) menšího počtu menších kardinálů, ani pomocí operace mohutnost potence z menšího kardinálu. +more Jeho nedosažitelnost je tedy ještě o něco větší než u kardinálu slabě nedosažitelného.

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

Definujme \Gamma(\alpha)=2^{ (viz funkce alef, slabá kardinální mocnina). Pak kardinál je nedosažitelný, právě když je regulární a zároveň je pevným bodem funkce \Gamma.

Navíc pro každý nedosažitelný kardinál \kappa, je množina \, \{\lambda je pevný bod funkce \, \Gamma\} uzavřená neomezená (v \kappa) a tedy stacionární.