TEKST ZADATKA
Na skupu A={1,2,3,4} definisana je relacija:
a) xρy⇔x>y+1;
Napraviti tablicu za relaciju ρ i ispitati koja od svojstava: refleksivnost, simetričnost, antisimetričnost i tranzitivnost ima relacija ρ.
REŠENJE ZADATKA
Određujemo elemente relacije ρ proverom uslova x>y+1 za sve parove (x,y)∈A×A.
ρ={(3,1),(4,1),(4,2)} Pravimo tablicu za relaciju ρ, gde upisujemo 1 ako su elementi u relaciji, a 0 ako nisu.
ρ123410011200013000040000 Ispitujemo refleksivnost. Relacija je refleksivna ako za svako x∈A važi xρx. U našem slučaju, na primer, 1>1+1, pa (1,1)∈/ρ.
Relacija nije refleksivna. Ispitujemo simetričnost. Relacija je simetrična ako iz xρy sledi yρx. Vidimo da (3,1)∈ρ, ali (1,3)∈/ρ jer 1>3+1.
Relacija nije simetricˇna. Ispitujemo antisimetričnost. Relacija je antisimetrična ako iz xρy i yρx sledi x=y. Kako ne postoje dva elementa za koje istovremeno važi xρy i yρx, uslov antisimetričnosti je trivijalno ispunjen.
Relacija jeste antisimetricˇna. Ispitujemo tranzitivnost. Relacija je tranzitivna ako iz xρy i yρz sledi xρz. U ovoj relaciji ne postoje elementi x,y,z takvi da istovremeno važi xρy i yρz, pa je uslov tranzitivnosti trivijalno ispunjen.
Relacija jeste tranzitivna.