79
Tekst zadatka namerno ne prikazujemo jer želimo da podržimo izdavača Krugove zbirke. Možeš pronaći tekst zadatka u zbirci.
U skupu zadata je relacija Dokazati da je relacija ekvivalencije i naći klase ekvivalencije.
Da bismo olakšali dokazivanje, transformišemo uslov relacije. Primetimo da se izraz može zapisati na sledeći način:
Kako je uvek deljivo sa 7 za svaki ceo broj uslov važi ako i samo ako važi Dakle, relacija se svodi na kongruenciju po modulu 7:
Dokazujemo refleksivnost. Za svako važi:
Kako je 0 deljivo sa 7, sledi da odnosno Relacija je refleksivna.
Dokazujemo simetričnost. Pretpostavimo da važi odnosno Tada postoji ceo broj takav da je:
Množenjem jednačine sa -1 dobijamo:
Pošto je takođe ceo broj, sledi da odnosno Relacija je simetrična.
Dokazujemo tranzitivnost. Pretpostavimo da važi i To znači da i Zbir dva broja deljiva sa 7 je takođe deljiv sa 7:
Sledi da odnosno Relacija je tranzitivna.
Pošto je relacija refleksivna, simetrična i tranzitivna, dokazali smo da je relacija ekvivalencije.
Sada tražimo klase ekvivalencije. Klasa ekvivalencije elementa definiše se kao skup svih elemenata koji su u relaciji sa
Ovo znači da u istu klasu spadaju brojevi iz skupa koji daju isti ostatak pri deljenju sa 7. Računamo klase za elemente skupa