Пусть a, b и c - число элементов

+ 0 -

Supernatural121

24 окт. 2014 г., 1:52:57 (9 лет назад)

Доказательство.
Формулы, подобные формулам 1-2, доказываются следующим образом. Берётся элемент, принадлежащий правой части равенства, и доказывается, что он принадлежит левой части. В результате для формулы 1, например, будет доказано, что A∪B ⊆ B∪A. Затем берётся элемент, принадлежащий левой части, и доказывается, что он принадлежит правой части равенства; для формулы 1 это будет означать, что B∪A ⊆ A∪B. Из включений A∪B ⊆ B∪A и B∪A ⊆ A∪B следует, что A∪B = B∪A.
Итак, пусть a ∈ А∪В. Это значит, что либо a ∈ А, либо a ∈ B, либо эти включения имеют место одновременно. Во всех трех случаях a ∈ B∪A. Включение A∪B ⊆ B∪A доказано. Пусть теперь a ∈ B∪A. Это значит, что либо a ∈ B, либо a ∈ A, либо эти включения имеют место одновременно. Во всех трех случаях a ∈ A∪B. Включение B∪A ⊆ A∪B доказано. Следовательно, A∪B = B∪A, что и требовалось доказать.

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