Fakulta životního prostředí Katedra informatiky a geoinformatiky

1. Fakulta životního prostředí Katedra informatiky a geoinformatiky Přednáška 03 Vlastnosti relací, ekvivalence, uspořádání jiri.cihlar@ujep.cz Matematika I. KIG / 1MAT1

2. O čem budeme hovořit: Vlastnosti relací Ekvivalence a rozklad množiny Uspořádání

3. Vlastnosti relací

4. Binární relace v množině M Definice: Množinu R nazýváme binární relací v množině M právě tehdy, když R  M  M . Příklad: Uvažujme množinu M = 1 2 3 a relaci < v M. Pak <=12 , 13 , 23

5. Reflexivnost binární relace v množině M Definice: Binární relace R v množině M se nazývá reflexivní právě tehdy, kdyžplatí (xM) x R x . Příklady:=je reflexivnív N, je reflexivnív N • Co znamená, že relace není reflexivní? • Jak se projeví reflexivita relace v jejích grafech? • Co můžeme říci o prvním i druhém oboru reflexivní relace?

6. Antireflexivnost binární relace v množině M Definice: Binární relace R v množině M se nazývá antireflexivní právě tehdy, kdyžplatí (xM)  x R x . Příklad:<je antireflexivnív N • Co znamená, že relace není antireflexivní? • Jak se projeví antireflexivita relace v grafech? • Co můžeme říci o doplňkové relaci reflexivní relace? • Existují relace, které nejsou ani reflexivní ani antireflexivní?

7. Symetričnost binární relace v množině M Definice: Binární relace R v množině M se nazývá symetrická právě tehdy, kdyžplatí (x,yM) x R y  y R x . Příklady:=je symetrickáv N, není symetrickáv N • Co znamená, že relace není symetrická? • Jak se projeví symetričnost relace v jejích grafech? • Co můžeme říci o doplňkové relaci symetrické relace?

8. Antisymetričnost binární relace v množině M Definice: Binární relace R v množině M se nazývá antisymetrická právě tehdy, kdyžplatí (x,yM) x  y  x R y   y R x . Příklady:je antisymetrickáv N • Co znamená, že relace není antisymetrická? • Jak se projeví antisymetričnost relace v jejích grafech? • Existuje relace, která je symetrická a současně i antisymetrická?

9. Ekvivalentní vyjádření antisymetričnosti Formulace z definice: x  y  x R y   y R x . Ekvivalentní formulace:  ( x  y  x R y )   y R x x = y   x R y   y R x (  x R y   y R x )  x = y  ( x R y  y R x )  x = y x R y  y R x  x = y

10. Tranzitivnost binární relace v množině M Definice: Binární relace R v množině M se nazývá tranzitivní právě tehdy, kdyžplatí (x,y,zM) x R y  y R z  x R z . Příklady:= je tranzitivnívN , <je tranzitivnívN , je tranzitivnívN ,  není tranzitivnívN • Co znamená, že relace není tranzitivní? • Jak se projeví tranzitivnost relace v jejím spojnicovém grafu? • Jsou relace R =  a R = MMtranzitivnív M ?

11. Konektivnost binární relace v množině M Definice: Binární relace R v množině M se nazývá konektivní právě tehdy, kdyžplatí (x,yM) x  y  x R y  y R x . Příklady:<je konektivnív N ,  není konektivnív N • Co znamená, že relace není konektivní? • Jak se projeví konektivnost relace v jejích grafech? • Existuje relace, která je reflexivní a současně není konektivní?

12. Ekvivalentní vyjádření konektivnosti Formulace z definice: x  y  x R y  y R x . Ekvivalentní formulace:  ( x R y  y R x )  x = y  x R y   y R x  x = y

13. Úloha Vyšetřete vlastnosti relace R, jejíž spojnicový graf je na obrázku: R není reflexivní R není antireflexivní R není symetrická R není antisymetrická R není tranzitivní R není konektivní

14. Ekvivalence a rozklad množiny

15. Ekvivalence v množině M Definice: Relace R v množině M se nazývá ekvivalence právě tehdy, když je reflexivní, symetrická a tranzitivní. Příklad: Uvažujme množinu M = 1 2 3 4 5 a relaci R v množině M definovanou takto: x R y  čísla x a y mají stejnou paritu

16. Souvislost ekvivalence v množině M a rozkladu množiny M Každá ekvivalence v množině M indukuje určitý rozklad množiny M a naopak každý rozklad množiny M indukuje určitou ekvivalenci. Třídy rozkladu obsahují navzájem ekvivalentní prvky.

17. Příklady ekvivalencí • Relace „mít stejnou hodnotu“ v množině všech zlomků • Relace „být rovnoběžná“ v množině všech přímek dané roviny • Relace „mít totéž řešení“ v množině všech lineárních rovnic • Relace „mít stejný počet prvků“ ve třídě všech konečných množin Množina, jejíž prvky jsou všechny třídy rozkladu, se nazývá faktorová množina.

18. Uspořádání

19. Uspořádání v množině M Definice: Relace R v množině M se nazývá uspořádání právě tehdy, když je antisymetrická a tranzitivní. Uspořádání se nazývá neostré právě tehdy, když je reflexivní. Uspořádání se nazývá ostré právě tehdy, když je antireflexivní. Uspořádání se nazývá lineární právě tehdy, když je konektivní. Uspořádání se nazývá nelineární právě tehdy, když není konektivní.

20. Příklad uspořádání v množině Relace < v množině N0 je ostré lineární uspořádání,protože platí: antisymetrie – (x,y N0) x  y  x < y   y < x tranzitivnost – (x,y,z N0) x < y  y < z  x < z antireflexivnost – (x N0)  x < x konektivita – (x,y N0) x  y  x < y  y < x

21. Příklad uspořádání v množině M Relace inkluze (  ) je neostré nelineární uspořádání ve třídě všech množin,protože tato relace: je antisymetrická – (X,Y) X  Y  X  Y   Y  X je tranzitivní – (X,Y,Z) X  Y  Y  Z  X  Z je reflexivní – (X) X  X ale není konektivní – (X,Y) X  Y   (X  Y)  ( Y  X) Názorný jeHasseův diagram tohoto uspořádání:

22. Hasseův diagram inkluze

23. Co je třeba znát a umět? • Vlastnosti relací v množině (reflexivita a antireflexivita, symetrie a antisymetrie, tranzitivita a konektivita), • projevy vlastností relací v grafech, • ekvivalence v množině a rozklad množiny, • faktorová množina, • uspořádání v množině a jeho druhy (ostré a neostré, lineární a nelineární) • Hasseovy diagramy uspořádaných množin.

24. Děkuji za pozornost