Funktion (Mathematik)

In der Mathematik ist eine Funktion oder Abbildung eine Beziehung (Relation) zwischen zwei Mengen, die jedem Element der einen Menge (Funktionsargument, unabhängige Variable, Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} -Wert) genau ein Element der anderen Menge (Funktionswert, abhängige Variable, Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} -Wert) zuordnet. Der Funktionsbegriff wird in der Literatur unterschiedlich definiert, jedoch geht man generell von der Vorstellung aus, dass Funktionen mathematischen Objekten mathematische Objekte zuordnen, zum Beispiel jeder reellen Zahl deren Quadrat. Das Konzept der Funktion oder Abbildung nimmt in der modernen Mathematik eine zentrale Stellung ein; es enthält als Spezialfälle unter anderem parametrische Kurven, Skalar- und Vektorfelder, Transformationen, Operationen, Operatoren und vieles mehr.

Begriffsgeschichte

Erste Ansätze zu einer impliziten Verwendung des Funktionsbegriffs in Tabellenform (Schattenlänge abhängig von der Tageszeit, Sehnenlängen abhängig vom Zentriwinkel, etc) sind bereits in der Antike zu erkennen. Den ersten Beleg einer expliziten Definition des Funktionsbegriffs findet man bei Nikolaus von Oresme, der im 14. Jahrhundert Abhängigkeiten sich ändernder Größen (Wärme, Bewegung, etc) graphisch durch senkrecht aufeinander stehende Strecken (longitudo, latitudo) darstellte. Am Beginn des Prozesses zur Entwicklung des Funktionsbegriffs stehen Descartes und Fermat, die mit Hilfe der von Viète eingeführten Variablen die analytische Methode der Einführung von Funktionen entwickelten. Funktionale Abhängigkeiten sollten durch Gleichungen wie zum Beispiel Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y = x^2} dargestellt werden. In der Schulmathematik wurde dieser naive Funktionsbegriff bis weit in die zweite Hälfte des 20. Jahrhunderts beibehalten. Die erste Umschreibung des Funktionsbegriffs nach dieser Idee stammt von Gregory in seinem 1667 erschienenen Buch Vera circuli et hyperbolae quadratura. Der Begriff Funktion kommt wohl erstmals 1673 in einem Manuskript von Leibniz auf, der in seiner Abhandlung von 1692 De linea ex lineis numero infinitis ordinatim ductis auch die Begriffe „Konstante“, „Variable“, „Ordinate“ und „Abszisse“ benutzt. Im Schriftwechsel zwischen Leibniz und Johann Bernoulli wird der Funktionsbegriff von der Geometrie losgelöst und in die Algebra übertragen. In Beiträgen von 1706, 1708 und 1718 stellt Bernoulli diese Entwicklung dar. 1748 präzisiert Euler, ein Schüler Johann Bernoullis, in seinem Buch Introductio in analysin infinitorum den Funktionsbegriff weiter.

Bei Euler findet man zwei verschiedene Erklärungen des Funktionsbegriffs: Zum einen stellt jeder „analytische Ausdruck“ in x eine Funktion dar, zum anderen wird y(x) im Koordinatensystem durch eine freihändig gezeichnete Kurve definiert. 1755 formuliert er diese Vorstellungen ohne Verwendung des Terminus „analytischer Ausdruck“ um. Außerdem führte er bereits 1734 die Schreibweise f(x) ein. Er unterscheidet zwischen eindeutigen und mehrdeutigen Funktionen. Bei Euler ist damit auch die Umkehrung der Normalparabel, bei der jeder nicht-negativen reellen Zahl sowohl ihre positive als auch ihre negative Wurzel zugeordnet wird, als Funktion zugelassen. Für Lagrange sind nur Funktionen zulässig, die durch Potenzreihen definiert sind, wie er 1797 in seiner Théorie des fonctions analytiques festlegt. Eine fruchtbare Auseinandersetzung über das Bewegungsgesetz einer schwingenden Saite, zu dem d'Alembert 1747, Euler 1748 und Daniel Bernoulli 1753 unterschiedliche Lösungen vorstellten, führte zur Entdeckung der Definitionsmenge und einem weiter präzisierten Funktionsbegriff, in dem schon so etwas wie eindeutige Zuordnung umschrieben wird, durch Fourier in seinem 1822 erschienenen Buch Théorie analytique de la chaleur. Ähnliches formuliert Cauchy 1823 in Résumé des leçons … sur le calcul infinitésimal.

Als die Analysis im 19. Jahrhundert mit einem exakten Grenzwertbegriff auf eine neue Grundlage gestellt wurde, wurden Eigenschaften, die bisher als für Funktionen konstituierend aufgefasst wurden, in einem Exaktifizierungsprozess als selbständige Begriffe eingeführt und vom Funktionsbegriffs losgelöst. Dirichlet, ein Schüler Fouriers, formulierte diese neue Sicht: „Ideen an die Stelle von Rechnungen“ und stellte 1837 seine Ideen dar. Stokes führte in Arbeiten 1848 und 1849 ähnliche Ansichten aus. So verfuhr Riemann, Schüler von Dirichlet, 1851 in Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Größe mit der Stetigkeit, später folgten Integrierbarkeit und Differenzierbarkeit. Eine Zusammenfassung dieser Entwicklung macht Hankel 1870 in Untersuchungen über die unendlich oft oscillierenden und unstetigen Functionen. Auch hier wird noch nicht zwischen der Funktion f und dem Funktionswert f(x) an der Stelle x unterschieden.

Weierstraß, Dedekind und andere entdeckten, dass Grenzwerte unendlicher Folgen „klassischer“ Funktionen sprunghaft sein können und sich nicht immer durch „geschlossene“ Formeln, d. h. mit endlich vielen Rechenoperationen, ausdrücken lassen. Das erzwang eine schrittweise Ausweitung des Funktionsbegriffs.

Davon unabhängig wurde im 19. Jahrhundert die Gruppentheorie begründet, mit der man systematisch untersuchen kann, wie sich algebraische Gleichungen unter der Wirkung aufeinanderfolgender Transformationen verändern. Bei der Anwendung dieser Theorie auf geometrische Probleme wurden gleichbedeutend mit Transformation auch die Begriffe Bewegung und Abbildung gebraucht.

Als Anfang des 20. Jahrhunderts die Grundlagen der Mathematik einheitlich in der Sprache der Mengenlehre formuliert wurden, stellten sich die mathematischen Begriffe Funktion und Abbildung als deckungsgleich heraus. Im Sprachgebrauch wirken die unterschiedlichen Traditionen jedoch fort. In der Analysis spricht man heute häufig noch von Funktionen, während man in der Algebra und in der Geometrie von Abbildungen spricht. Einige Mathematiker unterscheiden auch heute noch streng zwischen einer Abbildung und einer Funktion. Diese verstehen unter einer Funktion eine Abbildung in den reellen oder komplexen Zahlenkörper.

Weitere Synonyme für Funktion in spezielleren Zusammenhängen sind unter anderem Operator in der Analysis, Operation, Verknüpfung und Morphismus in der Algebra.

Heute sehen manche Autoren den Funktionsbegriff nicht unbedingt auf Mengen beschränkt an, sondern lassen jede aus geordneten Paaren bestehende Klasse, die keine verschiedenen Elemente mit gleicher linker Komponente enthält, als Funktion gelten. Mengentheoretisch ausgedrückt werden Funktionen also als rechtseindeutige Relationen definiert.

Definition

Grundidee

Eine Funktion Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} ordnet jedem Element Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} einer Definitionsmenge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} genau ein Element Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} einer Zielmenge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z} zu.

Schreibweise:

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon\, D\to Z,\; x\mapsto y.}

Für das einzige, dem Element Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \in D} zugeordnete Element der Zielmenge schreibt man im Allgemeinen Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x)} .

Anmerkungen:

• Die Umkehrung gilt nicht: Ein Element der Zielmenge muss (wenn überhaupt) nicht nur einem Element der Definitionsmenge zugeordnet worden sein.
• Oft ist an Stelle der Definitionsmenge zunächst eine Quellmenge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Q} gegeben. Wenn Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} als Rechenvorschrift gegeben ist, erhält man die Definitionsmenge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D_f} , indem man von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Q} diejenigen Elemente ausschließt, für die Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} nicht definiert ist.

Mengentheoretische Definition

Mengentheoretisch ist eine Funktion eine spezielle Relation:

Eine Funktion von der Menge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} in die Menge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z} ist eine Menge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} , die die folgenden Eigenschaften hat:

• Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} ist eine Teilmenge des kartesischen Produkts Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D\times Z} von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} und Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z} , d. h. Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} ist eine Relation.
• Für jedes Element Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} aus Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} existiert (mindestens) ein Element Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} in Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z} , so dass das geordnete Paar Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x,y)} Element der Relation Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} ist. Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} ist also linkstotal.
• Zu jedem Element Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} gibt es höchstens ein Element Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z} , so dass das Paar Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x,y)} in Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} liegt. Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} ist damit rechtseindeutig oder funktional.

Die letzten beiden Eigenschaften lassen sich auch wie folgt zusammenfassen:

• Zu jedem Element Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} gibt es genau ein Element Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z} , so dass das Paar Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x,y)} Element der Relation Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} ist.

Oft möchte man aber auch die Zielmenge explizit zu einem Teil der Funktion machen, zum Beispiel um Aussagen zur Surjektivität anstellen zu können:

Ein Paar Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f = (G_f,Z)} , bestehend aus einer Relation Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G_f} und einer Menge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z} , heißt Funktion von der Menge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} nach Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z} , wenn gilt: Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G_f \subseteq D\times Z} und zu jedem Element Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} gibt es genau ein Element Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z} (geschrieben Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x) = y} ), so dass das Paar Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x,y)} Element von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G_f} ist.

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G_f} wird auch der Graph der Funktion Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} genannt. Die Definitionsmenge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} der Funktion ist dabei durch ihren Graphen eindeutig bestimmt und besteht aus den ersten Komponenten aller Elemente des Graphen. Stimmen zwei Funktionen in ihren Graphen überein, so sagt man auch, sie seien im Wesentlichen gleich.

Man kann jedoch auch noch die Definitionsmenge hinzunehmen und eine Funktion entsprechend als ein Tripel Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f = (G_f,D,Z)} , Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G_f} wie oben, definieren.

Notation

Schreibweisen

Eine Zuordnung kann unter anderem in einer der folgenden Formen beschrieben werden:

Funktionsgleichung mit Definitionsmenge

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x) = x^2, \qquad x \in \N}

Eindeutige Zuordnungsvorschrift mit Definitionsmenge

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \mapsto x^2, \qquad x \in \N}

Eindeutige Zuordnungsvorschrift mit Definitions- und Zielmenge

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon \N \rightarrow \N,\; x \mapsto x^2 }

Wertetabelle (für endliche, aber auch abzählbar unendliche Definitionsmengen)

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x}	1	2	3	4	5	6	7	…
Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y}	1	4	9	16	25	36	49	…

Als Relation insbesondere auch als aufgezählt oder beschrieben dargestellte Teilmenge

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f = \{(1,1),(2,4),(3,9),(4,16),\ldots\}}

Als Ergebnis von Verknüpfungen und Operationen (zum Beispiel Komposition, Differenzierung, Bildung der Umkehrfunktion, …), die auf andere Funktionen angewendet werden

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f = (g^\prime\circ h)^{-1}}

Sprechweisen

Für die Zuordnung eines Funktionswertes Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} zu einem Argument Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} gibt es eine Reihe verschiedener Sprech- oder ausführlicher Schreibweisen, die alle mehr oder weniger gleichwertig sind und vor allem in Abhängigkeit von dem, was vordergründig ausgedrückt werden soll, vom jeweiligen Kontext, der benutzten Symbolik und auch vom Geschmack des Sprechers (Schreibers) gewählt werden. Hier einige Beispiele:

x wird abgebildet auf f von x

f von x wird x eindeutig zugeordnet (vornehmlich, wenn das Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mapsto} -Symbol in der Symbolik steht)

y gleich f von x (vornehmlich, wenn ein Gleichheitszeichen in der Symbolik steht)

y ist das Bild von x unter der Abbildung f

Davon zu unterscheiden ist die Sprech- und Schreibweise: „y ist eine Funktion von x“, die vor allem in der Physik sehr nahestehenden Bereichen der Mathematik auftaucht. Sie ist die ältere und ursprüngliche Sprech- und Schreibweise und beschreibt die Abhängigkeit einer Variablen Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} von einer anderen Variablen Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} , im Gegensatz dazu, dass mit Hilfe der Variablen Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} und Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} (stellvertretend) die Zuordnung bestimmter Elemente von Mengen beschrieben wird. Die „physikalische“ Sprechweise stammt von dem Vorgehen, zunächst zwei veränderlichen Größen (der physikalischen Realität) Symbole, nämlich die Variablen Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} und Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} , zuzuordnen und danach deren Abhängigkeit festzustellen. Steht beispielsweise Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} für die Raumtemperatur und Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} für die Zeit, so wird man feststellen können, dass sich die Raumtemperatur in Abhängigkeit von der Zeit ändert und somit „die Raumtemperatur eine Funktion der Zeit ist“ oder stellvertretend „y eine Funktion von x ist.“

Statt Definitionsmenge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} wird auch Definitionsbereich, Urbildmenge oder schlicht Urbild gesagt. Die Elemente von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} heißen Funktionsargumente oder Urbilder, salopp auch x-Werte. Die Zielmenge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z} wird auch Wertemenge oder Wertebereich genannt, die Elemente von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z} heißen Zielwerte oder Zielelemente, salopp auch y-Werte. Diejenigen Elemente von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z} , die tatsächlich auch als Bild eines Arguments auftreten, heißen Funktionswerte, Bildelemente oder schlicht Bilder.

Darstellung

Eine Funktion Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon\, U \to \R,\ U\subseteq\R} , kann man visualisieren, indem man ihren Graphen in ein (zweidimensionales) Koordinatensystem zeichnet. Der Funktionsgraph einer Funktion Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} kann mathematisch definiert werden als die Menge aller Elementepaare Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x|y)} , für die Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y = f(x)} ist. Der Graph einer stetigen Funktion auf einem zusammenhängenden Intervall bildet eine zusammenhängende Kurve (genauer: die Menge der Punkte der Kurve, aufgefasst als Unterraum des topologischen Raumes Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^2} ist zusammenhängend).

Analog kann man Funktionen Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon\, U \to \R^2,\, U\subseteq\R} , und Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g\colon\, U \to \R,\, U\subseteq\R^2} , visualisieren, indem man sie in ein dreidimensionales Koordinatensystem zeichnet. Ist Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} stetig, so ergibt sich eine Kurve (die auch Ecken haben kann), die sich durch das Koordinatensystem „schlängelt“. Ist Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} stetig, so ergibt sich eine Fläche als Bild, typischerweise in Form einer „Gebirgslandschaft“.

Computerprogramme zur Darstellung von Funktionen heißen Funktionenplotter. Funktionsprogramme gehören auch zum Funktionsumfang von Computeralgebrasystemen (CAS), matrizenfähigen Programmierumgebungen wie MATLAB, Scilab, GNU Octave und anderen Systemen. Die wesentlichen Fähigkeiten eines Funktionenplotters sind auch auf einem graphikfähigen Taschenrechner verfügbar. Es gibt auch Web-gestützte Angebote, die nur einen aktuellen Browser benötigen.

• Beispiele einiger Funktionsgraphen
• 

  Lineare Funktion (genauer: Affine Abbildung)

• 

  Polynomfunktion 5. Grades

• 

  Realteil der komplexen Exponentialfunktion

• 

  Sinusfunktion

• 

  Kugelflächenfunktion

• 

  Gaußsche Glockenkurve

Grundeigenschaften

Bild und Urbild

→ Hauptartikel: Bild (Mathematik) und Urbild (Mathematik)

Das Bild eines Elements Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} der Definitionsmenge ist einfach der Funktionswert Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x)} . Das Bild einer Funktion ist die Menge der Bilder aller Elemente der Definitionsmenge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} , also

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(D) = \{ f(x) \mid x \in D \}} .

Das Bild einer Funktion ist folglich eine Teilmenge der Zielmenge und wird Bildmenge genannt. Das Urbild eines Elements Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} der Zielmenge ist die Menge aller Elemente der Definitionsmenge, deren Bild Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} ist. Man schreibt

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f^{-1}(y) = \{ x \in D \mid f(x) = y \}} .

Das Urbild einer Teilmenge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T} der Zielmenge ist die Menge aller Elemente der Definitionsmenge, deren Bild Element dieser Teilmenge ist:

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f^{-1}(T) = \{ x \in D \mid f(x) \in T \}} .

Injektivität, Surjektivität, Bijektivität

→ Hauptartikel: Injektivität

• Eine Funktion ist injektiv, wenn jedes Element der Zielmenge höchstens ein Urbild hat. D. h. aus Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x_1) = y = f(x_2)} folgt Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_1=x_2.}
• Sie ist surjektiv, wenn jedes Element der Zielmenge mindestens ein Urbild hat. D. h. zu beliebigem Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} gibt es ein Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} , so dass Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x)=y.}
• Sie ist bijektiv, wenn sie injektiv und surjektiv ist, also wenn jedes Element der Zielmenge genau ein Urbild hat.

Stelligkeit

Eine Funktion Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon X\to Y} , deren Definitionsmenge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} eine Produktmenge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X=A\times B} ist, heißt oft zweistellig. Den Wert von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} , der bei Anwendung von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} auf das Paar Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (a,b)} erhalten wird, bezeichnet man mit Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(a,b)} .

Analoges gilt für höhere Stelligkeiten. Eine Funktion Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon A\times B \times C \to D} bezeichnet man üblicherweise als dreistellig. Eine Funktion, deren Definitionsmenge keine Produktmenge ist (oder bei der die innere Struktur der Definitionsmenge keine Rolle spielt) bezeichnet man als einstellig. Unter einer nullstelligen Funktion versteht man eine Funktion, deren Definitionsmenge das leere Produkt Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{()\} = \{\emptyset\}} ist.

Statt einstellig, zweistellig, dreistellig sagt man auch oft unär, binär, ternär; Stelligkeit wird daher auch als „Arität“ (englisch: arity) bezeichnet.

Menge der Funktionen

Mit $B^{A}$ oder ${}^{A}B$ wird die Menge aller Abbildungen von $A$ nach $B$ bezeichnet:

$B^{A}:=\{f\mid f\colon \,A\to B\}$.

Operationen

Einschränkung

→ Hauptartikel: Einschränkung

Die Einschränkung einer Funktion $f\colon A\to B$ auf eine Teilmenge $C$ der Definitionsmenge $A$ ist die Funktion $f|_{C}\colon C\to B$, deren Graph durch

$G_{f|_{C}}=G_{f}\cap (C\times B)=\{(x,y)\in G_{f}\mid x\in C\}$

gegeben ist.

Umkehrfunktion

→ Hauptartikel: Umkehrfunktion

Zu jeder bijektiven Funktion $f\colon A\to B$ gibt es eine Umkehrfunktion

$f^{-1}\colon B\to A,\,y\mapsto f^{-1}(y)$,

sodass $f^{-1}(y)$ das eindeutig bestimmte Element $x\in A$ ist, für das $f(x)=y$ gilt. Die Umkehrfunktion erfüllt damit für alle $x\in A$

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f^{-1}(f(x)) = x} .

Bijektive Funktionen werden daher auch als eindeutig umkehrbare Funktionen bezeichnet.

Verkettung

→ Hauptartikel: Komposition (Mathematik)

Zwei Funktionen Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon A \to B} und Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g \colon B \to C} , bei denen der Wertebereich der ersten Funktion mit dem Definitionsbereich der zweiten Funktion übereinstimmt, können verkettet werden. Die Verkettung oder Hintereinanderausführung dieser beiden Funktionen ist dann eine neue Funktion, die durch

$g\circ f\colon A\to C,\,x\mapsto (g\circ f)(x)=g(f(x))$

gegeben ist. In dieser Notation steht meist die zuerst angewandte Abbildung rechts, das heißt bei $g\circ f$ wird zuerst die Funktion $f$ angewandt und dann die Funktion $g$. Gelegentlich wird in der Literatur allerdings auch die umgekehrte Reihung verwendet und $(f\circ g)(x)=g(f(x))$ geschrieben.

Verknüpfung

Ist auf der Zielmenge $B$ eine innere zweistellige Verknüpfung $*\colon B\times B\to B$ gegeben, so lässt sich auch für Funktionen $f,g\in B^{A}$ eine innere zweistellige Verknüpfung definieren:

$f*g\colon A\to B,\,x\mapsto (f*g)(x)=f(x)*g(y)$.

Beispiele hierfür sind die punktweise Addition und Multiplikation von Funktionen. Weiter lässt sich mit Hilfe einer äußeren zweistelligen Verknüpfung der Form $*\colon C\times B\to B$ auch die Verknüpfung einer Funktion mit einem Element aus $C$ definieren:

$c*f\colon A\to B,\,x\mapsto (c*f)(x)=c*f(x)$

Beispiel hierfür ist die punktweise Multiplikation einer Funktion mit einem Skalar. Analog lässt sich so auch eine äußere Verknüpfung der Form $f*c$ definieren. Sind Verknüpfungen der gleichen Art sowohl auf der Definitionsmenge, als auch auf der Zielmenge gegeben, dann heißt eine Funktion verträglich mit diesen Verknüpfungen, wenn sich die Bilder bezüglich der einen Verknüpfung genauso verhalten wie die Urbilder bezüglich der anderen Verknüpfung.

Weitere Eigenschaften

Algebraische Eigenschaften

• Eine Funktion ist idempotent, wenn $f\circ f=f$ ist, d. h. $f(f(x))=f(x)\,$ für alle Elemente $x$ der Definitionsmenge gilt.
• Sie ist eine Involution, wenn $f\circ f=\operatorname {id} \neq f$ ist, also $f(f(x))=x\!\,$ für alle Elemente $x$ der Definitionsmenge gilt und für mindestens ein $x_{0}$ der Definitionsmenge $f(x_{0})\neq x_{0}$ ist.
• Ein Fixpunkt ist ein Element $a$ der Definitionsmenge von $f$, für das $f(a)=a$ gilt.
• Identität
• Konstanz

Analytische Eigenschaften

• Beschränktheit
• Periodizität
• Monotonie
• Symmetrie
• Stetigkeit
• Differenzierbarkeit
• Glattheit
• Holomorphie
• Homogenität
• Messbarkeit
• Integrierbarkeit
• Konvexität

Spezielle Funktionen

• homogene lineare Funktion (auch: Proportionalität): allgemein beschrieben durch $f(x)=mx$; ist ein Homomorphismus bezüglich der Addition
• allgemeine lineare Funktion (oder affine Funktion): allg. beschrieben durch $f(x)=ax+b$; siehe auch affine Abbildung
• Quadratische Funktion: allg. beschrieben durch $f(x)=ax^{2}+bx+c$ (s. Quadratische Gleichung)
• Potenzfunktion
• Polynomfunktionen; auch ganzrationale Funktion: allg. beschrieben durch $f(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0}$ oder $f(x)=\sum _{i=0}^{n}a_{i}x^{i}$
• Rationale Funktion; gebrochen-rationale Funktion: Quotient zweier Polynom-Funktionen, $f(x)=g(x)/h(x)$
• Wurzelfunktion: besteht aus gebrochenrationalen Funktionen, verknüpft durch die Grundrechenarten und Wurzelausdrücke
• Exponentialfunktion
• Logarithmus
• Trigonometrische Funktion: sin, cos, tan, cot, sec, csc
• Betragsfunktion
• Maximumsfunktion und Minimumsfunktion
• Gaußsche Ganzzahlfunktion

Verwendung

Ein fundamentales Konzept in der Mathematik stellen Strukturen dar, die dadurch entstehen, dass Mengen in Verbindung mit dazugehörigen Abbildungen gesehen werden. Derartige Strukturen bilden die Grundlage praktisch aller mathematischen Disziplinen, sobald sie über elementare Mengenlehre, kombinatorische Probleme oder grundlegende mathematisch-philosophische Fragestellungen hinausgehen.

Mengen können beispielsweise durch sogenannte Verknüpfungen strukturiert werden. Der wichtigste Spezialfall ist die innere zweistellige Verknüpfung, dabei handelt es sich um eine Abbildung der Form $f\colon \,A\times A\rightarrow A$. Beispiele für innere zweistellige Verknüpfungen sind Rechenoperationen, wie die Addition oder Multiplikation auf Zahlenmengen. Dementsprechend wird das Bild $*(x,y)$ eines Paares $(x,y)$ unter einer Verknüpfung $*$ üblicherweise in der Form $x*y$ geschrieben.

Weitere wichtige Beispiele solcher Strukturen sind algebraische, geometrische und topologische Strukturen, wie beispielsweise Skalarprodukte, Normen und Metriken.

Verallgemeinerungen

Multifunktionen

Eine Multifunktion (auch mehrwertige Funktion oder Korrespondenz genannt) ist eine linkstotale Relation. Das heißt, die Elemente der Definitionsmenge $X$ können auf mehrere Elemente der Zielmenge $Y$ abgebildet werden. Man schreibt auch $f\colon X\multimap Y$. Ein Beispiel für Multifunktionen sind die Umkehrfunktionen von surjektiven Funktionen. (Wenn $f\colon X\rightarrow Y$ surjektiv ist, gilt automatisch: $f^{-1}\colon Y\multimap X$ ist eine Multifunktion.)

Wenn Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y} eine Menge ist, dann kann man jede Multifunktion Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon X\multimap Y} auch als eine Funktion Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tilde f} darstellen, die in die Potenzmenge von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y} geht: Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tilde f\colon X\rightarrow\wp(Y)} .

Partielle Funktionen

Die partielle Funktion und ihre Untermenge die Funktion als spezielle Relationen

Wohlzuunterscheiden vom Begriff der Funktion ist der Begriff der partiellen Funktion, man spricht auch von einer „nicht überall definierten Funktion“ oder „funktionalen Relation“. Hier darf es Elemente der Quellmenge (Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} -Werte) geben, denen kein Wert der Zielmenge (Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} -Wert) zugeordnet ist. Hier ist dann die Nennung der Quellmenge in der obigen Tripelschreibweise tatsächlich notwendig. Allerdings darf es auch dort für einen Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} -Wert nicht mehr als einen Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} -Wert geben. Um partielle Funktionen von Funktionen zu unterscheiden, bezeichnet man letztere auch als totale oder überall definierte Funktionen.

Funktionen mit Werten in einer echten Klasse

Häufig liegen die Werte einer Funktion nicht in einer Zielmenge, sondern lediglich in einer echten Klasse, beispielsweise sind Mengenfolgen „Funktionen“ mit Definitionsmenge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \N} und Werten in der Allklasse. Um die mengentheoretischen Probleme, die sich daraus ergeben, zu vermeiden, betrachtet man nur noch den Graph der entsprechenden Funktion, genauer: Ein funktionsartiger Graph ist eine Menge Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} von Paaren Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x,y)} , so dass keine zwei Paare im ersten Eintrag übereinstimmen:

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \forall x,y_1,y_2\colon\, (x,y_1),(x,y_2)\in G \implies y_1=y_2}

Definitions- und Wertemenge sind tatsächlich Mengen, aber es ist nicht nötig, sich von vornherein auf eine Zielmenge festzulegen.

Symbolik

Für Funktionen gibt es etliche symbolische Schreibweisen, die jeweils einige spezielle Eigenschaften der Funktion ausdrücken. Im Folgenden werden einige wichtige genannt.

Symbol	Erklärung
Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon\, A\to B}	Funktion von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} nach Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B}
Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon\, a\mapsto b} Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(a) = b}	Funktion, die Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} auf Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} abbildet; statt Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} kann auch ein Term o. Ä. stehen
Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (a,b) \in f} Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (a,b) \in G_f}	Funktion, die Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} auf Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} abbildet; statt Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} kann auch eine Formel o. Ä. stehen (mengentheoretische Schreibweise)
Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon\, a\mapsto f(a) := b}	Funktion, die Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} auf Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} abbildet, die die elementweise Zuordnung mit Beschreibung der Funktionssymbolik (statt Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(a)} stehen oft Dinge wie Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^{{-}1},\; \overline{a},\; a\cdot c} u. Ä.) und der Formel o. Ä. (an der Stelle von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} ) zur Berechnung des Bildes angibt
Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon\, A\to B,\, a\mapsto f(a) := b}	Ausführlichste Notation, die alle beteiligten Mengen und die elementweise Zuordnung mit Beschreibung der Funktionssymbolik und der Formel o. Ä. zur Berechnung des Bildes angibt
Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon\, A\rightarrowtail B}	injektive Funktion von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} nach Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B}
Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon\, A\twoheadrightarrow B}	surjektive Funktion von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} nach Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B}
Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon\, A\;\operatorname\leftrightarrow\; B} Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon\, A\;\operatorname\rightleftarrows\; B} Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon\, A\;\,\operatorname{\twoheadrightarrow\!\!\!\!\!\!\!\!\!\!\;\;\rightarrowtail}\; B}	bijektive Funktion von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} nach Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B}
Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon\, A\hookrightarrow B}	Inklusionsabbildung, natürliche Inklusion, natürliche Einbettung von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} in Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B} (A ist Untermenge von B, und die Funktion bildet jedes Element von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} auf sich ab.)
Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f = \operatorname{id}_A} $f\colon \,A\to A,\,a\mapsto a$ $f\colon \,A=B$	Identität, identische Abbildung auf A oder von $A$ nach $B$ (A = B, und die Funktion bildet jedes Element auf sich ab.)
$f\colon \,A\;{\stackrel {\mathrm {\cong } }{\rightarrow }}\;B$ $f\colon \,A\cong B$	Isomorphismus von $A$ nach $B$
$f\colon \,A\rightsquigarrow B$	partielle Funktion (s. u.) von $A$ nach $B$
$f\colon \,A\multimap B$	mehrwertige Funktion, Korrespondenz (s. u.) von $A$ nach $B$

Die Symbole können auch, wo sinnvoll, miteinander kombiniert werden.

Siehe auch

• Gottlob Frege: Funktion und Begriff (der Begriff als Funktion)
• Funktionsschar
• Funktion höherer Ordnung

Literatur

• Heinz-Dieter Ebbinghaus: Einführung in die Mengenlehre. 4. Auflage. Spektrum, Akademischer Verlag, Heidelberg u. a. 2003, ISBN 3-8274-1411-3.
• Paul R. Halmos: Naive Mengenlehre (= Moderne Mathematik in elementarer Darstellung. Bd. 6). Übersetzt von Manfred Armbrust und Fritz Ostermann. 5. Auflage. Vandenhoeck & Ruprecht, Göttingen 1994, ISBN 3-525-40527-8.
• Arnold Oberschelp: Allgemeine Mengenlehre. BI-Wissenschafts-Verlag, Mannheim u. a. 1994, ISBN 3-411-17271-1.
• Adolf P. Youschkevitch: The Concept of Function up to the Middle of the 19th Century. In: Archiv of the History of Exakt Sciences 16, Springer Verlag Berlin, 1976

Weblinks

 Wikibooks: Mathe für Nicht-Freaks: Abbildung – Lern- und Lehrmaterialien

Wiktionary: Funktion – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

 Commons: Funktionen – Sammlung von Bildern, Videos und Audiodateien