Eine Sammlung Σ von Teilmengen einer Menge X, die abgeschlossen ist unter Komplementbildung und abzählbaren Vereinigungen (äquivalent: abzählbaren Schnitten) und die die leere Menge enthält; sie ist der Definitionsbereich für Maße.

Prinzip

σ‑Algebren legen die Familie der „messbaren“ Mengen fest, indem sie Stabilität unter den für σ‑Additivität und Grenzvorgänge benötigten Operationen erzwingen: Komplementbildung, abzählbare Vereinigungen und Schnitte sowie die Aufnahme der leeren Menge.

Demonstration

Die Borel‑σ‑Algebra eines topologischen Raums ist die von offenen Mengen erzeugte σ‑Algebra und dient zur Definition von Borel‑Maßen. Die triviale σ‑Algebra {∅, X} und die Potenzmenge 2^X (wenn verwendet) sind einfache Beispiele; die durch eine Partition oder durch Einpunktmengen erzeugte σ‑Algebra führt zu Abzähl‑ oder diskreten Strukturen.

Fehlanwendung

Zu glauben, eine Algebra (nur unter endlichen Vereinigungen geschlossen) oder ein Mengenring genüge für alle maßtheoretischen Argumente, die abzählbare Operationen benötigen; anzunehmen, die Borel‑σ‑Algebra gleiche der Lebesgue‑σ‑Algebra ohne Beachtung der Vervollständigung um Nullmengen.

Konsequenz

Mit gegebener σ‑Algebra lassen sich messbare Funktionen, Zufallsvariablen und Maße definieren; sie bestimmt, welche Grenzwerte von Mengen und Funktionen messbar bleiben und welche Operationen unter Integration und Wahrscheinlichkeit zulässig sind.

Umkehrung

Eine nur unter endlichen Vereinigungen bzw. Schnitten geschlossene Sammlung (Algebra oder Ring) fehlt die Abgeschlossenheit unter abzählbaren Operationen und kann daher ohne Erweiterung keine σ‑additiven Maße tragen.

Abgrenzung

Eine σ‑Algebra ist eine rein mengentheoretische Struktur unabhängig von Topologie, wird aber oft aus topologischen Familien erzeugt. Sie legt nicht selbst ein Maß fest; verschiedene σ‑Algebren auf derselben Menge führen zu unterschiedlichen Messbarkeitsbegriffen.

Semantische Spannung

Spannung zwischen σ‑Algebren, die von der Topologie erzeugt werden (Borel), und solchen, die durch ein Maß vervollständigt werden (Lebesgue): Letztere unterscheiden sich um Nullmengen und beeinflussen, welche Funktionen integrierbar bzw. messbar sind.

Synthese

Sigma‑Algebra = eine Mengenfamilie, die unter Komplementbildung und abzählbaren Vereinigungen abgeschlossen ist und festlegt, welche Teilmengen messbar sind; sie bildet das minimale algebraische Gerüst für σ‑additive Maße und messbare Funktionen.