##  [Σ-Algebra (Sigma-Algebra)](/de/node/61621) 

 Definition

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

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

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

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

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

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

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

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

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.