Zadatak iz kolokvija 2009/2010 (zadatak)

[anmazann]

http://web.math.hr/nastava/em/EM1/kolokviji/0910em1kol1.pdf

Molim pomoć za rješavanje 5.c) zadatka iz navedenih kolokvija. Općenito, nije mi do kraja jasno kako se dokazuje da definicija množenja / zbrajanja klasa ne ovisi o izboru predstavnika. Hvala unaprijed. [/url]

[krcko]

Uzmes po dva predstavnika iz svake klase, npr. (a,b), (a',b') iz klase [(a,b)] i (c,d), (c',d') iz klase [(c,d)]. To znaci da je (a,b) ekvivalentno s (a',b') i (c,d)~(c',d'). Sada dokazes da je par preko kojeg je definirana klasa koja predstavlja zbroj / umnozak ekvivalentan paru kojeg bi dobili kad bismo uvrstili (a',b') i (c',d'). To znaci da su odgovarajuce klase jednake, tj. da zbrajanje / mnozenje klasa ne ovisi o izboru predstavnika.

_________________
Vedran Krcadinac

Ljudi su razliciti, a nula je paran broj.

[anmazann]

Hvala na objašnjenju. Sada mi je sve razjašnjeno.