V pátek 26. dubna 2024 úderem 22 hodiny začíná naše nová
a opravdu velká série soutěží o nejlepší webovou stránku !!
Proto neváhejte a začněte hned zítra soutěžit o lákavé ceny !!

Funkce gimel

Z Multimediaexpo.cz

Verze z 14. 8. 2022, 14:51; Sysop (diskuse | příspěvky)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)

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 \( \lambda \,\! \) jako
\( \gimel(\lambda) = \lambda^{cf(\lambda)} \,\! \) .
Symbol \( cf(\lambda) \,\! \) zde označuje kofinál kardinálu \( \lambda \,\! \).

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^{\aleph_{\alpha}} = \gimel(\aleph_{\alpha}) \,\! \)

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 \( \aleph_{\alpha} \,\! \) platí
\( \gimel(\aleph_{\alpha}) = max(\aleph_{\alpha + 1} , 2^{\aleph_{\alpha}}) \,\! \)

Z Königovy nerovnosti plyne \(\,\lambda < \gimel(\lambda)\) a také \(\,cf(\lambda) < cf(\gimel(\lambda))\), tedy speciálně \(\, cf(\gimel(\lambda))> \aleph_{0}\) pro každé \(\, \lambda\).

Související články