Benutzer:Georg Roch/Funktion

Funktionen, auch spricht man oft von Abbildungen, ordnen mathematischen Objekten mathematische Objekte zu, zum Beispiel jeder reellen Zahl deren Quadrat. Üblicherweise, so auch im vorliegenden Artikel, gelten nur solche Zuordnungen als Funktionen die eindeutig sind, das heißt, die keinem Objekt mehr als 1 Objekt zuordnen.  Funktionen stehen wie die Mengen im Zentrum der mathematischen Begriffswelt.

Definitionen und Notationen

Man sieht, wenn eine Funktion F dem Objekt u das Objekt v zuweist, das geordnete Paar (u,v) als Element vom F an und schreibt für (u,v) $^{\in }$ F auch F : u $^{\mapsto }$ v.

Funktionsargument, Funktionswert, Definitionsbereich, Bildbereich, injektiv

• Ist F : x $\mapsto$ y, dann nennt man

x ein »Funktionsargument von F für (den Funktionswert) y«

y den »Funktionswert von F für (das Funktionsargument) x« und bezeichnet ihn mit f(x)

• Die Funktionsargumente von F bilden den »Definitionsbereich von F«, den man mit ^DefF bezeichnet; formal: ^DefF := { u | $^{\exists }$ v : (u,v) $^{\in }$ F }
  

• Die Funktionswerte von F bilden den »Bildbereich von F«, den man mit ^BildF bezeichnet; formal: ^BildF := { v | $^{\exists }$ u : (u,v) $^{\in }$ F }
  

• Gibt es zu jedem Element y $^{\in }$ ^BildF nur 1 Funktionsargument von F für y, dann heißt F »injektiv«
  

Klassifikation bezüglich Definitions- und Bildbereiche: totale-, surjektive-, bijektive Funktion aus A in B

Ist  ^DefF $^{\subseteq }$ A  und  ^BildF $^{\subseteq }$ B,  dann nennt man F eine »Funktion aus A in B« mit den Attributen »total«, wenn ^DefF = A und »surjektiv«, wenn ^BildF = B.
Eine surjektive Funktionen aus A in B, die injektiv ist, nennt man »bijektive Funktionen aus A in B«.

Man sagt auch		anstelle von
F ist eine Funktion von A in/auf B		F ist eine totale Funktion aus A in/auf B
F ist eine Funktion aus/von A auf B		F ist eine surjektive Funktion aus/von A in B
F ist eine partielle Funktion von A in/auf B		$\,{f}$ ist eine Funktion aus A in/auf B und DefF $^{\subset }$ A

Für die Aussage “F ist eine Funktion aus A in B” schreibt man “F : A $\rightsquigarrow$ B” und setzt auf den Pfeil Abkürzungen oder Anfangsbuchstaben zutreffender Attribute (total, surjektiv, injektiv, bijektiv, partiell).

Übliche Pfeilalternativen:	${\stackrel {\mathsf {t}}{\rightsquigarrow }}$	$\to$	${\displaystyle }$
	${\stackrel {\mathsf {ts}}{\rightsquigarrow }}$	${\stackrel {\mathsf {s}}{\to }}$	$\twoheadrightarrow$
	${\stackrel {\mathsf {ti}}{\rightsquigarrow }}$	${\stackrel {\mathsf {i}}{\to }}$	$\rightarrowtail$
	${\stackrel {\mathsf {tb}}{\rightsquigarrow }}$	${\stackrel {\mathsf {b}}{\to }}$	$\twoheadrightarrow \!\!\!\!\!\!\!\rightarrowtail$

Der herkömmliche Funktionsbegriff, Funktion als Tripel oder geordnetes Paar, Graph einer Tripel/Paar-Funktion

Im herkömmlichen Funktionsbegriff, der vielfach in der Literatur anzutreffen ist, sind alle Bestandteile der Aussage  F : A $\rightsquigarrow$ B  Mengen, während im allgemeineren Funktionsbegriff es auch echte Klassen sein können. Demnach ist zum Beispiel die Potenzmengenfunktion, die jeder Menge die Menge ihrer Teilmengen zuordnet, im Sinne des herkömmlichen Funktionsbegriffs keine Funktion, im Sinne des allgemeineren jedoch.

In einiger Literatur findet sich der Funktionsbegriff auch noch anders definiert, indem man im Rahmen des herkömmlichen Funktionsbegriffs die Aussagen  F : A $\rightsquigarrow$ B  und  F : A $\to$ B  als Tripel (F,A,B) respektive geordnetes Paar (F,B) ansieht und F ihren »Graph« nennt.

Wie man Funktionen beschreienben kann

Bei endlichen Funktionen kann man die Menge ihre Elemente explizit angeben, zum Beispiel mittels einer zweizeiligen oder zweispaltigen Tabelle.

Eine in vielen Fällen ausreichende Beschreibungsform einer Funktion  F : A $\rightsquigarrow$ B  lautet  F := {(x,y) | x $^{\in }$ A $^{\wedge }$ y $^{\in }$ B $^{\wedge }$ y = Ψ},  wobei Ψ ein Term ist.
Man schreibt hierfür üblicherweise

• F : A $\longrightarrow$ B, x $\mapsto$ Ψ   oder
• A $\longrightarrow$ B, F(x) := Ψ.
  

Bestimmen sich A und B aus dem Kontext, dann verzichtet man auf den Passus “A $\longrightarrow$ B,”

Beispiele:  F : R $\longrightarrow$ R, x $\mapsto$ x²   oder   R $\longrightarrow$ R, F(x) := x².   Im Kontext reellzahliger Funktionen:   F : x $\mapsto$ x²   oder  F(x) := x²

    F : N $\longrightarrow$ {0,1}, i $\mapsto$ i²   oder   N $\longrightarrow$ {0,1}, F(i) := i².   Das ist die Funktion  {(0,0),(1,1),(-1,1)}

Mehrstellige Funktion/Verknüpfung, binäre Verknüpfung

Sind für n>1 in ^DefF alle Elemente n-Tupel, dann nennt man F eine »n-stellige Funktion« oder »n-stellige Verknüpfung«, für n=2 auch »binäre Verknüpfung« und schreibt für F((x₁,...,x_n)) auch F(x₁,...,x_n), wenn n=2 auch x₁Fx₂, wählt man hier als Funktionsnamen das Zeichen “$\,{\cdot }$”, dann schreibt man anstelle x₁$\cdot$x₂ auch einfach x₁x₂.

Beschränkung einer Funktion

Man nennt

• F|_{X $\to$ Y} := {(x,y) $^{\in }$ F | x $^{\in }$ X $^{\wedge }$ y $^{\in }$ Y}  eine »Beschränkung für F aus X in Y«
• F| _{$\to$ Y} := {(x,y) $^{\in }$ F | y $^{\in }$ Y}  eine »Beschränkung für F in Y«
• F|_X := {(x,y) $^{\in }$ F | x $^{\in }$ X}  eine »Beschränkung für F aus X«
  

Auswahlfunktion, Kartesisches Produkt

Es seien F,G : A $\to$ B.  G heißt »Auswahlfunktion zu F«, wenn für alle x $^{\in }$ A gilt: G(x) $^{\in }$ F(x).
Die Gesamtheit der Auswahlfunktionen zu F nennt man »kartesisches Produkt über F« und bezeichnet es mit ^xF.
Ist ^DefF = {1,...,n}, dann schreibt man für ^xF auch f(1) $^{\times }$ ... $^{\times }$ f(n)

Komposition/Verkettung zweier Funktionen

Es seien F : B $\to$ C,  G : A $\to$ B.  Die Funktion F$^{\circ }$G : A $\longrightarrow$ C, x $\mapsto$ F(G(x)) nennt man  »Komposition«  oder »Verkettung von F und G«

Funktion auf A, Identität, Fixpunkt, idempotente Funktion, Involution, Permutation

• F : A $\to$ A nennt man »Funktion auf A«
  
• Die Funktion id_A : A $\longrightarrow$ A, x $\mapsto$ x heißt »Identität auf A«
  
• Ist F eine Funktion auf A und a $^{\in }$ A, sodass F(a) = a, dann nennt man a einen »Fixpunkt von F«

Man nennt eine Funktion, F, auf A

• »idempotent«, wenn F $^{\circ }$ F = F
• eine »Involution«, wenn F $^{\circ }$ F = id_A
• eine »Permutation«, wenn sie bijektiv ist.