(a) f ist injektiv.
==> Da A endlich ist, etwa A = { a1 , ... , an }
und f Injektiv, sind die Elemente f(a1) , ... , f(an) alle verschieden
aber auch alle in A. n verschiedene Elemente einer n-elementigen
Menge, sind die ganze Menge, also ist
{ f(a1) , ... , f(an) } = A , also f surjektiv.
(b) => c) f ist surjektiv. Dann ist { f(a1) , ... , f(an)} = A ,
also unterscheiden sich ( a
1 , ... , a
n ) und ( f(a
1) , ... , f(a
n) )nur durch die Anordnung der Komponenten . Da es nur endlich viele
solcher Anordnungen gibt, gibt es k < m mit f
k = f
m also
f
o = f
m-k c) => a) ???
(c) Es gibt ein i ∈ N mit fi = f0.