Funktion (Mathematik): Unterschied zwischen den Versionen

Aus AnthroWiki
imported>Odyssee
Keine Bearbeitungszusammenfassung
 
(33 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
[[Datei:Potenzfkt.svg|mini|Graphen einiger Potenzfunktionen]]
[[Datei:Potenzfkt.svg|mini|Graphen einiger Potenzfunktionen]]
[[Datei:NičlePolinoma.gif|mini|[[Polynomfunktion]] mit mehreren Nullstellen]]
[[Datei:NičlePolinoma.gif|mini|[[Polynomfunktion]] mit mehreren Nullstellen]]
[[Datei:Three-dimensional graph.png|mini|Graph der Funktion <math> f(x,y) = \sin\left(x^2\right)\cos\left(y^2\right)</math>]]
[[Datei:Cubic with double point.svg|mini|Kubische Kurve mit einem einfachen Doppelpunkt bei (0,0): ''y''<sup>2</sup>&nbsp;=&nbsp;''x''<sup>2</sup>(''x''&nbsp;+&nbsp;1)]]
[[Datei:Parabola2.svg|mini|Die [[Parabel|Normalparabel]] <math>f(x) = x^2</math> ist eine gerade Funktion.]]
[[Datei:Function x3.svg|mini|Die kubische Funktion <math>f(x) = x^3</math> ist eine ungerade Funktion.]]


Als '''Funktion''' (von [[lat.]] ''functio'' „Tätigkeit, Verrichtung“) oder '''Abbildung''' wird in der [[Mathematik]] eine [[Relation]] zwischen zwei [[Menge]]n bezeichnet, bei der jedem Element der [[Definitionsmenge]] <math>D</math> (Funktionsargument, unabhängige Variable, <math>x</math>-Wert) genau ein Element der '''Zielmenge''' bzw. des '''Wertevorrats''' <math>Z</math> (Funktionswert, abhängige Variable, <math>y</math>-Wert) zugeordnet wird:
Als '''Funktion''' (von [[lat.]] ''functio'' „Tätigkeit, Verrichtung“) oder '''Abbildung''' wird in der [[Mathematik]] eine [[Relation]] zwischen zwei [[Menge]]n bezeichnet, bei der jedem Element der [[Definitionsmenge]] <math>D</math> ('''Funktionsargument''', unabhängige Variable, <math>x</math>-Wert) genau ein Element der '''Zielmenge''' bzw. des '''Wertevorrats''' <math>Z</math> ('''Funktionswert''', abhängige Variable, <math>y</math>-Wert bzw. <math>f(x)</math>) zugeordnet wird:  


:<math>f\colon\, D\to Z,\; x\mapsto y</math>, &nbsp; oder äquivalent: &nbsp; <math>f\colon\, \begin{cases} D\to Z \\ x\mapsto y\end{cases}</math>
:<math>f\colon\, D\to Z,\; x\mapsto y</math>, &nbsp; oder äquivalent: &nbsp; <math>f\colon\, \begin{cases} D\to Z \\ x\mapsto y\end{cases}</math>
Eine '''Selbstabbildung''' ist eine Abbildung, die eine Menge <math>M</math> auf sich selbst abbildet: <math>\alpha\colon M \to M </math>. Einfache Beispiele dafür sind etwa das [[Zählen]] oder die [[identische Abbildung]].


== Grundlagen ==
== Grundlagen ==
Zeile 18: Zeile 24:
Ein Element <math>x_0</math> der Definitionsmenge heißt '''Nullstelle''', wenn gilt: <math>f\left(x_0\right)=0</math>.  
Ein Element <math>x_0</math> der Definitionsmenge heißt '''Nullstelle''', wenn gilt: <math>f\left(x_0\right)=0</math>.  


[[Grafik|Graphisch]] können Funktionen in einem zweidimensionalen [[Koordinatensystem]] veranschaulicht werden, wobei auf der horizontalen <math>x</math>-Achse die Funktionsargumente und auf der <math>y</math>-Achse die zugehörigen Funktionswerte eingezeichnet sind. Die nebenstehende Grafik zeigt etwa die '''Funktionsgraphen''' einiger [[Potenzfunktion]]en:
Der '''Funktionsbegriff''' lässt sich auf eine beliebige Anzahl von Variablen erweitern. Die Definitionsmenge besteht dann aus [[n-Tupel]]n von Zahlen. Die nebenstehende Abbildung veranschaulicht beispielsweise eine Funktion mit zwei Variablen:
 
:<math> f(x,y) = \sin\left(x^2\right)\cos\left(y^2\right)</math>
 
=== Funktionsgraph ===
 
Die Menge der [[Geordnetes Paar|geordneten Paare]] <math>(x, f(x))</math> bildet den '''Funktionsgraph''' (kurz: '''Graph'''), der [[Grafik|graphisch]] in einem zweidimensionalen [[Koordinatensystem]] veranschaulicht werden kann, wobei auf der horizontalen <math>x</math>-Achse die Funktionsargumente und auf der <math>y</math>-Achse die zugehörigen Funktionswerte eingezeichnet sind. Die Grafik rechts oben zeigt etwa die Funktionsgraphen einiger [[Potenzfunktion]]en:


:<math>f\colon x \mapsto a x^r \qquad a,x,r \in \mathbb{R}</math>
:<math>f\colon x \mapsto a x^r \qquad a,x,r \in \mathbb{R}</math>
=== Bild ===
Gegeben sei eine Funktion <math>f\colon\, D\to Z</math> und eine Teilmenge <math>M \subseteq D</math> (dabei kann es sich auch um ein einzelnes Element <math>x \in D</math> handeln) der Definitionsmenge; dann ist das '''Bild''' (auch '''Bildmenge''' oder '''Bildbereich''' von <math>M</math> unter <math>f</math> wie folgt definiert:
:<math>f(M) := \{ f(x) \mid x \in M\}</math>&nbsp; das Bild von <math>M</math> unter <math>f</math>.
Das Bild der gesamten Definitionsmenge <math>D</math> ist folglich:
:<math>\operatorname{Bild}(f) := f(D) </math>
=== Urbild ===
Gegeben sei wieder eine Funktion <math>f\colon\, D\to Z</math> und eine Teilmenge <math>M \subseteq Z</math> der Zielmenge; dann ist das '''Urbild''' von <math>M</math> unter <math>f</math> gegeben durch:
:<math>f^{-1}(M) := \left\{x\in A\mid f(x)\in M\right\}</math>
Diese '''Urbildfunktion''' weist jedem Element <math>M</math> der [[Potenzmenge]] <math>\mathcal{P}(Z)</math> der Zielmenge <math>Z</math> (d.h. der Menge all ihrer Teilmengen) das Urbild <math>f^{-1}(M)</math> als Element der Potenzmenge <math>\mathcal{P}(D)</math> der Definitionsmenge <math>D</math> zu.


== Identische Abbildung ==
== Identische Abbildung ==
Zeile 28: Zeile 58:
:<math>\operatorname{id}_M(x) = x</math>
:<math>\operatorname{id}_M(x) = x</math>


== Fixpunkt ==
== Umkehrfunktion ==
 
Die '''Umkehrfunktion''' oder '''inverse Funktion''' <math>f^{-1}\colon B \to A</math> einer [[Bijektivität|bijektiven]] Funktion <math>f\colon A \to B</math> weist jedem Element der [[Zielmenge]] <math>B</math> sein eindeutig bestimmtes ''Urbildelement'' der [[Definitionsmenge]] <math>A</math> zu.
 
== Fixelement ==


Ein [[Punkt]] <math>x \in X</math> heißt '''Fixpunkt''' einer Funktion <math>f \colon X \to X</math>, wenn er durch diese auf sich selbst abgebildet wird und folglich gilt:
Ein '''Fixelement''' <math>x</math> ist ganz allgemein ein [[Element (Mathematik)|Element]] der [[Definitionsmenge]] <math>X</math>, das durch eine gegebene Abbildung <math>f \colon X \to X</math> auf sich selbst abgebildet wird, dass also für <math>x \in X</math> gilt:


:<math>f(x) = x</math>
:<math>f(x) = x</math>
Ein [[Punkt]], der auf sich selbst abgebildet wird, heißt '''Fixpunkt'''. Eine [[Gerade]], die auf sich selbst abgebildet wird, nennt man '''Fixgerade'''. Bei dieser muss es sich nicht notwendigerweise um eine '''Fixpunktgerade''' handeln, bei der zugleich auch alle Punkte auf sich selbst abgebildet werden, diese also Fixpunkte sind. Analog verhält es sich bei einer '''Fixebene''' oder '''Fixpunktebene''', wie sie etwa bei einer [[Ebenenspiegelung]] auftreten. Das Prinzip läss sich auf Räume beliegbiger [[Dimension (Mathematik)|Dimensionen]] erweitern. Man spricht dann ganz allgemein von einem '''Fixraum'''.
== Gerade und ungerade Funktionen ==
Eine '''gerade Funktion''' ist eine reelle Funktion in einer Variablen, deren [[Funktionsgraph]] [[achsensymmetrisch]] zur y-Achse ist. Eine '''ungerade Funktion''' zeichnet sich hingegen dadurch aus, dass der Funktiongraph [[punktsymmetrisch]] zum [[Koordinatenursprung]] ist.
== Symmetrische und antisymmetrische Funktionen ==
Eine '''symmetrische Funktion''' ist eine Funktion mehrerer Variablen, bei der die Variablen untereinander vertauscht werden können, ohne dass sich der Funktionswert verändert. Eine '''antisymmetrische Funktion''' ändert hingegen bei der Vertauschung zweier Variablen das Vorzeichen. Für zwei Variable gilt also beispielsweise:
:<math>f(x,y) = \quad f(y,x) \qquad symmetrisch</math>
:<math>f(x,y) = - f(y,x) \qquad antisymmetrisch</math>
In der [[Quantenphysik]] sind beispielsweise die [[Wellenfunktion]]en der [[Bosonen]] symmetrisch bzgl. der Vertauschung der Teilchenpositionen, die der [[Fermionen]] hingegen antisymmetrisch, woraus das [[Pauli-Prinzip]] folgt, das den schalenförmigen Aufbau der [[Elektronenhülle]] der [[Atom]]e erklärt.


== Glatte Funktion ==
== Glatte Funktion ==


Eine '''glatte Funktion''' ist [[Stetigkeit (Mathematik)|stetig]] und unendlich oft differenzierbar.
Eine '''glatte Funktion''' ist [[Stetigkeit (Mathematik)|stetig]] und unendlich oft [[differenzierbar]].


== Konstante Funktion ==
== Konstante Funktion ==
Zeile 68: Zeile 117:


[[Kategorie:Mathematische Funktion|!]]
[[Kategorie:Mathematische Funktion|!]]
[[Kategorie:Kurve (Mathematik)]]

Aktuelle Version vom 28. Juni 2023, 07:01 Uhr

Graphen einiger Potenzfunktionen
Polynomfunktion mit mehreren Nullstellen
Graph der Funktion
Kubische Kurve mit einem einfachen Doppelpunkt bei (0,0): y2 = x2(x + 1)
Die Normalparabel ist eine gerade Funktion.
Die kubische Funktion ist eine ungerade Funktion.

Als Funktion (von lat. functio „Tätigkeit, Verrichtung“) oder Abbildung wird in der Mathematik eine Relation zwischen zwei Mengen bezeichnet, bei der jedem Element der Definitionsmenge (Funktionsargument, unabhängige Variable, -Wert) genau ein Element der Zielmenge bzw. des Wertevorrats (Funktionswert, abhängige Variable, -Wert bzw. ) zugeordnet wird:

,   oder äquivalent:  

Eine Selbstabbildung ist eine Abbildung, die eine Menge auf sich selbst abbildet: . Einfache Beispiele dafür sind etwa das Zählen oder die identische Abbildung.

Grundlagen

Eine Funktion kann etwa durch eine Funktionsgleichung mit zugehöriger Definitionsmenge oder durch eine eindeutige Zuordnungsvorschrift angegeben werden, z.B.:

oder

Ein Element der Definitionsmenge heißt Nullstelle, wenn gilt: .

Der Funktionsbegriff lässt sich auf eine beliebige Anzahl von Variablen erweitern. Die Definitionsmenge besteht dann aus n-Tupeln von Zahlen. Die nebenstehende Abbildung veranschaulicht beispielsweise eine Funktion mit zwei Variablen:

Funktionsgraph

Die Menge der geordneten Paare bildet den Funktionsgraph (kurz: Graph), der graphisch in einem zweidimensionalen Koordinatensystem veranschaulicht werden kann, wobei auf der horizontalen -Achse die Funktionsargumente und auf der -Achse die zugehörigen Funktionswerte eingezeichnet sind. Die Grafik rechts oben zeigt etwa die Funktionsgraphen einiger Potenzfunktionen:

Bild

Gegeben sei eine Funktion und eine Teilmenge (dabei kann es sich auch um ein einzelnes Element handeln) der Definitionsmenge; dann ist das Bild (auch Bildmenge oder Bildbereich von unter wie folgt definiert:

  das Bild von unter .

Das Bild der gesamten Definitionsmenge ist folglich:

Urbild

Gegeben sei wieder eine Funktion und eine Teilmenge der Zielmenge; dann ist das Urbild von unter gegeben durch:

Diese Urbildfunktion weist jedem Element der Potenzmenge der Zielmenge (d.h. der Menge all ihrer Teilmengen) das Urbild als Element der Potenzmenge der Definitionsmenge zu.

Identische Abbildung

Eine Funktion über einer Menge , die genau ihr Argument zurückgibt, ist eine identische Abbildung:

Umkehrfunktion

Die Umkehrfunktion oder inverse Funktion einer bijektiven Funktion weist jedem Element der Zielmenge sein eindeutig bestimmtes Urbildelement der Definitionsmenge zu.

Fixelement

Ein Fixelement ist ganz allgemein ein Element der Definitionsmenge , das durch eine gegebene Abbildung auf sich selbst abgebildet wird, dass also für gilt:

Ein Punkt, der auf sich selbst abgebildet wird, heißt Fixpunkt. Eine Gerade, die auf sich selbst abgebildet wird, nennt man Fixgerade. Bei dieser muss es sich nicht notwendigerweise um eine Fixpunktgerade handeln, bei der zugleich auch alle Punkte auf sich selbst abgebildet werden, diese also Fixpunkte sind. Analog verhält es sich bei einer Fixebene oder Fixpunktebene, wie sie etwa bei einer Ebenenspiegelung auftreten. Das Prinzip läss sich auf Räume beliegbiger Dimensionen erweitern. Man spricht dann ganz allgemein von einem Fixraum.

Gerade und ungerade Funktionen

Eine gerade Funktion ist eine reelle Funktion in einer Variablen, deren Funktionsgraph achsensymmetrisch zur y-Achse ist. Eine ungerade Funktion zeichnet sich hingegen dadurch aus, dass der Funktiongraph punktsymmetrisch zum Koordinatenursprung ist.

Symmetrische und antisymmetrische Funktionen

Eine symmetrische Funktion ist eine Funktion mehrerer Variablen, bei der die Variablen untereinander vertauscht werden können, ohne dass sich der Funktionswert verändert. Eine antisymmetrische Funktion ändert hingegen bei der Vertauschung zweier Variablen das Vorzeichen. Für zwei Variable gilt also beispielsweise:

In der Quantenphysik sind beispielsweise die Wellenfunktionen der Bosonen symmetrisch bzgl. der Vertauschung der Teilchenpositionen, die der Fermionen hingegen antisymmetrisch, woraus das Pauli-Prinzip folgt, das den schalenförmigen Aufbau der Elektronenhülle der Atome erklärt.

Glatte Funktion

Eine glatte Funktion ist stetig und unendlich oft differenzierbar.

Konstante Funktion

Eine konstante Funktion (von lat. constans „feststehend“) nimmt für alle Argumente stets denselben Funktionswert an, d.h. eine Funktion ist genau dann konstant, wenn für alle gilt: .

Lineare Funktion

Eine lineare Funktion enthält die Unbekannte(n) nur in der ersten Potenz; in ihrer einfachsten Form lautet daher ihre Funktionsgleichung mit den konstanten Parametern :

Ihr Funktionsgraph ist eine Gerade, deren Steigung gleich ist.

Indikatorfunktion

Eine Indikatorfunktion oder charakteristische Funktion kann nur nur ein oder zwei Funktionswerte annehmen. Damit können komplexe Menge mathematisch exakt erfasst werden. Ein Beispiel ist die nach dem deutschen Mathematiker Peter Gustav Lejeune Dirichlet benannte Dirichlet-Funktion, die die charakteristische Funktion der rationalen Zahlen ist:

Komplexwertige Funktion

Eine komplexwertige Funktion hat eine Zielmenge aus dem Bereich der komplexen Zahlen , wobei die Definitionsmenge nicht allgemein festgelegt ist und beispielsweise auch auf den Bereich der reellen Zahlen eingeschränkt sein kann. Das ist etwa bei der Eulerschen Formel der Fall:

Demgegenüber wird der Begriff komplexe Funktion nicht in eindeutiger Weise verwendet, sondern teilweise synonym zur komplexwertigen Funkton, teilweise so, dass auch die Definitionsmenge dem Bereich der komplexen Zahlen angehört.

Siehe auch