Аналитическая иерархия
В математической логике и описательной теории множеств аналитическая иерархия является расширением арифметической иерархии . В аналитическую иерархию формул входят формулы на языке арифметики второго порядка , которые могут иметь кванторы как над множеством натуральных чисел, так и над множеством натуральных чисел . , и над функциями из к . Аналитическая иерархия множеств классифицирует множества по формулам, которые можно использовать для их определения; это облегченная версия проективной иерархии .
Аналитическая иерархия формул
[ редактировать ]Обозначения указывает на класс формул языка арифметики второго порядка с кванторами чисел, но без кванторов множеств. Этот язык не содержит заданных параметров. Греческие буквы здесь являются светлыми символами, обозначающими выбор языка. Каждый соответствующий символ жирного шрифта обозначает соответствующий класс формул расширенного языка с параметром для каждого вещественного числа ; см. в проективной иерархии подробности .
Формула на языке арифметики второго порядка определяется как если она логически эквивалентна формуле вида где является . Формула определяется как если она логически эквивалентна формуле вида где является . Это индуктивное определение определяет классы и для каждого натурального числа .
Куратовский и Тарский показали в 1931 году, что каждая формула языка арифметики второго порядка имеет пренексную нормальную форму : [1] и поэтому является или для некоторых . Поскольку к любой формуле можно добавить бессмысленные квантификаторы, как только формуле будет присвоена классификация или для некоторых ему будут даны классификации и для всех больше, чем .
Аналитическая иерархия множеств натуральных чисел
[ редактировать ]Совокупности натуральных чисел присваивается классификация если оно определяется формула (с одной свободной числовой переменной и без свободных переменных). Набору присвоена классификация если оно определяется формула. Если набор состоит из обоих и то ему дается дополнительная классификация .
The множества называются гиперарифметическими . Альтернативную классификацию этих множеств с помощью итерированных вычислимых функционалов обеспечивает гиперарифметическая теория .
Аналитическая иерархия подмножеств пространства Кантора и Бэра
[ редактировать ]Аналитическая иерархия может быть определена на любом эффективном польском пространстве ; определение особенно просто для пространств Кантора и Бэра, поскольку они соответствуют языку обычной арифметики второго порядка. Канторово пространство — это набор всех бесконечных последовательностей нулей и единиц; Пространство Бэра — это совокупность всех бесконечных последовательностей натуральных чисел. Это оба польские пространства .
Обычная аксиоматизация арифметики второго порядка использует язык, основанный на множествах, в котором кванторы множеств естественным образом можно рассматривать как количественные в канторовом пространстве. Подмножеству канторова пространства присвоена классификация если оно определяется формула (с одной свободной заданной переменной и без свободных числовых переменных). Набору присвоена классификация если оно определяется формула. Если набор состоит из обоих и то ему дается дополнительная классификация .
Подмножество пространства Бэра имеет соответствующее подмножество пространства Кантора под отображением, которое берет каждую функцию из к к характеристической функции ее графика. Подмножеству пространства Бэра присвоена классификация , , или тогда и только тогда, когда соответствующее подмножество канторова пространства имеет ту же классификацию. Эквивалентное определение аналитической иерархии в пространстве Бэра дается путем определения аналитической иерархии формул с использованием функциональной версии арифметики второго порядка; тогда аналитическую иерархию подмножеств канторового пространства можно определить из иерархии пространства Бэра. Это альтернативное определение дает точно такую же классификацию, что и первое определение.
Поскольку пространство Кантора гомеоморфно любой конечной декартовой степени самого себя, а пространство Бэра гомеоморфно любой конечной декартовой степени самого себя, аналитическая иерархия одинаково хорошо применима к конечным декартовым степеням одного из этих пространств. Аналогичное расширение возможно для счетных степеней и произведений степеней канторового пространства и степеней бэровского пространства.
Расширения
[ редактировать ]Как и в случае с арифметической иерархией , можно определить релятивизированную версию аналитической иерархии. Язык расширен за счет добавления символа постоянного A. множества Формула расширенного языка индуктивно определяется как или используя то же индуктивное определение, что и выше. Учитывая набор , набор определяется как если оно определяется формула, в которой символ интерпретируется как ; аналогичные определения для и применять. Наборы, которые есть или , для любого параметра Y классифицируются в проективной иерархии и часто обозначаются жирным шрифтом греческих букв для обозначения использования параметров. [2]
Примеры
[ редактировать ]- Для отношений на , заявление " это хороший заказ на " является . (Не путать с общим случаем обоснованных отношений на множествах, см. Иерархию Леви )
- Множество всех натуральных чисел, являющихся индексами вычислимых ординалов, представляет собой набор, которого нет .
- Эти наборы именно те -рекурсивно-перечислимые подмножества . [Бар75, с. 168]
- Функция определяется Эрбрана 1931 года тогда и только тогда, когда формализмом систем уравнений является гиперарифметическим. [3]
- Набор непрерывных функций которые имеют свойство среднего значения не ниже, чем по иерархии. [4]
- Набор элементов канторова пространства, которые являются характеристическими функциями хорошего упорядочения это набор, которого нет . На самом деле этот набор не для любого элемента пространства Бэра.
- Если аксиома конструктивности верна, то существует подмножество произведения пространства Бэра само на себя, которое есть и является графиком хорошего упорядочения пространства Бэра. Если аксиома верна, то существует также хорошая упорядоченность канторова пространства.
Характеристики
[ редактировать ]Для каждого у нас есть следующие строгие ограничения:
- ,
- ,
- ,
- .
Набор, который находится в для некоторого n называется аналитическим . Необходимо с осторожностью отличать это использование от термина «аналитическое множество» , который имеет другое значение, а именно: . [5]
Стол
[ редактировать ]Светлое лицо | Жирный шрифт | ||
---|---|---|---|
С 0 0 = П 0 0 = Д 0 0 (иногда то же, что ∆ 0 1 ) |
С 0 0 = П 0 0 = Д 0 0 (если определено) | ||
Д 0 1 = рекурсивный |
Д 0 1 = закрыто открыто | ||
С 0 1 = рекурсивно перечисляемый |
П 0 1 = ко-рекурсивно перечисляемый |
С 0 1 = G = открыто |
П 0 1 = F = закрыто |
Д 0 2 |
Д 0 2 | ||
С 0 2 |
П 0 2 |
С 0 2 = Ф п |
П 0 2 = г δ |
Д 0 3 |
Д 0 3 | ||
С 0 3 |
П 0 3 |
С 0 3 = г дс |
П 0 3 = Ф сд |
⋮ | ⋮ | ||
С 0 <ω = Р 0 <ω = ∆ 0 <ω = S 1 0 = П 1 0 = Д 1 0 = арифметический |
С 0 <ω = Р 0 <ω = ∆ 0 <ω = S 1 0 = П 1 0 = Д 1 0 = жирный арифметический шрифт | ||
⋮ | ⋮ | ||
Д 0 а ( рекурсивный ) |
Д 0 а ( счетное ) | ||
С 0 а |
П 0 а |
С 0 а |
П 0 а |
⋮ | ⋮ | ||
С 0 ой СК 1 = П 0 ой СК 1 = Д 0 ой СК 1 = Д 1 1 = гиперарифметический |
С 0 ω 1 = Р 0 ω 1 = Д 0 ω 1 = Д 1 1 = Б = Борель | ||
С 1 1 = аналитика светлого лица |
П 1 1 = коаналитик светлой поверхности |
С 1 1 = А = аналитический |
П 1 1 = СА = коаналитический |
Д 1 2 |
Д 1 2 | ||
С 1 2 |
П 1 2 |
С 1 2 = PCA |
П 1 2 = КПКА |
Д 1 3 |
Д 1 3 | ||
С 1 3 |
П 1 3 |
С 1 3 = ПКПККА |
П 1 3 = CPCPCA |
⋮ | ⋮ | ||
С 1 <ω = Р 1 <ω = ∆ 1 <ω = S 2 0 = П 2 0 = Д 2 0 = аналитический |
С 1 <ω = Р 1 <ω = ∆ 1 <ω = S 2 0 = П 2 0 = Д 2 0 = P = проективный | ||
⋮ | ⋮ |
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ П. Одифредди , Классическая теория рекурсии (1989), стр.378. Северная Голландия, 0-444-87295-7
- ^ П.Д. Уэлч, «Слабые системы детерминированности и арифметические квазииндуктивные определения» (проект версии 2010 г., стр. 3). По состоянию на 31 июля 2022 г.
- ^ П. Одифредди, Классическая теория рекурсии (1989), стр.33. Северная Голландия, 0-444-87295-7
- ^ Кинтанилья, М. (2022). «Числа областей во внутренних моделях теории множеств». arXiv : 2206.10754 [ math.LO ].
- ^ Т. Джех , « О дивный новый мир детерминированности » (загрузка в формате PDF). Рецензия на книгу, Бюллетень Американского математического общества , вып. 5, номер 3, ноябрь 1981 г. (стр. 339–349).
- Роджерс, Х. (1967). Теория рекурсивных функций и эффективная вычислимость . МакГроу-Хилл.
- Кекрис, А. (1995). Классическая описательная теория множеств (Тексты для аспирантов по математике, 156 изд.). Спрингер. ISBN 0-387-94374-9 .