- •1. Теория множеств
- •1.1 Понятие множества
- •Свойства отношения включения:
- •Полезные соотношения:
- •1.2. Операции над множествами
- •1.3. Диаграммы Эйлера - Венна
- •1.4. Алгебра множеств
- •Законы:
- •I. Докажем, что левая часть включена в правую:
- •II. Докажем, что правая часть включена в левую:
- •1.5. Кортеж. График
- •Свойства графиков
- •1.6. Соответствия
- •2 3 4 5
- •1.7. Отношения
- •Свойства отношений
- •1.7.1 Отношение эквивалентности
- •Свойства :
- •1.7.2. Отношения порядка
- •1.7.3. Морфизмы
- •1.8. Решетки
- •1.8.1. Диаграммы Хассе
- •1.8.2. Понятие решетки
- •1.8.3. Алгебраическое представление решеток. Булевы решетки
- •1.8.4. Подрешетки
- •1.9.4. Мощность множества r. Теорема Кантора
- •1.9.5. Арифметика бесконечного
- •2. Математическая логика
- •2.1. Логика высказываний
- •2.1.1. Операции над высказываниями
- •2.1.2. Построение и анализ сложных высказываний
- •2.1.3. Алгебра высказываний
- •2.1.5. Преобразование высказываний
- •2.1.6. Минимизация высказываний методом Квайна
- •2.1.7. Минимизация с помощью карт Вейча
- •2.1.8. Функциональная полнота
- •4.2. Теорема Эйлера
- •4.10. Внутренняя устойчивость графа
- •4.11. Множество внешней устойчивости. Ядро графа
- •4.8. Определение путей в графе
- •4.9. Приведение графа к ярусно-параллельной форме
- •4.3. Полные графы и деревья
- •4.5. Алгоритм Краскала
- •4.12. Клика
1. Теория множеств
1.1 Понятие множества
Множество - фундаментальное неопределяемое понятие. Множество понимается как объединение в одно целое объектов, хорошо различимых нашей интуицией или мыслью.
Теорию множеств можно подразделить на аксиоматическую и интуитивную (наивную).
Аксиоматическая теория исходит из того, что множество определяется совокупностью аксиом, записанных обычно на языке логики (предикатов). Интуитивная теория множеств апеллирует к интуиции, к базовому понятию принадлежностиэлемента множеству, то есть к интуитивной понятности отношения принадлежности(а A - элемент а принадлежит множеству A).
Для интуитивного понятия множества существенны два момента, следующие из "определения":
1. Различимость элементов.
2. Возможность мыслить их как нечто единое.
Студенты образуют группу. Деревья составляют лес.
Целые числа составляют множество целых чисел.
Жители Марса - множество марсиан.
Множество, не содержащее элементов, называется пустым множеством и обозначаетсяили. Обычно именно фигурные скобки используются для выделения множества (отсутствие элементов в скобках и говорит о том, что это пустое множество).
Множество, заведомосодержащее всерассматриваемыеэлементы, называетсяуниверсальнымилиуниверсумом - U.
Было бы опрометчиво говорить просто, что U содержитвсеэлементы. К сожалению, имеют место так называемые парадоксы теории множеств. Самый знаменитый –парадокс Рассела, который показывает невозможность построить множествовсехподмножеств, не содержащих себя в качестве элемента. Более прост в пониманиипарадокс брадобрея, которому приказано брить в тридевятом государствевсех тех итолько тех, кто не бреется сам. Перед брадобреем неразрешимый вопрос:
Включать ли самого себя в множествотех, кого он обязан брить?!
Способы задания множеств:
A = {a, b, c, d} - задание множества явным перечислением элементов.
Например, гвардия = {Иванов, Петров, Сидоров}
B = {x | С(x)} - задание множества (характеристическим) свойством С(x).
Например, студенчество = {x | x - студент}-множество таких х, чтох -студент.
Отношение включения . Множество А включено в множество В(А В)или А естьподмножествомножества В, если из хА следует хВ.
Например, студенческая группа студенты данной специальности
Отношение строгого включения : Если AB и AB , то можно написать
A B.
Например: множество отличников
Кстати, на что намекает это отношение?
Свойства отношения включения:
1. Рефлексивность: AA
2. Принцип объемности: AB и BA следует B = A (на основе этого принципа и доказывается равенство двух множеств).
3. Транзитивность: AB и BC следует AC
Полезные соотношения:
{ }= ; 1{ 1 } ; {{ 1 }}{ 1 } ; { а, в }{ в, а }
1.2. Операции над множествами
1. Объединениемножеств A и B
A B = { x|xA или xB } (или -неисключающее)
2. Пересечениемножеств A и B
A B = { x | x A и x B }
3. Разностьмножеств A и B
A \ B = { x | x A и x B }
4. Симметрическая разностьмножеств A и B
A B = { x | (xA и xB) или (xA и xB)}=( A \ B ) ( B \ A )
5.Дополнение множества A
A= { x | xA }
Пример.
Пусть А = {1, 2, 3} и B= {3,4}, тогда
A B = {1, 2, 3, 4}
A B = {3}
A \ B = {1, 2}
A B = {1, 2, 4}
А= множество чисел кроме 1, 2, 3.