6.1.2 Zuordnungen zwischen Mengen

Wir beginnen mit einem ersten Beispiel einer Funktion als Zuordnung zwischen zwei Mengen. Dazu betrachten wir die Menge der natürlichen Zahlen sowie die Menge der rationalen Zahlen und veranschaulichen uns diese als zwei „Container" mit Zahlen.

Nun wollen wir eine Zuordnung zwischen den Elementen dieser beiden Mengen auf folgende Art durchführen. Jeder beliebigen Zahl wird die Hälfte dieser Zahl zugeordnet, also der Zahl die Zahl , der Zahl die Zahl und immer so weiter. Dies können wir im Bild durch Pfeile veranschaulichen, die andeuten, welche Zahlen in welchen Zahlen in zugeordnet werden.

Wir benutzen für die Zuordnung der einzelnen Elemente der Mengen, die wir oben in Worten beschrieben haben, den sogenannten Zuordnungspfeil. Dies ist ein Pfeil, der auf einer Seite einen senkrechten Strich als Abschluss hat: . Er bedeutet, dass der Zahl auf der Seite mit dem senkrechten Strich die Zahl auf der Seite der Pfeilspitze zugeordnet wird: Mit diesen Zuordnungen haben wir nun eine Funktion von den natürlichen Zahlen in die rationalen Zahlen konstruiert. In der Mathematik gibt man dieser Zuordnung nun einen Namen, d.h. man reserviert ein Symbol (oft für Funktion), das genau diese Zuordnung beschreiben soll. Dazu muss man die Zahlenmengen notieren, aus denen und in die zugeordnet werden soll. In diesem Fall werden den Elementen der natürlichen Zahlen rationale Zahlen zugeordnet. Dies schreibt man mathematisch mit einem sogenannten Abbildungspfeil , an dessen Spitze die Menge auftaucht, die das Ziel der Zuordnung ist und an dessen Basis die Menge steht, deren Elemente zugeordnet werden. In diesem Fall also Man liest dies als „die Funktion bildet von nach ab".

Weiterhin können wir uns nun die Frage stellen, ob wir die Zuordnungen dieser Funktion kürzer aufschreiben können. Dazu erinnern wir uns an den Beginn dieses Beispiels. Wir haben uns überlegt, jeder natürlichen Zahl ihre Hälfte zuzuordnen. Damit können wir links und rechts des Zuordnungspfeils nun einfach diese beliebige natürliche Zahl bzw. die sich daraus ergebende rationale Zahl hinschreiben: Man liest dies als „ wird auf abgebildet“. Diese Schreibweise bezeichnet man auch als Abbildungsvorschrift der Funktion. Eine weitere Schreibweise für die Abbildungsvorschrift benutzt den Namen der Funktion: Man liest dies als „ von ist gleich ”. Wir können also die hier betrachtete Funktion nun zusammengefasst folgendermaßen schreiben: Man liest dies nun als „die Funktion bildet von nach ab, jedes wird auf abgebildet". Diese zusammenfassende Schreibweise werden wir im Rest dieses Moduls für Funktionen weiter verwenden.

Wir betrachten einige weitere einfache Beispiele für Funktionen:

Die obigen Beispiele zeigen einige Grundeigenschaften von Funktionen, für die wir nun spezielle Begriffe einführen wollen:

Betrachten wir die Abbildungsvorschrift der Funktion , so sehen wir, dass eigentlich nichts dagegen spricht, jede beliebige reelle Zahl für in einzusetzen außer der Zahl , da die Rechenoperation „" kein Ergebnis liefert. Man kann bei der Angabe einer Definitionsmenge also unterscheiden zwischen Zahlen, die ausgeschlossen sind, da man sie überhaupt nicht in die Abbildungsvorschrift einsetzen darf, und solchen, die ausgeschlossen sind, weil die Funktion eben so definiert ist. Dies führt nun auf den Begriff des größtmöglichen Definitionsbereichs einer Funktion, der größtmöglichen Teilmenge der reellen Zahlen , die man als Definitionsmenge einer Funktion mit bekannter Abbildungsvorschrift benutzen kann.

Beim Aufschreiben von Funktionen ist neben dem Definitionsbereich noch eine zweite Menge notwendig, nämlich diejenige Menge, die das Ziel der durch die Funktion beschriebenen Zuordnung ist. Diese wird als Zielmenge oder Zielbereich bezeichnet. Betrachten wir nochmal die Funktion aus Beispiel 6.1.2 Zuordnungen zwischen Mengen. Deren Zielmenge sind die reellen Zahlen . Die Zielmenge der Funktion aus dem einführenden Beispiel dieses Abschnitts sind die rationalen Zahlen . Wir erkennen hier einen wichtigen Unterschied zwischen der Definitionsmenge und der Zielmenge einer Funktion. Die Definitionsmenge enthält alle Zahlen, und nur diese, die man in die Abbildungsvorschrift der Funktion einsetzen darf und möchte. Wohingegen die Zielmenge alle Zahlen enthalten kann, die potentiell als Ergebnis der Abbildungsvorschrift auftauchen können.

In diesem Zusammenhang stellen wir uns die Frage, was denn der kleinstmögliche Zielbereich ist, den man für eine Funktion mit gegebenem Definitionsbereich und bekannter Abbildungsvorschrift benutzen kann. Unter dem kleinstmöglichen Zielbereich verstehen wir all diejenigen Zahlen, die – bei gegebener Definitionsmenge und Abbildungsvorschrift – tatsächlich als Ziele der Zuordnung auftauchen. Diese Menge bezeichnet man als Wertebereich oder Wertemenge und dessen Elemente als Werte der Funktion. Für eine Funktion benutzt man das Symbol für die Wertemenge. Für die Werte einer Funktion mit Veränderlicher schreibt man allgemein meist , wie in der Abbildungsvorschrift, oder führt eine weitere Variable ein, zum Beispiel .

Solche Wertetabellen sind sinnvoll, um sich einen Überblick über die Werte einer Funktion zu verschaffen. Sie reichen aber nicht aus, um mathematisch ganz sicher zu sein, was der tatsächliche Wertebereich einer Funktion ist. Eine Methode, den Wertebereich einer Funktion zu bestimmen, benutzt das Lösen von Ungleichungen: