Reellwertige Funktion

Eine reellwertige Funktion ist in der Mathematik eine Funktion, deren Funktionswerte reelle Zahlen sind. Eng verwandt ist der Begriff der reellen Funktion, der aber in der Literatur nicht eindeutig verwendet wird. Reellwertige Funktionen finden sich in fast allen Teilbereichen der Mathematik, insbesondere in der Analysis, der Funktionalanalysis und der Optimierung.

Definition

Reellwertige Funktion

Eine reellwertige Funktion ist eine Funktion

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

bei der die Zielmenge die Menge der reellen Zahlen ist. Die Definitionsmenge $D$ ist dabei beliebig.

Reelle Funktion

Wie auch bei komplexwertigen und komplexen Funktionen wird der Begriff der reellen Funktion in der mathematischen Literatur nicht einheitlich verwendet. Teilweise ist dieser Begriff synonym zu einer reellwertigen Funktion, teilweise werden darunter auch nur Funktionen verstanden, deren Definitionsmenge eine Teilmenge der reellen Zahlen ist, also Funktionen

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

bei denen $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 $f\colon D\to \mathbb {R}$

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

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

Beispiele

• Die Funktion $f(x)=x^{2}$ ist eine reellwertige Funktion einer reellen Variablen.
• Die Funktion $f(x_{1},x_{2})=x_{1}+x_{2}$ ist eine reellwertige Funktion mehrerer reeller Variablen.
• Die Funktion Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikipedia.org/v1/“:): {\displaystyle f(z)=\operatorname{Im}(z) } , die einer komplexen Zahl ihren Imaginärteil zuordnet, ist eine reellwertige Funktion einer komplexen Variablen.
• Ist $S^{n}$ der Vektorraum der symmetrischen reellen Matrizen, so ist die Funktion $f\colon S^{n}\to \mathbb {R}$ definiert durch $f(A)=\det(A)$ eine reellwertige Funktion.
• Die Nullfunktion $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 $f(x,y)=x^{2}+y^{2}$ (Paraboloid) und $f(z)=|z|^{2}$ (Betragsquadrat)

Der Graph einer reellwertigen Funktion einer reellen Variablen kann visualisiert werden, indem in ein zweidimensionales Koordinatensystem die Punkte $(x,f(x))$ eingetragen werden. Zur Darstellung reellwertiger Funktionen zweier reeller Variablen werden in ein dreidimensionales Koordinatensystem die Punkte $(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 $\sin +\exp :\mathbb {R} \to \mathbb {R}$ mit $(\sin +\exp )(x)=\sin(x)+\exp(x)$

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

$(f+g)(x)=f(x)+g(x)$

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

$(c\cdot f)(x)=c\cdot f(x)$

für alle $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

$(f\cdot g)(x)=f(x)\cdot g(x)$

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

Analytische Eigenschaften

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

$|f(x)|\leq M$

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

$\|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 $(f_{1},f_{2},\ldots )$ mit $f_{n}\colon D\to \mathbb {R}$ für $n=1,2,\ldots$ heißt gleichmäßig beschränkt, wenn jedes Folgenglied eine beschränkte Funktion ist und die Folge

$(\|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 $x\in D$ die reelle Zahlenfolge

$(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 $f\colon D\to \mathbb {R}$, wenn

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

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

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

gilt. Auch hier folgt aus der gleichmäßigen Konvergenz die punktweise Konvergenz, jedoch nicht die Umkehrung. Weitergehende analytische Eigenschaften, wie Stetigkeit, Differenzierbarkeit oder Integrierbarkeit, erfordern auf der Definitionsmenge zumindest eine topologische, metrische oder maßtheoretische Struktur.

Ordnungseigenschaften

Nachdem die reellen Zahlen geordnet sind, lässt sich für reellwertige Funktionen die Halbordnung

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

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

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

definiert und eine Folge reellwertiger Funktionen mit $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 $\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 $\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 1-55608-010-7 (englisch, encyclopediaofmath.org).