Предельный ординал

Материал из testwiki
Перейти к навигации Перейти к поиску

Ординал α называется предельным, если не существует ординала β такого, что α=β+1.

Пусть α — предельный ординал. Конфинальностью α называется число cf(α), равное наименьшему β, для которого существует функция f из β в α и supf(ξ)=α. Кардинал α называется регулярным, если cf(ωα)=ωα, сингулярным — если cf(ωα)<ωα.

Шаблон:Math-stub Шаблон:Rq