Separable σ-Algebra

In der Maßtheorie wird eine σ-Algebra als separabel oder abzählbar erzeugt bezeichnet, wenn sie aus einer abzählbaren Anzahl von Mengen erzeugt werden kann.

Die Separabilität einer σ-Algebra spielt eine Rolle bei der Frage, wann ein -Raum als topologischer Raum separabel ist.

Beispiel

Die Borelschen -Algebren im sind separabel, denn sie werden von den Quadern mit rationalen Endpunkten erzeugt (oder auch von den dyadischen Elementarzellen).

Literatur