DEKARTOV PROIZVOD I BINARNA RELACIJA

Dekartov proizvod dva skupa je skup svih uređenih parova kod kojih je prvi član iz prvog skupa a drugi član iz drugog
skupa: A  B   x, y  x  A  y  B 

Relacija je bilo koji podskup Dekartovog proizvoda.

Ako je   A B i x, y   onda kažemo da je x u relaciji sa y i zapisujemo xy
Ako za neku relaciju vrijedi:
1. x  x x - relacija je refleksivna
2. x, y  x y  y x - relacija je simetrična
3. x, y, z  x y  y z  x z - relazija je tranzitivna
4. x, y  x y  y x  x  y - relacija je antisimetrična

Ako je neka relacija refleksivna, simetrična i tranzitivna onda je to relacija ekvivalencije.

Relacija ekvivalencije ima moć da skup dijeli na klase ekvivalencije, pri čemu je unija svih klasa jednaka datom skupu
a presjek je prazan skup.
Količnik skup je skup čiji su elementi sve klase ekvivalencije datog skupa.

Ako je neka relacija refleksivna, antisimetrična i tranzitivna onda je to relacija poretka.

ZADACI:

1. Dati su skupovi A   0,1,2  i B   a, b, c  . Odrediti skupove A B i B  A i nacrtati njihove

grafove.
2. Dati su skupovi A   a, b, c  i B   b, c, d  . Odrediti skupove:
a)  A  A  B  B b)  A  A   A  B c) B  B   A  B
3. Dati su skupovi A  x  N x sadrži u 12 , B  x  N 3  x  12 , C  x  N x  7 i x prost broj 
Izračunati  A \ B  C i B  C  A
4. Dokazati jednakosti a) A  B  C    A  B   A  C  b) A  B  C    A  B   A  C 
c)  A  B C   A  C   B  C  d)  A  B C   A  C   B  C 
e)  A \ B C   A  C  \ B  C  f) A  B \ C    A  B \  A  C 

5. U skupu A  1,2,3,4,5,6 definisana je relacija  na sledeći način: x y  y  x  1

Odrediti elemente te relacije i grafički je prikazati.

6. U skupu A    2,1,0,1,2,3  definisane su sledeće relacije

a) x y  x  y b) x y  x  2 y c) x y  x 2  y 2 d) x y  x  y  2
Odrediti elemente ovih relacija, nacrtati grafove i ispitati svojstva tih relacija.

7. U skupu odrediti M   0,1,2,3,...,10  definisana je relacija  ovako: x y  x  y  10

Odrediti elemente te relacije i grafički je prikazati.

8. U skupu S  x  N x  12  definisana je relacija  ovako: x y  3 x  y 

Pokazati da je to relacija ekvivalencije, odrediti klase i količnički skup.

9. U skupu S  x  Z  4  x  4  definisana je relacija  ovako: x y  x 2  2 y  y 2  2 x

Pokazati da je to relacije ekvivalencije i odrediti klase ekvivalencije.

10. U skupu cijelih brojeva definisana je relacija  ovako: x y  x  y mod 4

Dokazati da je to relacija ekvivalencije i odrediti klase ekvivalencije.

11. U skupu S  6,8,10,12,14,16,18,20,30 definisana je relacija  ovako: x y  ,, x i y se završavaju istom cifrom”.

Dokazati da je to relacija ekvivalencije i odrediti klase ekvivalencije.
12. U skupu A   7,9,11,13,16,18,20,22,24  definisana je relacija  ovako: x y  ,, x i y imaju isti zbir cifara”.
Odrediti elemente relacije, napraviti graf i navesti osobine te relacije.

13. U skupu A  15,16,17,24,25,33,34  definisana je relacija  ovako: x y  ,, x i y imaju isti zbir

cifara”. Odrediti elemente relacije, napraviti graf i navesti osobine te relacije.

14. U skupu S  14,17,22,25,26,34,41,43,62  definisana je relacija  ovako: x y  ,, x i y imaju isti

proizvod cifara”. Odrediti osobine te relacije i nacrtati njen graf.

15. U skupu M   6,8,10,12,16,18,20,30  definisana je relacija  ovako: x y  ,, x i y se završavaju

istom cifrom”. Pokazati da je to relacija ekvivalencije, odrediti klase i količnički skup.

16. U skupu prirodnih brojeva su definisane relacije a) x y  x y b) x y  x  y

Ispitati osobine ovih relacija.