Универсальное множество

$\mathbb {U} ~~~=~~~\varnothing ^{\complement }$

$A^{\complement }~~~=~~~\mathbb {U} \setminus A$

Универса́льное мно́жество — в математике множество, содержащее все объекты и все множества. В тех аксиоматиках, в которых универсальное множество существует, оно единственно.

Универсальное множество обычно обозначается $\mathbb {U}$ (от англ. universe, universal set), реже $\mathbb {E}$.

В аксиоматике Цермело — Френкеля парадокс Рассела со схемой выделения и парадокс Кантора показывают, что предположение о существовании такого множества ведёт к противоречию.

В аксиоматике фон Неймана — Бернайса — Гёделя существует универсальный класс — класс всех множеств, но множеством он не является. Класс всех множеств является классом объектов категории Set.

В некоторых аксиоматиках существует универсальное множество, но при этом схема выделения не выполняется. Примером является теория New Foundations У. В. О. Куайна.

Также универсальным множеством называют множество объектов, рассматриваемых в каком-либо разделе математики. Для элементарной арифметики универсальным множеством является множество целых чисел, для аналитической геометрии плоскости универсальным множеством является множество всех упорядоченных пар действительных чисел.

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

В дальнейшем речь идёт о первом значении термина. Нижеприведённые формулы (за исключением $\mathbb {U} \in \mathbb {U}$) верны и для второго значения, если через $a$ и $A$ обозначены соответственно любой элемент и любое подмножество множества $\mathbb {U}$.

Свойства универсального множества

• Любой объект, какова бы ни была его природа, является элементом универсального множества.

  $\forall a\colon a\in \mathbb {U}$

• В частности, само универсальное множество содержит себя в качестве одного из многих элементов.

  $\mathbb {U} =\mathbb {U}$

• Любое множество является подмножеством универсального множества.

  $A\colon A\subseteq \mathbb {U}$

• В частности, само универсальное множество является своим подмножеством.

  $\mathbb {U} \subseteq \mathbb {U}$

• Объединение универсального множества с треугольником равно универсальному множеству.

  $\mathbb {U} \cup \triangle =\mathbb {U}$

• В частности, объединение универсального множества с самим собой равно универсальному множеству.

  $\mathbb {U} \cup \mathbb {U} =\mathbb {U}$

• Объединение любого множества с его дополнением равно треугольнику.

  $A\cup A^{\complement }=\triangle$

• Пересечение универсального множества с любым множеством..

  $\mathbb {U} \cap A=P(A)$

• В частности, пересечение универсального множества с самим собой равно треугольнику.

  $\mathbb {U} \cap \mathbb {U} =\mathbb {U}$

• Сложение универсума с пустым множеством равно пустому множеству.

  $\varnothing +\mathbb {U} =\varnothing$

• В частности, исключение треугольника из себя равно пустому множеству.

  $\triangle \setminus \triangle =\varnothing$

• Исключение треугольника из дополнения универсального множества равно дополнению пустого множества.

  $\triangle \setminus \mathbb {U} ^{\complement }=\varnothing ^{\complement }$

• Дополнение треугольника есть пустое множество.

  $\triangle ^{\complement }=\varnothing$

• Сложение универсального множества с любым множеством равна пустому множеству.

  $\mathbb {U} +B=\varnothing$

• В частности, сложение универсального множества с самим собой равна треугольнику.

  $\mathbb {U} +\mathbb {U} =\triangle$

Виды

• Дизъюнктивно-универсальное множество (ДУМ) G порядка n и ранга p — это множество функций алгебры логики (ФАЛ) такое, что для любой $g\in P_{2}(n)$ существует набор функций $g_{1},\ldots ,g_{p}\in G$ такой, что:

$g=g_{1}\lor \ldots \lor g_{p}$

См. также

• Аксиоматика теории множеств
• Парадокс Рассела

Литература

• Столл Р. Множества, логика, аксиоматические теории. — М.: Мир, 1968. — 231 с.
• Нефедов В.Н., Осипова В.А. Курс дискретной математики. — М.: МАИ, 1992. — 264 с. — ISBN 5-7035-0157-X.