1. Теория множеств.

1.1. Множества

Множеством S называется объединение в одно целое объектов, хорошо различимых нашей мыслью или интуицией. Эти объекты называется элементами множества S. Такое интуитивное определение дал немецкий математик Г. Кантор. В данном определении важны следующие два момента:

Множество- это нечто, состоящее из хорошо различимых объектов.
Это нечто мыслится как единое целое.

Множества бывают конечными и бесконечными, Количество элементов в конечном множестве называется мощностью множества. Множество, не содержащее ни одного элемента, называется пустым множеством и обозначается . Множество, включающее в себя в се рассматриваемые множества, называется универсальным множеством или универсумом и обозначается U. Символом  обозначается отношение принадлежности. Запись x означает , что элемент х принадлежит множеству Х. Если элемент х не принадлежит множеству Х, то пишут хХ.

Множества могут быть заданы следующими способами:

перечислением (списком своих элементов);
описанием свойств, которыми должны обладать его элементы;
порождающей процедурой.

ПРИМЕР

Множество экзаменационных оценок может быть задано:

перечислением А={2; 3; 4; 5}
описанием свойств: А={a a- экзаменационная оценка
порождающей процедурой: А=а а=2+i, i= 

Подмножеством множества А называется множество В, если любой элемент множества В принадлежит множеству А:

(1)

Символом  обозначается отношение включения. Запись АВ означает множество А является подмножеством множества В.

Не следует смешивать отношение принадлежности  и отношение включения . Отношение принадлежности применяется к элементам множества, а отношение включения к множествам. Хотя 1}, не верно, что 1, так как единственным элементом множества 1 является 1.

Если А и , то , то есть множество А строго включено в множество В. Символ  называется строгим включением.

1.1.1. Свойства подмножеств.

Рефлексивность. Множество А является подмножеством множества А:

. (2)

Транзитивность. Если множество А является подмножеством множества В , а множество В является подмножеством множества С, то множество А является подмножеством множества С:

(3)

Принцип объемности. Если множество А является подмножеством множества В, а множество В является подмножеством множество А, то множество А равно множеству В:

(4)

1.1.2 Операции над множествами.

Объединением множеств А и В называется множество, состоящее из всех тех и только тех элементов, которые принадлежат хотя бы одному из множеств А или В:

(5)

Пересечением множеств А и В называется множество, состоящее из тех и только тех элементов, которые принадлежат множеству А и множеству В:

(6)

Разностью множества А и В называется множество всех тех элементов, которые принадлежат множеству А и не принадлежат множеству В:

(7)

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

(8)