Множества и простейшие операции над ними

С понятием множества каждый сталкивается постоянно. Для нас это первичное понятие, стало быть, дать множеству формальное определение нельзя, можно только пояснить, что имеется в виду. Множество состоит из элементов. Множества мы будем обозначать большими латинскими буквами, элементы – малыми. Здесь есть некоторая несогласованность, поскольку множество может быть и элементом некоторого множества. Множество задано, если про любой объект в мире можно сказать, является он элементом множества или нет. Первое отношение обозначается a Î A, второе – a Ï A.

Таким образом, понятие множества имеет двойственную природу: с одной стороны, это нечто единое, с другой состоит из элементов. Важно отметить, что множество ПОЛНОСТЬЮ характеризуется набором своих элементов. Множества совпадают, если каждый элемент одного является элементом другого. Обозначение стандартное: A=B. Если всякий элемент множества A является элементом множества B, то A называется подмножеством B, обозначение: A Ì B. Обычно множества изображаются в виде областей на плоскости.

Таким образом, равенство A=B равносильно тому, что одновременно A Ì B и B Ì A. Роль числа 0 в алгебре множеств (см. далее) играет пустое множество Æ, т.е. множество, в котором нет элементов. Мы полагаем, что Здесь использован знак , который в математической логике называется квантором всеобщности (читается «для каждого»). Наряду с квантором всеобщности используется квантор существования (читается «существует»). Происхождение этих необычных знаков очень простое: это просто перевернутые первые буквы английских слов All (каждый) и Exist (существует).

Множество может задаваться перечислением его элементов. Обозначается это так: { a.b,c } – множество, состоящее из трех записанных букв. Подчеркнем, что элементы множества должны различаться и поэтому { a.b,a }={ a.b }. Как уже отмечалось, множество определяется набором элементов, поэтому, например, { a.b,c }={ c,a.b }. Следует различать одноэлементное множество и сам этот элемент. Например, про множество {2} нельзя сказать, что оно четное, а про его единственный элемент, число 2 – можно.

Если известно некоторое более обширное множество, то можно выделить подмножество элементов с некоторым свойством. Поясним это на примере. Используем стандартное обозначение множества натуральных чисел N. { a Î N: b Î N (a= 2 b)} это множество четных натуральных чисел.

Напомним определения простейших операций над множествами.

Объединением множествA и B называется множество A È B,, состоящее из элементов, каждый из которых принадлежит хотя бы одному из множеств A,B. Иначе говоря, A È B= { a: a Î A или a Î B }.

Пересечением множествA и B называется множество AÇB, состоящее из элементов, каждый из которых принадлежит обоим множествам A,B, т.е. A Ç B= { a: a Î A и a Î B }. Иногда путают знаки объединения и пересечения. Запомнить их легко, если заметить, что знак объединения похож на букву U – первую букву английского слова Union – союз, объединение.

Объединение множеств также называется суммой множеств, а пересечение – произведением. Однако аналогия с числами полной не является, как будет видно далее.

Разностью множествA и B называется множество A\B, образованное элементами, каждый из которых входит в A и не входит в B, т.е. A\B= { a: a Î A, a Ï B }.

Еще одна операция, которая достаточно широко используется - симметрическая разностьA D B =(A\B)È(B\A) = (A È B) \ (A Ç B). Докажите последнее равенство! Полезное свойство симметрической разности состоит в том, что A D B= Æ тогда и только тогда, когда A=B.

Часто вводится в рассмотрение универсальное множествоили универсум U. Это в некотором смысле наша вселенная. Для нас не существуют элементы, не входящие в U, т.е. все рассматриваемые множества являются подмножествами U. В этом случае дополнением множестваA называется множество Дополнение является аналогом логической операции отрицания.

Введенные операции на множествах обладают рядом алгебраических свойств. Приведем их.

1. (Коммутативность) A È B=B È A, A Ç B=B Ç A. Эти свойства очевидны.

2. (Ассоциативность) (A È B)È С=A È(B È С). Эти свойства также очевидны. Они позволяют опускать скобки, не опасаясь разночтений.

3. (Дистрибутивность объединения относительно пересечения) (A È B)Ç С =(A Ç С)È(B Ç С). Это свойство не столь очевидно. Приведем формальное рассуждение. Пусть a Î(A È B)Ç С. По определению пересечения, одновременно a Î A È B и a Î С. Возможны два случая: a Î A, a Ï A. В первом случае a Î A и a Î С. Отсюда, a Î A Ç С, т.е. a Î(A Ç С)È(B Ç С). Во втором случае из соотношений a Î A È B и a Ï A следует, что a Î B. Отсюда аналогично a Î B Ç С, т.е. a Î(A Ç С)È(B Ç С). Тем самым ВСЕГДА a Î(A Ç С) È(B Ç С). Вопрос. Доказано ли нужное свойство? Ответ. Нет. Пока лишь доказано, что (A È B)Ç С Ì(A Ç С)È(B Ç С). Для доказательства обратного включения рассмотрим элемент a Î(A Ç С)È(B Ç С). Возможны два случая: a Î(A Ç С) и a Ï(A Ç С). В первом случае одновременно a Î A (откуда a Î A È B) и a Î С. Следовательно, в этом случае a Î(A È B)Ç С. Во втором случае аналогично предыдущему вытекает принадлежность a Î B (т.е. a Î A È B), откуда a Î(A È B)Ç С. Теперь равенство доказано. Далее формальными рассуждениями мы будем пользоваться редко. Обычно будем пользоваться графической иллюстрацией.

Для графического доказательства множества изобразим на плоскости. Весьма тонким является следующий вопрос. Множества могут иметь различную природу. Верно ли, что рассмотрения множеств на плоскости достаточно для доказательства общих утверждений о множествах? Можно доказать, что для анализа простейших свойств, которые мы сейчас рассматриваем, это так. Надо только множества изображать в общем виде, т.е. так (подобные рисунки иногда называют диаграммами Эйлера – это замечательное имя нам еще встретится!).

B

A

C

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

Свойства 1-3 имеют аналоги для чисел. Но в законе дистрибутивности для чисел знаки сложения и умножения нельзя поменять местами (убедитесь в этом!) А для множеств такой закон справедлив!

4. (Дистрибутивность объединения относительно пересечения) (A Ç B)È С =(A È С)Ç(B È С). Докажите это свойство, используя графическое представление.

5. A È A = A Ç A=A. Эти свойства также не имеют числовых аналогов.

6. A ÈÆ= A Ç U=A, A ÇÆ=Æ, A È U= U. Отсюда видно, что пустое множество в алгебре множеств выполняет функции числа 0, универсальное множество U числового аналога не имеет.

7. - правило двойного дополнения, в логике его аналог называется правилом двойного отрицания.

8. Законы де Моргана (аналогичны одноименным законам логики). . Эти формулы легче всего проверить на рисунках. Очень наглядно получается! Особенно, если множества расположить так.

9.

U

A

B

. Эти законы являются фундаментальными в логике Аристотеля. Первый называется законом исключенного третьего (по латыни «терциум нон датур» – третьего не дано).

10. (Законы поглощения) A Ç(A È B)= A È(A Ç B)= A. Проверьте эти формулы с помощью рисунка! Здесь интересно то обстоятельство, что хотя в левых частях формально присутствует множество B, от него ничего не зависит.