saetze
Aus ProgrammingWiki
Archivierte Version vom 2013-04-16T12:56:46+00:00. Aktuelle Version
- 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 von f, Y Wertebereich von f.
- Eine Funktion f:X \to Y mit D_f = X heisst total.