Final-σ-Algebra

Die Final-σ-Algebra, auch Bild-σ-Algebra genannt, ist ein spezielles Mengensystem, genauer eine σ-Algebra, in der Maßtheorie. Die zu einer vorgegebenen Familie von Funktionen gebildete Final-σ-Algebra ist das größte Mengensystem auf der gemeinsamen Zielmenge dieser Funktionen, bezüglich der diese sämtlich messbar sind. Somit bildet das Konzept der Final-σ-Algebra das Pendant zum Konzept der Initial-σ-Algebra, welche die kleinste σ-Algebra auf der Definitionsmenge darstellt, bezüglich der alle Funktionen der vorgegebenen Funktionenfamilie messbar sind. Ein analoges Konzept findet sich in der Topologie; hier sind die Initialtopologie bzw. die Finaltopologie die gröbste bzw. feinste Topologie auf der Definitionsmenge bzw. Zielmenge, bezüglich der alle Funktionen der vorgegebenen Funktionenfamilie stetig ist.

Definition

Für eine beliebige Indexmenge seien Messräume  (X_i, \mathcal A_i) gegeben sowie Abbildungen  f_i \colon X_i \to X für eine beliebige Menge X. Dann heißt die σ-Algebra

 \mathcal F (f_i, \, i \in I):=\bigcap_{i \in I} \{A \subset X \, | \, f_i^{-1}(A) \in \mathcal A_i\}

die Final-σ-Algebra der Abbildungen f_{i} auf X.

Eigenschaften

Literatur

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
© biancahoegel.de
Datum der letzten Änderung: Jena, den: 01.01. 2021