Standard-Borel-Raum

In der Maßtheorie, einem Teilgebiet der Mathematik, sind Standard-Borel-Räume eine sehr allgemeine Klasse von Maßräumen.

Definition

Ein Messraum <math> (\Omega, \mathcal A ) </math> ist ein Standard-Borel-Raum, wenn er isomorph zu einem polnischen Raum mit seiner borelschen σ-Algebra ist.

Klassifikation

Standard-Borel-Räume werden durch ihre Kardinalität klassifiziert. Insbesondere ist jeder überabzählbare Standard-Borel-Raum isomorph zu den reellen Zahlen mit ihrer borelschen σ-Algebra.

Eigenschaften

• Wenn es auf einem Raum <math>X</math> zwei σ-Algebren <math>\mathcal{A}\subset\mathcal{B}</math> gibt, für die <math>(X,\mathcal{A}),(X,\mathcal{B})</math> Standard-Borel-Räume sind, dann ist <math>\mathcal{A}=\mathcal{B}</math>.
• Zu jeder bijektiven messbaren Abbildung zwischen Standard-Borel-Räumen ist auch die Umkehrabbildung messbar.
• Eine Abbildung zwischen Standard-Borel-Räumen ist genau dann messbar, wenn ihr Graph eine messbare Teilmenge des Produktraumes ist.
• Die Vervollständigung eines mit einem Wahrscheinlichkeitsmaß versehenen Standard-Borel-Raumes ist ein Standard-Wahrscheinlichkeitsraum.

Literatur

• Alexander S. Kechris, "Classical descriptive set theory", Springer-Verlag (1995).

Weblinks

• Standard Borel space (Encyclopedia of Mathematics)