Fast überall - LinkFang.de





Fast überall


Die Sprechweise, dass eine Eigenschaft fast überall gilt, stammt aus der Maßtheorie, einem Teilgebiet der Mathematik, und ist eine Abschwächung dafür, dass die Eigenschaft für alle Elemente einer Menge gilt.

Definition

Gegeben sei ein Maßraum [math] (\Omega, \mathcal{A}, \mu) [/math] und eine Eigenschaft [math] E [/math], die für alle Elemente von [math] \Omega [/math] sinnvoll definiert werden kann. Man sagt nun, dass die Eigenschaft [math] E [/math] fast überall (oder [math]\mu[/math]-fast überall oder für [math]\mu[/math]-fast alle Elemente) gilt, wenn es eine [math] \mu [/math]-Nullmenge [math] N [/math] gibt, sodass alle Elemente im Komplement [math] N^C [/math] der Nullmenge die Eigenschaft haben.

Bemerkung

Wichtig ist, dass die Eigenschaft [math] E [/math] wirklich für alle [math] \omega \in \Omega [/math], also die Elemente der Grundmenge definiert werden kann. Außerdem wird insbesondere nicht gefordert, dass die Menge auf der [math] E [/math] nicht gilt, messbar ist. Diese Menge muss nur in einer Nullmenge enthalten sein. Bei vollständigen Maßen fällt beides zusammen.

Beispiele

Lebesgue-Maß

Betrachten wir als Beispiel den Maßraum [math] ([0,1],\mathcal{B} ([0,1]), \lambda) [/math], das heißt das abgeschlossene Einheitsintervall von 0 bis 1, versehen mit der Borelschen σ-Algebra und dem Lebesgue-Maß. Betrachtet man nun die Funktionenfolge

[math] f_n(x)=x^n [/math],

so konvergiert diese auf [math] [0,1) [/math] gegen 0, auf der Punktmenge [math] \{1\} [/math] ist sie konstant 1. Da aber jede Punktmenge eine Lebesgue-Nullmenge ist, und die Funktionenfolge auf dem Komplement (im Maßraum) der 1 gegen 0 konvergiert, so konvergiert sie [math] \lambda [/math]-fast überall gegen 0.

Die Dirichlet-Funktion

[math]D(x)=\begin{cases} 1, & \mbox{wenn }x\mbox{ rational,} \\ 0, & \mbox{wenn }x\mbox{ irrational.} \end{cases}[/math]

auf dem Einheitsintervall ist [math]\lambda[/math]-fast überall gleich 0, denn [math]\lambda(\{x\in[0,1]; D(x) \not=0\}) = \lambda([0,1]\cap\Q)=0[/math].

Dirac-Maß

Wir wählen wieder denselben Maßraum wie oben, diesmal versehen mit dem Dirac-Maß auf der 1 ([math] \mu_2=\delta_1 [/math]). Bei Untersuchung derselben Funktionenfolge liefert dieses Maß genau das gegenteilige Ergebnis: Das Intervall [math] [0,1) [/math] ist eine [math] \delta_1 [/math]-Nullmenge und die Funktionenfolge ist auf der Menge [math] \{1\} [/math] mit Maß 1 konstant. Damit ist die Funktionenfolge [math] \delta_1 [/math]-fast überall konstant.

Die Dirichlet-Funktion ist [math]\delta_1[/math]-fast überall gleich 1, denn [math]\delta_1(\{x\in[0,1]; D(x)\not = 1\}) = \delta_1([0,1]\setminus\Q) = 0[/math].

Die Wahl und Angabe des verwendeten Maßes ist also essentiell für die Verwendung der Sprechweise „fast überall“.

Fast sicher

In der Stochastik wird auf dem Wahrscheinlichkeitsraum [math](\Omega,\mathcal{A},P)[/math] eine Eigenschaft, die fast überall gilt, auch als fast sichere (oder [math]P[/math]-fast sichere) Eigenschaft bezeichnet.

Anwendung

Als typische und wichtige Anwendung des hier vorgestellten Begriffs betrachten wir wieder den Maßraum [math] ([0,1],\mathcal{B} ([0,1]), \lambda) [/math] und eine messbare Funktion [math]f:[0,1]\rightarrow \R[/math].

Aus   [math]\int_{[0,1]}|f|\mathrm{d}\lambda = 0[/math]   folgt   [math]f=0[/math]   fast überall.

Beweis: Wäre nicht [math]f=0[/math] fast überall, so wäre [math]\textstyle 0\lt\lambda(\{x\in[0,1]; f(x) \not= 0\}) = \lambda(\bigcup_{n\in\N}\{x\in[0,1];|f(x)|\gt\tfrac{1}{n}\})[/math] und es gäbe ein [math]n\in\N[/math] mit [math]\textstyle 0\lt\lambda(\{x\in[0,1];|f(x)|\gt\frac{1}{n}\})[/math]. Da [math]\textstyle |f| \ge \tfrac{1}{n}\chi_{\{x\in[0,1];|f(x)|\gt\frac{1}{n}\}}[/math], folgte [math]\textstyle \int_{[0,1]}|f|\mathrm{d}\lambda \ge \int_{[0,1]}\frac{1}{n}\chi_{\{x\in[0,1];|f(x)|\gt\frac{1}{n}\}}\mathrm{d}\lambda = \frac{1}{n}\cdot \lambda(\{x\in[0,1];|f(x)|\gt\tfrac{1}{n}\}) \gt 0[/math], im Widerspruch zur Voraussetzung. Also muss [math]f=0[/math] fast überall sein.

Siehe auch

Literatur


Kategorien: Keine Kategorien vorhanden!

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Fast überall (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.