Nullmenge - LinkFang.de





Nullmenge


Als Nullmenge (oder auch [math]\mu[/math]-Nullmenge) bezeichnet man in der Mathematik eine Teilmenge [math]A[/math] eines Maßraums [math](\Omega, \Sigma, \mu)[/math] (genauer: [math]A[/math] ist ein Element der zugehörigen σ-Algebra [math]\Sigma[/math]), die das Maß null hat. Sie ist nicht mit der leeren Menge zu verwechseln; tatsächlich kann eine Nullmenge sogar unendlich viele Elemente enthalten. Manche Autoren nehmen in der Definition von Nullmenge auch vernachlässigbare Mengen hinzu, d. h. solche, die Teilmenge einer Nullmenge, aber nicht notwendigerweise Element der [math]\sigma[/math]-Algebra sind und denen deswegen selbst eventuell kein Maß zugeordnet ist. Wird allen Mengen, die sich nur um eine solche vernachlässigbare Menge von einem Element der [math]\sigma[/math]-Algebra unterscheiden, ebenfalls ein Maß zugeordnet, spricht man von der Vervollständigung des Maßes, wie sie etwa in der Definition des Lebesgue-Maß verwendet wird.

Von einer Eigenschaft, die für alle Elemente des Maßraums außerhalb einer [math]\mu[/math]-Nullmenge gilt, sagt man, dass sie [math]\mu[/math]-fast überall gilt. Ist [math]\mu[/math] ein Wahrscheinlichkeitsmaß, so sagt man auch [math]\mu[/math]-fast sicher anstelle von [math]\mu[/math]-fast überall.

Beispiele

  • Die leere Menge [math]\emptyset[/math] bildet in jedem Maßraum eine Nullmenge.

Für das Lebesgue-Maß [math]\lambda[/math] auf [math]\R[/math] bzw. [math]\lambda_n[/math] auf [math]\R^n[/math] gilt:

  • Eine Teilmenge [math]N[/math] von [math]\R^n[/math] ist genau dann eine Lebesgue-Nullmenge, wenn zu jedem [math]\varepsilon \gt 0[/math] eine Folge [math]\left(I_i\right)_{i\in\N}[/math] von achsenparallelen [math]n[/math]-dimensionalen Würfeln oder Quadern existiert mit [math]N\subset\bigcup\limits_{i\in\N}I_i[/math] und [math]\sum\limits_{i\in\N}\lambda_n\left(I_i\right) \lt \varepsilon[/math].[1][2]
  • Jede abzählbare Teilmenge des [math]\R^n[/math] ist eine Nullmenge. Insbesondere ist die Menge der rationalen Zahlen [math]\mathbb{Q}[/math] in der Menge der reellen Zahlen [math]\R[/math] eine Nullmenge.
  • Jeder echte Untervektorraum, insbesondere jede Hyperebene, des [math]\R^n[/math] ist eine Nullmenge. Dasselbe gilt für affine Unterräume und Untermannigfaltigkeiten, deren Dimension kleiner als [math]n[/math] ist.
  • Die Cantor-Menge ist eine überabzählbare Nullmenge in der Menge der reellen Zahlen.

Verallgemeinerungen

Inhalte auf Halbringen

Man kann Nullmengen auch allgemeiner für Elemente eines Halbringes [math]\mathcal H[/math] definieren. Eine Menge [math]A[/math] aus [math]\mathcal H[/math] heißt Nullmenge, wenn für den Inhalt [math]\mu[/math] gilt [math]\mu(A)=0[/math]. Diese Verallgemeinerung beinhaltet sowohl die obige Definition, da jede [math]\sigma[/math]-Algebra auch ein Halbring ist und jedes Maß auch ein Inhalt ist, als auch den Fall für Ringe und Prämaße.

Differenzierbare Mannigfaltigkeiten

Für differenzierbare Mannigfaltigkeiten gibt es im Allgemeinen keine sinnvolle Verallgemeinerung des Lebesgue-Maßes. Dennoch kann der Begriff der Lebesgue-Nullmengen sinnvoll auf differenzierbare Mannigfaltigkeiten übertragen werden: Sei [math]M[/math] eine [math]n[/math]-dimensionale differenzierbare Mannigfaltigkeit und [math]C\subset M[/math], dann heißt [math]C[/math] eine Lebesgue-Nullmenge, wenn für jede Karte [math]h\;:\;U\rightarrow V[/math] mit [math]V \subset \R^n[/math] die Menge [math]h\left(C \cap U\right)[/math] eine Lebesgue-Nullmenge in [math]\R^n[/math] ist.[1]

Mit dieser Definition lässt sich der Satz von Sard auf differenzierbare Mannigfaltigkeiten übertragen. Im Fall von pseudo-riemannschen Mannigfaltigkeiten sind diese Lebesgue-Nullmengen identisch mit den Nullmengen bezüglich des Riemann-Lebesgueschen Volumenmaßes.[3]

Literatur

Einzelnachweise

  1. 1,0 1,1 Theodor Bröcker, Klaus Jänich: Einführung in die Differentialtopologie (= Heidelberger Taschenbücher. Band 143). Springer Verlag, Berlin / Heidelberg / u. a. 1990, ISBN 3-540-06461-3, § 6. Der Satz von Sard, Definitionen 6.1 und 6.3, S. 58–59 (Korrigierter Nachdruck. Mit „differenzierbar“ ist hier immer [math]C^{\infty}[/math] gemeint.).
  2. Herbert Amann, Joachim Escher: Analysis III. 2. Auflage. Birkhäuser Verlag, Basel 2008, ISBN 978-3-7643-8883-6, Kapitel IX. Elemente der Maßtheorie, 5. Das Lebesguesche Maß, Theorem 5.1(v), S. 41.
  3. Herbert Amann, Joachim Escher: Analysis III. 2. Auflage. Birkhäuser Verlag, Basel 2008, ISBN 978-3-7643-8883-6, Kapitel XII. Integration auf Mannigfaltigkeiten, 1. Volumenmaße, Satz 1.6, S. 409.

Kategorien: Maßtheorie

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