# Überdeckungslemma von Wiener

Das Überdeckungslemma von Wiener (englisch Wiener covering lemma) ist ein mathematischer Lehrsatz, der im Übergangsfeld zwischen den Gebieten der Topologie, der Maßtheorie und der Harmonischen Analyse angesiedelt ist. Dieses Lemma wird dem US-amerikanischen Mathematiker Norbert Wiener zugeschrieben und behandelt eine Fragestellung zu offenen Überdeckungen von kompakten Teilmengen im euklidischen Raum und in Räumen vom homogenen Typ. Es ist verwandt mit einem ähnlichen Überdeckungslemma, welches auf den italienischen Mathematiker Giuseppe Vitali zurückgeht. Beide Lemmata sind bedeutungsvoll für die Herleitung von Sätzen zur Frage der punktweisen Konvergenz von Fourier-Reihen.

## Formulierung

Das Lemma lässt sich angeben wie folgt:
    Sei $X$ der n-dimensionale euklidische Raum $\mathbb {R} ^{n}\;(n\in \mathbb {N} )$ oder – allgemeiner – ein Raum vom homogenen Typ, für den $K$ die in der Quasi-Dreiecksungleichung erscheinende Konstante sein soll.
    In $X$ seien eine kompakte Teilmenge $Y\neq \emptyset$ gegeben und zudem eine Familie ${\mathcal {B}}=(B(x_{j},r_{j}))_{j\in J}$ von offenen $X$-Kugeln, welche $Y$ überdecken.
    Dann gilt:
    Es gibt in ${\mathcal {B}}$ eine aus endlich vielen paarweise disjunkten $X$-Kugeln bestehende Teilfamilie $(B(x_{t},r_{t}))_{t\in T},\;T\subset J,\;|T|<\infty ,$ derart, dass für $M=2K^{2}+K$ die $M$-fach vergrößerten $X$-Kugeln $(B(x_{t},Mr_{t}))_{t\in T}$ eine Überdeckung von $Y$ bilden.
    Im Falle $X=\mathbb {R} ^{n}$ kann dabei $K=1$ und damit $M=3$ gewählt werden.

### Erläuterungen und Anmerkungen

* Ein Raum vom homogenen Typ (englisch space of homogeneous type) ist eine mathematische Raumstruktur $X=(X,d,\mu )$ über einer nichtleeren Grundmenge $X$ derart, dass $(X,d)$ ein semimetrischer Raum und $(X,\mu )$ ein Maßraum ist, wobei die folgenden Zusatzbedingungen gelten:
** Die Semimetrik $d\colon {X\times X}\to [0,\infty ]$, welche die topologische Struktur von $(X,d)$ erzeugt, hängt ab von einer Konstanten $K\geq 1$, so dass für $x,y,z\in X$ stets die Quasi-Dreiecksungleichung (englisch quasi-triangle inequality) $d(x,y)\leq K(d(x,z)+d(z,y))$ erfüllt ist.
** Der Maßraumstruktur von $(X,\mu )$ liegt eine σ-Algebra ${\mathcal {A}}$ über der Grundmenge $X$ zugrunde, welche die borelsche σ-Algebra von $X$ sowie alle $X$-Kugeln $B(x,r)=\{p\in X:d(x,p)<r\};\;(x\in X,\;r>0)$ enthält.
** $\mu \colon {\mathcal {A}}\to [0,\infty ]$ ist ein Maß auf ${\mathcal {A}}$,
*** welches einerseits für jede $X$-Kugel $B(x,r)$ die Ungleichungen $0<\mu {\biglB(x,r){\bigr )}<\infty$ erfüllt,
*** welches andererseits eine Konstante $L>0$ aufweist, so dass jede $X$-Kugel $B(x,r)$ die Verdopplungseigenschaft $\mu {\biglB(x,2r){\bigr )}<L\mu {\biglB(x,r){\bigr )}$ hat,
*** und welches schließlich für die Punkte $x\in X$ stets der Bedingung $\mu (\{x\})=0$ genügt.
* Im Falle $X=\mathbb {R} ^{n}$ wird in der Regel als $d$ die übliche euklidische Metrik und als $\mu$ das Lebesgue-Maß $\lambda ^{n}$ als gegeben vorausgesetzt.
* Die Grundkonzeption der Räume vom homogenen Typ beruht auf Ideen, welche Kennan T. Smith und Lars Hörmander entwickelt haben und die in der heutigen Form im Wesentlichen von Ronald Raphael Coifman und Guido Weiss ausgearbeitet wurden. Eine weiter verallgemeinerte Auffassung des Konzepts gab Steven G. Krantz in seiner Monographie Explorations in Harmonic Analysis.
* Die Räume vom homogenen Typ sind nicht zu verwechseln mit den homogenen Räumen.

## Das Überdeckungslemma von Vitali

Das Überdeckungslemma von Vitali (englisch Vitali covering lemma) lässt sich folgendermaßen formulieren:
    Ist $(I_{j})_{j\in J}$ eine nichtleere Familie von reellen Intervallen, die allesamt dem Intervall $\mathbb {T} =[0,2\pi )$ angehören und die dabei eine Lebesgue-messbare Menge $A\subseteq \mathbb {T}$ überdecken, so lässt sich daraus eine endliche oder unendliche Folge $(I_{j_{m}})_{m=1,2,3,\dotsc }$ von paarweise disjunkten Intervallen auswählen, welche in Bezug auf das Lebesgue-Maß die Ungleichung
       $\lambda ^{1}{\Bigl\bigcup _{m=1,2,3,\dotsc }{I_{j_{m}}}{\Bigr )}>{\frac {1}{4}}\lambda ^{1}(A)$
    erfüllt.