Funktion (Mathematik)

Aus Fotonexus.

Eine Funktion drückt die Abhängigkeit einer Größe von einer anderen aus. Traditionell werden Funktionen als Regel oder Vorschrift definiert, die eine Eingangsgröße (Argument, meist x) in eine Ausgangsgröße (Funktionswert, meist y) transformiert (überführt).

Häufig werden auch die Begriffe Abbildung und Operation für Funktionen verwendet.

Die Mathematik definiert Funktionen in den Begriffen der Mengenlehre.

Inhaltsverzeichnis

1 Definition
2 Schreibweisen und Sprechweisen
3 Funktionen als Strukturen
4 Darstellung von Funktionen
5 Beispiele
6 Wichtige Begriffe
7 Eigenschaften von Funktionen
- 7.1 Allgemeine Eigenschaften
- 7.2 Eigenschaften, die in der reellen und komplexen Analysis von Interesse sind
8 Funktionen, die Strukturen beachten
9 Spezielle Funktionen und Funktionstypen
10 Siehe auch
11 Quellen und Bemerkungen
12 Weblinks

Definition

Eine Funktion f weist jedem Element einer Definitionsmenge A (einem "x-Wert") genau ein Element einer Zielmenge B (einen "y-Wert") zu.

Eine Funktion ist also eine eindeutige Zuordnung und hat demnach die explizite Eigenschaft:

Jedem x-Wert aus dem Definitionsbereich wird genau ein y-Wert zugeordnet.

Oft kann man eine Zuordnungsvorschrift angeben; man nennt sie Funktionsgleichung.

Mengentheoretisch ist eine Funktion eine linkstotale und rechtseindeutige Relation, das heißt:

Eine Funktion von der Menge A in die Menge B ist eine Menge f, die die folgenden Eigenschaften hat:

f ist eine Teilmenge von A × B (kartesisches Produkt), also eine Menge von Paaren (a, b), wobei a in A und b in B gilt.
zu jedem Element a von A gibt es genau ein Element b von B (geschrieben f(a)), so dass das Paar (a,b) Element von f ist.

Oft möchte man aber auch die Zielmenge B explizit zu einem Teil der Funktion machen, und definiert:

Ein Tripel f = (A, B, R) bestehend aus zwei Mengen A und B sowie einer Relation R ⊆ A × B heißt Funktion von A nach B, wenn gilt: zu jedem Element a von A gibt es genau ein Element b von B (geschrieben f(a)), so dass das Paar (a,b) Element von R ist. Eine Funktion ist also durch ihren Graphen R und die Angabe der Menge B bestimmt.

Daneben gibt es vor allem in der Informatik noch den Begriff der partiellen Funktion. Bei dieser darf es Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x -Werte geben, denen kein Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): y -Wert zugeordnet ist. Allerdings darf es auch dort für einen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x -Wert nicht mehr als einen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): y -Wert geben. Um partielle Funktionen von den in diesem Artikel behandelten Funktionen zu unterscheiden bezeichnet man letztere auch als totale Funktion.

Schreibweisen und Sprechweisen

Statt der bekannten Schreibweise aus der Mengenlehre Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f \subseteq A \times B

schreibt man

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f\colon A \to B

Sprechweise:

„Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A
nach Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B

“

Statt der bekannten Schreibweise aus der Mengenlehre Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): (x,y) \in f

schreibt man

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f\colon x \mapsto f(x)

oder Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): y = f(x)

Sprechweise:

„x wird abgebildet auf f von x“

„x wird f von x zugeordnet“

„y gleich f von x“

„y ist das Bild von x unter der Abbildung f“

Die Definitionsmenge A wird auch Definitionsbereich oder Domain genannt. Die Elemente von A heißen Funktionsargumente, salopp auch „x-Werte“, die Zielmenge B wird auch Codomain genannt, die Elemente von B heißen salopp auch „y-Werte“. Funktionswerte heißen dagegen nur diejenigen Elemente von B, die tatsächlich als Bild eines Arguments auftreten.

Als "Wertemenge" oder "Wertebereich" wird etwas uneinheitlich

entweder die Bildmenge, also die Menge {f(x) | x ∈ A} der tatsächlich angenommenen Werte,
oder die Zielmenge

bezeichnet.

Funktionen als Strukturen

Eine große Rolle spielen Funktionen in der Mathematik auch als Hilfsmittel, um mehreren gleichartigen Größen eine Struktur zuzuordnen.

Beispiel: Um den Werten 4, 5, 6 und 4 die Struktur einer Tabelle mit zwei Spalten und zwei Zeilen zuzuordnen

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \begin{pmatrix} 4 & 5\\ 6 & 4\\ \end{pmatrix}

wird jeder Position in der Tabelle (repräsentiert durch das Zahlenpaar Zeile und Spalte) ein Wert zugeordnet, hier zum Beispiel für Wert 6 in Zeile 2, Spalte 1:

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): (2,1)\mapsto 6

Die Funktion

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \{(1,1),(1,2),(2, 1),(2,2)\}\to \mathbb{R},\quad (i,j)\mapsto a_{ij}

ist eine allgemeine Darstellung einer solchen Tabelle mit Werten Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): a_{11}

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): a_{12} , Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): a_{21}

und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.):  a_{22}

.

Auf diese Weise werden in der Mathematik unter anderem N-Tupel, Folgen und Matrizen definiert.

Darstellung von Funktionen

Eine Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f: \mathbb{R} \to \mathbb{R}

kann man visualisieren, indem man ihren Graphen in ein Koordinatensystem zeichnet. Der Funktionsgraph einer Funktion f kann mathematisch definiert werden als die Menge aller Zahlenpaare (x|y), für die Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): y=f(x)

. Der Graph einer stetigen Funktion bildet eine zusammenhängende Kurve.

Computerprogramme zur Darstellung von Funktionen heißen Funktionenplotter. Funktionsprogramme gehören auch zum Funktionsumfang von Computer-Algebra-Systemen (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.

Beispiele

Die Normalparabel: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f: \mathbb{R} \to \mathbb{R},\;\; x \mapsto x^2

Die Nachfolger-Funktion: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): s:\mathbb{N} \to \mathbb{N} ,\;\; x \mapsto x+1

Wichtige Begriffe

Das Bild eines Elements x der Definitionsmenge ist einfach f(x).
Das Bild einer Funktion ist die Menge aller Elemente die in B getroffen werden, also f(A) = { f(x) : x in A } und dies ist eine Teilmenge von B
Das Urbild eines Elements y der Wertemenge ist die Menge aller Elemente des Definitionsbereichs, deren Bild y ist. Man schreibt f ^-1(y) = { x in A : f(x) = y }. Man sagt auch Faser von y.
Das Urbild einer Teilmenge M der Zielmenge ist die Menge aller Elemente des Definitionsbereichs, deren Bild Element dieser Teilmenge ist. f ^-1(M) = { x in A : f(x) in M }.
Die Verkettung oder Komposition ist die Verknüpfung von Funktionen durch Hintereinanderausführung (f o g)(x) = f(g(x)).
Die Umkehrfunktion einer bijektiven Funktion weist jedem Element der Wertemenge das Urbildelement zu. (Bei bijektiven Funktionen hat das Urbild jedes Elements genau ein Element.)
Ein Fixpunkt ist ein Element x des Definitionsbereichs von f, für das f(x) = x gilt.

Eigenschaften von Funktionen

Allgemeine Eigenschaften

Eine Funktion ist injektiv, wenn jedes Element des Wertebereichs höchstens ein Urbild hat.
Sie ist surjektiv, wenn jedes Element der Zielmenge mindestens ein Urbild hat.
Sie ist bijektiv, wenn sie injektiv und surjektiv ist, also wenn jedes Element der Zielmenge genau ein Urbild hat.
Sie ist idempotent, wenn Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(f(x))=f(x)\,

für alle Elemente Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x
des Definitionsbereichs gilt.

Sie ist eine Involution, wenn Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(f(x)) = x\,

für alle Elemente Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x
des Definitionsbereichs gilt.

Eine zweistellige Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

heißt kommutativ, wenn Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(x,y)=f(y,x)\,
für alle Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x
und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): y
aus der Definitionsmenge gilt.

Eine Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

mit Definitionsbereich Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): D
heißt gerade Funktion, wenn für alle Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x \in D
auch Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): -x \in D
ist und die Achsensymmetrie Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(x) = f(-x)\,
gilt.

Eine Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f

mit Definitionsbereich Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): D
heißt ungerade Funktion, wenn für alle Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x \in D
auch Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): -x \in D
ist und die Punktsymmetrie Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(-x) = -f(x)\,
gilt.

Eigenschaften, die in der reellen und komplexen Analysis von Interesse sind

Funktionen, die Strukturen beachten

Funktionen, die auf Zusammenhänge wie z. B. Operationen (Addition, etc.) in der Definitions- und der Zielmenge „Rücksicht nehmen“, werden Morphismen genannt. Siehe Homomorphismus, Kategorientheorie.

Spezielle Funktionen und Funktionstypen

Bild:Lineare Funktion.PNG

affine Funktion

Bild:Polynomialdeg5.png

Polynomfunktion 5. Grades

Bild:Exp re.png

komplexe Exponentialfunktion

Bild:Sin.svg

Sinusfunktion

Bild:Harmoniques spheriques positif negatif.png

Kugelflächenfunktion

Bild:Normal density.png

Gaußsche Glockenkurve

Es gibt unterschiedlichste Unterscheidungsmerkmale und somit auch viele Namen für einzelne Funktionstypen.

Analytische Funktionen

Algebraische Funktionen Eine Funktion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): w(z)

ist algebraisch, wenn es komplexe Zahlen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): (a_{ij})_{i=0,...,m; j=0,...n}
gibt, so dass für jede komplexe Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): z
gilt:

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \sum_{j=0}^{n}\sum_{i=0}^ma_{ij}z^iw^j(z)=0

und das Polynom

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \sum_{j=0}^{n}\sum_{i=0}^m a_{ij}X_1^i X_2^j\in \mathbb{C}[X_1,X_2]

über Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathbb{C}

irreduzibel ist.^[1]Zu der Menge der algebraischen Funktionen gehören unter anderem alle Funktionen, die sich aus einer Verknüpfung der Grundrechenarten und Radizieren zusammensetzen. Es existieren aber auch algebraische Funktionen, die sich auf dieser Weise nicht darstellen lassen (siehe Galoistheorie).

homogene lineare Funktion (auch: Proportionalität): allgemein beschrieben durch f(x) = m·x ; ist ein Homomorphismus bezüglich der Addition
allgemeine lineare Funktion (oder affine Funktion): allg. beschrieben durch f(x) = m·x + n; siehe auch affine Abbildung
Quadratische Funktion: allg. beschrieben durch f(x) = a·x² + b·x + c (s. Quadratische Gleichung)
Kubische Funktion
Potenzfunktion
Polynom-Funktion; auch ganzrationale Funktion: allg. beschrieben durch f(x) = a_n·xⁿ + a_n-1·x^n-1 + ... + a₁·x + a₀ oder
Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f(x) = \sum_{i=0}^n a_i\cdot 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

Transzendente Funktionen Eine mathematische Funktion nennt man transzendent, wenn sie nicht algebraisch ist. Hierzu zählen:
- Exponentialfunktion
- Logarithmus
- Kreis- und Hyperbelfunktionen
  - Trigonometrische Funktion: sin, cos, tan, cot, sec, csc
  - Hyperbelfunktion: sinh, cosh, tanh, coth, sech, csch
  - Arkusfunktion: arcsin, arccos, arctan, arccot, arcsec, arccsc
  - Area-Funktion: arsinh, arcosh, artanh, arcoth, arsech, arcosech
Spezielle Funktionen
sonstige Funktionen

Reelle Funktionen, die nicht analytisch sind

Weitere Funktionen

Siehe auch

Funktionenplotter (zur graphischen Darstellung)
Funktionsschar
Funktion höherer Ordnung
Satz von der impliziten Funktion
Funktion für weitere Bedeutungen des Begriffes

<imagemap>-Fehler: Bild ist ungültig oder nicht vorhanden

Commons: Functions – Bilder, Videos und/oder Audiodateien

[[Hilfe:Cache|Fehler beim Thumbnail-Erstellen]]: convert: unable to open image `/var/www/fotonexus/w/images/c/ca/Wikipedia_lexikon3e.jpg': No such file or directory.

Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Funktion_%28Mathematik%29, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.

Quellen und Bemerkungen

Weblinks

FooPlot - Online Funktionsplotter