Fortsetzungssatz für messbare Funktionen

Das Fortsetzungssatz für messbare Funktionen ist ein Lehrsatz aus dem mathematischen Gebiet der Maßtheorie, welchem eine Fragestellung zugrunde liegt, 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 $(ℝ,{ℬ}^1)$, der aus dem Körper der reellen Zahlen $ℝ$ und der zugehörigen Borel'schen σ-Algebra ${ℬ}^1$ besteht, sowie irgend ein weiterer Messraum $(X,𝒜)$.

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

Dann gilt:

Eine solche Funktion $f$ besitzt stets eine $𝒜$-${ℬ}^1$-messbare Fortsetzung $F:(X,𝒜)\to (ℝ,{ℬ}^1)$.

Literatur

• Vorlage:Literatur