- •1. Элементы теории множеств
- •1.1 Множества. Основные понятия
- •1.2. Способы задания множеств
- •1.3. Операции над множествами. Диаграммы Венна
- •1.4. Свойства операций над множествами
- •1.5. Прямое (декартово) произведение множеств
- •1.6 Разбиения и покрытия
- •1.7. Замечание о мощности некоторых множеств
- •1.8 Представление множеств в эвм
- •1.9. Отношения
- •1.9.1.Определения
- •1.9.2 Бинарные отношения
- •1.9.3. Способы задания бинарных отношений
- •1.9.4 Свойства бинарных отношений
- •1.9.5. Отношение эквивалентности
- •1.9.5. Отношение порядка
- •1.9.6.1. Минимальные и максимальные элементы множества
- •1.9.6.2. Диаграммы Хассе
- •1.9.6.3. Принцип двойственности
- •1.9.7. Представление отношений в эвм
- •1.10. Соответствия. Функции. Операции. Отображения
- •1.10.1. Соответствия и их свойства
- •1.10.2 Функции и отображения
- •1.10.3. Инъекция, сюръекция и биекция
- •1.10.4. Композиция и суперпозиция функций. Способы задания функций
- •1.10.5. Представление функций в эвм
- •1.10.6. Операции
- •1.10.6.1. Способы задания операций
- •1.11. Алгебраические структуры
- •1.11.2. Замыкание и подалгебры
- •1.11.3. Гомоморфизм и изоморфизм
- •1.11.4. Алгебры с одной бинарной операцией
- •1.11.5. Алгебры с двумя бинарными операциями
- •1.11.6.Решетки
- •1.11.7. Булевы алгебры
- •2. Элементы математической логики и булевы функции
- •2.1. Операции над высказываниями
- •2.2. Логические операции (логические связки)
- •2.3. Элементарные булевы функции
- •2.3.1. Функции алгебры логики
- •2.3.2. Равносильность функций. Существенные и несущественные переменные
- •2.3.3. Реализация функций формулами. Суперпозиция функций
- •2.3.4. Подстановки и замены
- •2.3.5. Принцип двойственности
- •2.3.6. Нормальные формы в логике высказываний
- •2.3.6.1. Разложение булевых функций по переменным. Дизъюнктивно-нормалльная форма (днф)
- •2.3.6.2. Совершенная дизъюнктивная нормальная форма
- •2.3.7. Арифметические операции в алгебре логики. Полиномы Жегалкина
- •2.3.8. Монотонные функции алгебры логики
- •2.3.9. Функционально замкнутые классы
- •2.4. Полнота системы булевых функций. Теорема
- •2.5. Элементы логике предикатов
- •2.5.1. Определение предиката
- •2.5.2. Кванторы. Формулы логики предикатов
- •2.5.3. Равносильность формул
- •2.5.4. Предикаты на конечных областях. Логика одноместных предикатов
- •2.6. Операции над предикатами и кванторами
- •2.7. Построение доказательств в логике предикатов
- •1.6.2. Разбор решений задач по логике предикатов
- •1. Элементы теории множеств 3
- •1.1 Множества. Основные понятия 3
- •2.6. Операции над предикатами и кванторами 137
- •394026 Воронеж, Московский просп., 14
1.5. Прямое (декартово) произведение множеств
Пусть А и В – два множества (возможно различной природы, т. е. принадлежащих различным основным множествам).
Прямым (декартовым) произведением АВ двух множеств называется множество упорядоченных пар (a, b): aA и bB, иначе:
АВ={(a, b)| aA и bB}.
Пример 1: Пусть А={1, 2, 3}; B={4, 5}. Тогда
АВ={(1, 4), (1, 5), (2, 4), (2, 5), (3, 4), (3, 5)},
BA= {(4, 1), (4, 2), (4, 3), (5, 1), (5, 2), (5, 3)}.
Две пары (a, b) и (х, у) считаются равными тогда и только тогда, когда а=х и b=y. Так, пары {1, 2} и {2, 1} равны.
Пример 2: (Шахматная доска). Рассмотрим два множества: A={a, b, c, d, e, f, g, h, } и B={1, 2, 3, 4, 5, 6, 7, 8}. Тогда множеству пар (x, y) АВ соответствует множество клеток шахматной доски.
Если В=А, то - вторая степень множества А.
Замечание: Точка на плоскости может быть задана упорядоченной парой чисел (х, у) – её координат, т.е. .
П ример 3. Множество равно множеству {(x, y)| 0x1, 0y1}, которому соответствует множество точек на плоскости, имеющих неотрицательные координаты, не превосходящие единицы
(рис. 2).
Аналогично определяется декартово произведение n множеств :
{( )| }.
Другое обозначение: . Если , то n-я степень множества А определяется как - n одинаковых множителей.
По определению полагают, что A0 ={}.
1.6 Разбиения и покрытия
Пусть дано множество А и некоторое семейство его непустых подмножеств: : .
Опр. 1. Семейство E называется покрытием множества А, если каждый элемент множества А принадлежит хотя бы одному подмножеству :
или . /
Опр. 2. Семейство E называется разбиением множества А, если элементы этого семейства попарно не пересекаются, т. е. каждый элемент множества А принадлежит не более чем одному из множеств :
при i j.
Другими словами множество непустых подмножеств множества А является его разбиением, если каждый элемент хА принадлежит в точности одному из множеств , каждое из которых не является пустым, так что E разбивает A на различные «части».
Таким образом разбиение E множества А обладает двумя свойствами:
1. при i j ( попарно не пересекаются);
2. (все вместе исчерпывают А).
Пример: Пусть А={a, b, c, d, e, f}. Тогда
{{a, b, d}, {c, f}, {e}} – разбиение множества А,
{{a, b, d}, {c, e, f}, {e}} – покрытие множества А ,
{{a, b, d} {f}} – ни покрытие, ни разбиение.
1.7. Замечание о мощности некоторых множеств
1. Пусть даны два конечных множества А и В, причём и . Тогда количество элементов в объединении двух множеств А и В определяется по формуле:
.
В самом деле, есть число элементов, которые мы получим, перечислив все элементы А, а затем все элементы В. Но в этом случае общие элементы (их число равно будут перечислены дважды, т. е.
+N(AB)+N(AB) =
=N(A)+N(B)+2N(AB), откуда и следует приведенная формула.
Справедлива следующая теорема: если, - произвольные множества, то
(Доказывается методом математической индукции).
Метод подсчёта по этой формуле, состоящей в поочерёдном сложении и вычитании, называется методом включений и исключений.
2. Для любого разбиения конечного множества справедливо равенство:
,
которое называется правилом суммы.
3. Для любого покрытия конечного множества выполняется соотношение:
,
которое называется обобщённым правилом суммы.
4. Для любых конечных множеств, имеет место равенство
,
которое называется правилом произведения.
Если , то .
5. Если , то .