3208.

79

TEKST ZADATKA

U skupu A={1,2,3,,10} A = \{1, 2, 3, \dots, 10\} zadata je relacija xρy7x+6y. x \rho y \Leftrightarrow 7 \mid x + 6y . Dokazati da je ρ \rho relacija ekvivalencije i naći klase ekvivalencije.


REŠENJE ZADATKA

Da bismo olakšali dokazivanje, transformišemo uslov relacije. Primetimo da se izraz može zapisati na sledeći način:

x+6y=xy+7yx + 6y = x - y + 7y

Kako je 7y 7y uvek deljivo sa 7 za svaki ceo broj y, y , uslov 7x+6y 7 \mid x + 6y važi ako i samo ako važi 7xy. 7 \mid x - y . Dakle, relacija se svodi na kongruenciju po modulu 7:

xρy    7(xy)x \rho y \iff 7 \mid (x - y)

Dokazujemo refleksivnost. Za svako xA x \in A važi:

xx=0x - x = 0

Kako je 0 deljivo sa 7, sledi da 7(xx), 7 \mid (x - x) , odnosno xρx. x \rho x . Relacija je refleksivna.

Dokazujemo simetričnost. Pretpostavimo da važi xρy, x \rho y , odnosno 7(xy). 7 \mid (x - y) . Tada postoji ceo broj k k takav da je:

xy=7kx - y = 7k

Množenjem jednačine sa -1 dobijamo:

yx=7(k)y - x = 7(-k)

Pošto je k -k takođe ceo broj, sledi da 7(yx), 7 \mid (y - x) , odnosno yρx. y \rho x . Relacija je simetrična.

Dokazujemo tranzitivnost. Pretpostavimo da važi xρy x \rho y i yρz. y \rho z . To znači da 7(xy) 7 \mid (x - y) i 7(yz). 7 \mid (y - z) . Zbir dva broja deljiva sa 7 je takođe deljiv sa 7:

(xy)+(yz)=xz(x - y) + (y - z) = x - z

Sledi da 7(xz), 7 \mid (x - z) , odnosno xρz. x \rho z . Relacija je tranzitivna.

Pošto je relacija refleksivna, simetrična i tranzitivna, dokazali smo da je ρ \rho relacija ekvivalencije.

Sada tražimo klase ekvivalencije. Klasa ekvivalencije elementa a a definiše se kao skup svih elemenata xA x \in A koji su u relaciji sa a: a :

[a]={xAxρa}={xA7(xa)}[a] = \{ x \in A \mid x \rho a \} = \{ x \in A \mid 7 \mid (x - a) \}

Ovo znači da u istu klasu spadaju brojevi iz skupa A A koji daju isti ostatak pri deljenju sa 7. Računamo klase za elemente skupa A={1,2,3,4,5,6,7,8,9,10}: A = \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10\} :

[1]={1,8}[2]={2,9}[3]={3,10}[4]={4}[5]={5}[6]={6}[7]={7}\begin{aligned} [1] &= \{1, 8\} \\ [2] &= \{2, 9\} \\ [3] &= \{3, 10\} \\ [4] &= \{4\} \\ [5] &= \{5\} \\ [6] &= \{6\} \\ [7] &= \{7\} \end{aligned}