Die kleinste σ‑Algebra auf einem topologischen Raum, die durch seine offenen Mengen erzeugt wird (äquivalent durch abgeschlossene Mengen oder eine Basis der Topologie), deren Elemente Borel‑Mengen genannt werden und die die minimale mit der Topologie verträgliche messbare Struktur liefert.

Prinzip

Man nimmt die offenen Mengen der Topologie und schließt unter abzählbaren Vereinigung, abzählbarer Schnittbildung und Komplementbildung, um eine σ‑Algebra zu erhalten, die topologische Messbarkeit widerspiegelt und zugleich minimal ist.

Demonstration

Auf der reellen Geraden mit der üblichen Topologie wird die Borel‑σ‑Algebra durch offene Intervalle erzeugt; sie enthält alle Intervalle, abzählbare Vereinigungen und Schnitte davon sowie viele weitere durch abzählbare Operationen entstehende Mengen.

Fehlanwendung

Jede Lebesgue‑messbare Menge als Borel‑Menge zu behandeln; tatsächlich bilden die Lebesgue‑messbaren Mengen die Komplettierung der Borel‑σ‑Algebra bezüglich des Lebesgue‑Maßes und können nicht‑borelsche Mengen enthalten.

Konsequenz

Die Ausstattung eines topologischen Raums mit seiner Borel‑σ‑Algebra ermöglicht die Definition von Borel‑Maßen und messbaren Abbildungen, die mit der Topologie verträglich sind, und erlaubt Integration sowie probabilistische Modellierung in Einklang mit der Struktur der offenen Mengen.

Umkehrung

Die diskrete σ‑Algebra (Potenzmenge) oder die triviale σ‑Algebra {∅, X}, die Extreme repräsentieren: maximale Messbarkeit versus minimale nichttriviale Messbarkeit, ohne die feinere Struktur der Topologie abzubilden.

Abgrenzung

Definiert relativ zu einer gegebenen Topologie und auf jedem topologischen Raum anwendbar; sie enthält nicht notwendigerweise alle Teilmengen (außer die Topologie ist diskret) und kann strikt kleiner sein als vervollständigte oder speziell erzeugte σ‑Algebren für bestimmte Maße.

Semantische Spannung

Oft mit Komplettierungen (z. B. der Lebesgue‑σ‑Algebra) oder mit beliebigen σ‑Algebren verwechselt; die Spannung liegt zwischen topologisch erzeugter Messbarkeit (Borel) und maßtheoretischen Komplettierungen, die Nullmengenmodifikationen hinzufügen.

Synthese

Die Borel‑σ‑Algebra ist die minimale Menge von Mengen, die unter abzählbaren Mengenoperationen abgeschlossen ist und die offenen Mengen der Topologie enthält, wodurch eine kanonische messbare Struktur entsteht, die an die Topologie gebunden ist.