Satz von Jegorow - LinkFang.de





Satz von Jegorow


Der Satz von Jegorow ist ein Satz aus der Maßtheorie, der den Zusammenhang zwischen punktweiser Konvergenz μ-fast überall und fast gleichmäßiger Konvergenz zeigt. Teils finden sich auch die Schreibweisen Satz von Egorow, Satz von Egorov oder Satz von Egoroff, die auf eine Übertragung des Namens ins Englische oder Französische zurückzuführen sind. Der Satz ist nach Dmitri Fjodorowitsch Jegorow benannt, der ihn 1911 bewies. Die Aussage wurde bereits 1910 von Carlo Severini gezeigt, weshalb sich auch die Benennung als Satz von Egorov-Severini (oder verwandte Schreibweisen) findet[1].

Satz

Gegeben sei ein endlicher Maßraum [math] (X, \mathcal A , \mu) [/math] sowie messbare Funktionen

[math] f, (f_n)_{n \in \N}: X \to \mathbb K [/math].

Konvergiert die Funktionenfolge [math] (f_n)_{n \in \N} [/math] punktweise μ-fast überall gegen [math] f [/math], so konvergiert sie auch fast gleichmäßig gegen [math] f [/math].[2], [3]

Bemerkung

Da aus der fast gleichmäßigen Konvergenz immer die Konvergenz fast überall folgt, liefert der Satz von Jegorow im Fall eines endlichen Maßraumes die Äquivalenz der beiden Konvergenzarten.

Beispiel

Das folgende Beispiel zeigt, dass die Aussage bei nicht endlichen Maßraumen im Allgemeinen falsch ist. Betrachtet man die Funktionenfolge

[math] f_n(x)=\chi_{[n,n+1]}(x) [/math]

auf dem Maßraum [math] (\R, \mathcal B (\R), \lambda) [/math], so konvergiert diese Funktionenfolge punktweise (fast überall) gegen 0, denn für beliebiges [math] x [/math] ist für [math] n \geq \lceil x \rceil +1 [/math] immer

[math] f_n(x)-0=\chi_{[n,n+1]}(x)-0=0 [/math].

Aber die Folge konvergiert nicht fast gleichmäßig gegen 0, denn ist [math]0 \lt \varepsilon \lt 1[/math], so gilt für jede messbare Menge [math]A\subset \R[/math] mit Maß kleiner [math]\varepsilon[/math] und jedes [math]n\in \N[/math], dass [math][n,n+1]\setminus A \not= \emptyset[/math], denn [math][n,n+1][/math] hat Maß 1, kann also nicht in [math]A[/math] enthalten sein, und daher

[math] \sup_{x \in \R \setminus A} |f_n(x)-0| =1 [/math]

für alle [math] n \in \N [/math], das heißt auf keinem Komplement einer Menge des Maßes kleiner [math]\varepsilon[/math] kann gleichmäßige Konvergenz vorliegen.

Ursprüngliche Formulierung

In der Originalarbeit von Jegorow wurde der Satz nur für Funktionen auf einem Intervall formuliert:

Théorème – Si l'on a une suite de fonctions mesurables convergente pour tous les point d'un intervalle AB sauf, peut-être, les points d'un ensemble de mesure nulle, on pourra tourjours enlever de l'intervalle AB un ensemble de mesure [math]\eta[/math] aussi petite qu'on voudra e tel que pour l'ensemble complémentaire [ de mesure = [math]m(AB)-\eta[/math] ] la suite est uniformément convergente.[4]

Übersetzung: Wenn man eine Folge messbarer Funktionen hat, die für alle Punkte eines Intervalls AB konvergiert, bis auf möglicher Weise die Punkte einer Menge des Maßes Null, so kann man stets aus dem Intervall AB eine Menge des Maßes [math]\eta[/math], das so klein ist wie man auch will, entfernen, so dass die Folge auf der Komplementmenge [ mit Maß [math]m(AB)-\eta[/math] ] gleichmäßig konvergent ist.

Der heutige Begriff der fast gleichmäßigen Konvergenz war noch nicht in Verwendung. Jegorow schlug in derselben Arbeit vor, diese Konvergenz nach Hermann Weyl wesentlich gleichmäßig zu nennen.

Verallgemeinerungen

Der Satz von Jegorow gilt auch für messbare Funktionen, die Werte in einem separablen metrischen Raum annehmen.

Siehe auch

  • Vektorielles Maß: für eine Verallgemeinerung des Satzes für Maße mit Werten in einem Banachraum

Literatur

Einzelnachweise

  1. L.D. Kudryavtsev: Egorov theorem. In: Michiel Hazewinkel (Hrsg.): Encyclopaedia of Mathematics. Springer-Verlag, Berlin 2002, ISBN 1-4020-0609-8 (online ).
  2. Elstrodt: Maß- und Integriationstheorie. 2009, S. 252.
  3. Donald L. Cohn: Measure Theory. Birkhäuser, Boston MA 1980, ISBN 3-7643-3003-1, Satz 3.1.3: Egoroff's theorem
  4. D. Th. Egorofff: Sur les suites des fonctions mesurables: Comptes rendus 152 (1911), Seiten 244-246

Kategorien: Maßtheorie | Satz (Mathematik)

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Satz von Jegorow (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.