Функция Веблена
В математике функции Веблена — это иерархия нормальных функций ( непрерывных строго возрастающих функций от ординалов к ординалам), введенная Освальдом Вебленом в работе Веблена (1908) . Если φ 0 — любая нормальная функция, то для любого ненулевого ординала α φ α — это функция, перечисляющая общие неподвижные точки φ β при β<α. Все эти функции являются нормальными.
Иерархия Веблена
[ редактировать ]В частном случае, когда φ 0 (α)=ω а это семейство функций известно как иерархия Веблена . Функция φ 1 аналогична функции ε : φ 1 (α) = ε α . [1] Если затем . [2] Из этого, а также из того факта, что φ β строго возрастает, мы получаем порядок: тогда и только тогда, когда либо ( и ) или ( и ) или ( и ). [2]
Фундаментальные последовательности иерархии Веблена
[ редактировать ]Фундаментальная последовательность для ординала с конфинальностью ω — это выделенная строго возрастающая ω-последовательность, имеющая своим пределом ординал. Если у вас есть фундаментальные последовательности для α и всех меньших предельных ординалов, то можно создать явную конструктивную биекцию между ω и α (т. е. не использовать выбранную аксиому). Здесь мы опишем фундаментальные последовательности иерархии ординалов Веблена. Образ n под фундаментальной последовательностью для α будет обозначаться α[ n ].
Вариант нормальной формы Кантора, используемый в связи с иерархией Веблена, таков: каждое ненулевое порядковое число α можно однозначно записать как , где k >0 — натуральное число и каждый член после первого меньше или равен предыдущему, и каждый Если для последнего члена можно указать фундаментальную последовательность, то этот член можно заменить такой последовательностью, чтобы получить
Для любого β, если γ является пределом с тогда пусть
Такая последовательность не может быть предусмотрена для = о 0 = 1, поскольку он не имеет конфинальности ω.
Для мы выбираем
Для мы используем и т.е. 0, , , и т. д..
Для , мы используем и
Теперь предположим, что β — предел:
Если , тогда пусть
Для , использовать
В противном случае порядковый номер нельзя описать через меньшие порядковые числа, используя и эта схема к нему не применима.
Г-функция
[ редактировать ]Функция Γ перечисляет ординалы α такие, что φ α (0) = α. Γ 0 — ординал Фефермана–Шютте , т. е. это наименьшее α такое, что φ α (0) = α.
Для Γ 0 можно выбрать фундаментальную последовательность и
Для Γ β+1 пусть и
Для Γ β где это предел, пусть
Обобщения
[ редактировать ]Конечное число переменных
[ редактировать ]Чтобы построить функцию Веблена конечного числа аргументов (финитарную функцию Веблена), пусть двоичная функция быть как определено выше.
Позволять быть пустой строкой или строкой, состоящей из одного или нескольких нулей, разделенных запятыми и быть пустой строкой или строкой, состоящей из одного или нескольких порядковых номеров, разделенных запятыми с . Бинарная функция можно записать как где оба и являются пустыми строками.Финитарные функции Веблена определяются следующим образом:
- если , затем обозначает -я общая неподвижная точка функций для каждого
Например, это -я неподвижная точка функций , а именно ; затем перечисляет неподвижные точки этой функции, т. е. функция; и перечисляет неподвижные точки всех . Каждый экземпляр обобщенных функций Веблена непрерывен по последней ненулевой переменной (т. е. если одна переменная изменяется, а все последующие переменные постоянно поддерживаются равными нулю).
Порядковый номер иногда называют порядковым номером Аккермана . Предел где количество нулей колеблется в пределах ω, иногда называют «маленьким» порядковым номером Веблена .
Каждый ненулевой порядковый номер меньше малого ординала Веблена (SVO) может быть однозначно записано в нормальной форме для финитной функции Веблена:
где
- является положительным целым числом
- строка, состоящая из одного или нескольких порядковых номеров, разделенных запятыми где и каждый
Фундаментальные последовательности для предельных ординалов финитной функции Веблена
[ редактировать ]Для предельных ординалов , записанная в нормальной форме для финитной функции Веблена:
- ,
- ,
- и если и является порядковым номером преемника,
- и если и являются порядковыми номерами-преемниками,
- если является предельным ординалом,
- если и является предельным ординалом,
- если является порядковым номером преемника и является предельным ординалом.
Трансфинитно много переменных
[ редактировать ]В более общем смысле Веблен показал, что φ можно определить даже для трансфинитной последовательности ординалов α β , при условии, что все из них, кроме конечного числа, равны нулю. Обратите внимание, что если такая последовательность ординалов выбрана из тех, которые меньше несчетного регулярного кардинала κ, то последовательность может быть закодирована как одиночный ординал меньше κ. Мистер (порядковое возведение в степень). Итак, мы определяем функцию φ по κ Мистер в κ.
Определение можно дать следующим образом: пусть α — трансфинитная последовательность ординалов (т. е. порядковая функция с конечным носителем) , оканчивающаяся нулем (т. е. такая, что α 0 =0), и пусть α [γ@0] обозначает та же функция, в которой последний 0 заменен на γ. Тогда γ↦φ( α [γ@0]) определяется как функция, перечисляющая общие неподвижные точки всех функций ξ↦φ( β ), где β пробегает все последовательности, полученные путем уменьшения ненулевого значения α с наименьшим индексом. и замена некоторого значения с меньшим индексом на неопределенное ξ (т. е. β = α [ζ@ι 0 ,ξ@ι] означает, что для наименьшего индекса ι 0 такого, что α ι 0 не равно нулю, последний был заменен некоторым значением ζ<α ι 0 и что для некоторого меньшего индекса ι<ι 0 значение α ι =0 было заменено на ξ).
Например, если α =(1@ω) обозначает трансфинитную последовательность со значением 1 в точке ω и 0 всюду, то φ(1@ω) — наименьшая неподвижная точка из всех функций ξ↦φ(ξ,0,. ...,0) с конечным числом конечных нулей (это также предел φ(1,0,...,0) с конечным числом нулей, малый ординал Веблена).
Наименьший порядковый номер α, такой что α больше, чем φ, применяемый к любой функции с носителем в α (т. е. которого нельзя достичь «снизу» с помощью функции Веблена трансфинитно многих переменных), иногда называют «большим» ординалом Веблена , или «большое» число Веблена. [3]
Дальнейшие расширения
[ редактировать ]В Massmann & Kwon (2023) функция Веблена была расширена до несколько технической системы, известной как размерная система Веблена . При этом можно использовать фиксированные точки или номера строк, что означает допустимость таких выражений, как φ(1@(1,0)) (представляющих большой порядковый номер Веблена), визуализируемых как многомерные массивы. Было доказано, что все ординалы ниже ординала Бахмана – Ховарда могут быть представлены в этой системе и что представления для всех ординалов ниже большого ординала Веблена были эстетически такими же, как в исходной системе.
Ценности
[ редактировать ]Функция принимает несколько важных значений:
- - это теоретико -доказательный ординал арифметики Пеано и предел того, какие ординалы могут быть представлены в терминах нормальной формы Кантора и меньших ординалов.
- , граница типов порядка рекурсивных упорядочений путей с конечным числом функциональных символов и наименьший порядковый номер, замкнутый относительно примитивно-рекурсивных порядковых функций. [4] [5]
- Порядковый номер Фефермана -Шютте равно . [6]
- Малый ординал Веблена равен . [7]
Ссылки
[ редактировать ]- Гильберт Левитц, Трансфинитные ординалы и их обозначения: для непосвященных , пояснительная статья (8 страниц, в PostScript )
- Полерс, Вольфрам (1989), Теория доказательств , Конспекты лекций по математике, том. 1407, Берлин: Springer-Verlag, номер домена : 10.1007/978-3-540-46825-7 , ISBN. 978-3-540-51842-6 , МР 1026933
- Шютте, Курт (1977), Теория доказательств , Основы математических наук, том. 225, Берлин-Нью-Йорк: Springer-Verlag, стр. xii+299, ISBN. 978-3-540-07911-8 , МР 0505313
- Такеути, Гаиси (1987), Теория доказательств , Исследования по логике и основам математики, том. 81 (второе изд.), Амстердам: North-Holland Publishing Co., ISBN 978-0-444-87943-1 , МР 0882549
- Сморинский, К. (1982), «Разновидности древесного опыта», Math. Intelligencer , 4 (4): 182–189, doi : 10.1007/BF03023553 содержит неформальное описание иерархии Веблена.
- Веблен, Освальд (1908), «Непрерывно возрастающие функции конечных и трансфинитных ординалов», Труды Американского математического общества , 9 (3): 280–292, doi : 10.2307/1988605 , JSTOR 1988605
- Миллер, Ларри В. (1976), «Нормальные функции и конструктивные порядковые обозначения», Журнал символической логики , 41 (2): 439–459, doi : 10.2307/2272243 , JSTOR 2272243
- Массманн, Джейд Сильви; Квон, Адриан Ван (20 октября 2023 г.), Расширение функции Веблена , arXiv : 2310.12832
{{citation}}
: CS1 maint: дата и год ( ссылка )
Цитаты
[ редактировать ]- ^ Стивен Г. Симпсон, Подсистемы арифметики второго порядка (2009, стр.387)
- ^ Jump up to: а б М. Ратьен, Порядковые обозначения, основанные на слабом кардинале Мало , (1990, стр.251). По состоянию на 16 августа 2022 г.
- ^ М. Ратьен, « Искусство порядкового анализа » (2006), опубликовано в Трудах Международного конгресса математиков 2006.
- ^ Н. Дершовиц, М. Окада, Теоретико-доказательные методы для теории переписывания терминов (1988). стр.105
- ^ Авигад, Джереми (23 мая 2001 г.). «Порядковый анализ допустимой теории множеств с использованием рекурсии по порядковым обозначениям» (PDF) . Журнал математической логики . 2 :91-112. дои : 10.1142/s0219061302000126 .
- ^ Д. Мадор, « Зоопарк ординалов » (2017). Доступ осуществлен 2 ноября 2022 г.
- ^ Ранзи, Флориан; Страм, Томас (2019). «Гибкая система типов для малого порядкового номера Веблена» (PDF) . Архив математической логики . 58 (5–6): 711–751. дои : 10.1007/s00153-019-00658-x . S2CID 253675808 .