Messbare Funktion - LinkFang.de





Messbare Funktion


Eine messbare Funktion ist ein Begriff aus der Maßtheorie, einem Teilbereich der Mathematik, der sich mit der Verallgemeinerung von Längen- und Volumenbegriffen beschäftigt. Von messbaren Funktionen wird verlangt, dass das Urbild gewisser Mengen wieder in einem bestimmten Mengensystem liegt. Messbare Funktionen spielen eine wichtige Rolle in der Stochastik und der Maßtheorie, da durch sie Zufallsvariablen und Bildmaße konstruiert werden können.

Definition

Gegeben seien zwei Messräume [math](X_1,\mathcal{A}_1)[/math] und [math](X_2,\mathcal{A}_2)[/math], das heißt je eine Grundmenge und eine σ-Algebra auf dieser Menge, sowie eine Funktion

[math] f\colon X_1 \to X_2 [/math].

Die Funktion [math] f [/math] heißt nun eine messbare Funktion, wenn das Urbild jeder messbaren Menge [math] A_2 \in \mathcal{A}_2 [/math] unter der Funktion [math] f [/math] eine messbare Menge in [math](X_1,\mathcal{A}_1)[/math] ist, also ein Element aus [math] \mathcal{A}_1 [/math] ist. Formalisiert lautet diese Bedingung:

[math] f^{-1}(A_2)\in \mathcal{A}_1[/math], für alle [math]A_2 \in \mathcal{A}_2 [/math].

Eine solche Funktion wird auch als [math]\mathcal{A}_1[/math]-[math]\mathcal{A}_2[/math]-messbar bezeichnet. Eine Funktion heißt Borel-messbar (Lebesgue-messbar), wenn sie bezüglich zweier Borelscher σ-Algebren (Lebesguescher σ-Algebren) messbar ist. Teilweise werden auch Mischformen (Lebesgue-Borel-messbar oder Borel-Lebesgue-messbar) verwendet. Zu beachten ist, dass kein Maß definiert sein muss, um eine messbare Funktion zu definieren.

Elementare Beispiele

  • Sind zwei Messräume [math](X_1,\mathcal{A}_1)[/math] und [math](X_2,\mathcal{A}_2)[/math] gegeben, und ist [math] \mathcal A_2=\{\emptyset, X_2\} [/math] die triviale σ-Algebra, so ist jede Funktion [math] f [/math] [math] \mathcal A_1[/math]-[math]\mathcal A_2 [/math]-messbar, unabhängig von der Wahl der Funktion und der σ-Algebra [math] \mathcal A_1 [/math]. Dies liegt daran, dass immer [math]f^{-1}(\emptyset)=\emptyset [/math] und [math]f^{-1}(X_2)=X_1 [/math] gilt. Diese Mengen sind aber immer in der σ-Algebra [math] \mathcal A_1 [/math] enthalten. Wählt man hingegen als σ-Algebra die Potenzmenge [math] \mathcal A_1= \mathcal P (X_1) [/math], so ist ebenfalls jede Funktion [math] f [/math] [math] \mathcal A_1[/math]-[math]\mathcal A_2 [/math]-messbar, unabhängig von der Wahl der Funktion und der σ-Algebra [math] \mathcal A_2 [/math]. Dies liegt daran, dass jedes Urbild [math] f^{-1}(A) [/math] immer in der Potenzmenge liegt, da diese per Definition jede Teilmenge der Obermenge enthält.
  • Jede konstante Funktion, also eine Funktion der Form [math] f(x_1)=c [/math] für alle [math] x_1 \in X_1 [/math], ist messbar. Ist nämlich [math] A \in \mathcal{A}_2 [/math], so ist
[math] f^{-1}(A)= \begin{cases} X_1 & \text{ falls } c \in A \\ \emptyset & \text{ falls } c \notin A \end{cases} [/math]
Da die Grundmenge und die leere Menge in jeder beliebigen σ-Algebra enthalten sind, sind sie insbesondere in [math] \mathcal{A}_1 [/math] enthalten und die Funktion ist messbar.
  • Sind [math] (X_1,\mathcal{A}_1) [/math] und [math] (\{0,1\}, \mathcal{P}(\{0,1\})) [/math] Messräume. Dann ist für beliebiges [math] M \in \mathcal{A}_1 [/math] die Indikatorfunktion [math]f = \chi_M [/math] eine [math] \mathcal{A}_1[/math]-[math]\mathcal{P}(\{0,1\}) [/math]-messbare Funktion. Es gilt dann [math] f^{-1}(\{1\})=M [/math] und [math] f^{-1}(\{0\})=X_1 \setminus M [/math] sowie [math] f^{-1}(\emptyset)=\emptyset [/math] und [math] f^{-1}(\{0,1\})=X_1 [/math]. Diese Mengen sind aber nach Voraussetzung in der σ-Algebra enthalten.

Einordnung

Der Begriff der Messbarkeit wird durch die Definition der Integration von Henri Lebesgue motiviert: Für die Lebesgue-Integration einer Funktion [math]f\colon \mathbb R \rightarrow \mathbb R[/math] bezüglich des Lebesgue-Maßes muss Mengen der Form [math]f^{-1}([a,b])[/math] ein Maß zugeordnet sein. Beispiele für Funktionen, für die dies nicht möglich ist, sind Indikatorfunktionen von Vitali-Mengen. Die Definition der Lebesgue-Integration für beliebige Maßräume führt dann zu obiger Definition der messbaren Funktion.

Der Begriff der messbaren Funktion hat Parallelen zur Definition der stetigen Funktion. Eine Funktion zwischen topologischen Räumen [math]X_1[/math] und [math]X_2[/math] ist stetig, wenn die Urbilder offener Mengen von [math]X_2[/math] wiederum offene Mengen von [math]X_1[/math] sind. Die von den offenen Mengen erzeugte σ-Algebra ist die borelsche σ-Algebra. Eine stetige Funktion ist also messbar bezüglich der Borel-σ-Algebren von [math]X_1[/math] und [math]X_2,[/math] kurz borel-messbar. Eine gewisse Umkehrung dieser Aussage ist der Satz von Lusin.

Messbare Funktionen spielen als Zufallsvariablen eine wichtige Rolle in der Wahrscheinlichkeitstheorie.

Eigenschaften

Messbare Funktionen und Erzeugendensysteme

Oftmals ist eine σ-Algebra viel zu groß, um jede Menge aus ihr direkt angeben zu können oder das Urbild jeder Menge zu überprüfen. Die Überprüfung einer Funktion auf Messbarkeit wird aber dadurch erleichtert, dass man dies nur auf den Urbildern eines Erzeugers machen muss. Ist also [math] \mathcal{E}_2 [/math] ein Erzeuger von [math] \mathcal{A}_2 [/math], sprich ist [math] \sigma (\mathcal{E}_2)=\mathcal A_2 [/math], so ist die Funktion [math] f [/math] genau dann messbar, wenn

[math] f^{-1}(E) \in \mathcal A_1 [/math]

für alle [math]E \in \mathcal{E}_2[/math] gilt.

Daraus folgt direkt, dass stetige Funktionen zwischen topologischen Räumen, die mit der Borelsche σ-Algebra versehen sind, immer messbar sind, da Urbilder offener Mengen immer offen sind. Da die Borelsche σ-Algebra aber von den offenen Mengen erzeugt wird und demnach die Urbilder des Erzeugers wieder im Erzeuger liegen, folgt die Messbarkeit.

Initial-σ-Algebra

Zu jeder Abbildung [math] f\colon X_1 \to X_2 [/math], wobei [math] X_2 [/math] mit der σ-Algebra [math] \mathcal A_2 [/math] versehen ist, lässt sich eine kleinste σ-Algebra angeben, bezüglich derer die Funktion [math] f [/math] messbar ist. Diese σ-Algebra nennt man dann die Initial-σ-Algebra der Funktion und bezeichnet sie mit [math] \sigma(f) [/math] oder mit [math] \mathcal I (f )[/math]. Sie lässt sich auch für beliebige Familien von Funktionen [math] (f_i)_{i \in I} [/math] definieren. Sie ist dann die kleinste σ-Algebra, bezüglich derer alle [math] f_i [/math] messbar sind, und wird dann mit [math] \sigma (f_i \colon i \in I) [/math] oder [math] \mathcal I (f_i \colon i \in I) [/math] bezeichnet. Für eine einzelne Funktion [math] f [/math] ist aufgrund der Operationsstabilität der Urbildes bereits [math] f^{-1}(\mathcal A_2) [/math] die Initial-σ-Algebra.

Verkettungen messbarer Funktionen

Sind [math](X_1,\mathcal{A}_1)[/math], [math](X_2,\mathcal{A}_2)[/math] und [math](X_3,\mathcal{A}_3) [/math] Messräume und ist [math] f[/math] [math]\mathcal{A}_1[/math]-[math]\mathcal{A}_2[/math]-messbar und [math] g [/math] [math]\mathcal{A}_2[/math]-[math]\mathcal{A}_3[/math]-messbar, so ist die Funktion [math] h(x)= g(f(x)) [/math] [math]\mathcal{A}_1[/math]-[math]\mathcal{A}_3[/math]-messbar. Unter Umständen kann auch aus der Messbarkeit von verknüpften Funktionen auf die Messbarkeit ihrer Teilfunktionen geschlossen werden: Sind [math] f_i [/math] Funktionen von [math] (X_2, \mathcal A_2) [/math] nach [math] (X_i, \mathcal A_i ) [/math] und ist [math] \mathcal A_2=\mathcal I (f_i) [/math] die Initial-σ-Algebra, dann ist eine Funktion [math] f [/math] von [math] (X_1, \mathcal A_1) [/math] nach [math] (X_2, \mathcal A_2) [/math] genau dann messbar, wenn [math] f_i \circ f [/math] für alle [math] i \in I [/math] [math] A_1[/math]-[math]A_i [/math]-messbar ist.

Faktorisierungslemma

Das Faktorisierungslemma ist ein maßtheoretischer Hilfssatz über die Messbarkeit von Funktionen, der bei einigen weitreichenden stochastischen Konstruktionen und Sätzen der mathematischen Statistik verwendet wird. Das Lemma wird beispielsweise bei der Konstruktion der faktorisierten bedingten Erwartung eingesetzt, die ein Schritt auf dem Weg zur regulären bedingten Verteilung ist. Das Lemma besagt, dass wenn eine Abbildung

[math] f\colon \Omega_1 \to \Omega_2 [/math]

gegeben ist, dann ist die Abbildung

[math] g\colon \Omega_1 \to \overline{ \R } [/math]

genau dann [math] \sigma(f)-\mathcal B(\overline{ \R })[/math]-messbar, wenn eine Funktion [math] \varphi [/math] existiert, so dass

[math] \varphi\colon (\Omega_2, \mathcal A_2) \to ( \overline{ \R },\mathcal B(\overline{ \R }))[/math]

messbar ist und

[math] g=\varphi \circ f [/math]

gilt. Dabei ist [math] \mathcal A_2 [/math] eine σ-Algebra auf [math] \Omega_2 [/math] und [math] \sigma (f) [/math] die von [math] f [/math] erzeugte σ-Algebra.

Messbarkeit reellwertiger Funktionen

Überprüfung

Für eine Abbildung [math]f[/math] von einem Messraum [math](X,\mathcal{A})[/math] nach [math](\mathbb{R}, \mathcal B (\R))[/math] gilt, dass [math]f[/math] genau dann messbar ist, wenn eines der Mengensysteme

  • [math]\{f \leq a\}, a\in\mathbb{R}[/math],
  • [math]\{f \lt a\}, a\in\mathbb{R}[/math],
  • [math]\{f \geq a\}, a\in\mathbb{R}[/math],
  • [math]\{f \gt a\}, a\in\mathbb{R}[/math]

in [math]\mathcal{A}[/math] liegt. Dabei ist [math]\{f \leq a\}[/math] etc. als Abkürzung für [math]\{x\in X | f(x)\leq a\}=f^{-1}((-\infty,a])[/math] zu verstehen. Es würde auch ausreichen, wenn [math] a [/math] nur alle rationalen Zahlen durchläuft, denn die angegebenen Intervalle bilden immer ein Erzeugendensystem der Borelschen σ-Algebra.

Messbare Funktionen

Die folgenden Funktionen [math] g\colon (\R, \mathcal B (\R)) \to (\R, \mathcal B (\R)) [/math] sind beispielsweise messbar:

[math] g(x)=\max (0,x):=x^+ [/math]
[math] g(x)=\min (0,x):=x^- [/math]
[math] g(x)=|x| [/math]
[math] g(x)=\operatorname{sgn}(x)[/math]

Ist außerdem eine Funktion [math] f\colon (X_1, \mathcal A_1 ) \to (\R^n , \mathcal B (\R^n)) [/math] gegeben, so ist sie genau dann messbar, wenn jede ihrer Komponentenfunktionen [math] f_i [/math] [math] \mathcal A[/math]-[math] \mathcal B (\R) [/math]-messbar ist.

Sind [math] f, g [/math] messbare Funktionen von [math] (X_1, \mathcal A_1 )[/math] nach [math] (\R^n, \mathcal B (\R^n)) [/math], so ist auch [math] f+g [/math] und [math] f-g [/math] messbar. Ist [math] h [/math] messbar von [math] (X_1, \mathcal A_1 )[/math] nach [math] (\R, \mathcal B (\R)) [/math], so ist [math] f\cdot h [/math] messbar. Vereinbart man die Konvention [math] \tfrac{x}{0}=0 [/math], so ist sogar [math] \tfrac{f}{h} [/math] messbar.

Ist eine Funktionenfolge [math] (X_1, \mathcal A_1)[/math]-[math](\overline{\R},\mathcal B (\overline{\R}))[/math]-messbarer Funktionen [math] (f_n)_{n \in \N} [/math] gegeben, so ist auch das Infimum, das Supremum sowie der Limes inferior und der Limes superior dieser Folge wieder messbar.

Approximation

Jede positive messbare Funktion lässt sich durch eine monoton wachsende Funktionenfolge von einfachen Funktionen (also Linearkombinationen von Indikatorfunktionen von messbaren Mengen) approximieren. Eine Funktionenfolge, die das leistet, ist beispielsweise

[math] f_n(x)=\min (2^{-n} \lfloor 2^n f(x)\rfloor;n) [/math].

Diese Approximationseigenschaft wird bei der Konstruktion des Lebesgue-Integrals genutzt, welches zuerst nur für einfache Funktionen definiert wird und dann auf alle messbaren Funktionen fortgesetzt wird.

Lebesgue- und Borelmessbare Funktionen

Eine (reelle) Lebesgue-Borel-messbare Funktion ist nicht unbedingt Borel-Borel-messbar. Auch ist eine Lebesgue-Borel-messbare Funktion nicht unbedingt Lebesgue-Lebesgue-messbar. Die Verkettung zweier Lebesgue-Borel-messbarer Funktionen ist also nicht zwangsläufig wiederum Lebesgue-Borel-messbar. [1][2]

Starke Messbarkeit

Ist eine Funktion in einem metrischen Raum punktweiser Limes von Elementarfunktionen, d. h. messbaren Funktionen mit endlichem Bild, so heißt sie „stark messbar“.

  • Jede messbare Funktion mit separablem Bild ist stark messbar.
  • Jede stark messbare Funktion ist messbar.

Starke Messbarkeit und Messbarkeit unterscheiden sich nur voneinander, wenn der Zielraum nicht-separabel ist. Dies ist beispielsweise bei der Definition von verallgemeinerten Integralen wie dem Bochner-Integral der Fall.

Abgrenzung

Eine Teilmenge eines Messraums heißt messbar, wenn sie Element der σ-Algebra des Messraums ist und ihr somit potentiell ein Maß zugeordnet werden kann. Des Weiteren existiert noch die Messbarkeit nach Carathéodory von Mengen bezüglich eines äußeren Maßes. Hier wird nur ein äußeres Maß benötigt.

Literatur

  • Jürgen Elstrodt: Maß- und Integrationstheorie. 6., korrigierte Auflage. Springer-Verlag, Berlin Heidelberg 2009, ISBN 978-3-540-89727-9, doi:10.1007/978-3-540-89728-6 .
  • Achim Klenke: Wahrscheinlichkeitstheorie. 3. Auflage. Springer-Verlag, Berlin Heidelberg 2013, ISBN 978-3-642-36017-6.
  • Henri Lebesgue: Leçons sur l'intégration et la recherche des fonctions primitives. Gauthier-Villars, Paris 1904.

Einzelnachweise

  1. Robert B. Ash, Catherine Doléans-Dade: Probability and measure theory. 2nd edition. Academic Press, San Diego CA u. a. 2000, ISBN 0-12-065202-1, S. 41.
  2. Vladimir I. Bogachev: Measure theory. Band 1. Springer, Berlin u a. 2007, ISBN 978-354-03451-3-8, S. 193.

Kategorien: Maßtheorie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Messbare Funktion (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.