Операции над множествами: объединение, пересечение, разность

Операции над множествами - это базовый язык всей математики: через объединение, пересечение и разность определяются области определения функций, события в теории вероятностей, типы данных в программировании и условия в логике. Само множество - это просто набор различных объектов (элементов), а операции позволяют из двух наборов получить третий по понятному правилу: взять всё вместе, взять только общее или вычесть одно из другого. Ниже разберём каждую операцию строго: определение, обозначение, как она выглядит на диаграмме Венна, какие у неё свойства и где студенты чаще всего ошибаются. Чтобы сразу почувствовать, как элементы перетекают между множествами, отметьте элементы в калькуляторе ниже и переключайте операции - диаграмма и результат пересчитываются мгновенно.

Объединение множеств

Объединение двух множеств $A$ и $B$ - это множество всех элементов, которые принадлежат хотя бы одному из них. Обозначается значком $\cup$:

$A \cup B = \{\, x : x \in A \;\text{или}\; x \in B \,\}.$

Слово «или» здесь нестрогое (включающее): элемент попадает в объединение и если он только в $A$, и если только в $B$, и если сразу в обоих. Например, для $A = \{1, 2, 3, 4, 5\}$ и $B = \{4, 5, 6, 7, 8\}$ объединение равно $A \cup B = \{1, 2, 3, 4, 5, 6, 7, 8\}$. Обратите внимание: элементы $4$ и $5$ входят в оба множества, но в результате записываются только один раз - во множестве не бывает повторов.

Рассчитать для своей задачи

На диаграмме Венна объединение - это вся закрашенная площадь обоих кругов вместе с их перекрытием. По мощности (числу элементов) объединение подчиняется формуле включений-исключений: $|A \cup B| = |A| + |B| - |A \cap B|$, где общую часть вычитают, чтобы не посчитать её дважды.

Пересечение множеств

Пересечение множеств $A$ и $B$ - это множество элементов, которые принадлежат обоим множествам одновременно. Обозначается значком $\cap$:

$A \cap B = \{\, x : x \in A \;\text{и}\; x \in B \,\}.$

Здесь связка «и» строгая: элемент входит в пересечение, только если он есть и в $A$, и в $B$. Для тех же множеств $A = \{1, 2, 3, 4, 5\}$ и $B = \{4, 5, 6, 7, 8\}$ пересечение равно $A \cap B = \{4, 5\}$ - это ровно те элементы, которые лежат на перекрытии кругов. Если у множеств нет общих элементов, их пересечение пусто: $A \cap B = \varnothing$, и такие множества называют непересекающимися.

Рассчитать для своей задачи

Пересечение и объединение коммутативны и ассоциативны: порядок и группировка множеств не влияют на результат, $A \cap B = B \cap A$ и $A \cup B = B \cup A$. Кроме того, они связаны законами дистрибутивности, например $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$, которые удобно проверять как раз на диаграммах Венна.

Разность множеств

Разность множеств $A \setminus B$ (читается «$A$ без $B$» или «$A$ минус $B$») - это множество элементов, которые принадлежат $A$, но не принадлежат $B$:

$A \setminus B = \{\, x : x \in A \;\text{и}\; x \notin B \,\}.$

Из $A = \{1, 2, 3, 4, 5\}$ выкидываем всё, что есть в $B = \{4, 5, 6, 7, 8\}$, и остаётся $A \setminus B = \{1, 2, 3\}$. Самое важное свойство разности - она некоммутативна: вообще говоря, $A \setminus B \ne B \setminus A$. В нашем примере $B \setminus A = \{6, 7, 8\}$ - совсем другой набор. Это главное отличие разности от объединения и пересечения, где порядок не важен.

Рассчитать для своей задачи

Частный случай разности - дополнение множества. Если зафиксировать универсальное множество (универсум) $U$, содержащее все рассматриваемые элементы, то дополнение $\bar{A} = U \setminus A$ - это всё, что не входит в $A$. Через дополнение разность записывается компактно: $A \setminus B = A \cap \bar{B}$, то есть «взять из $A$ то, что вне $B$».

Симметрическая разность

Симметрическая разность $A \triangle B$ - это элементы, которые входят ровно в одно из множеств, но не в оба сразу. Её можно определить двумя эквивалентными способами:

$A \triangle B = (A \setminus B) \cup (B \setminus A) = (A \cup B) \setminus (A \cap B).$

Для $A = \{1, 2, 3, 4, 5\}$ и $B = \{4, 5, 6, 7, 8\}$ получаем $A \triangle B = \{1, 2, 3, 6, 7, 8\}$ - из объединения выброшена общая часть $\{4, 5\}$. В отличие от обычной разности, симметрическая разность коммутативна: $A \triangle B = B \triangle A$. На диаграмме Венна это вся площадь кругов, кроме перекрытия, поэтому её ещё называют «исключающим или» по аналогии с логической операцией XOR.

Свойства и контроль результата

Чтобы не запутаться в задачах, удобно держать в голове несколько опорных тождеств. Законы де Моргана связывают дополнение с объединением и пересечением: $\overline{A \cup B} = \bar{A} \cap \bar{B}$ и $\overline{A \cap B} = \bar{A} \cup \bar{B}$. Поглощение: $A \cup (A \cap B) = A$. Любое множество объединяется с пустым без изменений ($A \cup \varnothing = A$), а пересекается с пустым в пустое ($A \cap \varnothing = \varnothing$). Хороший способ проверить вычисление - посчитать мощности: если $|A \cup B| \ne |A| + |B| - |A \cap B|$, где-то ошибка в подсчёте элементов. Калькулятор выше показывает все эти мощности столбиками, так что несоответствие сразу видно глазами.

Частые ошибки

• Дублирование общих элементов в объединении. Элементы пересечения записывают в $A \cup B$ только один раз: множество не содержит повторов. Запись вроде $\{4, 5, 4, 5\}$ некорректна.
• Перестановка множеств в разности. Разность некоммутативна: $A \setminus B \ne B \setminus A$. Всегда вычитаем именно то множество, что стоит после знака $\setminus$.
• Путаница «и» и «или». Объединение это «или» (хотя бы в одном), пересечение это «и» (в обоих сразу). Подмена связки меняет операцию.
• Пустое пересечение вместо пустого множества. Если общих элементов нет, ответ это $\varnothing$, а не $0$ и не пропуск ответа. Ноль это мощность, а не само множество.
• Дополнение без указания универсума. Дополнение $\bar{A}$ имеет смысл только при заданном универсуме $U$: без него «всё, что не в $A$» не определено.

FAQ

Чем объединение отличается от пересечения множеств? Объединение $A \cup B$ собирает элементы, входящие хотя бы в одно множество (связка «или»), а пересечение $A \cap B$ оставляет только общие элементы, входящие сразу в оба (связка «и»). Объединение всегда не меньше каждого из множеств, пересечение не больше.

Почему разность множеств некоммутативна? Потому что $A \setminus B$ удаляет из $A$ элементы $B$, а $B \setminus A$ удаляет из $B$ элементы $A$ - это операции над разными «основами». Совпадают они только в частном случае равных множеств, когда обе разности пусты.

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

Коротко

Над множествами определены четыре основные операции: объединение $A \cup B$ (всё вместе, связка «или»), пересечение $A \cap B$ (только общее, связка «и»), разность $A \setminus B$ (из $A$ убрать $B$) и симметрическая разность $A \triangle B$ (ровно одно из двух). Объединение и пересечение коммутативны, разность некоммутативна ($A \setminus B \ne B \setminus A$). Мощности связаны формулой включений-исключений $|A \cup B| = |A| + |B| - |A \cap B|$, а наглядно все операции читаются по закрашенным зонам диаграммы Венна.