Die Definitionsmenge enthält die für eine Funktion festgelegten Eingaben. Die Zuordnung muss für jedes ihrer Elemente definiert sein. Ohne weitere Vorgabe suchen wir meist die größte reelle Definitionsmenge: Nenner dürfen nicht null sein, und Wurzeln gerader Ordnung benötigen nicht negative Radikanden.
Die Definitionsmenge darf auch bewusst eingeschränkt werden. Zum Beispiel ist die Regel x2 für alle reellen Zahlen definiert, eine Funktion kann aber nur für x≥0 festgelegt werden.
Diese Funktion teilt durch die eingesetzte Zahl, und eine Division ist nur definiert, wenn der Nenner nicht null ist:
f(x)=x1
Sie teilt 1 durch die eingesetzte Zahl. Bei der Eingabe 0 wird der Nenner null:
01
Durch Null darf nicht dividiert werden. Deshalb gehört die Zahl 0 nicht zur Definitionsmenge dieser Funktion. Alle anderen reellen Zahlen sind zulässig.
Die Definitionsmenge von f(x)=x1 umfasst daher alle reellen Zahlen außer 0.
Ein zweites Beispiel ist
g(x)=x
Hier wird die Quadratwurzel der Eingabe gebildet. Für −4 ergäbe sich
−4
Im Bereich der reellen Zahlen ist die Quadratwurzel einer negativen Zahl nicht definiert. Zulässig sind deshalb nur 0 und positive Zahlen.
Die Definitionsmenge von g(x)=x besteht also aus allen reellen Zahlen größer oder gleich 0, das heißt mit x≥0.
Die Zielmenge wird bei der Definition einer Funktion festgelegt. Sie enthält die Werte, in denen die Ausgaben der Funktion liegen sollen.
Als Beispiel definieren wir f(x)=2x.
Als Definitionsmenge wählen wir die natürlichen Zahlen:
{1,2,3,...}
Dann legen wir als Zielmenge die ganzen Zahlen fest:
{...,−2,−1,0,1,2,...}
Mit den ganzen Zahlen als Zielmenge legen wir fest, in welcher Menge die Werte von f(x)=2x liegen. Für natürliche Eingaben entstehen tatsächlich nur positive gerade Zahlen. Genau diese Werte bilden die Bildmenge:
{2,4,6,...}
Die gewählte Zielmenge ist gültig, weil alle tatsächlich entstehenden Werte der Bildmenge in den ganzen Zahlen enthalten sind.
Die Zielmenge beschreibt also den vorgesehenen Ausgaberaum. Nicht jeder ihrer Werte muss von der Funktion tatsächlich erreicht werden.
Die Definitionsmenge schließt ungültige Eingaben wie eine Division durch null aus. Die Zielmenge legt den Ausgaberaum fest, und die Bildmenge zeigt, welche Werte darin tatsächlich erreicht werden.
Beschränken wir das Quadratbeispiel auf D={−2,−1,0,1,2} und wählen K={0,1,2,3,4}. Von jeder Eingabe geht ein Pfeil aus, aber manche Elemente der Zielmenge werden nicht erreicht.
Die Pfeile erreichen 0,1,4, also gilt R={0,1,4}. Die Werte 2 und 3 bleiben in der Zielmenge, gehören jedoch nicht zur Bildmenge dieses eingeschränkten Beispiels.
Mathematisch ordnet eine Funktion f jedem Element der Definitionsmenge D genau ein Element der Zielmenge K zu:
f:D→K
Die Bildmenge R enthält alle tatsächlich entstehenden Werte f(x) für x aus der Definitionsmenge:
R={f(x)∣x∈D}
Damit ist die Bildmenge stets eine Teilmenge der Zielmenge:
R⊆K
Jeder tatsächlich erreichte Funktionswert muss also in der Zielmenge liegen. Umgekehrt muss jedoch nicht jeder Wert der Zielmenge von der Funktion erreicht werden.
Es sei h:R∖{2}→R mit h(x)=x−21. Beantworte die drei Fragen unten zu dieser Funktion. Beginne bei dem Wert, den der Nenner verbietet, und prüfe dann, welche Ausgabewerte der Bruch erreichen kann.
Warum ist 2 aus der Definitionsmenge ausgeschlossen?