Eine Sammlung von Teilmengen einer gegebenen Menge, die die leere Menge enthält und abgeschlossen ist unter Komplementbildung und abzählbaren Vereinigungen (äquivalent abzählbaren Schnitten); sie bildet die Menge der als messbar betrachteten Teilmengen für ein Maß oder messbare Abbildungen.

Prinzip

Die Abschließung unter Komplementen und abzählbaren Vereinigungen ordnet eine minimale stabile Familie von Mengen, auf der Maße und messbare Abbildungen sich bei Grenzprozessen und Mengenoperationen kohärent verhalten.

Demonstration

Auf der reellen Achse ist die Borel-σ-Algebra von offenen Intervallen erzeugt und ist die kleinste σ-Algebra, die diese Intervalle enthält; jede offene Menge, abgeschlossene Menge sowie abzählbare Vereinigung oder Schnitt solcher Mengen liegt in ihr.

Fehlanwendung

Eine Algebra (abgeschlossen unter endlichen Vereinigungen) fälschlich für eine σ-Algebra halten und abzählbare Grenzoperationen anwenden kann zu nicht messbaren Mengen oder zu ungültigen Vertauschungen von Grenzwert- und Maßoperationen führen.

Konsequenz

Ist eine σ-Algebra festgelegt, können Maße, Integrale und messbare Funktionen konsistent definiert werden; Wahrscheinlichkeitsmaße weisen der Gesamtmenge in dieser σ-Algebra Masse eins zu.

Umkehrung

Ersetzt man die abzählbare Abschließung durch nur endliche Abschließung, erhält man eine Algebra oder Ring von Mengen, die keine Abschließung unter Grenzwerten garantiert und damit für viele maßtheoretische Konvergenzargumente unzureichend ist.

Abgrenzung

Gilt für Mengensammlungen auf einer festen Grundmenge; legt kein konkretes Maß fest und garantiert nicht, dass jede Teilmenge enthalten ist (es sei denn, es ist die Potenzmenge). Schließt Familien aus, die nur unter endlichen Operationen abgeschlossen sind.

Semantische Spannung

Ähnlich zur 'Algebra' (endliche Operationen) oder 'σ-Feld' (Synonym); die Spannung entsteht, wenn abzählbare Operationen essenziell sind — z. B. Unterscheidung zwischen endlicher Additivität und σ-Additivität.

Synthese

Eine σ-Algebra ist die strukturierte Familie von Teilmengen eines Raumes, abgeschlossen unter Komplementen und abzählbaren Vereinigungen, die den minimalen stabilen Bereich liefert, auf dem Maß und Messbarkeit definiert sind und Grenzprozesse zulässig sind.