Injektivitätsbeweis < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 19:33 Sa 11.02.2006 | | Autor: | matth |
| Aufgabe | Die Funktion f: [mm] \IZ \times \IZ \to \IZ \times \IZ \times \IZ [/mm] sei gegeben durch
f(a,b) = (ab, ab+2a, (a²-2)b)
Zeige, dass f injektiv ist. |
Ich schreibe nächste Woche meine Abschlussprüfung in Mathe, und bin beim Lernen auf diese Aufgabe gestoßen. Bis jetzt weiß ich nur, wie ich das für Abbildungen vom Typ Z x Z -> Z (oder Z -> Z x Z) mache, bin aber solchen Abbildungen wie oben noch nie begegnet und komme einfach nicht auf einen schlüssigen Beweis. Wie verfährt man denn bei dem Beweis? Betrachtet man die Gleichung komponentenweise? Ich bin für jede Hilfe dankbar!!
Schöne Grüße,
Matthias
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt
|
|
| |
|
Hallo und guten Morgen,
zu zeigen ist doch, dass, wenn
[mm] (a,b)\neq [/mm] (c,d) gilt, [mm] (a,b,c,d\in\IZ),
[/mm]
dass dann auch
[mm] (ab,ab+2a,(a^2-2)b)\: \neq\: (cd,cd+2c,(c^2-2)d)
[/mm]
gilt.
Also nehmen wir doch mal an, dass [mm] (a,b)\neq [/mm] (c,d) gilt (d.h
mindestens eine der Ungleichungen
[mm] a\neq c,\:\:\: b\neq d\:\:\: (\star)
[/mm]
Wir nehmen einfach mal an, dass ab=cd, ab+2a=cd+2c gilt und muessen nun zeigen,
dass dann aber nicht
a^2b-2b = [mm] c^2d-2d\:\:\: (\star\star)
[/mm]
gelten kann. Wenn uns dieser Nachweis gelingt, sind wir fertig, richtig ?
Aus den Annahmen [mm] ab=cd,\: [/mm] ab+2a=cd+2c folgt doch aber sofort auch a=c, nicht wahr ?
Dann muss in [mm] (\star) [/mm] aber [mm] b\neq [/mm] d gelten, wenn die Tupel verschieden sein sollen.
Benutzen wir a=c in der Gleichung [mm] (\star\star) [/mm] - die wir ja widerlegen wollen-, so erhalten wir
[mm] (a^2-2)b=(a^2-2)d
[/mm]
und dies impliziert sofort b=d ( die einzige Chance, dass es das nicht taete, waere, dass der Term [mm] a^2-2
[/mm]
gleich 0 ist, aber solches a gibt es nicht in [mm] \IZ).
[/mm]
Damit ist Injektivitaet gezeigt.
Viele Gruesse,
Mathias
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 14:50 So 12.02.2006 | | Autor: | matth |
Vielen Dank !
Sieht gut aus, und dann auch noch so einfach... 
Schönen Sonntag noch,
Matthias
|
|
|
|
