Da arbeitet man am besten recht strikt mit den Definitionen:
Eine Funktion f ist injektiv, wenn für alle x, y aus der Urbildmenge gilt: f(x)=f(y) => x=y
(Das bedeutet: Zwei unterschiedliche Urbilder haben stets unterschiedliche Bilder!)
Eine Funktion ist surjektiv, wenn für alle Elemente y aus dem Bildbereich ein Urbild x existiert mit f(x)=y.
a)
Für die Injektivität nehmen wir uns also zwei Werte aus dem Urbildbereich, wir nennen sie (x, y) und (x', y'). Damit die Bilder gleich sind, müsste gelten
2x-5y = 2x' -5y' |+5y; -2x'
2*(x-x') = 5(y-y')
Und hier fällt auf: Das ist vermutlich öfters der Fall! Beispielsweise wenn x-x'=5 und y-y'=2 ist. Wir machen's konkreter, indem wir Zahlenwerte angeben. Das erste Paar suche ich mir dafür aus: Sei (x, y)=(10; 10). Dann ist x'=5 und y'=8, damit die Gleichungen von eben erfüllt sind, also ist (x', y')=(5; 8). Wir prüfen: 2*10 - 5*10 = -30 und 2*5-5*8=-30 - passt. Wir haben also zwei Urbilder angeben können, die das Gleiche Bild hat. Die Funktion ist daher nicht injektiv. (Injektivität wird meistens durch ein Gegenbeispiel widerlegt.)
Für die Surjektivität wollen wir zeigen: Für jede ganze Zahl z gibt es ein Paar (x, y) mit 2x-5y=z. In der Regel klappt das, indem man das Urbild direkt angibt. Das fällt mir hier tatsächlich spontan etwas schwer, es geht aber, wenn man sich den Zielbereich, also die ganzen Zahlen, ein bisschen einteilt:
Für gerade, positive Zahlen z können wir als Urbild (z/2, 0) benutzen, denn z/2 ist dann eine natürliche Zahl und 2*z/2-5*01=z.
Für ungerade, positive Zahlen ist ein mögliches Urbild ((z+5)/2; 1), denn (z+5)/2 ist dann eine natürliche Zahl, 1 auch, & 2*(z+5)/2 - 5*1 = z - passt!
Für negative Zahlen können wir nun folgendes Festhalten: Da es alle positiven Zahlen im Bildbereich gibt, sind insbesondere die Zahlen 0-4 im Bildbereich. Erhöht man y, so geht man von dort jeweils in 5er-Schritten nach "unten", so kann jede negative ganze Zahl erreicht werden.
Damit folgt: Jede Zahl in der Bildmenge hat ein Urbild, die Funktion ist surjektiv!
edit: b) & c) kommen gleich, muss scheinbar erst durch die Mods geprüft werden? Evtl weil ich zwei ziemliche Walls-of-Text erzeugt habe, als Spam-Schutz? :D
(Vielleicht geht das noch etwas eleganter, aber immerhin. Ist 0 bei euch keine natürliche Zahl, so müsste man für die positiven ganzen Zahlen was anderes nehmen, evtl ( (z+10)/2; 2) als Urbild von z.)