BuK/IIm12/Studenten/sidahorb/saetze

Wiki-Quelltext dieser Seite.

Eine Abbildung oder Funktion f ist eine rechtseindeutige Relationen der Form $f \subseteq X \times Y$, das heisst für jedes $x \in X$ gibt es 
höchstens ein $y \in Y$ mit $(x,y) \in f$. Man schreibt $f(x) = y$ oder $f : x \mapsto y$, d.h. $x$ wird durch die Funktion $f$ auf $y$ abgebildet.
Statt $f \subseteq X \times Y$ verwendet man die Schreibweise $f : X \to Y$.

$D_f = { x \in X | \exists y \in Y$ $f(x)=y} \subseteq X$ heisst Definitionsbereich