![](/user_photo/2706_HbeT2.jpg)
- •Е.Д. Стрельцова, в.С. Стрельцов моделирование дискретных систем Учебно-методическое пособие по дисциплине «Дискретная математика»
- •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
3. Алгебраические системы
3.1. Понятие алгебраической системы
Алгебраическая система – это множество с определёнными на нём операциями и отношениями. Алгебраическая система принадлежит к числу основных математических структур и имеет глубоко разработанную общую теорию, сформировавшуюся в начале 50х годов 20 века на границе между алгеброй и математической логикой.
Определение 3.1
Алгебраической
системой называется объект
,
состоящий из непустого множества
,
семейства
местных
алгебраических операций
,
и семейства
арных
отношений
,
,
заданных на множестве
.
Таким
образом, алгебраическая система
описывается кортежем
.
Переменные
показатели декартовых степеней и
представляют собой целые неотрицательные
числа. Множество
называется носителем, или основным
множеством алгебраической системы
,
а семейство множеств
,
её сигнатурой. Образ
элемента
при отображении
называется значением операции в точке
.
Если
,
то говорят, что элементы
из
находятся в отношении
и пишут в префиксной форме
или в постфиксной форме
.
Операции
,
и отношения
,
,
в отличие от других операций и отношений,
которые могут быть заданы на
,
называются основными или главными. Пара
семейств
называется типом алгебраической системы.
Определение 3.2
Две
алгебраических системы
и
называются однотипными, если
,
если
,
,
,
.
Основные операции
,
и отношения
и
называются одноимёнными.
Таким
образом, тип алгебраической системы –
это последовательность чисел
.
Определение 3.3
Алгебраическая
система называется конечной, если
множество
конечно. Алгебраическая система
называется алгебраической системой
конечного типа, если множество
конечно.
Алгебраическая
система конечного типа задаётся в виде
,
,
,
.
Алгебраическая система
называется универсальной алгеброй или
просто алгеброй, если множество
основных отношений является пустым:
.
Определение 3.4
Алгебраическая
система
называется моделью или реляционной
системой, если множество
основных операций пусто:
.
Определение 3.5
Непустое
множество
называется замкнутым относительно
операции
,
если
выполняется
,
т.е. результат операции
принадлежит множеству
.
Если
рассматривать операции
,
и отношения
,
,
то получим алгебраическую систему
,
однотипную данной, которая называется
подсистемой алгебраической системы
.
Подсистемы универсальных алгебр
называются подалгебрами, а подсистемы
моделей – подмоделями.
3.1. Морфизм алгебраических систем
Рассмотрим
две алгебраические системы:
,
,
,
,
и
,
,
,
,
.
Очевидно, что алгебраические системы
и
являются однотипными. Рассмотрим
отображение
.
Будем говорить, что это отображение
согласовано с операцией
и отношением
,
если выполняются следующие соотношения:
;
;
или в префиксной форме
.
Определение 3.5
Отображение
называется морфизмом алгебраической
системы
на алгебраическую систему
,
если оно согласовано со всеми парами
операций
,
,
и отношений
,
.
Если отображение соръективно, то это гомоморфизм, если отображение инъективно, то это мономорфизм, если отображение биективно, то это изоморфизм.