Ein translationsinvariantes, vollständiges σ-additives Maß auf der σ-Algebra der lebesgue-messbaren Teilmengen von R^n, das die intuitive Vorstellung von Länge, Fläche und Volumen erweitert und allen abzählbaren messbaren Mengen Maß 0 zuweist.

Prinzip

Konstruiert durch Carathéodorys Außenmaßverfahren als Infimum der Volumina abzählbarer Überdeckungen durch Rechtecke (oder Kugeln); zentrale Eigenschaften sind σ-Additivität, Translationsinvarianz und Vollständigkeit bezüglich Nullmengen.

Demonstration

Auf R ist das Lebesgue-Maß eines Intervalls [a,b] gleich b−a. Eine abzählbare Menge wie Q⊂R hat Lebesgue-Maß 0. Eine beschränkte messbare Menge mit nicht leerem Inneren hat ein positives endliches Maß gleich ihrem geometrischen Volumen.

Fehlanwendung

Zu behaupten, jede Teilmenge von R^n sei Lebesgue-messbar und jede Menge nach Länge/Volumen zu messen (ignoriert nichtmessbare Mengen); Verwechslung mit dem Zählmaß, das einer Menge die Anzahl ihrer Punkte zuweist, oder mit Hausdorff-Maßen für fraktale Strukturen.

Konsequenz

Legt die Grundlage der modernen Integration (Lebesgue-Integral), ermöglicht Sätze wie dominierte Konvergenz und Fubini–Tonelli, das Transformationsgesetz bei mehrdimensionalen Integralen und präzises Arbeiten mit 'fast überall' in Analysis und Wahrscheinlichkeitstheorie.

Umkehrung

Größe nur durch Zählen zu bestimmen (Zählmaß) oder jede nichtleere offene Menge Maß 0 zuzuweisen: dies zerstört die für Integration notwendige σ-Additivität und die Übereinstimmung mit geometrischem Volumen.

Abgrenzung

Definiert nur auf Lebesgue-messbaren Mengen (eine σ-Algebra, die die Borel-Mengen strikt erweitert); abhängig von der euklidischen Struktur und Translationen von R^n; erfasst nicht die skalierenden Eigenschaften fraktaler Mengen, die nullmaßig sind.

Semantische Spannung

Spannung zu Hausdorff- und Packing-Maßen: Lebesgue-Maß ist geeignet für voll-dimensionale Phänomene, versagt jedoch bei der Unterscheidung der Größe niedrigerdimensionaler oder fraktaler Mengen, die Hausdorff-Maße erfassen.

Synthese

Das Lebesgue-Maß ist das kanonische σ-additive, translationsinvariante Volumenmaß im euklidischen Raum, das Länge/Auffläche/Volumen in einen vollständigen maßtheoretischen Rahmen überführt und so Integration und fast-überall-Argumente ermöglicht, während nichtmessbare Pathologien ausgeschlossen bleiben.