Бінарні відносини і їх властивості

Відео: Інтуїтивна топологія | теоретико множинні пит. | бінарні відносини | властивості

Широкий спектр відносин на прикладі множин супроводжується великою кількістю понять, починаючи з їх визначень і закінчуючи аналітичним розбором парадоксів. Різноманітність обговорюваного в статті поняття на безлічі нескінченно. Хоча, коли говорять про подвійні типи, під цим маються на увазі бінарні відносини між декількома величинами. А також між об`єктами або висловлюваннями.

Як правило, бінарні відносини позначаються символом R, тобто, якщо xRx для будь-якого значення x з поля R, така властивість називають рефлексивним, в якому x і х - це прийняті об`єкти думки, а R служить знаком про те чи іншому вигляді взаємозв`язку між індивідами . У той же час якщо висловлювати xRy® або yRx, то це говорить про стан симетрії, де ® - знак імплікації, схожий на союз «якщо ..., то ...". І, нарешті, розшифровка напису (xRy y Rz) ®xRz розповість про транзитивной взаємозв`язку, причому знак - це кон`юнкція.

Бінарне відношення, яке буває одночасно рефлексивним, симетричним і транзитивним, іменується взаємозв`язком еквівалентності. Ставлення f - це функція, і з lt; х, уgt; f і lt; х, zgt; f випливає рівність y = z. Проста бінарна функція може бути легко застосовна до двох нескладним аргументів, розташованим в певному порядку, і лише в цьому випадку вона надає їй значення, спрямоване цим двом виразами, узятим в конкретному випадку.

Відео: Дослідіть на основні властивості бінарне відношення на множині

Слід говорити, що f відображає x на y, якщо f служить функцією з зоною визначення x і зоною значень y. Однак коли f екстраполюють x на y, і y z, то це призводить до того, що f показує x в z. Простий приклад: якщо f (x) = 2x справедливо для достовірно будь-якого цілого х, то кажуть, що f відображає знакова безліч всіх відомих цілих чисел у безліч тих же цілих, але на цей раз парних чисел. Як уже згадувалося вище, бінарні відносини, які одночасно рефлексивно, симетричні і транзитивних, є взаємозв`язками еквівалентності.

Виходячи з вищесказаного, взаємозв`язку еквівалентності бінарних відносин визначаються властивостями:

Відео: 26 Мова бінарних відносин

• рефлексивності - співвідношення (M ~ N);
• симетричності - якщо рівність M ~ N, то буде N ~ M;
• транзитивності - якщо дві рівності M ~ N і N ~ P, то в результаті M ~ P.

Розглянемо заявлені властивості бінарних відносин докладніше. Рефлексивність - це одна з характеристик деяких зв`язків, де кожен елемент досліджуваного безлічі перебуває в даній рівності сам собі. Наприклад, між числами а = з і а³- з - рефлексивні зв`язку, оскільки завжди а = а, з = с, а³- а, з³- с. У той же час відношення нерівності аgt; с - антирефлексивне через неможливість існування нерівності аgt; а. Аксіома цієї властивості кодується знаками: aRc® aRa cRc, тут символ ® означає слово "тягне" (або "имплицирует"), А знак - виступає союзом "і" (Або кон`юнкція). З цього твердження випливає, що в разі істинності судження aRc також істинні і вирази aRa і cRc.

Симетричність тягне за собою наявність відносини і в тому випадку, якщо розумові об`єкти поміняти місцями, тобто при симетричній взаємозв`язку перестановка об`єктів не призводить до трансформації виду "бінарні відносини". Наприклад, зв`язок рівності а = з симетрична через еквівалентності відносини з = а- також однаково і судження а¹-с, так як воно відповідає зв`язку з¹-а.

Транзитивне безліч - це така властивість, при якому разі дотримання наступних вимог: у х, z y ® z x, де ® виступає знаком, який заміняє слова: "якщо то ...". Вербально читається формула таким чином: «Якщо у залежить від х, z належить у, то z також залежить від х".