Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
методичка_исправлен.doc
Скачиваний:
3
Добавлен:
01.05.2025
Размер:
5 Мб
Скачать
☆

5. Алгебра множеств. Основные тождества алгебры множеств

Множества вместе с определенными на них операциями образуют алгебру множеств. Последовательность выполнения операций задается с помощью формулы алгебры множеств. Например,  (ВC), (А \ В) + C – формулы алгебры множеств.

Основные тождества алгебры множеств

Для любых множеств A, B, C справедливы следующие тождества:

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

а) AB= BA (для объединения);

б) AB = BA (для пересечения).

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

а) A  (BC) = (AC)  C (для объединения);

б) A  (BC) = (AB)  C (для пересечения).

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

а) A (BC) = (AB)  (AC) (для объединения относительно пересечения);

б) A(BC) = (AB)(AC) (для пересечения относительно объединения).

4. Закон де Моргана.

а) =  (дополнение к объединению есть пересечение дополнений);

б) =  (дополнение к пересечению есть объединение дополнений).

5. Идемпотентность.

а) AA = A (для объединения);

б) AA = A (для пересечения).

6. Поглощение.

а) A  (AB) = A;

б) A  (AB) = A.

7. Расщепление (склеивание).

а) (AB)  (A  ) = A;

б) (AB)  (A  ) = A.

8. Двойное дополнение.

= A.

9. Закон исключенного третьего.

A  = U.

10. Операции с пустым и универсальным множествами.

а) AU = U;

б) A = A;

в) AU = A;

г) A = ;

д) = U;

е) = .

11. А \ В = A  .

Чтобы доказать некоторое тождество A = B, нужно доказать следующие факты:

  1. если x А, то xВ;

  2. если xВ, то x А.

Построив цепочку равносильностей A В1 В2 … Вn B можно установить требуемое равенство. Докажем таким образом, например, свойство дистрибутивности для объединения (тождество 3а): A (BC) = (AB)  (AC).

Пусть некоторый элемент x принадлежит левой части тождества, т.е. xA (BC), и докажем, что x принадлежит правой части, т.е. x(AB)  (AC). Для этого будем использовать основные тождества алгебры множеств и алгебры высказываний.

x A (BC) x A x BC x A (xB x C) (x A xB) ( x A x C) x(AB) x (AC) x(AB) (AC)

Построенная цепочка равносильностей доказывает факты 1 и 2.

Доказательство тождеств можно проиллюстрировать с помощью диаграмм Венна.

Основные тождества алгебры множеств можно использовать для доказательства других тождеств.

Пример.

Доказать тождество (AB) \ В = A  .

Пусть некоторый элемент x принадлежит левой части тождества, т.е. x(AB) \ В. Покажем, что x принадлежит правой части, т.е. x A  .

x (AB) \ Вx (AB)   x (A )  x (B ) x (A ).

Тождество доказано.

Пример.

Доказать тождество:

A \ (В \ C) = (A \ В)  (A C).

Множества, стоящие в левой и правой частях тождества, изобразим с помощью диаграмм Эйлера – Венна (рис. 1.2).

Рисунок 2

Докажем тождество из нашего примера, воспользовавшись основными тождествами алгебры множеств. Получим:

xA \ (В \ C)  xAxAxA  ( ) xA  ( C) x (A  )  (AC) x (A \ В)  (A C).

6. Эквивалентность множеств

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

Эквивалентность множеств обозначается следующим образом: AB.

Эквивалентность множеств обладает следующим свойством транзитивности.

Если AB и BC, то AC.

Докажем это свойство. Так как AB, то для всякого элемента a А существует единственный элемент b B. Но так как BC, то для всякого элемента b B существует единственный элемент c C. Сопоставим этот элемент элементу a А. Значит, для всякого элемента a А существует единственный элемент c C и для всякого элемента c C существует единственный элемент a А. Следовательно, AC.

Очевидно, что два конечных множества эквивалентны тогда и только тогда, когда количество элементов в них одинаково. Например, множества А = {4, 5, 6} и В = {x, y, z} эквивалентны, AB. Взаимно однозначное соответствие может быть установлено между элементами 4 и x, 5 и y, 6 и z.

Мощностью конечного множества А (обозначается А) называется число элементов этого множества. Например, мощность множества А = {1, 2} равна А= 2.

Пример.

Ранее мы рассматривали множество всех подмножеств данного множества А, которое называется множеством-степенью и обозначается P(A). Множество P(A) состоит из 2n элементов. Таким образом, P(A)  = 2n.

Рассмотрим задачу определения мощности объединения n конечных множеств.

Пусть n = 2 и A и B – два пересекающихся множества. Докажем с помощью диаграммы Эйлера – Венна следующее соотношение:

АB = А + B – АB . (1)

Из рис. 3 видим, что

АB = n1+n2+n3;

А = n1+n2;

B = n2+n3;

АB = n2.

Рисунок 3.

Очевидно, что n1+n2+n3 = (n1+n2) +(n2+n3) – n2, что и доказывает формулу (1).

Формула (1) справедлива и для случая, если множества A и B не пересекаются. В этом случае

АB = А + B .

Пусть n = 3 и A, B и С – три пересекающихся множества. В этом случае справедливо следующее соотношение:

АB С= А + B + C – АB – АC – BC + АBC . (2)

Из рис. 4 видим, что

АB С= n1+n2+n3+n4+n5+n6+n7;

А = n1+n2+n4+n5;

B = n2+n3+n5+n6;

С=n4+n5+n6+n7;

АB = n2+n5;

АC = n4+n5;

BC = n5+n6;

АBC = n5.

Рисунок 4.

Очевидно, что

n1+n2+n3+n4+n5+n6+n7 =(n1+n2+n4+n5) + (n2+n3+n5+n6) +(n4+n5+n6+n7) – (n2+n5) – (n4+n5) – (n5+n6) + n5,

что и доказывает формулу (2).

Формула (2) справедлива и для случая, если множества A, B и С попарно не пересекаются. В этом случае

АB С= А + B + C .

В общем случае мощность объединения n множеств определяется по формуле:

А1 А2 …Аn= А1+А2+…+ Аn– (А1 А2+ А1 А3+ … +Аn–1Аn)+ АBC + (А1 А2 А3 + … + Аn–2Аn–1Аn) – … + (–1)n – 1 А1А2 …Аn. (3)

Понятие эквивалентности годится и для бесконечных множеств. Пусть, например, A = {1, 2, 3, …, n,…}, B = {– 1, –2, …, –n, …}. Тогда AB. Взаимно однозначное соответствие устанавливается по правилу: элементу n A соответствует элемент – n B, т.е. n  – n.

Пример.

A = {1, 2, 3, …, n,…}, B = {2, 4 …, 2n, …}. Тогда AB. Взаимно однозначное соответствие устанавливается по правилу: n  2*n.

A = {1, 2, 3, …, n,…} – множество натуральных чисел, B = {…, –n, …– 2, –1, 0, 1, 2, …, n, …} – множество всех целых чисел.

Перепишем множество B следующим образом:

B = {0, –1, 1, – 2, 2, …, –n, n, …}, так, что 0 будет на первом месте, –1 на втором, 1 на третьем, –2 на четвертом и т.д. Нетрудно заметить, что отрицательные числа будут стоять на местах с четными номерами, а 0 и положительные числа – на местах с нечетными номерами. Поэтому взаимно однозначное соответствие между множествами A и B устанавливается по правилу: для всякого n  0 элементу a = 2n +1 из множества A (т.е. нечетному элементу) соответствует элемент b = n из множества B; элементу a = 2n из множества A (т.е. четному элементу) соответствует элемент b = –n из множества B. Таким образом, реализуется взаимно однозначное соответствие между множествами A и B: 1  0, 2  –1, 3  1, 4  –2 и т.д.

Установить эквивалентность множеств, т.е. установить взаимно однозначное соответствие между их элементами можно различными способами.

Множество, эквивалентное множеству натуральных чисел N = {1, 2, 3, …, n,…}, называется счетным. Можно сказать также, что множество счетно, если его элементы можно перенумеровать.

Пример.

Установить, являются ли следующие множества счетными:

1. A1 = {–1, –2, …, – n, …};

2. A2 = {2, 22, …, 2n,…};

3. A3 = {2, 4, …, 2n,…};

4. A4 = {…, – n, …, – 1, 0, 1, …, n,…};

Решение. Чтобы установить счетность некоторого множества, достаточно указать взаимно однозначное соответствие между элементами данного множества и множества натуральных чисел. Взаимно однозначное соответствие устанавливается по следующим правилам:

  • для множества A1: –n n;

  • для множества A2: 2n n;

  • для множества A3: 2*nn;

  • счетность множества A4 установлена ранее в примере.

Упорядоченной парой (x, y) называется совокупность двух элементов x и y, расположенных в определенном порядке.

Две упорядоченные пары (x, y) и (u, v) равны межу собой тогда и только тогда, когда x = u и y = v.

Например, (a, b), (1, 2), (x, 4) – упорядоченные пары.

Аналогично можно рассматривать тройки, четверки, n-ки элементов (x1, x2, … xn).

Прямым (или декартовым) произведением двух множеств A и B называется множество упорядоченных пар, таких, что первый элемент каждой пары принадлежит множеству A, а второй – множеству B:

AB = {(a, b), / a А и bВ}.

В общем случае прямым произведением n множеств А1, А2,… Аn называется множество А1А2  … Аn, состоящее из упорядоченных наборов элементов (a1, a2, …, an) длины n, таких, что i- ый ai принадлежит множеству Аi, aiАi.

Пример.

Пусть А = {1, 2}, В = {2, 3}. Тогда AB = {1, 2, 1, 3,2, 2,2, 3}.

Пусть А = {x / 0  x  1} и B = {y / 2  y  3}. Тогда AB = { x, y  / 0  x  1 и 2  y  3}. Таким образом, множество AB состоит из точек, лежащих внутри и на границе прямоугольника, образованного прямыми x = 0 (ось ординат), x = 1, y = 2 и y = 3.

Французский математик и философ Декарт впервые предложил координатное представление точек плоскости. Это исторически первый пример прямого произведения.