Ein Tripel (X, Σ, μ), wobei X eine Menge ist, Σ eine σ-Algebra von Teilmengen von X und μ: Σ → [0,∞] eine σ-additive Abbildung (Maß) ist, die messbaren Mengen erweiterte nichtnegative reelle Werte zuordnet und μ(∅)=0 gilt.

Prinzip

Größen werden so Mengen zugeordnet, dass die Zuordnung unter abzählbaren Vereinigungen und Komplementen stabil ist (σ-Additivität), was Integration und probabilistische Interpretation bei Normierung erlaubt.

Demonstration

Die reelle Zahlengerade R mit Σ der σ-Algebra der Lebesgue-messbaren Mengen und μ dem Lebesgue-Maß ist ein Maßraum: μ ordnet messbaren Mengen Längen (ggf. ∞) zu und ist σ-additiv.

Fehlanwendung

Eine nur endlich additive Mengenzuordnung als Maß zu behandeln, wenn abzählbare Additivität benötigt wird (z. B. für den dominierte Konvergenzsatz), führt zu falschem Vertauschen von Grenzwerten und Integralen.

Konsequenz

Ein Maßraum bildet den Rahmen zur Definition von Integralen, Lp-Räumen, Aussagen 'fast überall' und von Wahrscheinlichkeitsräumen bei μ(X)=1; viele Konvergenzsätze beruhen auf σ-Additivität.

Umkehrung

Wird σ-Additivität fallengelassen, entsteht eine endlich additive Maßfunktion (Charge), die manche Phänomene modelliert, aber zentrale Theoreme verliert; Beschränkung auf Algebren statt σ-Algebren reduziert die Messbarkeit.

Abgrenzung

Schließt äußere Maße ohne Messbarkeitskriterium und auf keiner σ-Algebra definierte Funktionen aus; verlangt nicht notwendigerweise Vollständigkeit (Messbarkeit aller Teilmengen von Nullmengen), sofern nicht angegeben.

Semantische Spannung

Spannung zwischen dem mathematischen Begriff des »Maßes« als σ-additive Mengenzuordnung und dem allgemeinen Gebrauch von »Maß« als beliebige quantitative Bewertung; in der Analysis ist σ-Additivität maßgeblich.

Synthese

Ein Maßraum (X,Σ,μ) formt die Zuordnung nichtnegativer Größen zu einer σ-Algebra mittels einer σ-additiven Abbildung und liefert so das Fundament für Integration, Wahrscheinlichkeitstheorie und Funktionräume.