260 likes | 462 Views
Спеціальні класи бінарних відношень. Функціональні відношення. Функціональні відношення. F AB - функціональне відношення. (x,y 1 ),(x,y 2 ) F y 1 =y 2. Для будь-якого x A існує не більше одного y B , що (x,y) F. y однозначно визначається по F та x y=F(x).
E N D
Спеціальні класибінарних відношень Функціональні відношення
Функціональні відношення FAB - функціональне відношення (x,y1),(x,y2)F y1=y2 Для будь-якого xA існує не більше одного yB, що (x,y)F yоднозначно визначається по Fта x y=F(x)
Цей y позначається F(x)Оскільки це робиться для довільного xA,можна записати Функціональні відношення і функції FAB - функціональне відношення F для довільного x однозначно визначає y, такий що(x,y)F Залежність між y та x, яка визначається функціональним відношенням F називається функцією (відображенням)F
Функціональні відношення і функції • Функціональне відношення для довільної пари xA, yB визначає, чи належить ця пара даному відношенню (так, true), чи не належить (ні, false). • Функціяпо xAвизначає (обчислює) yB
Області відправлення та прибуття Область відправлення Може не співпадати з областювизначення Область прибуттяМоже не співпадатиз областю значень
образ x прообраз y Образи та прообрази
Образи та прообрази Нехай FAB - функціональне відношення Образом множини CA будемо називати множину всіх образів елементів множини C F(C)={yB|cC F(c)=y} Прообразом множини DB будемо називати множину всіх прообразів елементів множини D F-1(D)={xA|dD F(x)=d}
Обернена функція FAB - функціональне відношення (F:A→B – функція)Якщо обернене відношення F-1BA також є функціональним відношенням, то це відношення визначає деяку функцію, яку будемо називати оберненою до F функцією і позначати F-1:B → A
y = x2 y = sin x } не мають обернених Обернена функція
Лема про добуток функціональних відношень Добуток функціональних відношень є функціональним відношенням, Якщо FAB та GBC – функц. відношення, то F◦GAC – також функц. відношення F:A→B, G:B→C »»» F◦G:A→C
Доведення леми FAB, GBC, F◦GAC (x,z)F◦GyB (x,y)F, (y,z)G (x,z1),(x,z2)F◦G y1 (x,y1)F, (y1,z1)G; y2 (x,y2)F, (y2,z2)G (x,y1)F, (x,y2)F; (y1,z1)G, (y2,z2)G в силу функціональності F y1=y2, (y1,z1)G, (y2,z2)G (y1,z1)G, (y1,z2)G z1=z2в силу функціональності G
Добуток функціональних відношень і суперпозиція функцій FAB, GBC, F◦GAC – функц. відношення, F:A→B, G:B→C, F◦G:A→C F:xA→yB, G:yB→zC, F◦G:xA→zC y=F(x), z=G(y) z=G(F(x)) F◦G:A→C »»» z=G(F(x)) Функцію, що відповідає добутку функціональних відношень F◦G, будемо називати суперпозицією відповідних функцій z=G(F(x))
Класифікація відображеньF:AB Ін’єкція «відображення в» Сюр’єкція «відображення на» Бієкція «взаємно однозначне відображення» δF=A та ін’єкція і сюр’єкція одночасно
Співвідношення для відображень f: XY, A,BX, C,DY
Чиможнаобернутидоведення1 не можна
Доведення6 AB f(A) f(B) y∊f(A) ⇒ y=f(x), x∊A ⇒ ⇒ y=f(x), x∊B ⇒ y∊f(B)
Зауваження до твердження1 Якщо f – ін'єкція, то f(A∩B)=f(A) ∩ f(B) f(A∩B)f(A) ∩ f(B) – вже доведено Доведемо, що <пр.част.>⊂<лів.част.> y∊f(A) ∩ f(B) ⇒y=f(x1),x1∊A, y=f(x2),x2∊B⇒ в силу ін'єктивностіx1=x2⇒ y=f(x1),x1∊A, x1∊B⇒ y=f(x1),x1∊A∩B⇒ y∊f(A∩B)
Якщо f ін'єкція, то f(A\B)=f(A) \ f(B) y∊ f(A\B)⇒ y=f(x),y=f(x),x∊A, x∉B⇒ а)y∊f(B),x∉B,⇒x∉B, y=f(x),y=f(x’),x’∊B⇒в силу ін'єктивності⇒x=x’ ⇒ x∉B, x∊B⇒ неможливо б) y∉f(B), y=f(x),x∊A, ⇒ y∊f(A), y∉f(B) ⇒ y∊f(A) \ f(B)
Якщо f ін'єкція, то f(A\B)=f(A) \ f(B) y∊ f(A)\f(B)⇒ ⇒ y∊ f(A), y∉f(B) ⇒ y=f(x),x∊A,y∉f(B) а) x∊B,y=f(x),x∊A, y∉f(B) ⇒y∊f(B), y∉f(B) ⇒ неможливо б) x∉B,y=f(x),x∊A, ⇒ y=f(x),x∊A\B⇒ yf(A\B)