Бинарне релације

1  0 , 14  15 , x 2  1  0 , p || q , a  b , A  B , ABC  A' B' C' ,

Пример1:
ABC ~ A' B' C' , x  A , B ÷ A, C , и тд.
У горњем примеру су приказане тзв. бинарне релације (осим последње; која је тернарна). Као што
можемо приметити, то су искази у којима се описује однос (релација) између два објекта, односно,
три објекта у последњем примеру. Приметићемо да прва два исказа имају одређену логичку
 
вредност (  (1  0)   ,  14  15  ). Релацијама се углавном описује однос између објеката
истог типа, али није увек правило; нпр. A x - може да значи: тачка A припада правој x -
релацијом  описујемо однос између тачке и праве.
Дефиниција1: Нека су A, B   . Било који подскуп Декартовог производа A B представља
бинарну релацију из A у B . Можемо да представимо и на следећи начин:
Нека је   A  B , онда кажемо  је релација из A у B , и пишемо  : A  B .
(a, 1), (a, 2), (a, 3),
 (b, 1), (b, 2), (b, 3), 
 
Пример2: Нека је A  {a, b, c, d } , а B  {1, 2, 3} . A  B   
 (c, 1), (c, 2), (c, 3), 
(d , 1), (d , 2), (d , 3) 

Подскуп   A B може бити нпр. 1  {(b, 1), (c, 3)} , или  2  {(a, 2), (b, 2), (d , 2)}
Прву можемо да пишемо и овако: b 1 1 , c 1 3 , што је уобичајено за бинарну релацију да се
знак релације пише између објеката. Тако нпр. на питање: да ли је b 1 2 ? , одговор би био не, али
видимо да је b  2 2 .

Основне карактеристике бинарне релације дефинисане над једним скупом

Бинарна релација  : A  A , може да има следеће карактеристике

- (R) рефлексивност; (x  A)( x  x )
- (S) симетричност; (x, y  A)( x  y  y  x)
- (AS) антисиметричност; (x, y  A)( x  y  y  x  x  y )
- (Т) транзитивност; (x, y, z  A)( x  y  y  z  x  z )

Дефиниција2: Бинарна релација  : A  A , која је рефлексивна, симетрична и транзитивна; (R) +

(S) + (Т) , назива се релација еквиваленције.

Пример3:  на скупу R , затим,  у скупу троуглова, ~ у скупу троуглова, || у скупу правих итд.

Дефиниција3: Бинарна релација  : A  A , која је рефлексивна, антисиметрична и транзитивна;

(R) + (АS) + (Т) , назива се релација поретка.

Пример3:  на скупу R ,  на скуповима,  |  “се садржи цео број пута” на скупу R ,

Графичко представљање релација унутар једног скупа

x x x y y x x y y z  x z

Задаци:
 1) Нека је A  {a, b, c} . Да ли је  : A  A ;   {( a, a ), (a, b), (b, a ), (b, b), (c, c)}
релација еквиваленције? Ако јесте, одредити класе еквиваленције.
решење: Ово јесте релација еквиваленције, јер ако формирамо нпр. табелу
 a b c
из ње видимо да је релација рефлексивна; вредности на главној a   
дијагонали су тачне. Затим, видимо да је симетрична; све
b   
вредности у табели су симетричне у односу на главну
c   
дијагоналу. И коначно, релација је и транзитивна јер важи
импликација:
(x, y, z  A)( x  y  y  z  x  z ) , на пример: a  b  b  c  ac
еквивалентно је   , односно,  , односно,  .
Постоје две класе еквиваленције C a  {a, b} и Cc  {c} .

2) Нека је A  {a, b, c} . Да ли је  : A  A дефинисана таблицом

 a b c релација еквиваленције? Ако јесте одредити класе еквиваленције
a   
b   
c   

решење:
Релација  : A  A јесте релација еквиваленције јер је рефлексивна ( вредности
на главној дијагонали су  ), затим, јесте симетрична ( све вредности су
симетричне у односу на главну дијагоналу ) , а јесте и транзитивна, тј. важи
импликација
(x, y, z  A)( x  y  y  z  x  z ) , на пример: a  b  b  c  a  c
еквивалентно је
   , односно,  , односно,  .
Постоје три класе еквиваленције Ca  {a} , Cb  {b} и Cc  {c} .

3) Нека је A  {x, y , z} . Да ли је  : A  A дефинисана графом

релација еквиваленције? Ако јесте одредити класе еквиваленције.
x z
y  x y z
решење: x   
Направимо ли табелу ове релације  y  онда из ње видимо да
релација није рефлексивна, јер z    нису све вредности на
главној дијагонали  .
Према томе, релација  НИЈЕ релација еквиваленције.

4) Нека је A  {a, b, c} . Проверити да ли је  : A  A;

  {( a, a), (a, b), (a, c), (b, b), (b, c), (c, c)} релација еквиваленције или релација поретка
решење:  a b c
Ако саставимо табелу за ову релацију a   
из ње ћемо лако
уочити да је рефлексивна ( све  
вредности на главној
b 
дијагонали су тачне ), затим, релација је антисиметрична ( све
c   
одговарајуће вредности у табели су међусобно супротне
уодносу на главну дијагоналу ) , а и транзитивна је, тј. важи импликација
(x, y, z  A)( x  y  y  z  x  z ) , на пример: a  b  b  c  a  c
еквивалентно је     , односно,    , односно,  .
(120) Нека је  : A  A и нека је  релација истог скупа дефинисана на следећи начин
1

x  1 y  y  x , x, y  A .
а) Ако је  релација еквиваленције, доказати да је и  релација еквиваленције.
1
 б) Ако је  релација поретка , доказати да је и  1 релација поретка.
решење:
а) Пошто је  релација еквиваленције на скупу A , онда је она рефлексивна, симетрична и
транзитивна, тј. тада је:
x  Ax  x . Из x  x , према дефиницији релације  1 имамо, x  1 x , што значи да
је 1 рефлексивна, затим,
x, y  Ax  y  y  x , јер је  симетрична.
(S )
Пођимо од x, y  A; x  1 y  y  x  x  y  y  1 x , што значи да је  1 (S ) .
x, y, z  Ax  y  y  z  x  z , јер је  транзитивна.
Пођимо од x, y , z  A; x  y  y  z  y  x  z  y
1 1

 z  y  y  x ; комутативност 
(T )
 z  x  x  1 z . Дакле,  1 је (T ) .
б) Пошто је  релација поретка на скупу A , онда је она рефлексивна, антисиметрична и
транзитивна, тј. тада је:
x  Ax  x . Из x  x , према дефиницији релације  1 имамо, x  1 x , што значи да
је 1 рефлексивна, затим,
x, y  Ax  y  y  x  x  y , јер је  антисиметрична.
Пођимо од x, y  A; x  y  y  x  y  x  x  y
1 1

 x  y  y  x ; комутативност 
( AS )
 x  y , што значи да је  1 ( AS ) .
Пођимо од x, y , z  A; x  y  y  z  y  x  z  y
1 1

 z  y  y  x ; комутативност 
(T )
 z  x  x  1 z . Дакле,  1 је (T ) .

предметни наставник:
Илија Јоксимовић