f2(1,2) = f2(2,1) aber (1,2)≠(2,1) also nicht injektiv.
Für alle n∈ℕ gilt f2(1,n)=n , also surjektiv.
f3(x,y) = f3(a,b)
==> (x + y, x) = (a + b, b)
==> x+y=a+b ∧ x=b
==> b+y = a+b ∧ x=b
==> y = a ∧ x=b
==> (x,y) = (a,b) . Also injektiv.
Sei (a,b) ∈ ℤxℤ. Gibt es (x,y) ∈ ℤxℤ mit f3(x,y) = (a,b) ???
Dann müsste gelten (x + y, x) = (a,b)
==> x+y=a ∧ x=b
==> b+y = a ∧ x=b
==> y = a-b ∧ x=b
Für alle (a,b) ∈ ℤxℤ ist (b , a-b ) ∈ ℤxℤ
das Paar, dessen f3-Bild (a,b) ist. Also f3 surjektiv.