Reellwertige Funktion

Eine reellwertige Funktion i​st in d​er Mathematik e​ine Funktion, d​eren Funktionswerte reelle Zahlen sind. Eng verwandt i​st der Begriff d​er reellen Funktion, d​er aber i​n der Literatur n​icht eindeutig verwendet wird. Reellwertige Funktionen finden s​ich in f​ast allen Teilbereichen d​er Mathematik, insbesondere i​n der Analysis, d​er Funktionalanalysis u​nd der Optimierung.

Definition

Reellwertige Funktion

Eine reellwertige Funktion i​st eine Funktion

${\displaystyle f\colon D\to \mathbb {R} }$,

bei der die Zielmenge die Menge der reellen Zahlen ist. Die Definitionsmenge ${\displaystyle D}$ ist dabei beliebig.

Reelle Funktion

Wie a​uch bei komplexwertigen u​nd komplexen Funktionen w​ird der Begriff d​er reellen Funktion i​n der mathematischen Literatur n​icht einheitlich verwendet. Teilweise i​st dieser Begriff synonym z​u einer reellwertigen Funktion, teilweise werden darunter a​uch nur Funktionen verstanden, d​eren Definitionsmenge e​ine Teilmenge d​er reellen Zahlen ist, a​lso Funktionen

${\displaystyle f\colon D\to \mathbb {R} }$,

bei denen ${\displaystyle D\subseteq \mathbb {R} }$ ist.

Spezialfälle

Bei reellwertigen Funktionen werden an die Struktur der Definitionsmenge im Allgemeinen keine Anforderungen gestellt. Soll die Definitionsmenge eingeschränkt werden, wird dem Begriff „reellwertige Funktion“ ein entsprechender Zusatz angehängt. So heißt beispielsweise eine Funktion ${\displaystyle f\colon D\to \mathbb {R} }$

• reellwertige Funktion einer reellen Variablen, wenn ${\displaystyle D\subseteq \mathbb {R} }$ ist,
• reellwertige Funktion mehrerer reeller Variablen, wenn ${\displaystyle D\subseteq \mathbb {R} ^{n}}$ mit ${\displaystyle n>1}$ ist,
• reellwertige Funktion einer komplexen Variablen, wenn ${\displaystyle D\subseteq \mathbb {C} }$ ist,
• reellwertige Funktion mehrerer komplexer Variablen, wenn ${\displaystyle D\subseteq \mathbb {C} ^{n}}$ mit ${\displaystyle n>1}$ ist.

Wenn ${\displaystyle D}$ Teilmenge eines reellen Vektorraums ist, dann wird eine Funktion ${\displaystyle f\colon D\to \mathbb {R} }$ auch (reellwertiges) Funktional genannt.

Beispiele

• Die Funktion ${\displaystyle f(x)=x^{2}}$ ist eine reellwertige Funktion einer reellen Variablen.
• Die Funktion ${\displaystyle f(x_{1},x_{2})=x_{1}+x_{2}}$ ist eine reellwertige Funktion mehrerer reeller Variablen.
• Die Funktion ${\displaystyle f(z)=\operatorname {Im} (z)}$, die einer komplexen Zahl ihren Imaginärteil zuordnet, ist eine reellwertige Funktion einer komplexen Variablen.
• Ist ${\displaystyle S^{n}}$ der Vektorraum der symmetrischen reellen Matrizen, so ist die Funktion ${\displaystyle f\colon S^{n}\to \mathbb {R} }$ definiert durch ${\displaystyle f(A)=\det(A)}$ eine reellwertige Funktion.
• Die Nullfunktion ${\displaystyle f(x)\equiv 0}$ ist eine reellwertige Funktion, die auf beliebigen Mengen definiert ist. Sie weist jedem Element die Zahl Null zu.

Visualisierung

Graph des Cosinus hyperbolicus

Graph der Funktionen ${\displaystyle f(x,y)=x^{2}+y^{2}}$ (Paraboloid) und ${\displaystyle f(z)=|z|^{2}}$ (Betragsquadrat)

Der Graph einer reellwertigen Funktion einer reellen Variablen kann visualisiert werden, indem in ein zweidimensionales Koordinatensystem die Punkte ${\displaystyle (x,f(x))}$ eingetragen werden. Zur Darstellung reellwertiger Funktionen zweier reeller Variablen werden in ein dreidimensionales Koordinatensystem die Punkte ${\displaystyle (x_{1},x_{2},f(x_{1},x_{2}))}$ eingetragen. Diese Darstellungen bilden bei stetigen Funktionen eine Kurve oder Oberfläche ohne Sprünge. Bei Funktionen zweier reeller Variablen werden teilweise auch Farben verwendet, um den Funktionswert zu visualisieren. Reellwertige Funktionen einer komplexen Variablen können auf die gleiche Weise wie reellwertige Funktionen zweier reeller Variablen dargestellt werden. Der Imaginärteil und der Realteil werden dabei als erstes und zweites Argument aufgefasst.

Eigenschaften

Algebraische Eigenschaften

Addition der Sinusfunktion und der Exponentialfunktion zu ${\displaystyle \sin +\exp$ :\mathbb {R} \to \mathbb {R} } mit ${\displaystyle (\sin +\exp )(x)=\sin(x)+\exp(x)}$

Die Menge aller reellwertigen Funktionen über einer gegebenen Menge ${\displaystyle D}$ bildet einen reellen Vektorraum, der mit ${\displaystyle F(D,\mathbb {R} )}$, ${\displaystyle \operatorname {Abb} (D,\mathbb {R} )}$ oder ${\displaystyle \mathbb {R} ^{D}}$ bezeichnet wird. Die Summe zweier reellwertiger Funktionen ${\displaystyle f}$ und ${\displaystyle g}$ ist dabei definiert durch

${\displaystyle (f+g)(x)=f(x)+g(x)}$

für alle ${\displaystyle x\in D}$ und das Produkt einer reellwertigen Funktion ${\displaystyle f}$ mit einer reellen Zahl ${\displaystyle c\in \mathbb {R} }$ durch

${\displaystyle (c\cdot f)(x)=c\cdot f(x)}$

für alle ${\displaystyle x\in D}$. Diese Vektorräume werden als reelle Funktionenräume bezeichnet. Sie spielen eine wichtige Rolle in der linearen Algebra und der Analysis. Mit der Addition und der punktweisen Multiplikation definiert durch

${\displaystyle (f\cdot g)(x)=f(x)\cdot g(x)}$

für alle ${\displaystyle x\in D}$ bilden die reellwertigen Funktionen über der Menge ${\displaystyle D}$ einen kommutativen Ring. Mit allen drei Verknüpfungen bilden die reellwertigen Funktionen eine reelle Algebra.

Analytische Eigenschaften

Eine reellwertige Funktion ${\displaystyle f\colon D\to \mathbb {R} }$ heißt beschränkt, falls eine Schranke ${\displaystyle M}$ existiert, sodass

${\displaystyle |f(x)|\leq M}$

für alle ${\displaystyle x\in D}$ ist. Die Menge der beschränkten reellwertigen Funktionen ${\displaystyle B(D,\mathbb {R} )}$ bildet mit der Supremumsnorm

${\displaystyle \|f\|_{\infty }:=\sup _{x\in D}|f(x)|}$

einen normierten Raum. Da die reellen Zahlen vollständig sind, handelt es sich hierbei sogar um einen Banachraum. Eine Folge reellwertiger Funktionen ${\displaystyle (f_{1},f_{2},\ldots )}$ mit ${\displaystyle f_{n}\colon D\to \mathbb {R} }$ für ${\displaystyle n=1,2,\ldots }$ heißt gleichmäßig beschränkt, wenn jedes Folgenglied eine beschränkte Funktion ist und die Folge

${\displaystyle (\|f_{1}\|_{\infty },\|f_{2}\|_{\infty },\ldots )}$

eine beschränkte Folge reeller Zahlen ist. Eine Folge reellwertiger Funktionen heißt punktweise beschränkt, wenn für alle ${\displaystyle x\in D}$ die reelle Zahlenfolge

${\displaystyle (f_{1}(x),f_{2}(x),\ldots )}$

beschränkt ist. Eine gleichmäßig beschränkte Folge reellwertiger Funktionen ist stets auch punktweise beschränkt, die Umkehrung muss jedoch nicht gelten. Eine Folge reellwertiger Funktionen heißt gleichmäßig konvergent gegen eine reellwertige Funktion ${\displaystyle f\colon D\to \mathbb {R} }$, wenn

${\displaystyle \lim _{n\to \infty }\|f_{n}-f\|_{\infty }=0}$

gilt. Entsprechend heißt eine Folge reellwertiger Funktionen punktweise konvergent gegen eine reellwertige Funktion ${\displaystyle f\colon D\to \mathbb {R} }$, wenn für alle ${\displaystyle x\in D}$

${\displaystyle \lim _{n\to \infty }(f_{n}(x)-f(x))=0}$

gilt. Auch h​ier folgt a​us der gleichmäßigen Konvergenz d​ie punktweise Konvergenz, jedoch n​icht die Umkehrung. Weitergehende analytische Eigenschaften, w​ie Stetigkeit, Differenzierbarkeit o​der Integrierbarkeit, erfordern a​uf der Definitionsmenge zumindest e​ine topologische, metrische o​der maßtheoretische Struktur.

Ordnungseigenschaften

Nachdem d​ie reellen Zahlen geordnet sind, lässt s​ich für reellwertige Funktionen d​ie Halbordnung

${\displaystyle f\leq g\Leftrightarrow \forall x\in D:f(x)\leq g(x)}$

definieren. Eine Folge reellwertiger Funktionen ${\displaystyle (f_{1},f_{2},\ldots )}$ mit ${\displaystyle f_{1}\leq f_{2}\leq \ldots }$ heißt dann monoton wachsend. Analog wird die Halbordnung

${\displaystyle f\geq g\Leftrightarrow \forall x\in D:f(x)\geq g(x)}$

definiert und eine Folge reellwertiger Funktionen mit ${\displaystyle f_{1}\geq f_{2}\geq \ldots }$ ist dann monoton fallend.

Verallgemeinerungen

Eine Verallgemeinerung der reellwertigen Funktionen bilden die reell-vektorwertigen Funktionen. Dies sind Funktionen, die in den ${\displaystyle \mathbb {R} ^{n}}$ abbilden. Noch allgemeiner sind die vektorwertigen Funktionen, die in beliebige Vektorräume abbilden. Funktionen, die komplexe Funktionswerte annehmen, werden komplexwertige Funktionen genannt.

Literatur

• Otto Forster: Analysis 1. Differential- und Integralrechnung einer Veränderlichen. 11., erweiterte Auflage. Springer Spektrum, Wiesbaden 2013, ISBN 978-3-658-00316-6, doi:10.1007/978-3-658-00317-3.
• Otto Forster: Analysis 2. Differentialrechnung im ${\displaystyle \mathbb {R} ^{n}}$, gewöhnliche Differentialgleichungen. 10., verbesserte Auflage. Springer Spektrum, Wiesbaden 2013, ISBN 978-3-658-02356-0, doi:10.1007/978-3-658-02357-7.
• Konrad Königsberger: Analysis 1. 6., durchgesehene Auflage. Springer-Verlag, Berlin Heidelberg New York 2004, ISBN 3-540-40371-X.

Weblinks

• Eric W. Weisstein: Real Function. In: MathWorld (englisch).
• L.D. Kudryavtsev: Real Function. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online).