Арифметическая иерархия
Эта статья включает список литературы , связанную литературу или внешние ссылки , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты . ( июнь 2021 г. ) |
В математической логике арифметическая иерархия , арифметическая иерархия или иерархия Клини-Мостовского (в честь математиков Стивена Коула Клини и Анджея Мостовского ) классифицирует определенные множества на основе сложности формул , которые их определяют . Любое множество, получающее классификацию, называется арифметическим . Арифметическая иерархия была изобретена независимо Клини (1943) и Мостовским (1946). [1]
Арифметическая иерархия важна в теории вычислимости , эффективной описательной теории множеств и изучении формальных теорий, таких как арифметика Пеано .
Алгоритм Тарского-Куратовского обеспечивает простой способ получить верхнюю границу классификаций, присвоенных формуле и множеству, которое она определяет.
Гиперарифметическая иерархия и аналитическая иерархия расширяют арифметическую иерархию для классификации дополнительных формул и наборов.
Арифметическая иерархия формул [ править ]
Арифметическая иерархия присваивает формулам классификации языка арифметики первого порядка . Классификации обозначаются и для натуральных чисел n (включая 0). Греческие буквы здесь являются светлыми символами, что указывает на то, что формулы не содержат заданных параметров.
Если формула формуле логически эквивалентна , не имеющей неограниченных кванторов, т. е. в которой все кванторы являются ограниченными кванторами, тогда присвоены классификации и .
Классификации и определяются индуктивно для каждого натурального числа n по следующим правилам:
- Если логически эквивалентна формуле вида , где является , затем присвоена классификация .
- Если логически эквивалентна формуле вида , где является , затем присвоена классификация .
А формула эквивалентна формуле, которая начинается с некоторых кванторов существования и их альтернатив. времена между сериями кванторов существования и всеобщности ; в то время как Формула эквивалентна формуле, которая начинается с некоторых кванторов универсальности и чередуется аналогичным образом.
Поскольку каждая формула первого порядка имеет предварительную нормальную форму , каждой формуле присваивается хотя бы одна классификация. Поскольку к любой формуле можно добавить избыточные квантификаторы, как только формуле присвоена классификация или ему будут присвоены классификации и для каждого m > n . Таким образом, единственной соответствующей классификацией, присвоенной формуле, является класс с наименьшим n ; все остальные классификации могут быть определены из него.
Значение обозначений [ править ]
Обозначениям арифметической иерархии формул можно придать следующие значения.
Нижний индекс в символах и указывает на количество чередований блоков всеобщих и экзистенциальных кванторов первого порядка, используемых в формуле. Более того, самый внешний блок экзистенциален в формулы и универсальные в формулы.
Надстрочный индекс в символах , , и указывает тип объектов, подлежащих количественной оценке. Объекты типа 0 представляют собой натуральные числа, а объекты типа — это функции, которые отображают набор объектов типа к натуральным числам. Количественная оценка объектов более высокого типа, таких как функции от натуральных чисел до натуральных чисел, описывается верхним индексом больше 0, как в аналитической иерархии . Верхний индекс 0 указывает на квантификаторы чисел, верхний индекс 1 будет указывать на количественный анализ функций от чисел к числам (объекты типа 1), верхний индекс 2 будет соответствовать количественному анализу функций, которые принимают объект типа 1 и возвращают число, и так далее.
Примеры [ править ]
- The множества чисел - это те, которые можно определить по формуле вида где имеет только ограниченные кванторы. Это именно рекурсивно перечислимые множества .
- Набор натуральных чисел, которые являются индексами для машин Тьюринга , вычисляющих полные функции, равен . Интуитивно, индекс попадает в это множество тогда и только тогда, когда для каждого "есть такая, что машина Тьюринга с индексом останавливается на вводе после Полное доказательство показало бы, что свойство, заключенное в кавычки в предыдущем предложении, можно определить на языке арифметики Пеано с помощью формула.
- Каждый подмножество пространства Бэра или пространства Кантора является открытым множеством в обычной топологии пространства. Более того, для любого такого множества существует вычислимая нумерация гёделевых чисел базисных открытых множеств, объединение которых является исходным множеством. По этой причине, множества иногда называют эффективно открытыми . Аналогично, каждый набор закрыт и множества иногда называют эффективно закрытыми .
- Каждое арифметическое подмножество пространства Кантора или пространства Бэра является борелевским множеством . с легкой гранью Иерархия Бореля расширяет арифметическую иерархию, включив в нее дополнительные множества Бореля. Например, каждый подмножество пространства Кантора или Бэра представляет собой set , то есть набор, равный пересечению счетного числа открытых множеств. Более того, каждое из этих открытых множеств и список гёделевских чисел этих открытых множеств имеет вычислимую нумерацию. Если это формула со свободной заданной переменной и свободные числовые переменные тогда набор является пересечением наборы формы как колеблется по множеству натуральных чисел.
- The формулы можно проверить, просматривая все случаи один за другим, что возможно, поскольку все их кванторы ограничены. Время для этого полиномиально по своим аргументам (например, полиномиально по для ); таким образом, соответствующие им проблемы принятия решений включены в E (как экспоненциально по числу битов). Это больше не соответствует альтернативным определениям которые позволяют использовать примитивно-рекурсивные функции , поскольку теперь кванторы могут быть связаны любой примитивно-рекурсивной функцией аргументов.
- The формулы в альтернативном определении, позволяющем использовать примитивно-рекурсивные функции с ограниченными кванторами, соответствуют наборам натуральных чисел вида для примитивно-рекурсивной функции . Это связано с тем, что разрешение ограниченного квантора ничего не добавляет к определению: для примитивно-рекурсивного , то же самое, что , и то же самое, что ; с помощью рекурсии курса значений каждый из них может быть определен одной примитивной рекурсивной функцией.
Арифметическая иерархия множеств натуральных чисел [ править ]
Множество X натуральных чисел определяется формулой φ на языке арифметики Пеано (язык первого порядка с символами «0» для нуля, «S» для функции-преемника, «+» для сложения, «×» для умножение и «=" для равенства), если элементы X — это в точности числа, удовлетворяющие φ . То есть для всех натуральных n чисел
где — числительное на языке арифметики, соответствующее . Множество определимо в арифметике первого порядка, если оно определяется некоторой формулой языка арифметики Пеано.
Каждому множеству X натуральных чисел, определяемому в арифметике первого порядка, присваиваются классификации вида , , и , где является натуральным числом следующим образом. Если X определимо формула, то X присваивается классификация . Если X определимо формула, то X присваивается классификация . Если X оба и затем присвоена дополнительная классификация .
Обратите внимание, что редко имеет смысл говорить о формулы; первый квантор формулы является либо экзистенциальным, либо универсальным. Итак, множество не обязательно определяется формула в смысле формулы, которая является одновременно и ; скорее, есть оба и формулы, определяющие множество. Например, набор нечетных натуральных чисел определяется либо или .
Параллельное определение используется для определения арифметической иерархии конечных декартовых степеней множества натуральных чисел. Вместо формул с одной свободной переменной формулы с k используются для определения арифметической иерархии на множествах из k - наборов натуральных чисел свободными переменными первого порядка. На самом деле они связаны с помощью функции сопряжения .
иерархии Релятивизированные арифметические
Точно так же, как мы можем определить, что означает, что набор X является рекурсивным относительно другого набора Y , позволяя вычислениям, определяющим X , обращаться к Y как к оракулу, мы можем распространить это понятие на всю арифметическую иерархию и определить, что означает X для быть , или в Y , обозначенный соответственно , и . Для этого зафиксируем набор натуральных чисел Y и добавим предикат принадлежности Y к языку арифметики Пеано. Тогда мы говорим, что X находится в если оно определяется формула на этом расширенном языке. Другими словами, X — это если оно определяется формула позволяла задавать вопросы о членстве Y . Альтернативно можно просмотреть множества — это те множества, которые можно построить, начиная с множеств, рекурсивных по Y, и поочередно объединяя и пересекая эти множества до n раз.
Например, пусть Y — набор натуральных чисел. Пусть X — множество чисел, делящихся на элемент Y . Тогда X определяется по формуле так что X находится внутри (на самом деле это в также, поскольку мы могли бы ограничить оба квантора числом n ).
и степени сводимость Арифметическая
Арифметическая сводимость — это промежуточное понятие между сводимостью по Тьюрингу и гиперарифметической сводимостью .
Множество является арифметическим (также арифметическим и арифметически определимым ), если оно определяется некоторой формулой на языке арифметики Пеано. Эквивалентно X является арифметическим, X если или для некоторого натурального числа n . Множество X является арифметическим в множестве Y , обозначаемом , если X можно определить как некоторую формулу языка арифметики Пеано, расширенную предикатом принадлежности Y . Эквивалентно, X является арифметическим в Y , если X находится в или для некоторого натурального числа n . Синоним слова есть: X сводится арифметически к Y .
Отношение рефлексивно , и, следовательно , и транзитивно отношение определяется правилом
является отношением эквивалентности . Классы эквивалентности этого отношения называются арифметическими степенями ; они частично заказаны под .
иерархия подмножеств пространства Кантора Арифметическая и Бэра
Канторово пространство , обозначаемое , — набор всех бесконечных последовательностей нулей и единиц; пространство Бэра , обозначаемое или , — множество всех бесконечных последовательностей натуральных чисел. Обратите внимание, что элементы пространства Кантора можно отождествлять с множествами натуральных чисел, а элементы пространства Бэра - с функциями от натуральных чисел к натуральным числам.
Обычная аксиоматизация арифметики второго порядка использует язык, основанный на множествах, в котором кванторы множеств естественным образом можно рассматривать как количественные в канторовом пространстве. Подмножеству канторова пространства присвоена классификация если оно определяется формула. Набору присвоена классификация если оно определяется формула. Если набор состоит из обоих и то ему дается дополнительная классификация . Например, пусть быть набором всех бесконечных двоичных строк, которые не все равны 0 (или, что то же самое, набором всех непустых наборов натуральных чисел). Как мы видим это определяется формула и, следовательно, является набор.
Обратите внимание, что хотя и элементы пространства Кантора (рассматриваемые как наборы натуральных чисел), и подмножества пространства Кантора классифицируются в арифметических иерархиях, это не одна и та же иерархия. На самом деле отношения между двумя иерархиями интересны и нетривиальны. Например, элементы канторового пространства (вообще) не совпадают с элементами пространства Кантора так, что это подмножество канторова пространства. Однако многие интересные результаты связывают эти две иерархии.
Есть два способа классифицировать подмножество пространства Бэра в арифметической иерархии.
- Подмножество пространства Бэра имеет соответствующее подмножество пространства Кантора под отображением, которое берет каждую функцию из к к характеристической функции ее графика. Подмножеству пространства Бэра присвоена классификация , , или тогда и только тогда, когда соответствующее подмножество канторова пространства имеет ту же классификацию.
- Эквивалентное определение арифметической иерархии в пространстве Бэра дается путем определения арифметической иерархии формул с использованием функциональной версии арифметики второго порядка; тогда арифметическая иерархия подмножеств канторового пространства может быть определена из иерархии пространства Бэра. Это альтернативное определение дает точно такую же классификацию, что и первое определение.
Параллельное определение используется для определения арифметической иерархии конечных декартовых степеней пространства Бэра или пространства Кантора с использованием формул с несколькими свободными переменными. Арифметическая иерархия может быть определена на любом эффективном польском пространстве ; определение особенно просто для пространства Кантора и пространства Бэра, поскольку они соответствуют языку обычной арифметики второго порядка.
Обратите внимание, что мы также можем определить арифметическую иерархию подмножеств пространств Кантора и Бэра относительно некоторого набора натуральных чисел. На самом деле жирный шрифт это просто союз для всех наборов натуральных чисел Y . Обратите внимание, что иерархия, выделенная жирным шрифтом, — это просто стандартная иерархия борелевских множеств .
Расширения и вариации [ править ]
Можно определить арифметическую иерархию формул, используя язык, расширенный символом функции для каждой примитивно-рекурсивной функции . Этот вариант несколько меняет классификацию , поскольку использование примитивно-рекурсивных функций в арифметике Пеано первого порядка требует, вообще говоря, неограниченного квантора существования и, следовательно, некоторых множеств, которые находятся в по этому определению находятся строго в по определению, данному в начале статьи. Класс и, таким образом, все высшие классы в иерархии остаются незатронутыми.
Более семантический вариант иерархии может быть определен для всех финитных отношений с натуральными числами; используется следующее определение. Каждое вычислимое отношение определяется как . Классификации и определяются индуктивно по следующим правилам.
- Если отношение является тогда отношение определяется как
- Если отношение является тогда отношение определяется как
Этот вариант немного меняет классификацию некоторых наборов. В частности, , как класс множеств (определяемый отношениями в классе), идентичен как последний был определен ранее. Его можно расширить, чтобы охватить финитные отношения с натуральными числами, пространством Бэра и пространством Кантора.
Свойства [ править ]
Следующие свойства справедливы для арифметической иерархии множеств натуральных чисел и арифметической иерархии подмножеств пространства Кантора или Бэра.
- Коллекции и замкнуты относительно конечных объединений и конечных пересечений соответствующих элементов.
- Набор тогда и только тогда, когда его дополнение . Набор тогда и только тогда, когда набор является одновременно и , и в этом случае его дополнение также будет .
- Включения и держись за всех . Таким образом, иерархия не рушится. Это прямое следствие теоремы Поста .
- Включения , и держись за .
- Например, для универсальной машины Тьюринга T набор пар ( n , m ), таких что T останавливается на n, но не на m , находится в (будучи вычислимым с помощью оракула проблемы остановки), но не в .
- . Включение является строгим по определению, данному в этой статье, но тождество с справедливо при одном из вариантов определения, данного выше .
с Тьюринга Связь машинами
Вычислимые множества [ править ]
Если S — вычислимое по Тьюрингу множество , то и S , и его дополнение рекурсивно перечислимы (если T — машина Тьюринга, дающая 1 для входных данных в S и 0, в противном случае мы можем построить машину Тьюринга, останавливающуюся только на первом, и другую, останавливающуюся только на первом). о последнем).
По теореме Поста и S , и его дополнение находятся в . Это означает, что S одновременно находится в и в , и, следовательно, он находится в .
Аналогично, для каждого множества S в , и S , и его дополнение находятся в и поэтому (по теореме Поста ) рекурсивно перечислимы некоторыми машинами Тьюринга T 1 и T 2 соответственно. Для каждого числа n ровно одна из этих остановок. Таким образом, мы можем построить машину Тьюринга T, которая попеременно переключается между T 1 и T 2 , останавливаясь и возвращая 1, когда первая останавливается, или останавливаясь и возвращая 0, когда последняя останавливается. Таким образом, T останавливается на каждом n и возвращает значение, находится ли оно в S ; поэтому S вычислимо.
основных Краткое изложение результатов
Вычислимые по Тьюрингу множества натуральных чисел — это в точности множества на уровне арифметической иерархии. Рекурсивно перечислимые множества — это в точности множества на уровне .
Ни одна машина-оракул не способна решить собственную проблему остановки (применяется вариант доказательства Тьюринга). Проблема остановки для оракул на самом деле сидит в .
Теорема Поста устанавливает тесную связь между арифметической иерархией множеств натуральных чисел и степенями Тьюринга . установлены следующие факты В частности, для всех n ≥ 1 :
- Набор ( n- й прыжок Тьюринга пустого множества) является полным в .
- Набор много-один полный в .
- Набор является ли Тьюринг полным в .
Полиномиальная иерархия - это «возможная, ограниченная ресурсами» версия арифметической иерархии, в которой на задействованные числа накладываются полиномиальные границы длины (или, что то же самое, на задействованные машины Тьюринга накладываются полиномиальные границы времени). Он дает более точную классификацию некоторых наборов натуральных чисел, находящихся на уровне арифметической иерархии.
Связь с другими иерархиями [ править ]
Светлое лицо | Жирный шрифт | ||
---|---|---|---|
С 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 <ω = D 0 <ω = S 1 0 = П 1 0 = Д 1 0 = арифметический | С 0 <ω = Р 0 <ω = D 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 <ω = D 1 <ω = S 2 0 = П 2 0 = Д 2 0 = аналитический | С 1 <ω = Р 1 <ω = D 1 <ω = S 2 0 = П 2 0 = Д 2 0 = P = проективный | ||
⋮ | ⋮ |
См. также [ править ]
- Аналитическая иерархия
- Иерархия Леви
- Иерархия (математика)
- Логика интерпретации
- Полиномиальная иерархия
Ссылки [ править ]
- ^ П. Г. Хинман, Теоретико-рекурсивные иерархии (стр. 89), Перспективы логики, 1978. Springer-Verlag Berlin Heidelberg, ISBN 3-540-07904-1.
- Джапаридзе, Георгий (1994), «Логика арифметической иерархии», Анналы чистой и прикладной логики , 66 (2): 89–112, doi : 10.1016/0168-0072(94)90063-9 , Zbl 0804.03045 .
- Мошовакис, Яннис Н. (1980), Описательная теория множеств , Исследования по логике и основам математики, том. 100, Северная Голландия, ISBN 0-444-70199-0 , Збл 0433.03025 .
- Нис, Андре (2009), Вычислимость и случайность , Oxford Logic Guides, vol. 51, Оксфорд: Издательство Оксфордского университета, ISBN 978-0-19-923076-1 , Збл 1169.03034 .
- Роджерс, Х. младший (1967), Теория рекурсивных функций и эффективная вычислимость , Мейденхед: McGraw-Hill, Zbl 0183.01401 .