- •Е.Д. Стрельцова, в.С. Стрельцов моделирование дискретных систем Учебно-методическое пособие по дисциплине «Дискретная математика»
- •2. Теория множеств и отношений………………………………….20
- •Введение
- •1. Функции алгебры логики
- •1.1. Основные понятия
- •Пример функции алгебры логики , заданной таблицей
- •1.2. Алгоритм нахождения фиктивных аргументов.
- •1.3. Элементарные функции алгебры логики
- •Функции алгебры логики, зависящие от одного аргумента
- •Вопросы к разделу 1
- •2. Теория множеств и отношений
- •2.1. Множества. Способы задания множеств
- •2.2. Основные операции над множествами
- •2.2.1. Объединение множеств
- •2 .2.2. Пересечение множеств
- •2.2.3. Разность множеств
- •2.2.4. Дополнение множеств
- •2.4. Свойства операций над множествами
- •2.5. Упорядоченные множества
- •2.6. Прямое (декартово) произведение множеств
- •2.7. Степень множеств
- •2.8. Сечение и проекция
- •Декартово произведение
- •2.9. Соответствия
- •2.10. Композиция соответствий.
- •2.11. Отображения
- •2.12. Виды отображений. Функциональное отображение (функция)
- •2.13. Функционалы
- •2.14. Операторы
- •2.15. Линейные операторы
- •Отношение «Читает лекции по…»
- •Отношение «Посещать лекции»
- •2.20. Бинарные отношения
- •2.20.1. Матричный способ задания отношений
- •2.20.2. Задание отношений в виде графа
- •2.20.3. Задание отношений с помощью фактор множества
- •2.21. Свойства бинарных отношений
- •2.22. Отношение эквивалентности
- •2.23. Отношение порядка
- •2.24. Изоморфизм отношений
- •2.26. Операции над бинарными отношениями
- •2.26.1. Объединение отношений
- •2.26.2. Пересечение отношений
- •2.26.3. Разность отношений
- •2.26.4. Включение отношений
- •2.26.5. Переход к обратному отношению
- •2.26.6. Произведение отношений
- •2.26.7. Транзитивное замыкание
- •Вопросы к разделу № 2
- •3. Алгебраические системы
- •3.1. Понятие алгебраической системы
- •3.1. Морфизм алгебраических систем
- •3.3. Автоморфизмы
- •3.4. Виды универсальных алгебр
- •3.4.1. Полугруппы. Моноиды
- •3.4.2. Морфизм групп
- •3.4.3. Свойства морфизма групп
- •3.4.4. Кольцо
- •Вопросы к разделу №3
- •4. Практикум к решению задач Основные обозначения
- •4.1. Операции над множествами
- •Разностью множеств а и в называется множество
- •Симметрической разностью множеств а и в называется множество
- •Пустым множеством называется множество, не имеющее ни одного элемента.
- •Задачи и упражнения
- •На основании (14) можно записать
- •По определению объединения
- •Пусть теперь у (ав) (ас) у (ав) у (ас) (у а у в) (у а у с) у а (у в у с)
- •Задачи для самостоятельного решения
- •4.2. Векторное произведение
- •4.3. Соответствие
- •Свойства отношений
- •Список литературы
- •Моделирование дискретных систем
- •3 46428, Г. Новочеркасск, ул. Просвещения, 132
4. Практикум к решению задач Основные обозначения
{ х1, х2, х3 } – множество из трех элементов х1, х2, х3, заданное перечислением;
х А – х является элементом множества А;
y B – y не является элементом множества B;
В А, В А – множество В есть подмножество множества А;
А В – объединение множеств A и B;
A B – пересечение множеств A и B;
А \ В – разность множеств А и В;
А ÷ В – симметрическая разность множеств А и В;
А = В – равенство множеств А и В;
А = – дополнение множества А;
U – универсальное множество;
– пустое множество;
– квантор общности, х читается: "для всех х";
– квантор существования, х читается: "существует х";
→ – "если …, то …";
↔ – "тогда и только тогда, когда";
– "есть по определению";
/ – "таких, что";
{ х / х … } – множество, заданное с помощью характеристического свойства, читается: "множество элементов х, таких, что …".
4.1. Операции над множествами
Объединением множеств А и В называется множество
А В { х / х А х В }.
Пересечением множеств А и В называется множество
А В { х / х А х В }.
Разностью множеств а и в называется множество
А \ В { х / х А х В }.
Симметрической разностью множеств а и в называется множество
А ÷ В = ( А \ В ) ( В \ А).
Множество В есть подмножество множества А тогда и только тогда, когда
В А х В → х А.
Если В А и В А, то используется обозначение В А:
В А ( х В → х А ) ( у А / у В ).
Два множества А и В равны тогда и только тогда, когда
А = В ( х А → х В ) ( у В → у А ),
т.е. существуют оба включения
А = В ↔ А В В А.
Универсальным множеством U называется множество, состоящее из всех элементов.
Дополнением множества А называется множество
А = U \ А { х / х А }.
Пустым множеством называется множество, не имеющее ни одного элемента.
Основные законы алгебры множеств
- Закон коммутативности
А В = В А ; А В = В А.
- Закон ассоциативности
(А В) С = А (В С) ; (А В) С = А (В С ).
- Закон дистрибутивности
А (В С) = (А В) (А С) ; А (В С) = (А В) (А С))
- Закон де Моргана
А В = А В ; А В = А В.
- Закон идемпотентности
А А = А ; А А = А.
- Закон инвалюции
Задачи и упражнения
1. Доказать закон дистрибутивности: А(ВС)=(АВ)(АС).
Решение
В задаче требуется доказать равенство множеств X=A(BC) и У=(АВ)(АС).
В соответствием с выражением (7) два множества Х и У равны тогда и только тогда, когда выполняются два условия:
Х=У(хХхУ)(уУуХ).
Пусть хА(ВС). Тогда по определению пересечения множеств (2) хА хВС. Используя выражение (1) можно утверждать, что хА (хВ хС). Выражение хВ хС означает, что могут иметь место следующие три случая:
хÎВхС или хВ хÎС, или хВ хС.
Если хА хВ хС, то хАВ, если хА хВ хС, то хАС, если хА хВ хС, то хАВС, т.е. имеем
хАВ хАС хАВС.
На основании (14) можно записать
хАВ хАС х(АВ)(АС).
По определению объединения
х(АВ)х(АС)х(АВ) (АС).