Hi,
wir haben folgende Definitionen von injektiv, surjektiv und bijektiv bekommen:
Abbildung: f: M->L
1.) injektiv: x,y E M x!=y => f(x)!=f(y)
2.) surjektiv: zu jedem y E L gibt es ein x E M für das f(x) = y gilt
3.) bijektiv: injektiv und surjektiv
Die Aufgabe ist wohl relativ leicht, jedoch
würde ich ganz gerne wissen ob sie richtig
gelöst ist, dazu gebe ich dann auch meine
Lösung an.
f(z): Z -> Z definiert durch f(z) = z+3
Behauptung: f(z) ist injektiv und surjektiv
und bijektiv
Beweis1:
Behauptung: f(z) ist injektiv
Annahme: f(z) ist nicht injektiv
Voraussetzung: z1 != z2 => f(z1) = f(z2)
Beweis:
f(z1) = z1 + 3
f(z2) = z2 + 3
Da f(z1) = f(z2) folgt:
z1+3=z2+3
=> z1=z2 Widerspruch zur Voraussetzung z1
!= z2 ==> Behauptung f(z) ist
injektiv ist richtig
Beweis2:
Behauptung: f(z) ist surjektiv
Beweis:
z+3 E Z
f(z)= y E Z
=> y=z+3
=> z=y-3 mit (y-3) E Z
=> f(y-3) = (y-3)+3 = y
=> Für jedes z E Z gibt es ein f(z) E Z
==> f(z) ist surjektiv
==> da f(z) injektiv und surjektiv ==> f(z)
ist bijektiv
// qed
Es wäre nett wenn mir jemand sagen könnte
ob dieser Beweis korrekt ist.
Eine Unstimmigkeit die mich beispielsweise
beschäftigt ist ob ich bei Beweis
1 einfach als Voraussetzung annehmen darf
das: nicht injektiv ==> z1 != z2 => f(z1) =
f(z2)
Vielen Dank im voraus
Sebastian