Пустое множество¶

Пустое множество — это множество, не содержащее ни одного элемента. В математике пустое множество является фундаментальным понятием теории множеств и обозначается символом ∅ или {}.

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

¶История

Понятие пустого множества возникло не сразу. В античной и средневековой математике идея «ничего» как множества считалась парадоксальной или бессмысленной. Древнегреческие математики, такие как Евклид, рассматривали множества как совокупности объектов, и пустое множество не вписывалось в эту картину.

В XIX веке, с развитием теории множеств Георгом Кантором, возникла необходимость в формальном определении пустого множества. Кантор в своих работах 1870-х годов использовал понятие «нулевого множества» (нем. Nullmenge), но не дал ему строгого аксиоматического обоснования. В 1889 году итальянский математик Джузеппе Пеано ввёл символ ∅ для обозначения пустого множества, взяв за основу греческую букву «фи» (ϕ). Позднее, в начале XX века, в рамках аксиоматизации теории множеств (работы Эрнста Цермело и Абрахама Френкеля) пустое множество было закреплено как отдельная аксиома — аксиома пустого множества.

¶Обозначение и терминология

Пустое множество обозначается двумя основными способами:

• Символом ∅ (U+2205), который часто называют «перечёркнутый ноль» или «ноль с косой чертой». Этот символ не следует путать с греческой буквой «фи» (ϕ, φ), хотя исторически он произошёл именно от неё.
• Фигурными скобками без содержимого: {}.

В некоторых контекстах, особенно в математической логике и программировании, пустое множество также могут обозначать как «нуль-множество» или «пустой класс». В русскоязычной математической литературе распространены оба обозначения, но символ ∅ является более формальным.

¶Свойства

Пустое множество обладает рядом фундаментальных свойств, которые следуют из его определения и аксиом теории множеств.

¶Подмножество любого множества

Пустое множество является подмножеством любого множества A. Формально: ∅ ⊆ A для любого A. Это свойство следует из определения подмножества: множество B является подмножеством A, если каждый элемент B принадлежит A. Поскольку у ∅ нет элементов, условие выполняется автоматически (так называемая «пустая истина»). В частности, ∅ ⊆ ∅.

¶Единственность

Пустое множество единственно. Если бы существовали два различных пустых множества ∅₁ и ∅₂, то по определению они оба не содержали бы элементов, а значит, были бы равны (по аксиоме объёмности). Таким образом, любое множество, не содержащее элементов, тождественно пустому множеству.

¶Мощность

Мощность (кардинальное число) пустого множества равна нулю. Обозначается |∅| = 0. Это единственное множество, мощность которого равна нулю.

¶Операции над множествами

Пустое множество ведёт себя как нейтральный элемент для некоторых операций:

• Объединение: ∅ ∪ A = A для любого A.
• Пересечение: ∅ ∩ A = ∅ для любого A.
• Разность: A \ ∅ = A, ∅ \ A = ∅.
• Симметрическая разность: ∅ △ A = A.

¶Декартово произведение

Декартово произведение пустого множества с любым множеством A равно пустому множеству: ∅ × A = ∅ и A × ∅ = ∅. Это следует из того, что для образования упорядоченной пары (a, b) необходимо, чтобы a ∈ ∅, что невозможно.

¶Булеан

Булеан (множество всех подмножеств) пустого множества содержит ровно один элемент — само пустое множество: P(∅) = {∅}. Мощность булеана равна 2⁰ = 1.

¶Пустое множество в аксиоматической теории множеств

В стандартной аксиоматической теории множеств ZFC (Цермело — Френкеля с аксиомой выбора) существование пустого множества постулируется аксиомой пустого множества:

Существует множество, не содержащее ни одного элемента.

Формально: ∃x ∀y (y ∉ x).

Из этой аксиомы, вместе с аксиомой объёмности, следует единственность пустого множества. В некоторых альтернативных аксиоматиках (например, в теории множеств фон Неймана — Бернайса — Гёделя) пустое множество может быть определено как класс, но обычно оно считается множеством.

¶Пустое множество в других разделах математики

¶Теория категорий

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

¶Теория меры

В теории меры пустое множество является измеримым по определению, и его мера равна нулю. Любое свойство, выполняющееся на всём пространстве, кроме, возможно, множества меры нуль, называется выполняющимся почти всюду. Пустое множество является тривиальным примером множества меры нуль.

¶Комбинаторика

В комбинаторике пустое множество соответствует нулевому числу сочетаний: C(n, 0) = 1 для любого n ≥ 0. Это означает, что существует ровно один способ выбрать 0 элементов из n. Аналогично, число перестановок пустого множества (0!) равно 1.

¶Математическая логика

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

¶Пустое множество в информатике

В информатике понятие пустого множества реализуется в виде пустых структур данных:

• Пустой список (nil) в языках программирования (Lisp, Python, Haskell).
• Пустое дерево в структурах данных (например, пустое бинарное дерево поиска).
• Пустая строка (""), которая не содержит символов, но является строкой длины 0.
• Пустой словарь или пустое множество в языках с поддержкой множеств (Python, Java).

В теории автоматов пустое множество соответствует пустому языку — формальному языку, не содержащему ни одной строки. Пустой язык обозначается ∅ и является регулярным языком, распознаваемым любым детерминированным конечным автоматом с пустым множеством допускающих состояний.

¶Пустое множество в философии

В философии математики пустое множество вызывает дискуссии о природе математических объектов. Номиналисты, отрицающие существование абстрактных объектов, могут считать пустое множество фикцией, не имеющей реального референта. Платонисты, напротив, признают пустое множество реально существующим математическим объектом, хотя и лишённым элементов. В онтологии пустое множество иногда рассматривается как пример «ничто» в математическом контексте.

¶Критика и парадоксы

Хотя пустое множество является общепринятым понятием, в истории математики возникали споры о его допустимости. Некоторые математики конца XIX века (например, Леопольд Кронекер) отвергали пустое множество как бессмысленное, поскольку оно не соответствует интуитивному представлению о множестве как о совокупности объектов. Однако с развитием аксиоматического метода эти возражения были преодолены.

Парадокс, связанный с пустым множеством, возникает при рассмотрении его как элемента самого себя. По аксиоме регулярности (фундирования) в ZFC, ни одно множество не может содержать себя в качестве элемента, поэтому ∅ ∉ ∅. Однако в некоторых нестандартных теориях множеств (например, с аксиомой антифундирования) это возможно, но такие теории не являются общепринятыми.

¶Источники

• Куратовский К., Мостовский А. Теория множеств. — М.: Мир, 1970.
• Хаусдорф Ф. Теория множеств. — М.: КомКнига, 2006.
• Ефимов Н. В. Высшая математика. — М.: Наука, 1975.
• Halmos P. R. Naive Set Theory. — Springer, 1960.
• Jech T. Set Theory. — Springer, 2003.