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

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

Для наглядности будем использовать так называемые диаграммы Эйлера- Вена.

А∩В

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

А В

Определение 3. Множества называются непересекающимися, если их пересечение равно пустому множеству.

A Ø.

Определение 4. Разностью множеств А и В называется множество, обозначаемое А\B, состоящее из всех элементов множества А, не принадлежащих множеству В.

А\B

Под универсальным множеством будем понимать такое множество U,что все рассматриваемые множества являлись подмножествами U.

Определение 5. Разность U\B называется дополнением ко множеству В и обозначается.

Из определения ясно, что 1) В =Ø; 2) =U.

Теорема 1. Для произвольных множеств А,В и С справедливы следующие свойства:

1. Коммутативность пересечения и объединения:

. ;

2. Ассоциативность пересечения и объединения:

; ;

3. Дистрибутивность пересечения относительно объединения:

;

Дистрибутивность объединения относительно пересечения:

;

4. Идемпотентность пересечения и объединения:

, ;

5. =U; =Ø

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

= ; =

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

U; =Ø;

U=U; ;

Ø=A; Ø= Ø;

8. ;

9. Закон инволюции: =

10. Закон исключения разности: .

Поиск по сайту: