1 Кубенский А.А. Дискретная математика Глава 1. Множества и отношения Отношения Декартово произведение множеств: A B = { (a, b) | a A, b B } B A a1a1 a2a2 a3a3 anan... b1b1 b2b2 bkbk A n = A A... A n раз A 1 = A A 0 = { } A B C = (A B) C = { (a, b, c) | a A, b B, c C } Отношение R из множества A в множество B: R A B, R : A B (a, b) R обычно записывают как aRb Если A = B, то говорят, что R A A - отношение на A

2 Кубенский А.А. Дискретная математика Глава 1. Множества и отношения. Примеры отношений Пусть N – множество натуральных чисел; < - отношение «меньше» на N. Тогда можно писать 3 < 5 или (3, 5) < N N 123n k Пусть | - отношение «делит» на N.: a | b, если b делится на a. Например, 3 | 12, 5 | 5, 1 | k для любого k. Отношение на дискретном множестве A можно изображать в виде графа, например, отношение «делит» на множестве { 1, 2, 3, 4, 5, 6 } может быть изображено в виде:

3 Кубенский А.А. Дискретная математика Глава 1. Множества и отношения. Операции над отношениями Над отношениями можно выполнять все теоретико-множественные операции, поскольку каждое отношение – это некоторое множество. Пусть на множестве натуральных чисел N заданы отношения «меньше» (

4 Кубенский А.А. Дискретная математика Глава 1. Множества и отношения. Некоторые свойства операций над отношениями (R -1 ) -1 = R очевидно, по определению обратного отношения (R 2 R 1 ) -1 = R 1 -1 R 2 -1 действительно, (a,b) (R 2 R 1 ) -1 (b,a) (R 2 R 1 ), то есть найдется c такое, что (b,c) R 1 и (c,a) R 2, то есть (c,b) R 1 -1 и (a,c) R 2 -1 (a,b) (R 1 -1 R 2 -1 ) Если изображать отношения в виде двудольного графа… AB R ABC R1R1 R2R2 R2 R1 …то эти свойства становятся очевидными.

5 Кубенский А.А. Дискретная математика Глава 1. Множества и отношения. Функции Если бинарное отношение R таково, что для каждого a A существует не более одного b B такого, что a R b, то отношение R называется функцией из A в B. При этом элемент b, если он существует, называется образом элемента a, а элемент a – прообразом элемента b. Если для каждого элемента a A существует его образ, то говорят, что функция задана на A. Ядро отношения Если задано отношение R : A B, то отношение ker R = R -1 R называется ядром отношения R. ker R – это отношение из A и A. Если F – функция из A и B, то (a 1, a 2 ) ker F, если элементы a 1 и a 2 имеют один и тот же образ.

6 Кубенский А.А. Дискретная математика Глава 1. Множества и отношения. Свойства отношений Будем рассматривать бинарное отношение R на A. 1.Рефлексивность a A aRa 2.Симметричность a,b A aRb bRa 3.Транзитивность a,b,c A aRb, bRc aRc Рассматривают еще: 4.Антирефлексивность a A aRa 5.Антисимметричность a,b A aRb, bRa a = b 6.Асимметричность a,b A aRb bRa Если отношение рефлексивно, симметрично и транзитивно, то оно называется отношением эквивалентности. Если отношение антирефлексивно, асимметрично и транзитивно, то оно называется отношением строгого порядка. Если отношение рефлексивно, антисимметрично и транзитивно, то оно называется отношением нестрогого порядка. Нестрогий порядок P называется полным (или линейным), если a,b A aPb или bPa. Строгий порядок P называется полным, если для любых различных a и b верно aPb или bPa. Если порядок не полный, то он называется частичным.

7 Кубенский А.А. Дискретная математика Глава 1. Множества и отношения. Свойства отношений (примеры) Отношение < на множестве целых чисел: антирефлексивно; асимметрично; транзитивно; это отношение строгого линейного порядка; Пусть задано некоторое множество A, тогда отношение есть отношение на его булеане 2 A. Оно: рефлексивно; антисимметрично; транзитивно; это отношение нестрогого частичного порядка; Пусть задано некоторое число M, тогда отношение (mod M) есть отношение на множестве целых чисел. Оно: рефлексивно; симметрично; транзитивно; это отношение эквивалентности; Отношение | (делит) на множестве натуральных чисел: рефлексивно; антисимметрично; транзитивно; это отношение нестрогого частичного порядка; Отношение «взаимно просты» на множестве натуральных чисел: антирефлексивно; симметрично;

8 Кубенский А.А. Дискретная математика Глава 1. Множества и отношения. Покрытия и разбиения Для заданного множества M конечное или счетное семейство { M i } называется покрытием M, если Покрытие { M i } называется разбиением M, если множества M i дизъюнктны: M i M j = при i j Пусть N + - множество натуральных чисел, больших единицы, а N i – множество натуральных чисел, делящихся на i. Тогда семейство образует покрытие N +. Пусть для заданного m M i – множество целых чисел n таких, что n i mod m. Тогда семейство образует разбиение множества всех целых чисел. Теорема: отношение эквивалентности на некотором множестве M порождает его разбиение на классы эквивалентности – множества элементов, эквивалентных между собой. Если R – отношение эквивалентности, то мы говорим, что a эквивалентно b, если aRb. Ясно, что можно говорить о множествах элементов, эквивалентных между собой, поскольку отношение эквивалентности рефлексивно, симметрично и транзитивно. Ясно, что классы эквивалентности образуют покрытие множества, поскольку каждый элемент множества эквивалентен, по крайней мере, самому себе (по рефлексивности). Ясно, что классы эквивалентности не пересекаются, поскольку любой элемент, принадлежащий двум разным классам, будет эквивалентен всем элементам как первого, так и второго класса (по транзитивности). Значит, классы эквивалентности образуют разбиение множества M, и теорема доказана.

9 Кубенский А.А. Дискретная математика Глава 1. Множества и отношения. Примеры классов эквивалентности Пример 1. Отношение тождественности. Пусть A – произвольное множество; I – отношение тождественности на нем: aIb тогда и только тогда, когда a и b – один и тот же элемент. Классы эквивалентности, порожденные этим отношением – это все одноэлементные множества, содержащие элементы множества A. Пример 2. Отношение сравнимости по заданному модулю. Пусть N – множество натуральных чисел; R m – отношение на нем: aR m b тогда и только тогда, когда a b mod m. Классы эквивалентности, порожденные этим отношением – это подмножества натуральных чисел, имеющих один и тот же остаток при делении на m. Пример 3. Ядро функции. Пусть F – некоторая функция; F : A B ; ker F – ядро этой функции. Если функция определена на A, то ker F – отношение эквивалентности. Классы эквивалентности, порожденные этим отношением – это подмножества элементов A, имеющих один и тот же образ.

10 Верхняя и нижняя границы и грани Пусть - отношение нестрогого порядка на множестве A. Будем говорить, что c – нижняя граница для элементов a и b, если c a и c b. Аналогично, будем говорить, что c – верхняя граница для элементов a и b, если a c и b c. Будем говорить, что c – нижняя грань для элементов a и b, если c – наибольшая нижняя граница этих элементов, то есть для любой нижней границы d элементов a и b d c. Обозначение: c = inf (a, b). Аналогично, c – верхняя грань для элементов a и b, если c – наименьшая верхняя граница этих элементов, то есть для любой верхней границы d элементов a и b c d. Обозначение: c = sup (a, b). Кубенский А.А. Дискретная математика Глава 1. Множества и отношения. Теорема: если нижняя грань для заданных двух элементов существует, то только одна. Доказательство: пусть c и d – две нижние грани для a и b. Тогда c d и d c. Но, поскольку отношение - антисимметрично, то c и d – один и тот же элемент.

11 Верхняя и нижняя границы и грани – примеры Кубенский А.А. Дискретная математика Глава 1. Множества и отношения. Пример 1. Отношение сравнения чисел Пусть - отношение «больше или равно» на множестве целых чисел. Для любых двух чисел a и b существуют их верхняя и нижняя грани. inf(a,b) = max(a,b); sup(a,b) = min(a,b) Пример 2. Отношение включения множеств Пусть - отношение «есть подмножество» на булеане некоторого множества U. Для любых двух множеств A и B существуют их верхняя и нижняя грани. inf(A,B) = A B; sup(A,B) = A B. Пример 3. Отношение делимости Пусть | - отношение «делит» на множестве натуральных чисел N. Для любых двух чисел a и b существуют их верхняя и нижняя грани. inf(a,b) = НОД(a,b); sup(a,b) = НОК(a,b).

12 Говорят, что в множестве с заданным на нем отношением порядка есть минимальный элемент a, если a есть нижняя граница для любых двух элементов множества (ограниченное снизу множество). Говорят, что в множестве с заданным на нем отношением порядка есть максимальный элемент a, если a есть верхняя граница для любых двух элементов множества (ограниченное сверху множество). Множество называется ограниченным, если в нем есть минимальный и максимальный элементы. Ограниченные множества Кубенский А.А. Дискретная математика Глава 1. Множества и отношения. Примеры Множество целых чисел с заданным на нем отношением порядка не ограничено ни сверху, ни снизу. Булеан заданного множества U с заданным на нем отношением включения множеств ограничен. Минимальный элемент – пустое множество. Максимальный – универсум U. Множество натуральных чисел с заданным на нем отношением «делит» ограничено снизу. Минимальный элемент – единица.