Funktionen

Die Definition einer Funktion:

Die Relation $f\subseteq A\times B$ ist eine (totale) Funktion $f:A\to B$ oder $f:a\mapsto b$ falls

1. $\forall a\in A\exists b\in Bafb$
2. $\forall a\in A,\forall b_1,b_2\in B((af{b}_1\wedge af{b}_2)\to b_1=b_2)$
   gegeben ist.
   Geschrieben wird das ganze als $f(a)=b$ wobei $a$ als das Urbild bezeichnet wird und $f(a)$ bzw. $b$ das Bild genannt wird.

Ist die erste der beiden obigen Bedingungen nicht gegeben, so spricht man nicht von einer totalen sondern nur von einer partiellen Funktion.
Das Bedeutet, dass es für mindestens ein $a$ nicht klar ist, auf welches $b$ es abgebildet werden soll.

Eigenschaften von Funktionen

Funktionen können die folgenden Eigenschaften haben:

• Es kann eine Injektive Funktion sein
• Es kann eine Surjektive Funktion sein
• Es kann eine Bijektive Funktion sein

Lemma:
Sind $f,g$ injektive Funktionen $\Rightarrow g\circ f$ ist injektiv

Beweis
…

Das gilt auch für Surjektivität und Bijektivität.

$B^A$ ist die Menge aller totalen Funktionen $f:A\to B$