- •Е.Д. Стрельцова, в.С. Стрельцов моделирование дискретных систем Учебно-методическое пособие по дисциплине «Дискретная математика»
- •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
Пусть теперь у (ав) (ас) у (ав) у (ас) (у а у в) (у а у с) у а (у в у с)
у А(ВС).
2.Доказать, что (АВ)=АВ.
Решение
хù(АÇВ)х(АВ)хА Ú хВхùА хùВ.
хùАВ хА Ú хВ хА Ú хВ хАВ хù(АÇВ).
3. Доказать, что для любых А,В и С справедливо равенство А\(ВС) =(А\В) (А\С).
Решение
х А\(ВС)хА хВС хА хВ хС хА хВ хА хСх(А\В) х(А\С) х(А\В) (А\С);
х(А\В) (А\С) хА\В хА\С хА хВ хА хС
хА (хВ хС) хА х(ВС) х А\(ВС).
4. Доказать, что АВАСВС.
Решение
(АВ);
хАСхА хС хВ хСхВС.
Задачи для самостоятельного решения
1. Справедливы ли неравенства:
а) {а1, а2}|={а1, а1, а2};
б) {а1, а2}={а2, а1}.
2. Найти множества:
а) {х1, х2, х3}{х3, х4};
б) {х1, х2, х3}{х2, х4, х5};
в) {х1, х2, х3}\{х3, х4, х5}.
3. Доказать следующие тождества:
а) АА = АА = А;
б) АВ = ВА;
в) АВ = ВА;
г) (АВ)С = А(ВС);
д) (АВ)С = А(ВС);
е) А(ВС) = (АВ)(АС);
ж) (АВ) = АВ;
з) А\(ВС) = (А\В)(А\С);
и) А\(А\В) = АВ;
к) А\В = А\(АВ);
л) А( В\С) = (АВ)\(АС) = (АВ)\С;
м) (А\В)\С = (А\С)\(В\С);
о) АВ = А(В\А);
п )(А) = А;
р) (АВ)(АВ) = (АВ)(АВ) = А;
с) (АВ)\С = (А\С)(В\С);
т) А\(В\С) = (А\В)(АС);
у) А\(ВС) = (А\В)\С.
4. Доказать, что для произвольных множеств А, В и С справедливы равенства:
а ) (АВ)\(АВ) = (АВ)(ВА);
б) (А\В) = А(АВ);
в) (С\А)(С\В) = АВС;
г) А\((АВ)(А\В)) = .
5. Доказать, что:
а) АВСАС ВС;
б) АВС АВ АС;
в ) АВС АВС;
г ) АВС АВС;
д) (А\В)В = АВА;
е) (АВ)С = А(ВС)СА;
ж) АВАСВС;
з) АВ АСВС;
и) АВ(А\С)(В\С);
к) АВ(С\В)(С\А);
л) АВВА;
м) АВ = АВА=В;
н ) А=В АВ = О АВ=U;
о) А\С=СВС=А;
п) ВС=А А\В=С;
р) (А\В)(В\А) = ОА=В.
6. Доказать тождества:
а) А÷В=В÷А;
б) А÷ (В÷С)=( А÷В)÷С;
в) А (В÷С)= ( АВ)÷ (АС);
г) А÷ (А÷В)=В;
д) АВ= А÷В÷ (АВ);
е) А\В= А÷ (АВ);
ж) А÷=А;
з) А÷А=;
и ) А÷U=А;
к) АВ=(А÷В)(АВ).
7. Доказать, что:
а) А÷В=О А=В;
б) АВ=О АВ= А÷В;
в) А÷В=С В÷С=А.
4.2. Векторное произведение
Вектор (кортеж) это упорядоченный набор (последовательность) элементов, в которой каждый элемент занимает определённое место: С=(х1, х2, х3). Упорядоченный набор символов называется алфавитом. Число элементов кортежа называют его длиной или размерностью. Кортеж длиной два называют двойкой (упорядоченной парой), длинной ń – энкой .
Прямым (декартовым) произведением множеств Х и У называют множество, состоящее из всех тех и только тех упорядоченных пар, первая компонента которых принадлежит множеству Х, а вторая множеству У. Таким образом, элементами прямого произведения являются двухэлементные картежи (х,у):
Х У { (х,у) / хХ, уУ }.
Пример
А=(а1, а2, а3); В=(в1, в2).
А В={(а1, в1), (а1, в2), (а2, в1), (а2, в2), (а3, в1), (а3, в2)}.
Прямым произведением множеств Х1, Х2, … , Хn называют множество, обозначаемое Х1 Х2 … Хn и состоящее из всех тех и только тех кортежей длины n, первая компонента которых принадлежит множеству Х1 , вторая Х2, и так далее:
Х1 Х2 … Хn {(х1, х2, … ,хn) / х1 Х1, х2 Х2, … , хn Хn }.
Если Х1=Х2=…=Хn, то множество Х1 Х2 … Хn называется прямой степенью множества Х и обозначается Хn.
Задачи и упражнения
1. Доказать, что если А, В, С и D не пусты, то:
а) АВСD А CB D;
б) ( АВ) (СD )= (А C)(B D);
в) А (В\С)=(А В)\(А C);
г) (А\В) С=(А С)\(В C).
Решение
ABCD;
а)(x, y)А CxA, yC xB, yD(x, y)B D А CB D;
А CB D;
xA, yC xB, yD АВСD;
б) (x, y)(AB) (СD)xAB, yСD xA xB, yС yD xA, yС xB, yD(x, y)(А C) (x, y)(B D)(x, y) (А C)(B D) (AB) (СD) (А C)(B D);
(x, y)(А C)(B D)(x, y)(A C) (x, y)(B D)
xA, yС xB, yD xA xB, yС yD
xAB, yСD(x, y)(AB) (СD) (AB) (СD).
в) (x, y) А (В\С) xA, уB\С xA, уB уС xA, уB xA, уС (x, y) А В (x, y)А С(x, y)(А В)\(А C) А (В\С)(А В)\(А C);
(x, y)(А В)\(А C)(x, y)(А В) (x, y)(А С)
xA, уB (xA, уС xA, уС xA, уС)
(но х не может одновременно и принадлежать множеству А и не принадлежать ему, поэтому принимаем xA, уС)
xA, уB xA, уС xA, (уB уС) xA, уB\С
(x, y) А (В\С) (А В)\(А C) А (В\С);
г) (x, y)(А\В) Сх А\В, уС хА хВ, уСхА, уС хВ, уС (x, y)(А С) (x, y)(В C)
(х,y)А С\В C(А\В) С(А С)\(ВC);
(x, y)А С\В C(x, y)(А С) (x, y)(В C) хА, уС (хВ, уС хВ, уС хВ, уС) хА, уС хВ, уС (хА хВ), уВ хА\В, уВ(x, y)(А\В) С (А С)\(В C) (А\В) С;
Задачи для самостоятельного решения
2. Пусть Х={х, (у, z), (a, b), {d}}, У={x, (k, e), {m, n}}.
Найти:
а) Х У;
б) (Х\У) Х;
в) (ХУ) У;
г) (ХУ) А;
д) Х(Х У);
е) Х .
3. Найти декартов квадрат множества А={1, 2, 3, 4}.
4. Найти декартов куб множества В={5, 6, 7}.
5. Доказать, что если A, B, C и D не пусты, то А=В и С=D А С=D D.
6. Доказать, что Аt Bt=( Аt Bt).
7. Доказать тождество:
а) (А В)(C D)(AC) (BD);
б) (AB) С=(А C)(B C);
в) А (BC)= (А В)(A C);
г) (AC) (CD)=(А C)(B C) (А D)(B D);
д) (А\В) С=(А С)\(В C);
е) А (В\С)=(А В)\(А C).
8. Доказать, что если множества A, B, C и D не пусты, то:
а) АВ CDА СВ D;
б) A=B C=D А С=В D;
в) А СВ D АВ CD;
г) А С=В D A=B C=D;
е) (А В)(С D) (AC) (BD).