![](/user_photo/2706_HbeT2.jpg)
- •Раздел I. Теория множеств и бинарные отношения
- •Тема 1. Основные понятия теории множеств
- •1. Множества и их элементы
- •2. Операции над множествами
- •3. Представление множеств в эвм
- •4. Отображения
- •Тема 2. Мощность множества
- •1. Понятие мощности
- •0/1 1/1 2/1 3/1 . . .
- •1/2 2/2 3/2 4/2 . . .
- •2. Свойства счетных множеств
- •3. Примеры несчетных множеств
- •4. Множества мощности континуума и выше
- •Тема 3. Нечеткие множества
- •1. Понятие нечеткого множества
- •Примеры записи нечеткого множества
- •Основные характеристики нечетких множеств.
- •Примеры нечетких множеств
- •Методы построения функций принадлежности нечетких множеств
- •2. Операции над нечеткими множествами
- •Свойства операций. Пусть а, в, с – нечеткие множества, тогда выполняются следующие соотношения:
- •Тема 4. Бинарные отношения
- •1. Бинарные отношения и операции над ними
- •2. Свойства операций над отношениями
- •3. Способы задания отношений
- •4. Применение отношений в информационных технологиях
- •5. Свойства бинарных отношений
- •Тема 5. Специальные бинарные отношения.
- •1. Упорядочение и безразличие
- •2. Слабый порядок
- •XIслy ( (X, y) Pсл и (y, X) Pсл )
- •XIслy ( (y, X)Pсл и (X, y)Pсл ).
- •3. Разбиение и эквивалентность
- •4. Качественный порядок
- •5. Описание и организация выбора
3. Разбиение и эквивалентность
Def. Система (конечная или бесконечная) непустых подмножеств А1, A2,..., Аn... множества А называется разбиением, если:
1) объединение множеств Аi образуют все A (т.е. Аi=А);
2) множества Аi попарно не пересекаются (т.е. для любых ij справедливо Аi Aj = ).
Теорема о разбиении. Отношение I АА, будет отношением эквивалентности тогда и только тогда, когда существует разбиение А1, А2,..., Аn,... множества А, что из xIy следует существование такого Аi, что x, yАi.
Другими словами, отношение I является отношением эквивалентности в том и только в том случае, когда множество А можно разбить на пересекающиеся классы, в каждом из которых все элементы эквивалентны между собой. Такие классы называют классами эквивалентности или фактор-множествами.
Доказательство. Предположим, что I – отношение эквивалентности, т.е. оно является рефлексивным, симметричным, транзитивным. Наша задача – построить такое разбиение, чтобы между элементами каждого класса выполнялось отношение I. Введем для каждого xА множество Вx, состоящее из элементов эквивалентных х, т.е. Вx = {zA | xIz }.
Покажем, что два любых множества Bx и By либо совпадают, либо не пересекаются. Пусть zBx By. Это означает, что одновременно zIx и zIy. Тогда, в силу симметричности и транзитивности, получаем xIy. Пусть теперь v – произвольный элемент из Bx, т.е. выполнено отношение vIx. Тогда, вследствие транзитивности отношения I и соотношения xIy, получим vIy, т.е. vBy. Точно также можно доказать, что если vBy, то vBx. Это означает, что всякий элемент v из Bx одновременно принадлежит и By и наоборот. Следовательно, два множества Bx и By, имеющие хотя бы один общий элемент, совпадают между собой.
Наконец, в силу того, что множества Bx построены для всех элементов х из A, и, в силу рефлексивности I, элемент х принадлежит своему множеству Bx, объединение Bx включает в себя все множество A. Это означает, что система {Bx} образует разбиение A, т.е. в одну сторону теорема доказана.
Докажем обратное. Пусть имеем разбиение множества А на непересекающиеся классы. Определим отношение I следующим образом: элемент x находится с элементом y в отношении I тогда и только тогда, когда они оба принадлежат одному классу. Тогда это отношение обладает свойством рефлексивности, т.к. сам элемент х принадлежит классу, элементом которого является.
Обладает отношение I и свойством симметричности, т.к. если x и y принадлежат какому-то классу, то это же можно сказать и про y и x.
Наконец, если имеют место отношения xIy и yIz, то это значит, что x, yB и y, zB, где B – какой-то класс. Таким образом, x, zB, т.е. между x и z установлено отношение I. Следовательно, I обладает транзитивностью. Значит, I – отношение эквивалентности. Теорема полностью доказана.
4. Качественный порядок
Дополним отношение строгого упорядочения Pуп свойством транзитивности. Назовем полученное отношение качественным порядком Pкач. Рассмотрим два примера такого отношения.
1) Пусть х, у – вещественные числа. Введем качественный порядок следующим соотношением:
хРкачу x > у + 1.
Очевидно, что в данном случае отношение Ркач асимметрично и транзитивно, но оно не является негатранзитивным. Покажем это.
Дополнение к введенному отношению определим как
хРкач у <=> х у + 1
Положим у = 0; х = 0.9; z = – 0.9. Тогда, очевидно, выполняются отношения (х, y) Ркач ; (y, z) Ркач ; (х, z) Ркач. Т.е. условие негатранзитивности не выполняется.
Согласно рассмотренному примеру, а также доказанному ранее свойству транзитивности слабого порядка, можно сделать вывод, что асимметричное негатранзитивное отношение является транзитивным, но обратное не всегда верно.
2) Введем на множестве точек n-мерного евклидова пространства следующее отношение Par, называемое отношением Парето:
х, уРаr i : хi yi и j : хj > уj.
Отношение Парето называется также безусловным критерием предпочтения (БКП). Оно означает, что точка x по всем координатам имеет не меньшие значения, чем точка y и хотя бы по одной координате имеется строгое превосходство. В двумерном случае данное отношение можно изобразить графически. Возможны следующие ситуации:
а) x1 < y1 б) x1 > y1 в) x1 < y1
x2 > y2 x2 = y2 x2 < y2
нет отношения Раr; есть отношение Раr, есть отношение Раr,
x лучше y; y лучше x.
Задание. Доказать, что отношение Раr является качественным порядком.