КАТЕГОРИИ: Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748) |
Операции над соответствиями
В инженерной практике наиболее часто применяют следующие операции над соответствиями:
1) Теоретико-множественные операции над соответствиями С. Поскольку С являются подмножествами множества, то можно говорить об объединении однотипных соответствий, их пересечении, разности и дополнении: C1 È C2Í M1 * M2, C1 Ç C2Í M1 * M2, C1 / C2Í M1 * M2, C=(M1 * M2)/C Замечание. Соответствия и булевы операции над ними {È,Ç,- }образуют булеву алгебру ‹B (M1 * M2),È,Ç,- ›, где несущим множеством является булеан декартова произведения. 2) Инволюция соответствия. Инволюцией q-1 = ‹M2, M1,S-1 › соответствия q=‹M1,M2,S › называется множество: S-1 {‹y,x› M2*M1: ‹x,y› S} Из этого определения следует, что S-1 является обратным к S
Пример. Пусть Тогда: И им соответствуют графы: 3 ) Композиция соответствия. Композиция есть бинарная операция с тремя множествами, такими, что соответствия есть q1 и q2, где q1 = ‹M1, M 2,S1 ›, q2 = ‹M2, M 3, S2› Прm2S =Прm2S2 q1*q2 = ‹ M1, M3, S1*S2 › q1 = ‹M1, M2, S 1› q2 = ‹ M2, M3, S2› Примечание. 1) Свойства операций композиции над соответствиями: 1. (S1*S2)*S3 = S1*(S2*S3) – ассоциативность 2. Дистрибутивность: 2) В общем случае операция * некоммутативна: S1*S2 S2 *S1 3) Запись h(x) = g(f(x)) означает композицию двух функциональных отображений вида: и . В этом случае и говорят, что h(x) получено подстановкой f в g. Бинарные отношения. Def 14. Бинарным отношением R во множестве M называется подмножество его квадрата M2, т.е. R Í M2. Рассмотрим основные свойства отношений.
В графе ‹M, R›, задающем транзитивное отношение R Î M2, для всякой пары дуг таких, что конец первой совпадает с началом второй, существует третья дуга, имеющая общее начало с первой и общий конец со второй (эту дугу называют транзитивно замыкающей дугой). Пример. Пусть R = {‹x, y› Î N2: x,y Î N, х делитель у}. Это отношение на множестве натуральных чисел:
Пример. Отношение упорядоченности £ рефлексивно, антисимметрично и транзитивно. Пример. Отношение включения Ì есть отношение упорядоченности подмножеств заданного множества. Действительно, оно рефлексивно, т.к. Mi Ì Mi; антисимметрично, т.к. если Mi Ì Mj и Mj Ì Mi, то Mi = Mj; транзитивно, т.к. если Mi Ì Mj, Mj Ì Mk, to Mi Ì Mk. Пример. Отношение "на 5 меньше, чем …" на множестве N является интранзитивным, т.к. если х=10, у=15, z=20, то х меньше у на 5, но х меньше z на 10, а не на 5.
Дата добавления: 2014-01-06; Просмотров: 1196; Нарушение авторских прав?; Мы поможем в написании вашей работы! Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет |