Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
нужная штука, чтай её, Маша.doc
Скачиваний:
45
Добавлен:
04.08.2019
Размер:
1.09 Mб
Скачать

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

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

Объединением (суммой) двух множеств А и В называется множество А В, все элементы которого являются элементами множества А или В:

АВ = {x | xA или xВ}.

Другими словами, в объединение АВ входят все элементы как множества А, так и множества В, т. е. ААВ и ВАВ.

Пример. Если А = {1, 2, 3}, B = {0, 1, 5}, то АВ = {0, 1, 2, 3, 5}.

Для любой совокупности множеств под их объединением будем понимать новое множество, каждый элемент которого является элементом некоторого множества из данной совокупности, при этом, любой элемент каждого множества совокупности есть элемент объединения. В частности, для А1, А2, ..., Аn, ..., A =  A i = {x | x A i, i = 1, 2, ..., n, ...}.

Пересечением множеств А и В называется множество АВ, элементами которого являются элементы обоих множеств А и В:

АВ = {x | xA и хВ}.

Другими словами в пересечение АВ входят только те элементы А, которые входят в В. Если ни один элемент множества А не является элементом множества В, то очевидно, что АВ = . В этом случае говорят, что множества А и В не пересекаются. Ясно, что АВА и АВВ.

Пример. Если А = {a, b, c, d}, B = {a, c, d, e, f}, то АВ = {a, c, d}.

Для произвольной совокупности множеств под пересечением будем понимать новое множество, состоящее из тех и только тех элементов, которые входят во все множества данной совокупности. В частности, для А1, А2, ..., А n, ... , A =  A i = {x | xA i, для всех i = 1, 2, ..., n, ...}.

Разностью множеств А и В называется множество А \ В, элементами которого являются только те элементы множества А, которые не принадлежат множеству В:

А \ В = {x | x A , но хВ}.

Например, для множеств А и В, из предыдущего примера, А \ В = {b}.

Симметрической разностью множеств А и В называется множество АВ = (А \ B)  (B \ A). Другими словами, это множество состоит из тех и только тех элементов А и В, которые не входят в пересечение этих множеств.

Например, для множеств А и В, А = {a, b, c, d}, B = {a, c, d, e, f}, АВ = = {b, e, f}.

Можно доказать, что А В = (А \ B)  (B \ A) = (АB) \ (АВ).

Дополнением множества А называется множествоА всех тех элементов, которые не принадлежат А.

Если предположить существование универсума U, то А = U \ A.

Разность Х \ А = {x | xX, xA}, т.е. множество всех элементов Х, которые не принадлежат А, иногда называют относительным дополнением множества А до множества Х. Отметим, что Х \ A = X А.

Для наглядного представления отношений между подмножествами какого-либо универсального множества используют диаграммы Эйлера - Венна. Само универсальное множество U изображают в виде прямоугольника, а его подмножества - в виде кругов, расположенных внутри прямоугольника.

Диаграммы Эйлера - Венна, иллюстрирующие операции над множествами:

Рис. 1

Для любых подмножеств А, В и С универсального множества U выполняются следующие тождества:

1. Коммутативность:

АВ = ВА ; АВ = В А ;

2. Ассоциативность:

А  (ВС) = (АВ)  С; А  (ВС) = (АВ)  С;

3. Дистрибутивность:

А  (ВС) = (АВ)  (АС); А  (ВС) = (АВ)  (АС);

4. А   = А, АU = U; А   = , АU = А;

5. А А = U; А А = ;

6. Идемпотентность:

АА = А; АА = А;

7 . Законы де Моргана:

АВ = А В; АВ = А В;

8. Закон поглощения:

А  (АВ) = А; А  (А В) = А.

Докажем тождество 3: А  (ВС) = (АВ)  (АС).

Обозначим М = А  (ВС) и N = (АВ)  (АС). Равенство M = N равносильно () двум включениям: МN , NM.

Сначала докажем, что МN. Пусть хМ = А  (ВС). Это означает, что х А или хВС. Если хА, то хАВ и хАС. Следовательно, х  (АВ)  (АС) = N. Первое включение доказано.

Покажем, что NM. Пусть хN = (АВ)  (АС), тогда хАВ и хАС. Следовательно, либо хА, и тогда очевидно, что хА  (В  С), либо хВ и х С, т.е. хВС, а значит хА  (ВС)= М.

Остальные тождества доказываются аналогично.

Упражнение: Докажите оставшиеся аксиомы.

Контрольные вопросы:

  1. Перечислите операции над множествами, которые вы знаете, и дайте их определение.

  2. Запишите тождества, которые выполняются для этих операций.