Nedosažitelný kardinál

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

DefiniceEditovat

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

VlastnostiEditovat

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žitelnostEditovat

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. 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ámEditovat

Definujme   (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  .

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

Související článkyEditovat