Ein Tripel (X, Σ, μ), wobei X eine Menge ist, Σ eine σ‑Algebra von Teilmengen von X und μ: Σ → [0,∞] ein σ‑additives Maß auf Σ ist.

Prinzip

Ein Maßraum formalisiert Größe oder Gewicht auch sehr komplizierter Mengen, indem Messbarkeit (Mitgliedschaft in einer σ‑Algebra) und σ‑Additivität verlangt werden, sodass disjunkte Vereinigungen konsistent addiert werden können.

Demonstration

Das Lebesgue‑Maß auf R mit Σ der Lebesgue‑σ‑Algebra und μ, das Intervallen Länge zuweist, ist ein klassischer Maßraum. Das Abzählmaß auf jeder Menge X (μ(A)=Anzahl der Elemente von A, ggf. ∞) und das Dirac‑Maß in einem Punkt sind einfache Beispiele.

Fehlanwendung

Zu glauben, jede Teilmenge von X sei messbar (die Potenzmenge ist nicht notwendigerweise die relevante σ‑Algebra), oder zu meinen, σ‑Additivität könne durch endliche Additivität ersetzt werden, ohne die grundlegenden Konsequenzen für Integration und Konvergenzsätze zu verlieren.

Konsequenz

Maßräume bilden die Grundlage für Integration, L^p‑Räume und Konvergenzsätze; mit festem Maß lassen sich messbare Funktionen, Integrale und fast überall gültige Eigenschaften sowie Nullmengen definieren.

Umkehrung

Ein messbarer Raum ohne Maß (X, Σ) liefert keine numerische Größeninformation durch μ; eine nur endlich additive Mengenfunktion oder ein äußeres Maß kann an σ‑Additivität fehlen und somit keinen echten Maßraum ergeben.

Abgrenzung

Erfordert eine σ‑Algebra und σ‑Additivität; schließt endlich additive Maße, Kapazitäten oder bestimmte nicht messbare Konstruktionen aus. Maße können endlich, σ‑endlich oder unendlich sein — diese Unterscheidungen bestimmen die Anwendbarkeit der Sätze.

Semantische Spannung

Spannung zwischen Maßraum und messbarem Raum: Letzterer liefert nur die σ‑Algebra ohne Maß. Zudem besteht Spannung zwischen abstrakten Maßräumen und konkreten Borel‑/Lebesgue‑Konstruktionen, die an Topologie oder Geometrie gebunden sind.

Synthese

Maßraum = (X, Σ, μ), der eine Menge messbarer Mengen und eine σ‑additive Größenzuweisung vereint und so die Basis für Integrationstheorie, Funktionalräume und probabilistische Modelle bildet.