МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах
РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ" ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ Батьківський, громадянський рух в Україні закликає МОН зупинити тотальну сексуалізацію дітей і підлітків Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах Гендерна антидискримінаційна експертиза може зробити нас моральними рабами ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів
Контакти
Тлумачний словник Авто Автоматизація Архітектура Астрономія Аудит Біологія Будівництво Бухгалтерія Винахідництво Виробництво Військова справа Генетика Географія Геологія Господарство Держава Дім Екологія Економетрика Економіка Електроніка Журналістика та ЗМІ Зв'язок Іноземні мови Інформатика Історія Комп'ютери Креслення Кулінарія Культура Лексикологія Література Логіка Маркетинг Математика Машинобудування Медицина Менеджмент Метали і Зварювання Механіка Мистецтво Музика Населення Освіта Охорона безпеки життя Охорона Праці Педагогіка Політика Право Програмування Промисловість Психологія Радіо Регилия Соціологія Спорт Стандартизація Технології Торгівля Туризм Фізика Фізіологія Філософія Фінанси Хімія Юриспунденкция |
|
|||||||||||
Ізоморфізм, гомоморфізм і двоїстість бінарних відношеньЗв’язок між відношеннями, означеними на різних множинах, описують у термінах ізоморфізму та гомоморфізму. ОЗНАЧЕННЯ 2.19. Відношення Р з носієм А () та Q з носієм С () називаються ізоморфними, якщо існує таке взаємно однозначне відображення де хÎА, уÎА, y(х)ÎС, y(y)ÎС. ОЗНАЧЕННЯ 2.20. Гомоморфним називається однозначне відображення відношення Р з носієм А в відношення Q з носієм С, тобто існує однозначне відображення множини А в множину С де хÎА, уÎА, j(х)ÎС, j(y)ÎС. Приклад 2.17. Розглянемо відношення , де А = {х1, х2, х3}, та , де C = {y1, y2, y3}: Відобразимо взаємно однозначно х1 ® у2, х2 ® у1, х3 ® у3, тобто у2 = y(х1), у1 = y(х2), у3 = y(х3), х1 = y–1(у2), х2 = y–1(у1), х3 = y–1(у3). Прямою перевіркою впевнюємося, що для всіх хÎА і уÎА, y(х)ÎС, y(y)ÎС справедливе співвідношення тобто відношення Р та Q ізоморфні. Приклад 2.18. Розглянемо відношення з носієм А = {х1, х2, х3, х4, х5} та з носієм C = {y1, y2, y3}, подані матрицями: Однозначне відображення Р в Q породжується таким відображенням j: А ® С: для якого справедливе твердження для всіх значень хÎА, уÎА, j(х)ÎС, j(y)ÎС. Обернене відображення багатозначне (наприклад, ). Отже, j гомоморфно відображає відношення Р у відношення Q. У теорії вибору, побудованій на бінарних відношеннях, велике значення має поняття двоїстого відношення. ОЗНАЧЕННЯ 2.21. Двоїстим до відношення Р називається відношення Щоб перейти від графа G(P) до графа G(Pd), потрібно виконати такі дії: v видалити з нього всі пари протилежних дуг і петлі; v додати пари протилежних дуг для тих вершин, які в графі G(P) не були зв’язані дугою; v додати петлі при тих вершинах, де їх не було в графі G(P). Для двоїстих відношень виконуються такі співвідношення: Основні дії над бінарними відношеннями можна наочно інтерпретувати, зображаючи їх у вигляді графів. Так, граф доповнення до відношення Р складається з тієї самої множини вершин, що й граф G(P), але в ньому є ті й лише ті дуги, яких немає в графі G(P); граф G(P–1) можна отримати з графа G(P), змінивши напрямки всіх дуг, і т.ін. Приклад 2.19. Задано відношення Р з носієм А = {х1, х2, х3, х4} та його граф G(P) (рис. 2.2). Відповідне двоїсте відношення та його граф G–1(P) матимуть такий вигляд, як на рис. 2.3. Згідно з означеннями основних дій над бінарними відношеннями наведемо формули для отримання відповідних елементів матриці В(n×n):
Наведемо також іще кілька корисних співвідношень для довільних бінарних відношень зі спільним носієм А: Їх можна легко довести, використовуючи означення дій над відношеннями та матричне їх подання. Отже, переваги децидента досліджують за допомогою основних типів бінарних відношень. Читайте також:
|
||||||||||||
|