Ekvivalensrelasjon oppgave diskret matte

[hallapaadeg]

Hei har denne oppgaven. Jeg er litt stuck på den. Spesielt på oppgave c, men jeg er ikke helt sikker på om jeg har gjort riktig på a og b.

La $\sim$ være en binær relasjon på $\mathbb{Z}$ definert som $x\sim y$ iff $x\equiv y(\mathrm{mod}5)$.
a) Vis at $\sim$ er en ekvivalensrelasjon.
b) Finn $[12{]}_{\sim }$ og $[-33{]}_{\sim }$
c) Finn en bijeksjon fra $\{[x{]}_{\sim }|x\in \mathbb{Z}\}$ til $\{a,b,c,d,e\}$.

Jeg har kommet så langt:

a) Benytter meg av at $x\equiv y(\mathrm{mod}5)$ hvis og bare hvis $xmod5=ymod5$
Refleksiv fordi $xmod5=xmod5$
Symmetrisk fordi hvis $xmod5=ymod5\to ymod5=xmod5$
Transitiv fordi $(xmod5=ymod5\wedge ymod5=zmod5)\to xmod5=zmod5$

b)
$[12{]}_{\sim }=\{2+5k|k\in \mathbb{Z}\}$
$[-33{]}_{\sim }=\{2+5k|k\in \mathbb{Z}\}$

c)
Skjønner egentlig lite av denne oppgaven.
Er det noen som kan gi meg noen hint? $[x{]}_{\sim }$ er der $5|x-y$,
og bijeksjon er noe jeg forbinder med at en funksjon er injektiv og surjektiv altså en til en og "onto".

Skal det være at $5|x-y$ så lager man en funksjon $f:A\to B$ der
$A=\{0,1,2,3,4\}$ og $B=\{a,b,c,d,e\}$

så kan $f(0)=a,f(1)=b$ osv? eller noe sånn? Skjøner ikke heelt hva jeg driver med her! Help please!!

[Gustav]

Ser riktig ut alt.

På a) ville jeg kanskje formulert meg litt annerledes.

$x\equiv y\mathrm{mod}5$ betyr at $x-y=5n$ for et heltall $n$.

Refleksiv: Siden $x-x=0=5\cdot 0$, er $x\sim x$.

Symmetrisk: La $x\sim y$. Da er $x-y=5n$, og $y-x=-(x-y)=5\cdot (-n)$, så $y\sim x$.

Transitiv: La $x\sim y$ og $y\sim z$. Da er $x-y=5n$ og $y-z=5m$ for heltall $n,m$. Dermed er $x-z=(x-y)+(y-z)=5n+5m=5(n+m)$, så $x\sim z$.

Altså er modulus en ekvivalensrelasjon.

[hallapaadeg]

Tusen takk.

Men jeg vet ikke helt hva jeg gjorde på oppgave c. Skjønner ikke teorien bak helt, har det bare på tunga liksom. Kan noen forklare eller gi et lite hint?

[Gustav]

c) Det som skjer her er at du deler inn mengden av heltall inn i følgende fem såkalte restklasser: $[0{]}_{\sim }=\{5n|n\in \mathbb{Z}\}$, $[1{]}_{\sim }=\{1+5n|n\in \mathbb{Z}\}$, $[2{]}_{\sim }=\{2+5n|n\in \mathbb{Z}\}$, $[3{]}_{\sim }=\{3+5n|n\in \mathbb{Z}\}$, og $[4{]}_{\sim }=\{4+5n|n\in \mathbb{Z}\}$.

Det er klart at hvis du definerer en avbildning f(x) ved at $f([0{]}_{\sim })=a$, $f([1{]}_{\sim })=b$ etc., så er $f$ en bijeksjon.

[hallapaadeg]

Tusen takk