In der Mathematik bezeichnet der Begriff mathematisches Objekt "Funktion" eine Vorschrift, die zu jedem zulässigen Eingabewert eine Ausgabe zuordnet. Die Eingabe wird oft als Eingabe bzw. Argument bezeichnet, die resultierende Größe als Ausgabe. Eingabe und Ausgabe können sehr unterschiedliche Typen haben: eine Zahl, ein Vektor, ein Zeichenkettenobjekt oder allgemein ein Element einer Menge. Eine Funktion formalisiert also ein Paarungsprinzip zwischen zwei Mengen.

Definition und Notation

Formal schreibt man f : X → Y, wobei X die Domäne (Definitionsbereich) und Y die Codomäne (Zielmenge) ist. Für x in X bezeichnet f(x) das zu x zugeordnete Element in Y. Eine Funktion ist eine spezielle Relation: jedem x in X darf höchstens ein Wert f(x) in Y zugeordnet sein; oft verlangt man sogar, dass jedes x mindestens einen Wert hat (total), sonst spricht man von einer partiellen Funktion.

Wesentliche Eigenschaften

Bei der Klassifikation von Funktionen sind einige Begriffe zentral:

  • Injektivität: Verschiedene Eingaben haben verschiedene Ausgaben (f(x1)=f(x2) ⇒ x1=x2).
  • Surjektivität: Jede Stelle der Codomäne wird getroffen (für jedes y in Y existiert x in X mit f(x)=y).
  • Bijektivität: injektiv und surjektiv zugleich; nur bijektive Abbildungen besitzen eine eindeutige Umkehrfunktion.
  • Komposition: Zwei Funktionen f: X→Y und g: Y→Z lassen sich zu g∘f: X→Z verketten.
  • Partielle und totale Funktionen: Teilweise sind nur bestimmte Eingaben erlaubt.
x

Beispiele und typische Formen

Ein einfaches Beispiel ist f(x)=x+1 mit x aus den natürlichen Zahlen: hier verschiebt die Funktion jedes Element um eins. Weitere verbreitete Beispiele sind quadratische Funktionen f(x)=x², lineare Abbildungen zwischen Vektorräumen oder die ganzzahlige Abrundung (Floor-Funktion), die typischerweise nicht injektiv ist. Funktionen müssen nicht durch eine Formel gegeben sein: auch Tabellen, Algorithmen oder grafische Regeln definieren Zuordnungen.

y

Anwendungen und Bedeutung

Funktionen sind eines der zentralen Konzepte in nahezu allen Teilgebieten der Mathematik und ihrer Anwendungen: sie modellieren Beziehungen in Analysis, Algebra, Statistik und Informatik. In der Analysis führen zusätzliche Eigenschaften wie Stetigkeit, Differenzierbarkeit und Integrabilität zu feiner untersuchten Funktionstypen, die das Verhalten von physikalischen Systemen, ökonomischen Modellen oder numerischen Verfahren beschreiben.

Geschichte, Begriffsentwicklung und Hinweise

Der Funktionsbegriff hat sich historisch schrittweise entwickelt; im 18. Jahrhundert trug besonders die Standardisierung der Schreibweise f(x) dazu bei, dass Funktionen als eigenständige Objekte behandelt wurden. In der modernen Darstellung werden Funktionen oft in der Sprache der Mengenlehre und der Abbildungstheorie formuliert. Wichtig ist die Unterscheidung zwischen einer Abbildung (als Vorschrift) und ihrer graphischen Darstellung oder Formel: dieselbe Funktion kann auf verschiedene Arten beschrieben werden.

x

Für weiterführende Einordnungen und formale Details gibt es zahlreiche Einführungen und Lehrbücher, die Beispiele, Beweise und typische Operationen (Komposition, Umkehrabbildung, Einschränkung) systematisch behandeln.