Аксиома пустого множества - Википедия - Axiom of empty set

Эта статья включает Список ссылок, связанное чтение или внешняя ссылка, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшать эта статья введение более точные цитаты. (Март 2013 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

В аксиоматическая теория множеств, то аксиома пустого множества утверждение, которое утверждает существование набора без элементов. Это аксиома из Теория множеств Крипке – Платека. и вариант общая теория множеств которую Берджесс (2005) называет "СТ", и доказуемая правда в Теория множеств Цермело и Теория множеств Цермело – Френкеля, с или без аксиома выбора.^[1]

Официальное заявление

в формальный язык аксиом Цермело – Френкеля аксиома гласит:

${ Displaystyle существует x , forall y , lnot (y in x)}$

или словами:

Есть а набор так что ни один элемент не является его членом.

Интерпретация

Мы можем использовать аксиома протяженности чтобы показать, что есть только одно пустое множество. Поскольку он уникален, мы можем назвать его. Это называется пустой набор (обозначается {} или ∅). Аксиома, изложенная на естественном языке, по сути:

Пустой набор существует.

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

В некоторых формулировках ZF аксиома пустого множества фактически повторяется в аксиома бесконечности. Однако есть и другие формулировки этой аксиомы, которые не предполагают существования пустого множества. Аксиомы ZF также могут быть записаны с использованием постоянный символ представляющий пустой набор; тогда аксиома бесконечности использует этот символ, не требуя, чтобы он был пустым, в то время как аксиома пустого множества необходима, чтобы утверждать, что он на самом деле пуст.

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

Во многих формулировках логики предикатов первого порядка всегда гарантируется существование хотя бы одного объекта. Если аксиоматизацию теории множеств сформулировать в таком виде логическая система с схема аксиомы разделения как аксиомы, и если теория не делает различий между множествами и другими видами объектов (что справедливо для ZF, KP и подобных теорий), то существование пустого множества является теоремой.

Если разделение не постулируется как схема аксиом, а выводится как схема теорем из схемы замены (как это иногда делается), ситуация усложняется и зависит от точной формулировки схемы замены. Состав, используемый в схема аксиомы замены статья позволяет только построить изображение F[а] когда а содержится в области определения функции класса F; тогда для вывода разделения требуется аксиома пустого множества. С другой стороны, ограничение совокупности F часто исключается из схемы замены, и в этом случае она подразумевает схему разделения без использования аксиомы пустого множества (или любой другой аксиомы в этом отношении).

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

Источники

• Берджесс, Джон, 2005. Исправление Фреге. Princeton Univ. Нажмите.
• Пол Халмос, Наивная теория множеств. Принстон, Нью-Джерси: D. Van Nostrand Company, 1960. Перепечатано Springer-Verlag, Нью-Йорк, 1974. ISBN  0-387-90092-6 (Издание Springer-Verlag).
• Jech, Thomas, 2003. Теория множества: издание третьего тысячелетия, переработанное и дополненное. Springer. ISBN  3-540-44085-2.
• Кунен, Кеннет, 1980. Теория множеств: введение в доказательства независимости. Эльзевир. ISBN  0-444-86839-9.