Во многих популярных версиях аксиоматической теории множеств, схема аксиом спецификации, также известная как схема аксиом разделения, схема аксиом подмножества или схема аксиомы ограниченного понимания - это схема аксиомы. По сути, он говорит, что любой определяемый подкласс набора является набором.
Некоторые математики называют это схемой аксиомы понимания, хотя другие используют этот термин для неограниченного понимания, обсуждаемого ниже.
Поскольку ограничение понимания позволяет избежать парадокса Рассела, несколько математиков, включая Цермело, Френкель и Гёдель, сочли его наиболее подходящим. важная аксиома теории множеств.
Для каждой формулы φ на языке теории множеств с свободным переменные среди x, w 1,..., w n, A. Таким образом, B не встречается свободным в φ. На формальном языке теории множеств схема аксиом имеет вид:
или прописью:
Обратите внимание, что для каждого такого предиката φ существует одна аксиома; таким образом, это схема аксиомы .
Чтобы понять эту схему аксиомы, обратите внимание, что набор B должен быть подмножеством A. Таким образом, схема аксиомы действительно говорит о том, что, учитывая набор A и предикат P, мы можем найти подмножество B в A, члены которого в точности являются элементами A, удовлетворяющими P. По аксиоме экстенсиональности это множество уникально. Обычно мы обозначаем это множество с помощью нотации конструктора множеств как {C ∈ A: P (C)}. Таким образом, суть аксиомы такова:
Схема аксиомы спецификации характерна для систем аксиоматики. теория множеств связана с обычной теорией множеств ZFC, но обычно не появляется в радикально других системах альтернативной теории множеств. Например, Новые Основы и теория позитивных множеств используют разные ограничения аксиомы понимания наивной теории множеств. Альтернативная теория множеств Вопенка делает особый акцент на разрешении надлежащих подклассов множеств, называемых полумножествами. Даже в системах, связанных с ZFC, эта схема иногда ограничивается формулами с ограниченными кванторами, как в теории множеств Крипке – Платека с элементами.
Схема аксиомы разделение можно почти вывести из схемы аксиом замены.
Сначала напомним эту схему аксиом:
для любого функционального предиката F в одной переменной, которая не использует символы A, B, C или D. Имея подходящий предикат P для аксиомы спецификации, определите отображение F на F (D) = D, если P (D) истинно, и F (D) = E, если P (D) ложно, где E - любой член A такой, что P (E) истинно. Тогда множество B, гарантированное аксиомой замены, является в точности тем множеством B, которое требуется для аксиомы спецификации. Проблема только в том, что такого E не существует. Но в этом случае набор B, необходимый для аксиомы разделения, является пустым множеством, поэтому аксиома разделения следует из аксиомы замены вместе с аксиомой пустого множества.
. по этой причине схему аксиом спецификации часто упускают из современных списков аксиом Цермело – Френкеля. Тем не менее, это все еще важно для исторических соображений и для сравнения с альтернативными аксиоматизациями теории множеств, как это можно увидеть, например, в следующих разделах.
Схема аксиомы неограниченного понимания гласит:
то есть:
Это множество B снова уникально, и обычно обозначается как {x: φ (x, w 1,..., w n)}.
Эта схема аксиом негласно использовалась в первые дни наивной теории множеств, до того, как была принята строгая аксиоматизация. К сожалению, это приводит непосредственно к парадоксу Рассела, принимая φ (x) за ¬ (x ∈ x) (то есть свойство, при котором множество x не является членом самого себя). Следовательно, никакая полезная аксиоматизация теории множеств не может использовать неограниченное понимание, по крайней мере, не с классической логикой.
Принятие только схемы аксиом спецификации было началом аксиоматической теории множеств. Большинство других аксиом Цермело – Френкеля (за исключением аксиомы экстенсиональности, аксиомы регулярности или аксиомы выбора ) затем стало необходимым, чтобы сделать из того, что было потеряно из-за изменения схемы понимания аксиом на схему аксиомы спецификации - каждая из этих аксиом утверждает, что определенный набор существует, и определяет этот набор, давая предикат для удовлетворения его членов, т.е. частный случай схемы осмысления аксиомы.
Также можно предотвратить несогласованность схемы, ограничив, к каким формулам она может применяться, например только стратифицированные формулы в New Foundations (см. Ниже) или только положительные формулы (формулы только с конъюнкцией, дизъюнкцией, количественной оценкой и атомарными формулами) в теории положительных множеств. Однако позитивные формулы обычно не могут выразить определенные вещи, которые могут выразить большинство теорий; например, в теории положительных множеств не существует дополнения или относительного дополнения.
В теории множеств фон Неймана-Бернейса-Гёделя проводится различие между множествами и классами. Класс C является множеством тогда и только тогда, когда он принадлежит некоторому классу E. В этой теории существует схема теоремы, которая читается как
то есть,
при условии что кванторы в предикате P ограничены наборами.
Эта схема теорем сама по себе является ограниченной формой понимания, которая позволяет избежать парадокса Рассела из-за требования, чтобы C было множеством. Тогда спецификация самих множеств может быть записана в виде одной аксиомы
то есть
или даже проще
В этой аксиоме предикат P заменяется классом D, по которому можно количественно определить. Другая более простая аксиома, которая достигает того же эффекта, - это
то есть,
В типизированный язык, на котором мы можем количественно оценивать предикаты, схема аксиомы спецификации становится простой аксиомой. Это во многом тот же прием, который использовался в аксиомах NBG из предыдущего раздела, где предикат был заменен классом, который затем подвергался количественной оценке.
В логике второго порядка и логике высшего порядка с семантикой более высокого порядка аксиома спецификации является логической достоверностью и не требует явного включения в теории.
В подходе «Новые основы» к теории множеств, впервые предложенном W.V.O. Quine, аксиома понимания для данного предиката принимает неограниченную форму, но сами предикаты, которые могут использоваться в схеме, ограничены. Предикат (C не входит в C) запрещен, потому что один и тот же символ C появляется с обеих сторон символа принадлежности (и, следовательно, в разных «относительных типах»); таким образом удается избежать парадокса Рассела. Однако, взяв P (C) равным (C = C), что допустимо, мы можем сформировать набор всех множеств. Подробнее см. стратификация.