Ich muss folgernde Aufgabe bearbeiten, weiss jedoch nicht wo ich anfangen soll:
Ich vermute dass ich hier eine abbildung:$$f: \mathbb{Z} \longrightarrow \mathbb{Z}, (a,b)\rightarrow (q,r)$$ habe, ich zeigen soll ,dass sie bijektiv ist (das Kriterium für eindeutigkeit sowie das Z_b nicht leer ist), zusätzlich habe ich 2 gleichungen gegeben und ich vermute, dass ich : a=qb+r nach b umformen muss und hier einsetzen muss: 0 kleinergleich r kleinergleich (betrag von b) einsetzen muss. Mit der letzten Bedienung : $$n \in Z_b \Longrightarrow (n+1 \in Z_b) \land (\vert b \vert -1 -n \in Z_b)$$ kann ich nichts anfange außer zu sagen, dass ich erstmal die beiden Pakete zwichen ''Und'' für wahr beweisen kann um in die richtung ''<==='' zu folgern
Mir fehlt bei dieser Aufgabe das Große und Ganze Bild was ich eigentlich machen muss. Kann mir jemand erstmal sagen ob meine Informationen die ich aus der aufgabenstellung interpretiert habe korrekt sind bzw. was falsch ist und ergänzt werden muss UND was ich überhaupt machen muss? :D
