
- •Общие сведения
- •Сведения об ЭУМК
- •Методические рекомендации по изучению дисциплины
- •Рабочая учебная программа
- •Теоретический раздел
- •Лекции
- •Раздел 1. Теория множеств
- •Глава 1. Множества и подмножества
- •1.1 Элементы и множества
- •1.2 Способы задания множеств
- •Глава 2. Операции над множествами
- •2.1 Сравнение множеств
- •2.2 Операции над множествами
- •2.3 Свойства операций над множествами
- •2.4 Примеры доказательств тождеств с множествами
- •2.5 Булеан
- •Глава 3. Упорядоченные множества
- •3.1 Кортеж
- •3.2 Операция проекции
- •3.3 Декартово произведение множеств
- •3.4 Графики
- •Глава 4. Отношения на множествах
- •4.1 Понятие отношения
- •4.2 Свойства отношений
- •4.3 Операции над отношениями
- •4.4 Отношение эквивалентности
- •4.5 Отношение порядка
- •Глава 5. Соответствия и функции
- •5.1 Основные понятия соответствия
- •5.2 Операции над соответствиями
- •5.3 Свойства соответствий
- •5.4 Отображения множеств
- •5.5 Функция
- •Глава 6. Мультимножества
- •6.1 Понятие мультимножества
- •6.2 Операции над мультимножествами
- •Раздел 2. Теория графов
- •Глава 1. Основные понятия
- •1.1 Определения и примеры
- •1.2 Способы задания графов
- •Глава 2. Графы
- •2.1 Типы графов
- •2.2 Подграфы
- •2.3 Сильно связные графы и компоненты графа
- •2.4 Маршруты, цепи, пути и циклы
- •2.5 Связность и компоненты графа
- •2.6 Операции над графами
- •2.7 Матрица смежности и инцидентности
- •Глава 3. Орграфы
- •3.1 Определения и примеры
- •3.2 Орграфы и матрицы
- •3.3 Ориентированные эйлеровы графы
- •Глава 4. Ориентированные ациклические графы и деревья
- •4.1 Ориентированные ациклические графы
- •4.2 Деревья
- •Глава 5. Планарность и двойственность
- •5.1 Планарные графы
- •5.2 Точки сочленения, мосты и блоки
- •5.3 Двойственные графы
- •Глава 6. Поиск на графах
- •6.1 Исследование лабиринта
- •6.2 Поиск в глубину
- •6.3 Поиск в ширину
- •6.4 Нахождение кратчайшего пути (Алгоритм Дейкстры)
- •Практический раздел
- •Указания по выбору варианта
- •Теоретическая часть (вопросы)
- •Практическая часть
- •Контрольное задание №1.
- •Контрольное задание №2.
- •Контрольное задание №3.
- •Контрольное задание №4.
- •Контрольное задание №5.
- •Контрольное задание №6.
- •Теоретическая часть (вопросы)
- •Контрольное задание №1.
- •Контрольное задание №2.
- •Контрольное задание №3.
∙Тогда композиция графиков этих отношений равна Ф3 = Ф1 Ф2 =
{<1,1>, <1, 3>,<1,2>, <3,2>, <3,1>}.
∙Отметим, что все операции над отношениями могут выполняться только на одной и той же области задания, и в результате выполнения операций снова получается отношение с той же самой областью задания
∙Введем операцию, меняющую область задания отношений.
∙Пусть φ =<Ф, М>, и А М, тогда сужением отношения φ на
множестве А называется новое отношение
∙φ1 = <Ф∩A2, A>
∙Например, φ =<Ф, М>, М={ 1,2,3}, Ф = {<1, 1>,<1, 2>, <1, 3>}, A
={1,2}. Тогда φ1 = <{<1,1>,<1,2>},{1,2}>.
o4.4 Отношение эквивалентности
∙ |
Отношение |
эквивалентности |
является формализацией такой |
||
ситуации, когда говорят о сходстве двух элементов множества. |
|
||||
∙ |
Бинарное |
отношение |
R |
называется |
отношением |
эквивалентности, если |
оно рефлексивно, |
симметрично и |
транзитивно. |
||
Отношение эквивалентности xRy часто обозначается: х ~ у. |
|
||||
∙ |
Пример 1. |
Отношение |
«одного роста» есть |
отношение |
эквивалентности на множестве X людей. Рефлексивность. Каждый человек такого же роста, как он сам. Симметричность. Сидоров одного роста с Петровым тогда и только тогда, когда Петров одного роста с Сидоровым. Транзитивность. Если Сидоров одного роста с Петровым, а Петров одного роста с Ивановым, то Сидоров одного роста с Ивановым.
50
∙Пример 2. Отношение обычного равенства на множестве целых чисел есть отношение эквивалентности.
∙Пример 3. Отношение х < у на множестве действительных чисел не есть отношение эквивалентности, так как оно не рефлексивно, не симметрично, а лишь транзитивно.
∙Если для бинарного отношения потребовать только выполнения свойств рефлексивности и симметричности, а транзитивности не требовать,
то получим другой тип отношения. Оно называется отношением толерантности и является формализацией случая, когда два элемента множества не сходны, а только почти сходны (похожи).
∙ Подмножество [х] = {у X: у ~ х} называется классом
эквивалентности, содержащим x (это множество всех элементов X,
эквивалентных данному элементу x). Любой элемент у [x] называется
представителем этого класса.
∙ Пример. Рассмотрим отношение принадлежности к одной студенческой группе. Классом эквивалентности является все множество студентов одной группы.
∙Теорема 1. Пусть R — отношение эквивалентности на множестве
X. Тогда:
∙1) для х X имеем х [x];
51
∙2) если х, у X и xRy, то [х] = [у].
∙Другими словами, класс эквивалентности порождается любым своим элементом.
∙Доказательство. Воспользуемся рефлексивностью отношения
эквивалентности R, т. е. xRx. Следовательно, по определению, х [х].
∙ Пусть z [у]. Тогда yRz, и в силу транзитивности отношения
эквивалентности имеем: из xRy и yRz справедливо xRz, т. е. z [х]. Отсюда [у]
[х].
∙Аналогично в силу симметричности R получаем [х] [у].
Следовательно, [х] = [у].
52
∙Теорема 2. Всякое отношение эквивалентности R определяет разбиение множества X на классы эквивалентности относительно этого отношения R.
∙Теорема 3. Пусть задано разбиение множества X на попарно непересекающиеся подмножества. Тогда эти подмножества будут классами эквивалентности по некоторому отношению эквивалентности на X.
o4.5 Отношение порядка
∙ Антисимметричное транзитивное отношение называется отношением порядка. Отношение порядка может быть рефлексивным, и тогда оно называется отношением нестрогого порядка. Отношение порядка может быть антирефлексивным, и тогда оно называется отношением строгого порядка. Отношение порядка может быть полным (линейным), и тогда оно называется отношением полного, или линейного порядка. Отношение порядка может не обладать свойством полноты (линейности), и тогда оно называется отношением частичного порядка. Обычно отношение строгого порядка (полного или частичного) обозначается знаком <, а отношение нестрогого порядка — знаком ≤. Отношение порядка в общем случае обозначается
знаком . Бинарное отношение, которое только рефлексивно и транзитивно,
называется отношением предпорядка.
∙Пример 1.Отношение < на множестве чисел является отношением строгого полного порядка. Отношение ≤ на множестве чисел является отношением нестрогого полного порядка.
∙Пример 2.Рассмотрим множество {1,2,3} и отношение R = {(1,1), (1,2), (1,3), (2,2), (3,1), (3,2), (3,3)}. Это отношение рефлексивно, так как здесь присутствуют элементы (1,1), (2,2), (3,3). Это отношение транзитивно, так как из присутствия элементов (х, у),
∙(у, z) следует присутствие элемента (х, z). В самом деле, у нас есть (1,3), (3,2), и есть (1,2). Также имеются элементы (3,2), (2,2) и есть элемент (3,2). Аналогично и для элементов (3,1), (1,2) есть (3,2), для (1,2), (2,2) — элемент (1,2). Следовательно, R есть отношение предпорядка.
53
∙Пример 3.Теперь рассмотрим множество Х1× Х2 и попробуем задать на этом множестве отношение порядка, т. е. введем сравнение между парами элементов из Х1 и 1 Х2 . При этом пусть <Х1,R1> и <Х2, R2> — упорядоченные множества.
∙Это можно сделать, например, так. Определим отношение П условием: (a1,a2)П(b1,b2) ↔a1R1b1 ,a2R2b2 . Получится отношение порядка на Х1× Х2.
∙ Такое отношение рефлексивно, так как a1R1a1 ,a2R2a2 и, следовательно, (a1,a2)П(a1,a2).
∙Далее П антисимметрично, так как (a1,a2)П(b1,b2) , (a1,a2) П (a1,a2) следует (a1,a2) = (b1,b2). В самом деле, из a1R1b1, b1R1a1 получаем a1= b1, а из a2R2b2, b2R2a2 следует a2 = b2.
∙Это отношение также и транзитивно. Пусть (a1,a2)П(b1,b2),
(b1,b2)П(c1,c2).
∙Отсюда (a1,a2)П(c1,c2), так как a1R1b1, b1R1c1 влечет a1R1c1, а a2R2b2, b2R2c2 – a2R2c2.
∙Такое отношение порядка называется отношением Парето.
∙Множество, на котором определено отношение частичного порядка, называется частично упорядоченным. Множество, на котором определено отношение полного порядка, называется вполне упорядоченным.
∙Пример. Множество чисел упорядочено линейно, а булеан упорядочен частично.
∙Элемент х множества М с отношением порядка называется
минимальным, если не существует меньших элементов: ¬ уϵМ у х & у≠х.
54
∙Элемент аϵМ называется максимальным в упорядоченном
множестве М, если из а х следует х = а. Всякий наибольший элемент
является максимальным. Обратное неверно.
∙Пример. Пустое множество Ø является минимальным элементом булеана по включению.
∙Теорема. Во всяком конечном непустом частично упорядоченном множестве существует минимальный элемент.
∙Доказательство.
∙От противного. Пусть ¬( х ϵ М ¬ у ϵМ у х).
∙Тогда xϵМ yϵMy x (ui)i=1∞ iui+1<ui&ui+1 ≠ui .
∙Поскольку |M| <∞, имеем i,ji<j&ui= uj.
∙Но по транзитивностиui ui+1 … uj ui+1 uj = ui.
55