Приключения Майкла и Константина. Мастер Исандер

Чтение книги онлайн.

      Здесь придём к функции Ратъена. На самом деле это не одна, а целых две функции, и кроме ψ-функции Ратъен определил еще и χ-функцию. Принципиальное отличие между ними заключается в том, что если ψ-функция возвращает любые ординалы, то χ-функция возвращает всегда только регулярные ординалы. По определению, если n < I, то χ(n) – возвращает n-ный несчетный регулярный ординал (считая с нуля). Тут важно отметить, что ω-ный регулярный ординал это ωω+1, потому что, как вы должны помнить из прошлой части, |ωω| = ℵω – регулярным не является. Следовательно, пользуясь обозначениями коллапсирующей функции, мы получим следующие преобразования: χ(0) = Ω, χ(1) = Ω2, χ(2) = Ω3, χ(ω) = Ωω+1, χ(Ω) = χ(χ(0)) = ΩΩ+1, χ(Ω) = χ(χ(1)) = ΩΩ+2, χ(ΩΩΩΩ…) = Ω(ΩΩΩ…+1) = ΩФ(1,0)+1, и т.д. В целом, принципы коллапсирования позволяют определить общее свойство χ(n) = Ωn+1, гласящее что n-ный несчётный кардинал равен кардиналу, который предшествует n-ному несчетному регулярному кардиналу. Однако работает это свойство только пока аргумент функции меньше недостижимого кардинала (n < I).