Fortsetzungssatz für messbare Funktionen

Das Fortsetzungssatz für messbare Funktionen ist ein Lehrsatz aus dem mathematischen Gebiet der Maßtheorie, welchem eine Fragestellung zugrundeliegt, die der des Tietze'schen Fortsetzungssatz in der Topologie entspricht.

Formulierung des Fortsetzungssatzes

Der Satz lässt sich formulieren wie folgt:

Gegeben seien der Messraum $(\mathbb {R} ,{\mathcal {B}}^{1})$, der aus dem Körper der reellen Zahlen $\mathbb {R}$ und der zugehörigen Borel'schen σ-Algebra ${\mathcal {B}}^{1}$ besteht, sowie irgend ein weiterer Messraum $(X,{\mathcal {A}})$ .

Weiter gegeben seien eine beliebige Teilmenge $M\subset X$ mit der ihr zugehörigen Spur-σ-Algebra ${\mathcal {A|_{M}}}$ und darauf irgend eine reellwertige ${\mathcal {A|_{M}}}$-${\mathcal {B}}^{1}$-messbare Funktion $f\colon (M,{\mathcal {A|_{M}}})\to (\mathbb {R} ,{\mathcal {B}}^{1})$.

Dann gilt:

Eine solche Funktion $f$ besitzt stets eine ${\mathcal {A}}$-${\mathcal {B}}^{1}$-messbare Fortsetzung $F\colon (X,{\mathcal {A}})\to (\mathbb {R} ,{\mathcal {B}}^{1})$.

Literatur

• Jürgen Elstrodt: Maß- und Integrationstheorie (= Springer-Lehrbuch - Grundwissen Mathematik). 7., korrigierte und aktualisierte Auflage. Springer-Verlag, Heidelberg, Dordrecht, London, New York 2011, ISBN 978-3-642-17904-4, doi:10.1007/978-3-642-17905-1.