Порядковые обозначения - Википедия - Ordinal notation

В математическая логика и теория множеств, порядковая запись является частичной функцией от множества всех конечных последовательностей символов из конечного алфавита до счетного множества символов порядковые, а Гёделевская нумерация представляет собой функцию от набора правильно сформированных формул (правильная формула - это конечная последовательность символов, на которой определена функция порядкового обозначения) некоторого формального языка к натуральным числам. Это связывает каждую правильно построенную формулу с уникальным натуральным числом, называемым его числом Гёделя. Если гёделевская нумерация фиксирована, то отношение подмножества в ординалах индуцирует порядок в правильно сформированных формулах, который, в свою очередь, индуцирует хороший порядок на подмножестве натуральных чисел. А рекурсивная порядковая запись должен удовлетворять следующим двум дополнительным свойствам:

1. подмножество натуральных чисел - это рекурсивный набор
2. индуцированный хороший порядок на подмножестве натуральных чисел является рекурсивным соотношением

Таких схем порядковых обозначений много, в том числе схемы Вильгельм Аккерманн, Хайнц Бахманн, Вильфрид Бухгольц, Георг Кантор, Соломон Феферман, Герхард Йегер, Айлс, Пфайффер, Вольфрам Полерс, Курт Шютте, Гайси Такеути (называется порядковые диаграммы), Освальд Веблен. Стивен Коул Клини имеет систему обозначений, называемую Клини O, который включает порядковые обозначения, но ведет себя не так хорошо, как другие описанные здесь системы.

Обычно приступают к определению нескольких функций от ординалов до ординалов и представлению каждой такой функции символом. Во многих системах, таких как хорошо известная система Веблена, функции являются нормальными функциями, то есть они строго возрастают и непрерывны по крайней мере по одному из своих аргументов и возрастают по другим аргументам. Еще одно желаемое свойство таких функций состоит в том, что значение функции больше, чем каждый из ее аргументов, так что порядковый номер всегда описывается в терминах меньших порядковых номеров. Таких желательных свойств несколько. К сожалению, ни одна система не может иметь их всех, поскольку они противоречат друг другу.

Упрощенный пример использования функции сопряжения

Как обычно, мы должны начать с постоянного символа нуля, «0», который мы можем рассматривать как функцию от арность нуль. Это необходимо, потому что не существует меньших порядковых чисел, с помощью которых можно было бы описать ноль. Наиболее очевидным следующим шагом было бы определение унарной функции «S», которая переводит порядковый номер в наименьший порядковый номер, больший его; другими словами, S - функция-последователь. В сочетании с нулем преемник позволяет назвать любое натуральное число.

Третья функция может быть определена как функция, отображающая каждый порядковый номер в наименьший порядковый номер, который еще не может быть описан с помощью двух вышеуказанных функций и предыдущих значений этой функции. Это отобразит β в ω · β, за исключением случая, когда β является фиксированной точкой этой функции плюс конечное число, и в этом случае используется ω · (β + 1).

Четвертая функция отобразит α в ω^ω· Α, за исключением случаев, когда α является фиксированной точкой этого плюс конечное число, и в этом случае используется ω^ω· (Α + 1).

ξ-обозначение

Можно было бы продолжать так, но это дало бы нам бесконечное количество функций. Вместо этого давайте объединим унарные функции в двоичную функцию. К трансфинитная рекурсия на α, мы можем использовать трансфинитную рекурсию на β, чтобы определить ξ (α, β) = наименьший ординал γ такой, что α <γ и β <γ и γ не является значением ξ для любого меньшего α или того же α с меньшее β.

Таким образом, определим ξ-обозначения следующим образом:

• «0» - это ξ-обозначение нуля.
• Если «A» и «B» заменить на ξ-обозначения для α и β в «ξAB», то результатом будет ξ-обозначение для ξ (α, β).
• Других ξ-обозначений нет.

Функция ξ определена для всех пар ординалов и взаимно однозначна. Он всегда дает значения больше, чем его аргументы и его классифицировать - все ординалы, отличные от 0, и эпсилон-числа (ε = ω^ε).

Имеется ξ (α, β) <ξ (γ, δ) тогда и только тогда, когда либо (α = γ и β <δ), либо (α <γ и β <ξ (γ, δ)), либо (α> γ и ξ (α, β) ≤ δ).

В этом определении первые несколько ξ-обозначений:

«0» для 0. «ξ00» для 1. «ξ0ξ00» для ξ (0,1) = 2. «ξξ000» для ξ (1,0) = ω. «ξ0ξ0ξ00» для 3. «ξ0ξξ000» для ω + 1. «ξξ00ξ00» для ω · 2. «ξξ0ξ000» для ω^ω. «ξξξ0000» для ${ displaystyle omega ^ { omega ^ { omega}}.}$

В общем случае ξ (0, β) = β + 1. Тогда как ξ (1 + α, β) = ω^ωα· (Β + k) для k = 0 или 1 или 2 в зависимости от особых ситуаций:
k = 2, если α - эпсилон-число и β конечно.
В противном случае k = 1, если β делится на ω^{ωα + 1} плюс конечное число.
В противном случае k = 0.

Ξ-нотации можно использовать для обозначения любого ординала меньше ε₀ с алфавитом всего из двух символов («0» и «ξ»). Если эти обозначения расширены путем добавления функций, которые перечисляют числа эпсилон, то они смогут назвать любой порядковый номер, меньший, чем первое число эпсилон, которое не может быть названо добавленными функциями. Это последнее свойство, добавление символов в начальный сегмент порядковых номеров, дает имена в этом сегменте, называется полнотой (после Соломон Феферман ).

Системы порядкового обозначения

Существует множество различных систем порядкового обозначения, введенных разными авторами. Часто бывает довольно сложно переключаться между разными системами.

Кантор

«Экспоненциальные многочлены» от 0 и ω дают систему порядковых обозначений для порядковых чисел меньше, чем эпсилон ноль. Есть много эквивалентных способов их написания; вместо экспоненциальных полиномов можно использовать корневые деревья, вложенные скобки или систему, описанную выше.

Веблен

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

Аккерманн

Акерманн (1951) описал систему порядковых обозначений несколько слабее, чем система, описанная ранее Вебленом. Предел его системы иногда называют Порядковый номер Аккермана.

Бахманн

Бахманн (1950) Ошибка harvtxt: цель отсутствует: CITEREFBachmann1950 (помощь) представил ключевую идею использования несчетных порядковых чисел для создания новых счетных ординалов. Его первоначальная система была довольно громоздкой в ​​использовании, поскольку требовала выбора специальной последовательности, сходящейся к каждому порядковому номеру. Более поздние системы обозначений, введенные Феферманом и другими, позволили избежать этого усложнения.

Такеути (порядковые диаграммы)

Такеути (1987) описал очень мощную систему порядковых обозначений, названную «порядковыми диаграммами», которую трудно понять, но позже Феферман упростил.

Θ-функции Фефермана

Феферман ввел тета-функции, описанные в Бухгольц (1986) следующее. Функция для ординала α, θ_α - это функция от ординалов к ординалам. Часто θ_α(β) записывается как θαβ. Набор C(α, β) определяется индукцией по α как набор ординалов, которые могут быть порождены из 0, ω₁, ω₂, ..., ω_ω, вместе с порядковыми числами, меньшими β, операциями порядкового сложения и функциями θ_ξ для ξ <α. А функция θ_γ определяется как функция, перечисляющая ординалы δ с δ∉C(γ, δ).

Бухгольц

Бухгольц (1986) описал следующую систему порядковых обозначений как упрощение тета-функций Фефермана. Определять:

• Ω_ξ = ω_ξ если ξ> 0, Ω₀ = 1

Функции ψ_v(α) для α ординал, v порядковый номер не выше ω, определяются индукцией по α следующим образом:

• ψ_v(α) - наименьший ординал не в C_v(α)

куда C_v(α) - наименьшее множество такое, что

• C_v(α) содержит все ординалы меньше, чем Ω_v
• C_v(α) замкнуто относительно порядкового сложения
• C_v(α) замкнуто относительно функций ψ_ты (за ты≤ω) применяется к аргументам меньше α.

Эта система имеет примерно такую ​​же силу, что и система Феферманса, поскольку ${ displaystyle theta epsilon _ { Omega _ {v} +1} 0 = psi _ {0} ( epsilon _ { Omega _ {v} +1})}$ за v ≤ ω.

Клини ${ displaystyle { mathcal {O}}}$

Клини (1938) описал систему обозначений для всех рекурсивных ординалов (тех, которые меньше Чёрч – Клини ординал ). Он использует подмножество натуральные числа вместо конечных строк символов. К сожалению, в отличие от других систем, описанных выше, в целом нет эффективный способ узнать, представляет ли некоторое натуральное число порядковый номер или два числа представляют один и тот же порядковый номер. Однако можно эффективно найти обозначения, которые представляют порядковую сумму, произведение и степень (см. порядковая арифметика ) любых двух обозначений в терминах Клини ${ displaystyle { mathcal {O}}}$; и учитывая любые обозначения для порядкового номера, существует рекурсивно перечислимый набор обозначений, которые содержат по одному элементу для каждого меньшего порядкового номера и эффективно упорядочены. Клини ${ displaystyle { mathcal {O}}}$ обозначает канонический (и очень невычислимый) набор обозначений.

Смотрите также

• Большие счетные ординалы
• Порядковая арифметика
• Порядковый анализ

Рекомендации

• Акерманн, Вильгельм (1951), "Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse", Математика. Z., 53 (5): 403–413, Дои:10.1007 / BF01175640, МИСТЕР  0039669
• Бухгольц, В. (1986), "Новая система теоретико-доказательных ординальных функций", Анна. Pure Appl. Логика, 32 (3): 195–207, Дои:10.1016/0168-0072(86)90052-7, МИСТЕР  0865989
• "Конструктивные системы порядковых обозначений" Фредрика Гасса
• Клини, С. К. (1938), "Об обозначении порядковых чисел", Журнал символической логики, 3 (4): 150–155, Дои:10.2307/2267778, JSTOR  2267778
• "Гиперарифметические индексные множества в теории рекурсии" Штеффен Лемпп
• Гильберт Левиц, Трансфинитные порядковые числа и их обозначения: для непосвященных, пояснительная статья (8 стр., в PostScript )
• Миллер, Ларри В. (1976), "Нормальные функции и конструктивные порядковые обозначения", Журнал символической логики, 41 (2): 439–459, Дои:10.2307/2272243, JSTOR  2272243
• Pohlers, Вольфрам (1989), Теория доказательств, Конспект лекций по математике, 1407, Берлин: Springer-Verlag, Дои:10.1007/978-3-540-46825-7, ISBN  978-3-540-51842-6, МИСТЕР  1026933
• Роджерс, Хартли (1987) [1967], Теория рекурсивных функций и эффективной вычислимости, Первое издание MIT в мягкой обложке, ISBN  978-0-262-68052-3
• Шютте, Курт (1977), Теория доказательств, Grundlehren der Mathematischen Wissenschaften, 225, Берлин-Нью-Йорк: Springer-Verlag, стр. Xii + 299, ISBN  978-3-540-07911-8, МИСТЕР  0505313
• Такеути, Гайси (1987), Теория доказательств, Исследования по логике и основам математики, 81 (Второе изд.), Амстердам: Издательство Северной Голландии, ISBN  978-0-444-87943-1, МИСТЕР  0882549
• Веблен, Освальд (1908), "Непрерывные возрастающие функции конечных и трансфинитных порядковых чисел", Труды Американского математического общества, 9 (3): 280–292, Дои:10.2307/1988605, JSTOR  1988605