Abbildung/Graph/Bild/Urbild/Einführung/Textabschnitt

Definition

Es seien ${}L$ und ${}M$ Mengen und es sei

$F\colon L\longrightarrow M$

eine Abbildung. Dann nennt man

${}\Gamma =\Gamma _{F}={\left\{(x,F(x))\mid x\in L\right\}}\subseteq L\times M\,$

den Graphen der Abbildung ${}F$.

Ein Graph ist ein mengentheoretisches Konzept. Ob man ihn „graphisch“ veranschaulichen kann, hängt davon ab, ob man die Produktmenge ${}L\times M$ veranschaulichen kann.

Definition

Es seien ${}L$ und ${}M$ Mengen und es sei

$F\colon L\longrightarrow M$

eine Abbildung. Zu einer Teilmenge ${}S\subseteq L$ heißt ${}F(S)={\left\{y\in M\mid {\text{es gibt ein }}x\in S{\text{ mit }}F(x)=y\right\}}$ das Bild von ${}S$ unter ${}F$. Für ${}S=L$ heißt

${}F(L)=\operatorname {bild} F\,$

das Bild der Abbildung.

Definition

Es seien ${}L$ und ${}M$ Mengen und es sei

$F\colon L\longrightarrow M$

eine Abbildung. Zu einer Teilmenge ${}T\subseteq M$ heißt

${}F^{-1}(T)={\left\{x\in L\mid F(x)\in T\right\}}\,$

das Urbild von ${}T$ unter ${}F$. Für eine einelementige Teilmenge ${}T=\{y\}$ heißt

$F^{-1}(\{y\})$

das Urbild von ${}y$.