WikiDer > Функция порядкового сворачивания

В математическая логика и теория множеств, порядковая функция сворачивания (или функция проекции) - метод определения (обозначения для некоторых рекурсивный большие счетные ординалы, принцип которого состоит в том, чтобы давать имена определенным порядковым номерам, намного большим, чем определяемый, возможно, даже большие кардиналы (хотя их можно заменить на рекурсивно большие ординалы ценой дополнительных технических трудностей), а затем «свернуть» их до системы обозначений для искомого порядкового номера. По этой причине порядковые функции сворачивания описываются как непредсказуемый способ именования ординалов.

Детали определения порядковых функций сворачивания различаются и усложняются по мере определения больших порядковых номеров, но типичная идея состоит в том, что всякий раз, когда в системе обозначений «заканчивается топливо» и она не может назвать определенный порядковый номер, гораздо больший порядковый номер принесено «сверху», чтобы дать название этой критической точке. Пример того, как это работает, будет подробно описан ниже для порядковой функции сворачивания, определяющей Порядковый номер Бахмана – Ховарда (т.е. определение системы обозначений вплоть до порядкового номера Бахмана – Ховарда).

Использование и определение порядковых коллапсирующих функций неразрывно связано с теорией порядковый анализ, поскольку большие счетные ординалы, определяемые и обозначаемые данным коллапсом, используются для описания теоретико-порядковой силы некоторых формальные системыобычно^[1][2] подсистемы анализ (например, в свете обратная математика), расширения Теория множеств Крипке – Платека., Епископ-стилевые системы конструктивная математика или Мартин-Лёф-стилевые системы интуиционистская теория типов.

Порядковые функции сворачивания обычно обозначаются с использованием некоторой вариации греческой буквы ${ displaystyle psi}$ (psi) или ${ displaystyle theta}$ (тета).

Пример, ведущий к порядковому номеру Бахмана – Ховарда

Выбор порядковой функции коллапса, приведенный в качестве примера ниже, в значительной степени имитирует систему, введенную Бухгольцем.^[3] но ограничивается сворачиванием одного кардинала для ясности изложения. Подробнее о связи этого примера с системой Бухгольца будет сказано. ниже.

Определение

Позволять ${ displaystyle Omega}$ стоять за первый несчетный порядковый номер ${ displaystyle omega _ {1}}$, или, фактически, любой порядковый номер, который является ( ${ displaystyle varepsilon}$-число и) гарантированно больше, чем все счетные ординалы который будет построен (например, Чёрч – Клини ординал подходит для наших целей; но мы будем работать с ${ displaystyle omega _ {1}}$ потому что это позволяет удобно использовать слово счетный в определениях).

Определим функцию ${ displaystyle psi}$ (которые будут неубывающий и непрерывный), взяв произвольный порядковый ${ displaystyle alpha}$ к счетному порядковому номеру ${ Displaystyle psi ( альфа)}$, рекурсивно на ${ displaystyle alpha}$, следующее:

Предполагать ${ displaystyle psi ( beta)}$ был определен для всех ${ Displaystyle бета < альфа}$, и мы хотим определить ${ Displaystyle psi ( альфа)}$.

Позволять ${ Displaystyle С ( альфа)}$ набор порядковых номеров, сгенерированный, начиная с ${ displaystyle 0}$, ${ displaystyle 1}$, ${ displaystyle omega}$ и ${ displaystyle Omega}$ рекурсивно применяя следующие функции: порядковый сложение, умножение и возведение в степень и функция ${ displaystyle psi upharpoonright _ { alpha}}$, т.е. ограничение ${ displaystyle psi}$ к ординалам ${ Displaystyle бета < альфа}$. (Формально определим ${ Displaystyle С ( альфа) _ {0} = {0,1, omega, Omega }}$ и индуктивно ${ Displaystyle С ( альфа) _ {п + 1} = С ( альфа) _ {п} чашка { бета _ {1} + бета _ {2}, бета _ {1} бета _ {2}, { beta _ {1}} ^ { beta _ {2}}: beta _ {1}, beta _ {2} in C ( alpha) _ {n} } чашка { psi ( beta): beta in C ( alpha) _ {n} land beta < alpha }}$ для всех натуральных чисел ${ displaystyle n}$ и мы позволяем ${ Displaystyle С ( альфа)}$ быть союзом ${ Displaystyle С ( альфа) _ {п}}$ для всех ${ displaystyle n}$.)

потом ${ Displaystyle psi ( альфа)}$ определяется как наименьший порядковый номер, не принадлежащий ${ Displaystyle С ( альфа)}$.

Более кратко (хотя и менее понятно):

${ Displaystyle psi ( альфа)}$ наименьший порядковый номер, который не может быть выражен из ${ displaystyle 0}$, ${ displaystyle 1}$, ${ displaystyle omega}$ и ${ displaystyle Omega}$ используя суммы, произведения, экспоненты и ${ displaystyle psi}$ сама функция (к ранее созданным порядковым номерам меньше, чем ${ displaystyle alpha}$).

Вот попытка объяснить мотивацию определения ${ displaystyle psi}$ в интуитивно понятных терминах: поскольку обычных операций сложения, умножения и возведения в степень недостаточно для обозначения порядковых чисел очень далеко, мы пытаемся систематически создавать новые имена для порядковых чисел, выбирая первое, у которого еще нет имени, и всякий раз, когда у нас заканчивается имен, а не изобретать их в для этого случая мода или использование диагональные схемы, мы ищем их в ординалах далеко за пределами конструируемых нами (за пределами ${ displaystyle Omega}$, то есть); поэтому мы даем имена бесчисленным ординалам, и, поскольку в конце список имен обязательно является счетным, ${ displaystyle psi}$ «свернет» их до счетных порядковых чисел.

Расчет значений ${ displaystyle psi}$

Чтобы уточнить, как функция ${ displaystyle psi}$ может создавать обозначения для определенных порядковых чисел, теперь мы вычисляем его первые значения.

Предикативный старт

Сначала рассмотрим ${ displaystyle C (0)}$. Он содержит порядковые номера ${ displaystyle 0}$, ${ displaystyle 1}$, ${ displaystyle 2}$, ${ displaystyle 3}$, ${ displaystyle omega}$, ${ displaystyle omega +1}$, ${ displaystyle omega +2}$, ${ displaystyle omega 2}$, ${ displaystyle omega 3}$, ${ displaystyle omega ^ {2}}$, ${ displaystyle omega ^ {3}}$, ${ displaystyle omega ^ { omega}}$, ${ displaystyle omega ^ { omega ^ { omega}}}$ и так далее. Он также содержит такие ординалы, как ${ displaystyle Omega}$, ${ displaystyle Omega +1}$, ${ displaystyle Omega omega}$, ${ displaystyle Omega ^ { Omega}}$. Первый порядковый номер, которого он не содержит, - ${ displaystyle varepsilon _ {0}}$ (что является пределом ${ displaystyle omega}$, ${ displaystyle omega ^ { omega}}$, ${ displaystyle omega ^ { omega ^ { omega}}}$ и так далее - меньше чем ${ displaystyle Omega}$ по предположению). Верхняя граница содержащихся в нем ординалов равна ${ displaystyle varepsilon _ { Omega +1}}$ (предел ${ displaystyle Omega}$, ${ displaystyle Omega ^ { Omega}}$, ${ Displaystyle Omega ^ { Omega ^ { Omega}}}$ и так далее), но это не так важно. Это показывает, что ${ displaystyle psi (0) = varepsilon _ {0}}$.

Так же, ${ Displaystyle C (1)}$ содержит ординалы, которые могут быть образованы из ${ displaystyle 0}$, ${ displaystyle 1}$, ${ displaystyle omega}$, ${ displaystyle Omega}$ и на этот раз также ${ displaystyle varepsilon _ {0}}$, используя сложение, умножение и возведение в степень. Он содержит все порядковые номера до ${ displaystyle varepsilon _ {1}}$ но не последний, поэтому ${ Displaystyle psi (1) = varepsilon _ {1}}$. Таким образом, мы доказываем, что ${ Displaystyle psi ( alpha) = varepsilon _ { alpha}}$ индуктивно на ${ displaystyle alpha}$: доказательство работает, однако, только пока ${ Displaystyle альфа < varepsilon _ { alpha}}$. Таким образом, мы имеем:

${ Displaystyle psi ( alpha) = varepsilon _ { alpha} = phi _ {1} ( alpha)}$ для всех ${ Displaystyle альфа Leq zeta _ {0}}$, где ${ displaystyle zeta _ {0} = phi _ {2} (0)}$ наименьшая фиксированная точка ${ Displaystyle alpha mapsto varepsilon _ { alpha}}$.

(Здесь ${ displaystyle phi}$ функции Функции Веблена определены начиная с ${ Displaystyle phi _ {1} ( альфа) = varepsilon _ { alpha}}$.)

Сейчас же ${ displaystyle psi ( zeta _ {0}) = zeta _ {0}}$ но ${ displaystyle psi ( zeta _ {0} +1)}$ не больше, так как ${ displaystyle zeta _ {0}}$ не могут быть построены с использованием конечных приложений ${ displaystyle phi _ {1} двоеточие alpha mapsto varepsilon _ { alpha}}$ и поэтому никогда не принадлежит ${ Displaystyle С ( альфа)}$ набор для ${ displaystyle alpha leq Omega}$, а функция ${ displaystyle psi}$ остается «застрявшим» на ${ displaystyle zeta _ {0}}$ на некоторое время:

${ Displaystyle psi ( альфа) = zeta _ {0}}$ для всех ${ Displaystyle zeta _ {0} leq alpha leq Omega}$.

Первые предварительные значения

Опять таки, ${ displaystyle psi ( Omega) = zeta _ {0}}$. Однако когда мы переходим к вычислениям ${ displaystyle psi ( Omega +1)}$, что-то изменилось: с ${ displaystyle Omega}$ был («искусственно») добавлен ко всем ${ Displaystyle С ( альфа)}$, нам разрешено принимать значение ${ displaystyle psi ( Omega) = zeta _ {0}}$ в процессе. Так ${ Displaystyle C ( Omega +1)}$ содержит все порядковые числа, которые могут быть построены из ${ displaystyle 0}$, ${ displaystyle 1}$, ${ displaystyle omega}$, ${ displaystyle Omega}$, то ${ displaystyle phi _ {1} двоеточие alpha mapsto varepsilon _ { alpha}}$ функция вплоть до ${ displaystyle zeta _ {0}}$ и на этот раз также ${ displaystyle zeta _ {0}}$ сам, используя сложение, умножение и возведение в степень. Наименьший порядковый номер не в ${ Displaystyle C ( Omega +1)}$ является ${ displaystyle varepsilon _ { zeta _ {0} +1}}$ (наименьший ${ displaystyle varepsilon}$-число после ${ displaystyle zeta _ {0}}$).

Мы говорим, что определение ${ displaystyle psi ( Omega) = zeta _ {0}}$ и следующие значения функции ${ displaystyle psi}$ такие как ${ displaystyle psi ( Omega +1) = varepsilon _ { zeta _ {0} +1}}$ находятся непредсказуемый потому что они используют порядковые числа (здесь ${ displaystyle Omega}$) больше, чем определяемые (здесь ${ displaystyle zeta _ {0}}$).

Ценности ${ displaystyle psi}$ до порядкового номера Фефермана – Шютте

Дело в том, что ${ displaystyle psi ( Omega + alpha) = varepsilon _ { zeta _ {0} + alpha}}$ остается верным для всех ${ Displaystyle альфа Leq zeta _ {1} = phi _ {2} (1)}$ (отметим, в частности, что ${ displaystyle psi ( Omega + zeta _ {0}) = varepsilon _ { zeta _ {0} 2}}$: но с тех пор порядковый ${ displaystyle zeta _ {0}}$ был построен, ничто не мешает выйти за рамки этого). Однако на ${ Displaystyle zeta _ {1} = phi _ {2} (1)}$ (первая фиксированная точка ${ Displaystyle alpha mapsto varepsilon _ { alpha}}$ вне ${ displaystyle zeta _ {0}}$), построение снова останавливается, так как ${ displaystyle zeta _ {1}}$ не может быть построен из меньших порядковых чисел и ${ displaystyle zeta _ {0}}$ конечным применением ${ displaystyle varepsilon}$ функция. Итак, у нас есть ${ Displaystyle psi ( Omega 2) = zeta _ {1}}$.

Те же рассуждения показывают, что ${ Displaystyle psi ( Omega (1+ alpha)) = phi _ {2} ( alpha)}$ для всех ${ Displaystyle альфа Leq phi _ {3} (0)}$, где ${ displaystyle phi _ {2}}$ перечисляет неподвижные точки ${ displaystyle phi _ {1} двоеточие alpha mapsto varepsilon _ { alpha}}$ и ${ displaystyle phi _ {3} (0)}$ первая неподвижная точка ${ displaystyle phi _ {2}}$. Тогда у нас есть ${ Displaystyle psi ( Omega ^ {2}) = phi _ {3} (0)}$.

Опять же, мы видим, что ${ displaystyle psi ( Omega ^ { alpha}) = phi _ {1+ alpha} (0)}$ в течение некоторого времени: это остается верным до первой фиксированной точки ${ displaystyle Gamma _ {0}}$ из ${ Displaystyle альфа mapsto phi _ { alpha} (0)}$, какой Порядковый номер Фефермана – Шютте. Таким образом, ${ Displaystyle psi ( Omega ^ { Omega}) = Gamma _ {0}}$ - порядковый номер Фефермана – Шютте.

За пределами порядкового номера Фефермана – Шютте

У нас есть ${ Displaystyle psi ( Omega ^ { Omega} + Omega ^ { alpha}) = phi _ { Gamma _ {0} + alpha} (0)}$ для всех ${ displaystyle alpha leq Gamma _ {1}}$ где ${ displaystyle Gamma _ {1}}$ следующая фиксированная точка ${ Displaystyle альфа mapsto phi _ { alpha} (0)}$. Так что если ${ displaystyle alpha mapsto Gamma _ { alpha}}$ перечисляет рассматриваемые неподвижные точки (которые также можно отметить ${ Displaystyle phi (1,0, альфа)}$ используя многозначные функции Веблена) имеем ${ Displaystyle psi ( Omega ^ { Omega} (1+ alpha)) = Gamma _ { alpha}}$, до первой фиксированной точки ${ displaystyle phi (1,1,0)}$ из ${ Displaystyle alpha mapsto Gamma _ { alpha}}$ сам, который будет ${ displaystyle psi ( Omega ^ { Omega +1})}$ (и первая фиксированная точка ${ displaystyle phi (2,0,0)}$ из ${ Displaystyle альфа mapsto phi (1, альфа, 0)}$ функции будут ${ Displaystyle psi ( Omega ^ { Omega 2})}$). Таким образом:

• ${ Displaystyle psi ( Omega ^ { Omega ^ {2}})}$ это Порядковый номер Аккермана (диапазон обозначений ${ Displaystyle фи ( альфа, бета, гамма)}$ определено предикативно),
• ${ Displaystyle psi ( Omega ^ { Omega ^ { omega}})}$ это «Малый» порядковый номер Веблена (диапазон обозначений ${ Displaystyle фи ( ldots)}$ предикативно с использованием конечного числа переменных),
• ${ Displaystyle psi ( Omega ^ { Omega ^ { Omega}})}$ это «Большой» порядковый номер Веблена (диапазон обозначений ${ Displaystyle фи ( ldots)}$ предикативно с использованием трансгранично-но-предикативно-многих переменных),
• Лимит ${ displaystyle psi ( varepsilon _ { Omega +1})}$ из ${ displaystyle psi ( Omega)}$, ${ displaystyle psi ( Omega ^ { Omega})}$, ${ Displaystyle psi ( Omega ^ { Omega ^ { Omega}})}$и т. д., является Порядковый номер Бахмана – Ховарда: после этого наша функция ${ displaystyle psi}$ постоянна, и мы не можем идти дальше данного определения.

Порядковые обозначения до порядкового номера Бахмана – Ховарда

Теперь мы более систематически объясним, как ${ displaystyle psi}$ Функция определяет обозначения для ординалов вплоть до ординала Бахмана – Ховарда.

Замечание о базовых представлениях

Напомним, что если ${ displaystyle delta}$ порядковый номер, который является степенью ${ displaystyle omega}$ (Например ${ displaystyle omega}$ сам, или ${ displaystyle varepsilon _ {0}}$, или ${ displaystyle Omega}$), любой порядковый ${ displaystyle alpha}$ можно однозначно выразить в виде ${ displaystyle delta ^ { beta _ {1}} gamma _ {1} + ldots + delta ^ { beta _ {k}} gamma _ {k}}$, где ${ displaystyle k}$ натуральное число, ${ displaystyle gamma _ {1}, ldots, gamma _ {k}}$ ненулевые порядковые числа меньше, чем ${ displaystyle delta}$, и ${ displaystyle beta _ {1}> beta _ {2}> cdots> beta _ {k}}$ являются порядковыми числами (допускается ${ displaystyle beta _ {k} = 0}$). Эта «база ${ displaystyle delta}$ представление »является очевидным обобщением Нормальная форма Кантора (что в случае ${ displaystyle delta = omega}$). Конечно, вполне может быть, что это выражение неинтересно, т.е. ${ Displaystyle альфа = дельта ^ { альфа}}$, но в любом другом случае ${ displaystyle beta _ {я}}$ все должно быть меньше чем ${ displaystyle alpha}$; также может быть случай, что выражение тривиально (т. е. ${ Displaystyle альфа < дельта}$, в таком случае ${ Displaystyle к leq 1}$ и ${ Displaystyle gamma _ {1} = альфа}$).

Если ${ displaystyle alpha}$ порядковый номер меньше чем ${ displaystyle varepsilon _ { Omega +1}}$, то его база ${ displaystyle Omega}$ представление имеет коэффициенты ${ Displaystyle gamma _ {я} < Omega}$ (по определению) и показатели ${ Displaystyle бета _ {я} < альфа}$ (из-за предположения ${ Displaystyle альфа < varepsilon _ { Omega +1}}$): следовательно, эти показатели можно переписать в базе ${ displaystyle Omega}$ и повторяйте операцию, пока процесс не завершится (любая убывающая последовательность порядковых номеров конечна). Полученное выражение назовем итерированная база ${ displaystyle Omega}$ представление из ${ displaystyle alpha}$ и различные задействованные коэффициенты (в том числе в качестве показателей) шт представительства (все они ${ displaystyle < Omega}$), или, для краткости, ${ displaystyle Omega}$- кусочки ${ displaystyle alpha}$.

Некоторые свойства ${ displaystyle psi}$

• Функция ${ displaystyle psi}$ неубывающая и непрерывная (это более или менее очевидно из ее определения).
• Если ${ Displaystyle пси ( альфа) = пси ( бета)}$ с участием ${ Displaystyle бета < альфа}$ тогда обязательно ${ Displaystyle С ( альфа) = С ( бета)}$. Действительно, нет порядкового номера ${ displaystyle beta '}$ с участием ${ Displaystyle бета Leq beta '< альфа}$ может принадлежать ${ Displaystyle С ( альфа)}$ (в противном случае его изображение ${ displaystyle psi}$, который ${ Displaystyle psi ( альфа)}$ будет принадлежать ${ Displaystyle С ( альфа)}$ - невозможно); так ${ Displaystyle С ( бета)}$ закрыто всем, под чем ${ Displaystyle С ( альфа)}$ это закрытие, поэтому они равны.
• Любое значение ${ Displaystyle gamma = psi ( альфа)}$ взято ${ displaystyle psi}$ является ${ displaystyle varepsilon}$-число (т.е. неподвижная точка ${ displaystyle beta mapsto omega ^ { beta}}$). Действительно, если бы это было не так, то записав это в Нормальная форма Кантора, это может быть выражено с помощью сумм, произведений и возведения в степень от элементов меньше, чем это, следовательно, в ${ Displaystyle С ( альфа)}$, так что это было бы в ${ Displaystyle С ( альфа)}$, противоречие.
• Лемма: Предположим ${ displaystyle delta}$ является ${ displaystyle varepsilon}$-число и ${ displaystyle alpha}$ порядковый номер такой, что ${ Displaystyle пси ( бета) < дельта}$ для всех ${ Displaystyle бета < альфа}$: тогда ${ displaystyle Omega}$-пьесы (определены над) любого элемента ${ Displaystyle С ( альфа)}$ меньше чем ${ displaystyle delta}$. Действительно, пусть ${ displaystyle C '}$ быть набором ординалов, все из которых ${ displaystyle Omega}$- штук меньше ${ displaystyle delta}$. потом ${ displaystyle C '}$ закрывается относительно сложения, умножения и возведения в степень (потому что ${ displaystyle delta}$ является ${ displaystyle varepsilon}$-число, поэтому порядковые числа меньше его закрываются при сложении, умножении и возведении в степень). И ${ displaystyle C '}$ также содержит все ${ displaystyle psi ( beta)}$ для ${ Displaystyle бета < альфа}$ по предположению, и он содержит ${ displaystyle 0}$, ${ displaystyle 1}$, ${ displaystyle omega}$, ${ displaystyle Omega}$. Так ${ Displaystyle C ' supseteq C ( альфа)}$, который должен был быть показан.
• В условиях предыдущей леммы ${ Displaystyle пси ( альфа) leq delta}$ (действительно, лемма показывает, что ${ Displaystyle дельта не в С ( альфа)}$).
• Любой ${ displaystyle varepsilon}$-число меньше, чем какой-либо элемент в диапазоне ${ displaystyle psi}$ сам находится в диапазоне ${ displaystyle psi}$ (то есть, ${ displaystyle psi}$ не пропускает нет ${ displaystyle varepsilon}$-номер). Действительно: если ${ displaystyle delta}$ является ${ displaystyle varepsilon}$-число не больше диапазона ${ displaystyle psi}$, позволять ${ displaystyle alpha}$ - точная верхняя граница ${ displaystyle beta}$ такой, что ${ Displaystyle пси ( бета) < дельта}$: тогда по вышеизложенному имеем ${ Displaystyle пси ( альфа) leq delta}$, но ${ Displaystyle пси ( альфа) < дельта}$ будет противоречить тому факту, что ${ displaystyle alpha}$ это наименее верхняя граница - так ${ Displaystyle пси ( альфа) = дельта}$.
• В любое время ${ Displaystyle пси ( альфа) = дельта}$, набор ${ Displaystyle С ( альфа)}$ состоит именно из этих ординалов ${ displaystyle gamma}$ (меньше, чем ${ displaystyle varepsilon _ { Omega +1}}$) все чьи ${ displaystyle Omega}$- штук меньше ${ displaystyle delta}$. В самом деле, мы знаем, что все порядковые числа меньше ${ displaystyle delta}$, следовательно, все ординалы (меньше ${ displaystyle varepsilon _ { Omega +1}}$) чей ${ displaystyle Omega}$- штук меньше ${ displaystyle delta}$, находятся в ${ Displaystyle С ( альфа)}$. Наоборот, если предположить ${ Displaystyle пси ( бета) < дельта}$ для всех ${ Displaystyle бета < альфа}$ (другими словами, если ${ displaystyle alpha}$ наименее возможно с ${ Displaystyle пси ( альфа) = дельта}$) лемма дает желаемое свойство. С другой стороны, если ${ Displaystyle пси ( альфа) = пси ( бета)}$ для некоторых ${ Displaystyle бета < альфа}$, то мы уже отмечали ${ Displaystyle С ( альфа) = С ( бета)}$ и мы можем заменить ${ displaystyle alpha}$ по крайней мере с ${ Displaystyle пси ( альфа) = дельта}$.

Порядковые обозначения

Используя приведенные выше факты, мы можем определить (канонические) порядковые обозначения для каждого ${ displaystyle gamma}$ меньше порядкового номера Бахмана – Ховарда. Сделаем это индукцией по ${ displaystyle gamma}$.

Если ${ displaystyle gamma}$ меньше чем ${ displaystyle varepsilon _ {0}}$, мы используем итеративную нормальную форму Кантора ${ displaystyle gamma}$. В противном случае существует наибольшая ${ displaystyle varepsilon}$-номер ${ displaystyle delta}$ меньше или равно ${ displaystyle gamma}$ (это потому, что набор ${ displaystyle varepsilon}$-числа закрывается): если ${ displaystyle delta < gamma}$ то по индукции мы определили обозначение для ${ displaystyle delta}$ и база ${ displaystyle delta}$ представление ${ displaystyle gamma}$ дает один для ${ displaystyle gamma}$Итак, мы закончили.

Остается разобраться со случаем, когда ${ displaystyle gamma = delta}$ является ${ displaystyle varepsilon}$-число: мы утверждали, что в этом случае мы можем написать ${ displaystyle delta = psi ( alpha)}$ для некоторых (возможно, бесчисленных) порядковых ${ Displaystyle альфа < varepsilon _ { Omega +1}}$: позволять ${ displaystyle alpha}$ быть величайший возможен такой порядковый номер (который существует с ${ displaystyle psi}$ непрерывно). Используем итеративную базу ${ displaystyle Omega}$ представление ${ displaystyle alpha}$: осталось показать, что каждый кусок этого представления меньше, чем ${ displaystyle delta}$ (поэтому мы уже определили для него обозначения). Если это не тогда в силу показанных нами свойств ${ Displaystyle С ( альфа)}$ не содержит ${ displaystyle alpha}$; но потом ${ Displaystyle С ( альфа +1) = С ( альфа)}$ (они закрываются при тех же операциях, так как значение ${ displaystyle psi}$ в ${ displaystyle alpha}$ никогда не может быть взят), поэтому ${ Displaystyle пси ( альфа +1) = пси ( альфа) = дельта}$, что противоречит максимальности ${ displaystyle alpha}$.

Заметка: Фактически, мы определили канонические обозначения не только для ординалов ниже ординала Бахмана – Ховарда, но также и для некоторых несчетных ординалов, а именно тех, чьи ${ displaystyle Omega}$-пьесы меньше порядкового номера Бахмана – Ховарда (а именно: записать их в повторяющейся базе ${ displaystyle Omega}$ представление и использовать каноническое представление для каждого произведения). Это каноническое обозначение используется для аргументов ${ displaystyle psi}$ функция (которая может быть бесчисленной).

Примеры

Для порядковых номеров меньше ${ Displaystyle varepsilon _ {0} = psi (0)}$, определенное каноническое порядковое обозначение совпадает с повторной нормальной формой Кантора (по определению).

Для порядковых номеров меньше ${ Displaystyle varepsilon _ {1} = psi (1)}$, обозначение совпадает с повторяющейся базой ${ displaystyle varepsilon _ {0}}$ обозначение (сами пьесы записываются в повторяющейся нормальной форме Кантора): например, ${ displaystyle omega ^ { omega ^ { varepsilon _ {0} + omega}}}$ будет написано ${ displaystyle { varepsilon _ {0}} ^ { omega ^ { omega}}}$, или, точнее, ${ displaystyle psi (0) ^ { omega ^ { omega}}}$. Для порядковых номеров меньше ${ Displaystyle varepsilon _ {2} = psi (2)}$, аналогично пишем в повторяющейся базе ${ displaystyle varepsilon _ {1}}$ а затем напишите части в повторяющейся базе ${ displaystyle varepsilon _ {0}}$ (и напишите кусочки это в повторяющейся нормальной форме Кантора): так ${ displaystyle omega ^ { omega ^ { varepsilon _ {1} + varepsilon _ {0} +1}}}$ написано ${ displaystyle { varepsilon _ {1}} ^ { varepsilon _ {0} omega}}$, или, точнее, ${ Displaystyle psi (1) ^ { psi (0) , omega}}$. Таким образом, до ${ displaystyle zeta _ {0} = psi ( Omega)}$, мы всегда используем максимально возможные ${ displaystyle varepsilon}$-числовая база, дающая нетривиальное представление.

Помимо этого, нам может потребоваться выражение порядковых номеров за пределами ${ displaystyle Omega}$: это всегда выполняется в повторяющемся ${ displaystyle Omega}$-base, а сами части должны быть выражены с использованием максимально возможного ${ displaystyle varepsilon}$-числовая база, дающая нетривиальное представление.

Обратите внимание, что пока ${ displaystyle psi ( varepsilon _ { Omega +1})}$ совпадает с ординалом Бахмана – Ховарда, это не «каноническая нотация» в том смысле, который мы определили (канонические обозначения определены только для ординалов меньше чем порядковый номер Бахмана – Ховарда).

Условия каноничности

Определенные таким образом обозначения обладают тем свойством, что всякий раз, когда они вкладываются ${ displaystyle psi}$ функции, аргументы «внутреннего» ${ displaystyle psi}$ функции всегда меньше, чем у «внешней» (это следствие того, что ${ displaystyle Omega}$- кусочки ${ displaystyle alpha}$, где ${ displaystyle alpha}$ максимально возможное такое, что ${ Displaystyle пси ( альфа) = дельта}$ для некоторых ${ displaystyle varepsilon}$-номер ${ displaystyle delta}$, все меньше, чем ${ displaystyle delta}$, как мы показали выше). Например, ${ displaystyle psi ( psi ( Omega) +1)}$ не встречается в качестве обозначения: это четко определенное выражение (и оно равно ${ displaystyle psi ( Omega) = zeta _ {0}}$ поскольку ${ displaystyle psi}$ постоянно между ${ displaystyle zeta _ {0}}$ и ${ displaystyle Omega}$), но это не обозначение, полученное с помощью описанного нами индуктивного алгоритма.

Каноничность можно проверить рекурсивно: выражение является каноническим тогда и только тогда, когда оно является повторной канторовской нормальной формой порядкового номера меньше ${ displaystyle varepsilon _ {0}}$, или повторяющаяся база ${ displaystyle delta}$ представление, все части которого каноничны, для некоторых ${ displaystyle delta = psi ( alpha)}$ где ${ displaystyle alpha}$ сам написан в повторяющейся базе ${ displaystyle Omega}$ представление, все части которого каноничны и меньше ${ displaystyle delta}$. Порядок проверяется лексикографической проверкой на всех уровнях (учитывая, что ${ displaystyle Omega}$ больше любого выражения, полученного ${ displaystyle psi}$, а для канонических значений больше ${ displaystyle psi}$ всегда превосходит меньшие или даже произвольные суммы, произведения и экспоненты меньшего).

Например, ${ Displaystyle psi ( Omega ^ { omega +1} , psi ( Omega) + psi ( Omega ^ { omega}) ^ { psi ( Omega ^ {2})} 42) ^ { psi (1729) , omega}}$ является каноническим обозначением ординала, который меньше ординала Фефермана – Шютте: его можно записать с помощью функций Веблена как ${ displaystyle phi _ {1} ( phi _ { omega +1} ( phi _ {2} (0)) + phi _ { omega} (0) ^ { phi _ {3} ( 0)} 42) ^ { phi _ {1} (1729) , omega}}$.

Что касается порядка, можно отметить, что ${ displaystyle psi ( Omega ^ { Omega})}$ (порядковый номер Фефермана – Шютте) намного больше, чем ${ Displaystyle psi ( Omega ^ { psi ( Omega)}) = phi _ { phi _ {2} (0)} (0)}$ (потому что ${ displaystyle Omega}$ больше, чем ${ displaystyle psi}$ ничего), и ${ Displaystyle psi ( Omega ^ { psi ( Omega)}) = phi _ { phi _ {2} (0)} (0)}$ сам по себе намного больше, чем ${ Displaystyle psi ( Omega) ^ { psi ( Omega)} = phi _ {2} (0) ^ { phi _ {2} (0)}}$ (потому что ${ Displaystyle Omega ^ { psi ( Omega)}}$ больше, чем ${ displaystyle Omega}$, поэтому любое выражение сумма-произведение или экспоненциальное, включающее ${ displaystyle psi ( Omega)}$ и меньшее значение останется меньше чем ${ displaystyle psi ( Omega ^ { Omega})}$). По факту, ${ Displaystyle psi ( Omega) ^ { psi ( Omega)}}$ уже меньше чем ${ displaystyle psi ( Omega +1)}$.

Стандартные последовательности для порядковых обозначений

Чтобы засвидетельствовать тот факт, что мы определили обозначения для ординалов ниже ординала Бахмана – Ховарда (которые все счетные конфинальность), мы могли бы определить стандартные последовательности, сходящиеся к любой из них (конечно, при условии, что это предельный порядковый номер). На самом деле мы определим канонические последовательности и для некоторых несчетных ординалов, а именно для несчетных ординалов счетный cofinality (если мы надеемся определить сходящуюся к ним последовательность…), которые представимы (то есть все из которых ${ displaystyle Omega}$-пьесы меньше порядкового номера Бахмана – Ховарда).

Более-менее очевидны следующие правила, кроме последнего:

• Во-первых, избавьтесь от (итерированной) базы ${ displaystyle delta}$ представления: для определения стандартной последовательности, сходящейся к ${ displaystyle alpha = delta ^ { beta _ {1}} gamma _ {1} + cdots + delta ^ { beta _ {k}} gamma _ {k}}$, где ${ displaystyle delta}$ либо ${ displaystyle omega}$ или ${ Displaystyle psi ( cdots)}$ (или ${ displaystyle Omega}$, но см. ниже):
  • если ${ displaystyle k}$ равно нулю, тогда ${ Displaystyle альфа = 0}$ и ничего не поделаешь;
  • если ${ displaystyle beta _ {k}}$ равен нулю и ${ displaystyle gamma _ {k}}$ преемник, то ${ displaystyle alpha}$ является правопреемником и ничего не поделаешь;
  • если ${ displaystyle gamma _ {k}}$ является пределом, возьмем стандартную последовательность, сходящуюся к ${ displaystyle gamma _ {k}}$ и заменить ${ displaystyle gamma _ {k}}$ в выражении элементами этой последовательности;
  • если ${ displaystyle gamma _ {k}}$ является преемником и ${ displaystyle beta _ {k}}$ это предел, перепишите последний член ${ displaystyle delta ^ { beta _ {k}} gamma _ {k}}$ так как ${ displaystyle delta ^ { beta _ {k}} ( gamma _ {k} -1) + delta ^ { beta _ {k}}}$ и заменим экспоненту ${ displaystyle beta _ {k}}$ в последнем члене сходящимися к нему элементами фундаментальной последовательности;
  • если ${ displaystyle gamma _ {k}}$ является преемником и ${ displaystyle beta _ {k}}$ также перепишите последний член ${ displaystyle delta ^ { beta _ {k}} gamma _ {k}}$ так как ${ displaystyle delta ^ { beta _ {k}} ( gamma _ {k} -1) + delta ^ { beta _ {k} -1} delta}$ и заменить последний ${ displaystyle delta}$ в этом выражении сходящимися к нему элементами фундаментальной последовательности.
• Если ${ displaystyle delta}$ является ${ displaystyle omega}$, затем возьмем очевидное ${ displaystyle 0}$, ${ displaystyle 1}$, ${ displaystyle 2}$, ${ displaystyle 3}$… Как фундаментальная последовательность для ${ displaystyle delta}$.
• Если ${ displaystyle delta = psi (0)}$ тогда возьмем фундаментальную последовательность для ${ displaystyle delta}$ последовательность ${ displaystyle omega}$, ${ displaystyle omega ^ { omega}}$, ${ displaystyle omega ^ { omega ^ { omega}}}$…
• Если ${ displaystyle delta = psi ( alpha +1)}$ тогда возьмем фундаментальную последовательность для ${ displaystyle delta}$ последовательность ${ Displaystyle psi ( альфа)}$, ${ Displaystyle пси ( альфа) ^ { пси ( альфа)}}$, ${ Displaystyle пси ( альфа) ^ { пси ( альфа) ^ { пси ( альфа)}}}$…
• Если ${ displaystyle delta = psi ( alpha)}$ где ${ displaystyle alpha}$ предельный порядковый номер счетный cofinality, определите стандартную последовательность для ${ displaystyle delta}$ быть полученным путем применения ${ displaystyle psi}$ к стандартной последовательности для ${ displaystyle alpha}$ (Напомним, что ${ displaystyle psi}$ здесь непрерывно и возрастает).
• Остается разобраться со случаем, когда ${ displaystyle delta = psi ( alpha)}$ с участием ${ displaystyle alpha}$ порядковый номер бесчисленный cofinality (например, ${ displaystyle Omega}$ сам). Очевидно, нет смысла определять последовательность, сходящуюся к ${ displaystyle alpha}$ в этом случае; однако мы можем определить последовательность, сходящуюся к некоторому ${ Displaystyle ро < альфа}$ со счетной конфинальностью и такой, что ${ displaystyle psi}$ постоянно между ${ displaystyle rho}$ и ${ displaystyle alpha}$. Эта ${ displaystyle rho}$ будет первой фиксированной точкой некоторой (непрерывной и неубывающей) функции ${ Displaystyle xi mapsto h ( psi ( xi))}$. Чтобы найти его, примените те же правила (из базового ${ displaystyle Omega}$ представление ${ displaystyle alpha}$) как найти каноническую последовательность ${ displaystyle alpha}$, за исключением того, что всякий раз, когда последовательность сходится к ${ displaystyle Omega}$ требуется (то, чего не может существовать), замените ${ displaystyle Omega}$ в вопросе, в выражении ${ Displaystyle альфа = час ( Омега)}$, автор ${ Displaystyle psi ( xi)}$ (где ${ Displaystyle xi}$ является переменной) и выполнить повторную итерацию (начиная с ${ displaystyle 0}$скажем) функции ${ Displaystyle xi mapsto h ( psi ( xi))}$: это дает последовательность ${ displaystyle 0}$, ${ displaystyle h ( psi (0))}$, ${ Displaystyle час ( фунтов на квадратный дюйм (час ( фунтов на квадратный дюйм (0))))}$… стремясь к ${ displaystyle rho}$, а каноническая последовательность для ${ Displaystyle psi ( альфа) = psi ( rho)}$ является ${ displaystyle psi (0)}$, ${ Displaystyle psi (час ( psi (0)))}$, ${ Displaystyle psi (час ( psi (час ( psi (0)))))}$… Если мы позволим ${ displaystyle n}$th элемент (начиная с ${ displaystyle 0}$) фундаментальной последовательности для ${ displaystyle delta}$ обозначается как ${ displaystyle delta [n]}$, то мы можем более четко сформулировать это с помощью рекурсии. Используя эти обозначения, мы видим, что ${ displaystyle delta [0] = psi (0)}$ довольно легко. Мы можем определить остальную часть последовательности, используя рекурсию: ${ displaystyle delta [n] = psi (час ( delta [n-1]))}$. (Примеры ниже должны прояснить это.)

Вот несколько примеров из последнего (и наиболее интересного) случая:

• Каноническая последовательность для ${ displaystyle psi ( Omega)}$ является: ${ displaystyle psi (0)}$, ${ displaystyle psi ( psi (0))}$, ${ Displaystyle psi ( psi ( psi (0)))}$… Это действительно сходится к ${ displaystyle rho = psi ( Omega) = zeta _ {0}}$ после которого ${ displaystyle psi}$ постоянно, пока ${ displaystyle Omega}$.
• Каноническая последовательность для ${ displaystyle psi ( Omega 2)}$ является: ${ displaystyle psi (0)}$, ${ Displaystyle psi ( Omega + psi (0))}$, ${ Displaystyle psi ( Omega + psi ( Omega + psi (0)))}$… Это действительно соответствует значению ${ displaystyle psi}$ в ${ Displaystyle rho = Omega + psi ( Omega 2) = Omega + zeta _ {1}}$ после которого ${ displaystyle psi}$ постоянно, пока ${ displaystyle Omega 2}$.
• Каноническая последовательность для ${ displaystyle psi ( Omega ^ {2})}$ является: ${ displaystyle psi (0)}$, ${ displaystyle psi ( Omega psi (0))}$, ${ Displaystyle psi ( Omega psi ( Omega psi (0)))}$… Это сходится к значению ${ displaystyle psi}$ в ${ Displaystyle rho = Omega psi ( Omega ^ {2})}$.
• Каноническая последовательность для ${ displaystyle psi ( Omega ^ {2} 3+ Omega)}$ является ${ displaystyle psi (0)}$, ${ displaystyle psi ( Omega ^ {2} 3+ psi (0))}$, ${ displaystyle psi ( Omega ^ {2} 3+ psi ( Omega ^ {2} 3+ psi (0)))}$… Это сходится к значению ${ displaystyle psi}$ в ${ displaystyle rho = Omega ^ {2} 3+ psi ( Omega ^ {2} 3+ Omega)}$.
• Каноническая последовательность для ${ displaystyle psi ( Omega ^ { Omega})}$ является: ${ displaystyle psi (0)}$, ${ Displaystyle psi ( Omega ^ { psi (0)})}$, ${ Displaystyle psi ( Omega ^ { psi ( Omega ^ { psi (0)})})}$… Это сходится к значению ${ displaystyle psi}$ в ${ Displaystyle rho = Omega ^ { psi ( Omega ^ { Omega})}}$.
• Каноническая последовательность для ${ Displaystyle psi ( Omega ^ { Omega} 3)}$ является: ${ displaystyle psi (0)}$, ${ Displaystyle psi ( Omega ^ { Omega} 2+ Omega ^ { psi (0)})}$, ${ Displaystyle psi ( Omega ^ { Omega} 2+ Omega ^ { psi ( Omega ^ { Omega} 2+ Omega ^ { psi (0)})})}$… Это сходится к значению ${ displaystyle psi}$ в ${ Displaystyle rho = Omega ^ { Omega} 2+ Omega ^ { psi ( Omega ^ { Omega} 3)}}$.
• Каноническая последовательность для ${ displaystyle psi ( Omega ^ { Omega +1})}$ является: ${ displaystyle psi (0)}$, ${ displaystyle psi ( Omega ^ { Omega} psi (0))}$, ${ Displaystyle psi ( Omega ^ { Omega} psi ( Omega ^ { Omega} psi (0)))}$… Это сходится к значению ${ displaystyle psi}$ в ${ Displaystyle rho = Omega ^ { Omega} psi ( Omega ^ { Omega +1})}$.
• Каноническая последовательность для ${ Displaystyle psi ( Omega ^ { Omega ^ {2} + Omega 3})}$ является: ${ displaystyle psi (0)}$, ${ Displaystyle psi ( Omega ^ { Omega ^ {2} + Omega 2+ psi (0)})}$, ${ Displaystyle psi ( Omega ^ { Omega ^ {2} + Omega 2+ psi ( Omega ^ { Omega ^ {2} + Omega 2+ psi (0)})})}$…

Вот несколько примеров других случаев:

• Каноническая последовательность для ${ displaystyle omega ^ {2}}$ является: ${ displaystyle 0}$, ${ displaystyle omega}$, ${ displaystyle omega 2}$, ${ displaystyle omega 3}$…
• Каноническая последовательность для ${ displaystyle psi ( omega ^ { omega})}$ является: ${ displaystyle psi (1)}$, ${ displaystyle psi ( omega)}$, ${ displaystyle psi ( omega ^ {2})}$, ${ displaystyle psi ( omega ^ {3})}$…
• Каноническая последовательность для ${ displaystyle psi ( Omega) ^ { omega}}$ является: ${ displaystyle 1}$, ${ displaystyle psi ( Omega)}$, ${ displaystyle psi ( Omega) ^ {2}}$, ${ displaystyle psi ( Omega) ^ {3}}$…
• Каноническая последовательность для ${ displaystyle psi ( Omega +1)}$ является: ${ displaystyle psi ( Omega)}$, ${ Displaystyle psi ( Omega) ^ { psi ( Omega)}}$, ${ Displaystyle psi ( Omega) ^ { psi ( Omega) ^ { psi ( Omega)}}}$…
• Каноническая последовательность для ${ displaystyle psi ( Omega + omega)}$ является: ${ displaystyle psi ( Omega)}$, ${ displaystyle psi ( Omega +1)}$, ${ displaystyle psi ( Omega +2)}$, ${ displaystyle psi ( Omega +3)}$…
• Каноническая последовательность для ${ displaystyle psi ( Omega omega)}$ является: ${ displaystyle psi (0)}$, ${ displaystyle psi ( Omega)}$, ${ displaystyle psi ( Omega 2)}$, ${ displaystyle psi ( Omega 3)}$…
• Каноническая последовательность для ${ displaystyle psi ( Omega ^ { omega})}$ является: ${ displaystyle psi (1)}$, ${ displaystyle psi ( Omega)}$, ${ displaystyle psi ( Omega ^ {2})}$, ${ displaystyle psi ( Omega ^ {3})}$…
• Каноническая последовательность для ${ Displaystyle psi ( Omega ^ { psi (0)})}$ является: ${ displaystyle psi ( Omega ^ { omega})}$, ${ displaystyle psi ( Omega ^ { omega ^ { omega}})}$, ${ displaystyle psi ( Omega ^ { omega ^ { omega ^ { omega}}})}$… (Это получено из фундаментальной последовательности для ${ displaystyle psi (0)}$).
• Каноническая последовательность для ${ Displaystyle psi ( Omega ^ { psi ( Omega)})}$ является: ${ Displaystyle psi ( Omega ^ { psi (0)})}$, ${ Displaystyle psi ( Omega ^ { psi ( psi (0))})}$, ${ Displaystyle psi ( Omega ^ { psi ( psi ( psi (0)))})}$… (Это получено из фундаментальной последовательности для ${ displaystyle psi ( Omega)}$, приведенный выше).

Хотя порядковый номер Бахмана – Ховарда ${ displaystyle psi ( varepsilon _ { Omega +1})}$ сам по себе не имеет канонических обозначений, также полезно определить для него каноническую последовательность: это ${ displaystyle psi ( Omega)}$, ${ displaystyle psi ( Omega ^ { Omega})}$, ${ Displaystyle psi ( Omega ^ { Omega ^ { Omega}})}$…

Завершающий процесс

Начните с любого порядкового номера, меньшего или равного порядковому номеру Бахмана – Ховарда, и повторите следующий процесс, пока он не равен нулю:

• если порядковый номер является преемником, вычтите единицу (то есть замените его предыдущим),
• если это предел, замените его некоторым элементом определенной для него канонической последовательности.

Тогда верно, что этот процесс всегда заканчивается (поскольку любая убывающая последовательность порядковых чисел конечна); однако, как (но даже больше, чем для) гидра игра:

1. это может занять очень долго прекращать,
2. доказательство прекращения может быть недоступно для некоторых слабых систем арифметики.

Чтобы дать некоторое представление о том, как выглядит процесс, вот несколько его шагов: начиная с ${ Displaystyle psi ( Omega ^ { Omega ^ { omega}})}$ (маленький порядковый номер Веблена), мы могли бы спуститься к ${ Displaystyle psi ( Omega ^ { Omega ^ {3}})}$, оттуда до ${ Displaystyle psi ( Omega ^ { Omega ^ {2} psi (0)})}$, тогда ${ displaystyle psi ( Omega ^ { Omega ^ {2} omega ^ { omega}})}$ тогда ${ displaystyle psi ( Omega ^ { Omega ^ {2} omega ^ {3}})}$ тогда ${ displaystyle psi ( Omega ^ { Omega ^ {2} omega ^ {2} 3})}$ тогда ${ displaystyle psi ( Omega ^ { Omega ^ {2} ( omega ^ {2} 2+ omega)})}$ тогда ${ Displaystyle psi ( Omega ^ { Omega ^ {2} ( omega ^ {2} 2 + 1)})}$ тогда ${ displaystyle psi ( Omega ^ { Omega ^ {2} omega ^ {2} 2+ Omega psi ( Omega ^ { Omega ^ {2} omega ^ {2} 2+ Omega ) psi (0)})})}$ тогда ${ displaystyle psi ( Omega ^ { Omega ^ {2} omega ^ {2} 2+ Omega psi ( Omega ^ { Omega ^ {2} omega ^ {2} 2+ Omega ) омега ^ { omega ^ { omega}}})})}$ и так далее. Похоже, что выражения становятся все более сложными, тогда как на самом деле порядковые номера всегда уменьшаются.

Что касается первого утверждения, можно ввести для любого порядкового номера ${ displaystyle alpha}$ меньше или равно порядковому номеру Бахмана – Ховарда ${ displaystyle psi ( varepsilon _ { Omega +1})}$, целочисленная функция ${ displaystyle f _ { alpha} (п)}$ который считает количество шагов процесса перед завершением, если всегда выбирается ${ displaystyle n}$'й элемент из канонической последовательности (эта функция удовлетворяет тождеству ${ Displaystyle е _ { альфа} (п) = е _ { альфа [п]} (п) +1}$). потом ${ displaystyle f _ { alpha}}$ может быть очень быстрорастущей функцией: уже ${ displaystyle f _ { omega ^ { omega}} (п)}$ по сути ${ Displaystyle п ^ {п}}$, функция ${ displaystyle f _ { psi ( Omega ^ { omega})} (п)}$ сопоставимо с Функция Аккермана ${ Displaystyle А (п, п)}$, и ${ Displaystyle е _ { psi ( varepsilon _ { Omega +1})} (п)}$ сравнимо с Функция Гудштейна. Если вместо этого мы создадим функцию, удовлетворяющую тождеству ${ Displaystyle г _ { альфа} (п) = г _ { альфа [п]} (п + 1) +1}$, поэтому индекс функции увеличивается, она применяется, затем мы создаем функцию, которая растет гораздо быстрее: ${ displaystyle g _ { psi (0)} (п)}$ уже сопоставима с функцией Гудштейна, а ${ Displaystyle г _ { psi ( Omega ^ { Omega ^ { omega} omega})} (п)}$ сопоставимо с ДЕРЕВО функция.