Überdeckungssatz von Vitali

Der Überdeckungssatz v​on Vitali i​st ein Satz d​er Maßtheorie, e​ines Teilgebiets d​er Mathematik, d​as sich m​it der Verallgemeinerung v​on Längen-, Flächen- u​nd Volumenbegriffen beschäftigt. Der Satz i​st ein Hilfsmittel für d​en Beweis, d​ass für d​as Lebesgue-Stieltjes-Maß d​ie Radon-Nikodým-Ableitung (bezüglich d​es Borel-Maßes) u​nd die gewöhnliche Ableitung übereinstimmen. Der Satz i​st nach Giuseppe Vitali benannt, d​er ihn 1908 bewies.

Rahmenbedingungen

Es bezeichnen ${\displaystyle \lambda }$ das Lebesgue-Maß und ${\displaystyle \eta }$ das äußere Lebesgue-Maß, also das äußere Maß, das von dem Lebesgueschen Prämaß erzeugt wird. Eine Mengenfamilie ${\displaystyle {\mathcal {V}}}$ von offenen, abgeschlossenen oder halboffenen Intervallen ${\displaystyle I}$ mit ${\displaystyle \lambda (I)>0}$ heißt eine Vitali-Überdeckung einer (nicht notwendigerweise messbaren) Menge ${\displaystyle A\subset \mathbb {R} }$, wenn für alle ${\displaystyle x\in A}$ und alle ${\displaystyle \varepsilon >0}$ ein ${\displaystyle I\in {\mathcal {V}}}$ existiert, so dass ${\displaystyle x\in I}$ und ${\displaystyle \lambda (I)<\varepsilon }$.

Aussage

Ist für eine beliebige Menge ${\displaystyle A\subset \mathbb {R} }$ mit ${\displaystyle \eta (A)<\infty }$ eine Vitali-Überdeckung ${\displaystyle {\mathcal {V}}}$ gegeben, so gibt es für jedes ${\displaystyle \varepsilon >0}$ eine endliche Anzahl von disjunkten Intervallen ${\displaystyle I_{1},I_{2},\dots ,I_{n}}$ in ${\displaystyle {\mathcal {V}}}$, so dass

${\displaystyle \eta \left(A\setminus \bigcup _{i=1}^{n}I_{n}\right)<\varepsilon }$

gilt.

Weblinks

• I.A. Vinogradova: Vitali theorem. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online).

Literatur

• Jürgen Elstrodt: Maß- und Integrationstheorie. 6., korrigierte Auflage. Springer-Verlag, Berlin Heidelberg 2009, ISBN 978-3-540-89727-9, doi:10.1007/978-3-540-89728-6.