Теория множеств.
Понятия множества. Способы задания. Примеры.
Множество - это совокупность объектов, называемых элементами множества.
Подмножества. Равенство множеств.
Операции над множествами: объединение, пересечение, дополнение. Определение. Свойства. Примеры.
Объединение
Определение
Пусть даны два множества A и B.
Тогда их объединением называется множество
Примеры
Пусть A = {1,2,3,4}, B = {3,4,5,6,7}. Тогда
·
·
Свойства
· Объединение множеств является бинарной операцией на произвольномбулеане 2 X;
· Операция объединения множеств коммутативна:
· Операция объединения множеств транзитивна (ассоциативность):
· Пустое множество X является нейтральным элементом операции объединения множеств:
· Таким образом булеан вместе с операцией объединения множеств является моноидом;
Операция пересечения множеств идемпотентна:
Пересечение
Определение
Пусть даны два множества A и B.
Тогда их пересечением называется множество
! Гораздо реже используется обозначение AB.
Примеры
Пусть A = {1,2,3,4}, B = {3,4,5,6}. Тогда
Свойства
· Пересечение множеств является бинарной операцией на произвольномбулеане 2 X;
· Операция пересечения множеств коммутативна:
· Операция пересечения множеств транзитивна (ассоциативность):
· Универсальное множество X является нейтральным элементом операции пересечения множеств:
· Таким образом булеан вместе с операцией пересечения множеств является абелевой группой;
· Операция пересечения множеств идемпотентна:
· Если — пустое множество, то
Дополнение
Определение
Пусть даны два множества A и B. Тогда их (теоретико-множественная) разность определяется следующим образом:
Примеры
· Пусть . Тогда
· Пусть — множество всех вещественных чисел,
— множество рациональных чисел, а
— множество целых чисел. Тогда
— множество всех иррациональных чисел, а
— дробных.
Свойства
Пусть A, B, C — произвольные множества. Тогда
·
·
·
·
·
·
·
·
Алгебра множеств. Свойства операций.
Алгеброй множеств -называется пара , где
— некоторая совокупность множеств, а
— набор операций над множествами. Обычно полагают, что
— множество всех подмножеств универсума
.
Свойства операций над множествами.
1. Ассоциативность: ![]() ![]() | 3. Существование универсальных границ:
А U 0 = A: A ∩ 0 = 0: A ∩ U = U: A ∩ U = A
4. Двойное дополнение (двойное отрицание): ![]() ![]() ![]() ![]() ![]() |
Доказательства законов де Моргана для множеств.
Доказываем графически.
Имеем пересекающиеся множества А и В.
Законы де моргана: //!А = не А
!(А + В) =!А *!В;
!(А * В) =!А +!В.
Доказываем первый, второй доказывается аналогично.
Для начала рассмотрим множества А+В и!(А+В)
Это то, что у нас в левой части закона (выделено желтым).
Теперь, рассматриваем отдельно!А и!В
А теперь умножаем их и получаем правую часть закона (опять выделенно желтым)
Как видно, левая и правая части одинаковы. ЧТД.
Понятие мощности. Конечные и бесконечные множества.
Пусть n – число элементов данного множества А. Это число называется мощностью данного множества.
Конечным множеством называется множество, состоящее из конечного числа элементов. Примерами конечных множеств могут быть множество корней алгебраического уравнения n -й степени, множество букв русского алфавита.
Множество называется бесконечным, если оно состоит из бесконечного числа элементов. Таковы, например, множество всех натуральных чисел, множество точек окружности, множество прямых.