Операции над множествами – объединение и пересечение. Свойства.

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

Пересечением множеств А и В называют множество, в которое входят те и только те элементы, которые одновременно принадлежат множествам А и В. Обозначение: А ∩ В.

Так любой элемент х из множества А ∩ В обладает свойством

«х € А и х € В», то данное определение пересечения двух множеств можно записать в таком виде: А ∩ В = {х | х€А ^ х€В}.

Если множества А и В не имеют общих элементов, то эти множества не пересекаются. А ∩ В = Ǿ.

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

А ∩ В ≠Ǿ

Операция множеств обладает рядом свойств:

1. Пересечение множеств коммутативно: для любых множеств А и В имеем А∩В = В ∩ А

2. Пересечение множеств ассоциативно: для любых множеств А,В,С имеем

(А∩В)∩С=А∩(В∩С). Это позволяет записывать выражение А∩В∩С без скобок и находить пересечение любого числа множеств.

Сравнивая области заштрихованные дважды на рис , приходим к выводу, что множества (А∩В)∩С и А∩(В∩С) равны.

3.

См рис1

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

Объединением двух множеств А и В называется множество, состоящее из элементов, которые принадлежат хотя бы одному из этих множеств. Обозначение:A U B.

Пример: А = {m, n, p, k, l} и В = {p, r, s, n} является множество A U B ={m, n, p, k, l, r, s}

На рисунке множество A U B изображено заштрихованной областью.

По определению в объединение множеств Аи В могут входить элементы из А, не принадлежащие множеству В, элементы из В, не принадлежащие А , и элементы, принадлежащие множествам А и В одновременно.

Так как любой элемент х из множества A U B обладает свойством «х€А или х€В», то определение объединения двух множеств можно записать так:

A U B = {х | х € А v x € B}.

Операция объединения множеств обладает такими свойствами:

1. Для любых множеств А и В имеем А U В = В U А (коммутативность).

2. Для любых множеств А,В,С имеем (А U В) U С=А U (В U С). (ассоциативность) Это свойство позволяет писать выражение (А U В) U С без скобок и говорить про объединение любого числа множеств.

3.

В частности, для любого множества А имеем:

Связь между операциями пересечения и объединения множеств отражают свойства дистрибутивности.

4. Для любых множеств А, В, С справедливы равенства:

Свойства дистрибутивности иллюстрируются на диаграммах Эйлера –Венна. на рис приведены диаграммы соответствующие левой и правой части соотношения 4б). На первой диаграмме вертикальной штриховкой отмечено множество А, горизонтальной – множество В∩С. Вся заштрихованная область представляет собой множество AU(B∩C). На второй диаграмме вертикальной штриховкой отмечено множество AUB, горизонтальной – множество AUC. Область заштрихованная дважды, изображает множество (АUB)∩(AUC).

Рассматривая полученные области, приходим к выводу, что множества AU(B∩C) и (АUB)∩(AUC) равны.