Funkce gimel

Z Multimediaexpo.cz

Funkce gimel je pojem z teorie množin, který tematicky patří do kardinální aritmetiky.

Definice

Funkci gimel je definována pro nekonečný kardinál λ jako
(λ)=λcf(λ) .
Symbol cf(λ) zde označuje kofinál kardinálu λ.

Význam a vlastnosti

Funkce gimel se používá při vyšetřování průběhu kardinální mocniny.

Pro regulární kardinály platí:
2α=(α)

Pro singulární kardinály vyslovil v roce 1974 Robert Solovay tzv. hypotézu singulárních kardinálů:
Pro každý singulární kardinál α platí
(α)=max(α+1,2α)

Z Königovy nerovnosti plyne λ<(λ) a také cf(λ)<cf((λ)), tedy speciálně cf((λ))>0 pro každé λ.

Související články