Студопедия
Новини освіти і науки:
МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах


РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання


ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ"


ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ


Батьківський, громадянський рух в Україні закликає МОН зупинити тотальну сексуалізацію дітей і підлітків


Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні


Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах


Гендерна антидискримінаційна експертиза може зробити нас моральними рабами


ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ


ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів



Ізоморфізм, гомоморфізм і двоїстість бінарних відношень

Зв’язок між відношеннями, означеними на різних множинах, описують у термінах ізоморфізму та гомоморфізму.

ОЗНАЧЕННЯ 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):

Рис. 2.2. Граф прямого відношення Рис. 2.3. Граф двоїстого відношення

Наведемо також іще кілька корисних співвідношень для довільних бінарних відношень зі спільним носієм А:

Їх можна легко довести, використовуючи означення дій над відношеннями та матричне їх подання.

Отже, переваги децидента досліджують за допомогою основних типів бінарних відношень.


Читайте також:

  1. Вибір кращих альтернатив за допомогою бінарних відношень
  2. Відхилення від типових чисельних співвідношень і їх причини.
  3. Властивості бінарних відношень
  4. Властивості факторизованих відношень
  5. Встановлення відношень між судженнями за правилами логічного квадрата.
  6. Гомоморфізми та ізоморфізми алгебр
  7. ДО ПРОБЛЕМИ ОБ’ЄКТНИХ ВІДНОШЕНЬ У ПСИХОЛОГІЇ
  8. Елементарні типи бінарних відношень
  9. Ізоморфізм та гомоморфізм алгебр
  10. Існування тричленних похідних співвідношень
  11. Метод рекурентних співвідношень. Використання принципу Беллмана і алгоритму Джонсона.




Переглядів: 1556

<== попередня сторінка | наступна сторінка ==>
Основні операції над бінарними відношеннями | Властивості бінарних відношень

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

  

© studopedia.com.ua При використанні або копіюванні матеріалів пряме посилання на сайт обов'язкове.


Генерація сторінки за: 0.002 сек.