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

Математическое понятие множества элементов принимается в качестве интуитивного. Множество задается правилом или признаком, согласно которому определяем, принадлежит ли данный элемент множеству или не принадлежит.

Множество обозначают символом A = { x }, где x - общее наименование элементов множества A. Часто множество записывают в виде A = { a, b, c,...}, где в фигурных скобках указаны элементы множества A. Будем пользоваться обозначениями:

N - множество всех натуральных чисел;
Z - множество всех целых чисел;
Q - множество всех рациональных чисел;
R - множество всех действительных чисел;
C - множество всех комплексных чисел;
Z₀ - множество всех неотрицательных целых чисел.

Запись (или ) означает, что элемент a принадлежит множеству A.

Запись (или ) означает, что элемент a не принадлежит множеству A.

Множество B, все элементы которого принадлежат множеству A, называется подмножеством множества A, и при этом записывают (или ) (см. рис. 1).

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

Если , то A и B называются равными множествами, при этом записывают A = B.

Если , то множество элементов множества , не принадлежащих A, называется дополнением множества A к множеству (см. рис. 2).

Дополнение множества A к множеству обозначают символом ; или просто CA, если известно, к какому множеству берется дополнение. Таким образом,

Если , то иногда дополнение множества B к множеству A называют разностью множеств A и B и обозначают A \ B (см. рис. 3), т. е.

Пусть A и B - подмножества множества .

Объединением множеств A и B называется множество (см. рис. 4)

Аналогично, если , подмножества множества , то их объединением будет множество

Пересечением подмножеств A и B называется множество (см. рис. 5)

Аналогично, символом обозначают пересечение подмножеств , множества , т. е. множество

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

Симметрической разностью двух множеств A и B называется множество, определяемое объединением разностей A \ B и B \ A (см. рис. 6).

Симметрическую разность обозначают символом .

Два элемента a и b называются упорядоченной парой, если указано, какой из этих элементов первый, какой второй, при этом .

Упорядоченную пару элементов a и b обозначают символом (a, b).

Аналогично определяется упорядоченная система из n элементов a ₁, a ₂,..., a_n, которую обозначают символом (a ₁, a ₂,..., a_n). Элементы a ₁, a ₂,..., a_n называются координатами упорядоченной системы (a ₁, a ₂,..., a_n).

Совокупность всевозможных упорядоченных пар (a, b), где , называется произведением множеств A и B и обозначается символом .

Аналогично, символом обозначают произведение множеств , т. е. совокупность всевозможных упорядоченных систем (a ₁, a ₂,..., a_n), где .