TEKST ZADATKA
Na skupu A={0,1,2,3} definisana je relacija ρ:
a) xρy⇔x+y<2;
Napraviti tablicu za relaciju ρ i ispitati koja od svojstava: refleksivnost, simetričnost, antisimetričnost i tranzitivnost ima relacija ρ.
REŠENJE ZADATKA
Prvo ćemo odrediti sve uređene parove (x,y) iz A×A koji zadovoljavaju uslov x+y<2.
ρ={(0,0),(0,1),(1,0)} Pravimo tablicu za relaciju ρ. U polje preseka reda x i kolone y upisujemo 1 ako su elementi u relaciji, a 0 ako nisu.
Ispitujemo refleksivnost. Relacija je refleksivna ako za svako x∈A važi xρx.
1ρ1⟺1+1<2⟺2<2 (netacˇno) Pošto element 1 nije u relaciji sa samim sobom (kao ni 2, ni 3), relacija nije refleksivna.
Ispitujemo simetričnost. Relacija je simetrična ako za svako x,y∈A iz xρy sledi yρx.
x+y<2⟹y+x<2 Zbir je komutativan, pa uslov važi. Svi parovi u relaciji imaju svoje simetrične parove: (0,1)∈ρ i (1,0)∈ρ. Relacija jeste simetrična.
Ispitujemo antisimetričnost. Relacija je antisimetrična ako iz xρy i yρx sledi x=y.
(0ρ1∧1ρ0)⟹0=1 (netacˇno) Pošto imamo (0,1)∈ρ i (1,0)∈ρ, a 0=1, relacija nije antisimetrična.
Ispitujemo tranzitivnost. Relacija je tranzitivna ako iz xρy i yρz sledi xρz.
(1ρ0∧0ρ1)⟹1ρ1 (netacˇno) Znamo da 1ρ1 nije tačno (jer 1+1=2<2). Zato relacija nije tranzitivna.