Ü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 {\bigl (}B(x,r){\bigr )}<\infty$ erfüllt,
    • welches andererseits eine Konstante $L>0$ aufweist, so dass jede $X$-Kugel $B(x,r)$ die Verdopplungseigenschaft $\mu {\bigl (}B(x,2r){\bigr )}<L\mu {\bigl (}B(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.

Literatur

• Ronald R. Coifman, Guido L. Weiss: Analyse harmonique non-commutative sur certains espaces homogènes: étude de certaines intégrales singulières. Étude de certaines intégrales singulières (= Lecture Notes in Mathematics. Band 242). Springer Verlag, Berlin, New York 1971 (MR0499948). 
• Ronald R. Coifman, Guido Weiss: Extensions of Hardy spaces and their use in analysis. In: Bulletin of the American Mathematical Society. Band 83, 1977, S. 569–645 (MR0447954). 
• Donggao Deng, Yongsheng Han: Harmonic Analysis on Spaces of Homogeneous Type. With a preface by Yves Meyer. Springer Verlag, Berlin, Heidelberg 2009, ISBN 978-3-540-88744-7 (MR2039503). 
• Henry Helson: Harmonic Analysis. Addison-Wesley, Reading, Mass (u. a.) 1983, ISBN 0-201-12752-0 (MR0729682). 
• Lars Hörmander: L^p estimates for (pluri-) subharmonic functions. In: Mathematica Scandinavica. Band 20, 1967, S. 65–78 (MR0234002). 
• Roberto A. Macías, Carlos Segovia: Lipschitz functions on spaces of homogeneous type. In: Advances in Mathematics. Band 33, 1979, S. 257–270 (MR0546295). 
• Yitzhak Katznelson: An Introduction to Harmonic Analysis (= Cambridge Mathematical Library). 3. Auflage. Cambridge University Press, Cambridge 2004, ISBN 0-521-54359-2 (MR1710388). 
• Steven G. Krantz: A Panorama of Harmonic Analysis (= Carus Mathematical Monographs. Band 27). The Mathematical Association of America, Washington, DC 1999, ISBN 0-88385-031-1 (MR1710388). 
• Steven G. Krantz: Explorations in Harmonic Analysis (= Applied and Numerical Harmonic Analysis. Band 27). Birkhäuser Verlag, Boston, Basel, Berlin 2009, ISBN 978-0-8176-4668-4 (MR2508404). 
• Horst Schubert: Topologie. 4. Auflage. B. G. Teubner Verlag, Stuttgart 1975, ISBN 3-519-12200-6 (MR0423277). 
• K. T. Smith: A generalization of an inequality of Hardy and Littlewood. In: Canadian Journal of Mathematics. Band 8, 1956, S. 157–170 (MR0086889). 
• Norbert Wiener: The Fourier Integral and Certain of its Applications. Dover Publications, Inc., New York 1959 (MR0100201 – An unaltered republication of the 1933 edition [University Press, Cambridge]).