Die von den offenen Mengen eines topologischen Raums erzeugte σ-Algebra; ihre Elemente heißen Borelmengen und entstehen aus offenen Mengen durch abzählbare Vereinigungen, abzählbare Durchschnitte und Komplemente.

Prinzip

Ordnungsprinzip der Minimalität: die Borel-σ-Algebra ist die kleinste σ-Algebra, die die Topologie enthält, also alle offenen Mengen enthält und unter den abzählbaren Operationen einer σ-Algebra abgeschlossen ist.

Demonstration

Auf der reellen Zahlengeraden mit der üblichen Topologie erzeugn die offenen Intervalle (a,b) die Borel-σ-Algebra; typische Borelmengen sind abgeschlossene Intervalle, abzählbare Vereinigungen abgeschlossener Intervalle und viele durch abzählbare Operationen konstruierte Mengen.

Fehlanwendung

Zu behaupten, jede Teilmenge eines Raums sei Borelisch (z. B. alle Teilmengen von R seien Borelmengen) oder die Borel-σ-Algebra ohne Prüfung mit der Lebesgue-completion zu identifizieren.

Konsequenz

Ist die Borel-σ-Algebra festgelegt, lassen sich Borel-Maße definieren und messbare Funktionen untersuchen; viele Standardresultate der Analysis und der Wahrscheinlichkeitstheorie werden bezüglich dieser σ-Algebra formuliert.

Umkehrung

Ersetzt man die Borel-σ-Algebra durch die triviale σ-Algebra {∅,X} verliert man Beschreibungsfähigkeit; ersetzt man sie durch die Potenzmenge, entfallen topologische Einschränkungen und Meßbarkeitsunterscheidungen.

Abgrenzung

Hängt von der gewählten Topologie ab; sie muss nicht mit der σ-Algebra aller messbaren Mengen (z. B. Lebesgue-σ-Algebra) übereinstimmen und schließt nicht-borelische Mengen aus, sofern solche existieren.

Semantische Spannung

Steht oft in Spannung zur Lebesgue-σ-Algebra (messtheoretische Komplettierung) oder zu σ-Algebren, die von speziellen Sammlungen wie abgeschlossenen Mengen erzeugt werden — Spannung zwischen topologischer Erzeugung und messtheoretischer Komplettierung.

Synthese

Die Borel-σ-Algebra ist die kanonische σ-Algebra, die sich aus einer Topologie ergibt: die kleinste abzählbar abgeschlossene Sammlung, welche die offenen Mengen enthält und so die natürliche messbare Struktur für topologieorientierte Analysis liefert.