Категории
Самые читаемые
onlinekniga.com » Научные и научно-популярные книги » Математика » Дискретная математика. Краткий курс. Учебное пособие - Александр Казанский

Дискретная математика. Краткий курс. Учебное пособие - Александр Казанский

Читать онлайн Дискретная математика. Краткий курс. Учебное пособие - Александр Казанский

Шрифт:

-
+

Интервал:

-
+

Закладка:

Сделать
1 2 3 4 5 6 7 8 9 10 ... 15
Перейти на страницу:

Теперь покажем, что множество из правой части включается в множество левой.

Пусть x ∈ (AB) ∪ (AC). Если x ∈ (AB), то отсюда xA и xВ. Но поскольку xВ, то он принадлежит и объединению множества В с любым другим множеством, в частности и с множеством С, т. е. x ∈ (BC). В связи с тем, что x входит в множество A и в множество (BC), то он входит и в их пересечение. Если же x ∈ (AC), то тогда xA и xС. Но поскольку xС, то он принадлежит и объединению В с любым другим множеством, т. е. x ∈ (BC). Поскольку и в этом случае x входит в оба множества: и в А и в (BC), то он входит и в их пересечение xA ∩ (BC), поэтому(AB) ∪ (A ∩ ∩ C) ⊆ A ∩ (BC).

Докажем теперь двойственное тождество, т. е. дистрибутивность объединения относительно пересеченияA ∪ (BC) = (AB) ∩ (AC). Для этого надо показать, что всякий элемент x множества A ∪ (BC) принадлежит и множеству (AB) ∩ (AC). Если элемент x принадлежит множеству А, то он принадлежит и множеству A ∪ (BC), потому что оно содержит множество А. В то же время если xA, то он входит и в пересечение (AB) ∩ (AC). Допустим, x не является элементом множества А. Тогда он должен принадлежать пересечению (BC), а также каждому из множеств B и C в отдельности. Тогда по определению операции объединения x ∈ (AB) и x ∈ (AС). Из этого следует, что x принадлежит и пересечению этих множеств (AB) ∩ (AC). И в том и в другом случае x из левого множества входит и в правое. Пусть x принадлежит правому множеству. Тогда если он принадлежит множеству А, то он принадлежит и множеству A ∪ (BC) по определению объединения. Если он не принадлежит А, то тогда он принадлежит и В и С в отдельности, а значит, он принадлежит и пересечению (BC) и поэтому в каждом из этих случаев любой элемент из правого множества входит в левое множество, что и требовалось доказать.

Докажем законы поглощения.

A ∩ (AB) = A,

A ∪ (AB) = A.

Доказательство обоих законов очевидно. Пусть, например, xA ∩ (АВ). Тогда мое xA и x ∈ (АВ). Если допустить, что поскольку x принадлежит объединению А и В, то он принадлежит множеству В, но не принадлежит множеству А, но это приводит к противоречию, поскольку по определению пересечения xA. Другими словами, любой элемент левого множества может быть только из множества А.

Для доказательства закона де Моргана (AB)С = AC ∪ BC покажем сначала, что левое множество включается в правое (AB) С ⊆ AC ∪ BC. Пусть x∈(AB)С. Тогда xAB. Из этого следует, что х не входит в оба множества одновременно, т. е. он не входит либо в А, либо в В. Если он не входит в А, то тогда он входит в АС, а если он не входит в В, то тогда он входит в ВС. Отсюда следует, что хAC ∪ BC и поэтому (AB) С ⊆ AC ∪ BC.

Докажем теперь, что всякий элемент х из множества AC ∪ BC принадлежит и множеству (AB)С. Если xAС, то тогда xA и поэтому х не может принадлежать пересечению xAB. Если xВС, то тогда xВ и поэтому х также не может принадлежать пересечению xAB. В любом из этих случаев xAB и потому x ∈ (AB)С.

Докажем двойственный закон де Моргана (AB)C= = АC ∩ ВC. Поскольку элемент х принадлежит множеству (AB)C тогда и только тогда, когда он не принадлежит ни множеству А, ни множеству В, то из этого следует, что он должен входить и в множество АC, и в множество ВC, т. е. в их пересечение АC ∩ ВC. С другой стороны, если х входит в пересечение АC ∩ ВC, то он не может входить ни в А, ни в В, потому что в пересечении дополнений множеств ни могут находиться элементы самих этих множеств. Но тогда х входит в дополнение к их объединению, т. е. x ∈ (AB)С, что и требовалось доказать.

Доказательство закона инволюции (AC)C = A следует из того факта, что любой элемент из U принадлежит либо А, либо AC. Поэтому когда берется дополнение к множеству А, то получается множество АС, а когда берется дополнение к АС, то снова получается множество А.

Законы дополнения и тождества очевидны и не требуют доказательства.

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

Докажем, например, закон де Моргана (AB)С = AC ∪ BC. На рис. 1.9 представлены три случая: (а) когда А и В не пересекаются, (b) когда А включается в В и (с) когда в пересечение входят элементы и из А, и из В (имеется и случай, когда В включается в А, но он аналогичен случаю (b)). На рис. 1.9 (d), (e) и (f) показаны их дополнения. Далее на (а1), (b1) и (с1) показаны множества (AC ∪ BC) для каждого из этих случаев. Можно видеть, что на каждом рисунке области для множества (AB)С и множества (AC ∪ BC) одинаковые во всех трех случаях и поэтому эти множества равны.

Рис. 1.9

Рассмотрим табличный метод доказательства равенства множеств. Докажем ассоциативность пересечения (AB) ∩ C = A ∩ (BC). Пусть имеется диаграмма Венна для трех множеств A, B и С из универсального множества U на рис. 1.10. Три овальные области представляют собой множества A, B и С. Прямоугольная область определяет множество U, и она разбита на восемь областей, которые помечены цифрами от 0 до 7. Можно видеть, что область разбиения 7 определяет множество ABC, область 6 – множество ABCС и т. д. Чтобы по диаграмме Венна проверить ассоциативность пересечения, можно использовать следующую идею. Заменим множества A, B и С и их пересечения на соответствующие им множества из областей разбиения на этой диаграмме. Множество А заменяется на {4, 5, 6, 7}, В – на {2, 3, 6, 7} и С – на {1, 3, 5, 7}, AB – на {6, 7}, BC – на {3, 7}.

Рис. 1.10

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

1 2 3 4 5 6 7 8 9 10 ... 15
Перейти на страницу:
На этой странице вы можете бесплатно читать книгу Дискретная математика. Краткий курс. Учебное пособие - Александр Казанский.
Комментарии