Einfache Funktion

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

In der Mathematik, speziell in der Analysis, ist eine einfache Funktion eine Funktion, welche messbar ist und nur endlich viele Werte annimmt. Dabei ist der Wertebereich \mathbb{R} oder allgemeiner ein Banachraum. Einfache Funktionen spielen eine zentrale Rolle in der Integrationstheorie.

Eine einfache Funktion wird auch als Elementarfunktion, fälschlicherweise auch als Treppenfunktion bezeichnet.

Definition[Bearbeiten]

Sei (X,\Sigma) ein Messraum und V ein (reeller oder komplexer) Banachraum. Eine Funktion u \colon X\to V heißt einfache Funktion, falls folgende Bedingungen erfüllt sind:

  • u nimmt nur endlich viele Werte \{v_{1},\ldots,v_{n}\} an
  • u ist messbar, d. h. für alle v \in V gilt u^{-1}(\{v\}) \in \Sigma.

Ist u \colon X\to V sogar auf einem Maßraum (X,\Sigma,\mu) definiert, so verlangt man manchmal noch zusätzlich, dass

  • \mu(u^{-1}(V\setminus\{0\}))

endlich ist.[1]

Dazu äquivalent ist, dass die Funktion u eine Darstellung der Form

u(x)=\sum^{n}_{i=1}v_i \cdot \chi_{E_i}(x)

besitzt. Dabei ist v_i\in V und \chi_{E_i} bezeichnet die charakteristische Funktion der messbaren Menge E_i = u^{-1}(\{v_i\}) \in \Sigma. Diese Darstellung nennt man kanonisch.

Eigenschaften[Bearbeiten]

Summen, Differenzen und Produkte von einfachen Funktionen sind wieder einfach, ebenso skalare Vielfache. Somit bildet der Raum der einfachen Funktionen eine kommutative Algebra über \mathbb{R} bzw. \mathbb{C}.

Verwendung[Bearbeiten]

Einfache Funktionen spielen eine zentrale Rolle bei der Definition des Lebesgue-Integrals und des Bochner-Integrals. Dabei wird das Integral zunächst für positive einfache Funktionen durch

\int_\Omega u\,{\rm d}\mu:=\sum_{i=1}^m v_i\mu(E_i)

definiert und dann durch Approximation auf weitere Funktionen übertragen.

Verwechslung mit Treppenfunktionen[Bearbeiten]

Häufig werden einfache Funktionen mit Treppenfunktionen verwechselt, die zur Definition des Riemann-Integrals verwendet werden. Beide Funktionen nehmen nur endlich viele Funktionswerte an. Eine Treppenfunktion besteht jedoch auch nur aus endlich vielen Intervallen, auf denen sie konstante Funktionswerte hat. Eine einfache Funktion dagegen kann, zum Beispiel auf beliebig vielen Intervallen immer abwechselnd zwei Funktionswerte annehmen und ist damit keine Treppenfunktion mehr. Insbesondere ist die Indikatorfunktion der rationalen Zahlen \chi_{\mathbb{Q}} (Dirichlet-Funktion) eine einfache Funktion, obwohl sie nicht riemann-integrierbar ist.

Literatur[Bearbeiten]

  • Richard M. Dudley: Real Analysis and Probability (= Cambridge Studies in Advanced Mathematics. Bd. 74). Cambridge University Press, Cambridge u. a. 2002, ISBN 0-521-80972-X, S. 114-7.
  • David Meintrup, Stefan Schäffler: Stochastik. Theorie und Anwendungen. Berlin, Heidelberg u. a. 2005, ISBN 3-540-21676-6.

Einzelnachweise[Bearbeiten]

  1. Herbert Amann, Joachim Escher: Analysis. Band 3. Birkhäuser, Basel u. a. 2001, ISBN 3-7643-6613-3, S. 65.