Lemma von Riesz

Lemma von Riesz

Das Lemma von Riesz, benannt nach dem ungarischen Mathematiker Frigyes Riesz, ist ein Satz der Funktionalanalysis über abgeschlossene Unterräume von normierten Räumen.

Inhaltsverzeichnis

Aussage

Gegeben seien ein normierter Raum X, ein abgeschlossener echter Unterraum U von X und eine reelle Zahl δ > 0. Dann existiert ein Element x \in X mit \|x\| = 1, so dass gilt [1] [2]:

\mathrm{dist}(x,U)=\inf_{u\in U}\|x-u\| \ge 1-\delta.

Ist U endlichdimensional, dann kann δ = 0 gewählt werden. (Es reicht anzunehmen, dass U reflexiv ist.)

Motivation

In einem endlichdimensionalen euklidischen Raum gibt es zu jedem echten Teilraum U einen darauf senkrecht stehenden Einheitsvektor x. Der Abstand eines beliebigen Punktes u aus U zu x beträgt dann mindestens Eins, der Wert Eins wird exakt für u=0 angenommen.

In einem normierten Raum ist der Begriff des „senkrecht Stehens“ im Allgemeinen nicht definierbar. Insofern ist die Formulierung des Lemmas von Riesz eine sinnvolle Verallgemeinerung. Auch ist es nicht selbstverständlich, dass außerhalb eines Teilraumes noch Vektoren mit positivem Abstand zu diesem existieren.

Beweisskizze

Es gibt einen Punkt w außerhalb der echten Teilmenge U. Da U abgeschlossen ist, muss der Abstand von w zu U positiv sein. Sei ein 0 < δ < 1 vorgegeben (für \delta \ge 1 ist die Aussage trivial) und v ein Punkt in U mit

\|w-v\|\le \mathrm{dist}(w,U)/(1-\delta).

Definiere x=(w-v)/\|w-v\|, d.h. x ist ein Vektor mit Norm 1. Für den Abstand von x zu U gilt

\mathrm{dist}(x,U)=\frac{\mathrm{dist}(w,U)}{\|w-v\|}\ge\;1-\delta.

Folgerungen

Aus dem Lemma von Riesz folgt, dass jeder normierte Raum, in dem die abgeschlossene Einheitskugel kompakt ist, endlich-dimensional sein muss. Auch die Umkehrung dieses Satzes ist richtig (Kompaktheitssatz von Riesz).

Einzelnachweise

  1. Harro Heuser: Funktionalanalysis, Teubner-Verlag (1975), ISBN 3-519-02206-0, Hilfssatz 10.2
  2. Joseph Diestel: Sequences and Series in Banch Spaces, Springer-Verlag (1984), ISBN 3-540-90859-5, Kap. I, Lemma auf Seite 2

Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Lemma von Lax-Milgram — Das Lemma von Lax Milgram, auch Satz von Lax Milgram, ist eine Aussage der Funktionalanalysis, einem Teilgebiet der Mathematik, die nach Peter Lax und Arthur Milgram benannt ist. Diese beiden Mathematiker bewiesen 1954 eine erste Version dieses… …   Deutsch Wikipedia

  • Darstellungssatz von Riesz — Der rieszsche Darstellungssatz (nach Frigyes Riesz) charakterisiert in der Mathematik den Dualraum der Banachräume Lp, beziehungsweise in seiner Version auf C0(X) dem Dualraum der stetigen Funktionen auf einem lokalkompaktem Hausdorff Raum. Er… …   Deutsch Wikipedia

  • Satz von Riesz-Fischer — Der rieszsche Darstellungssatz (nach Frigyes Riesz) charakterisiert in der Mathematik den Dualraum der Banachräume Lp, beziehungsweise in seiner Version auf C0(X) dem Dualraum der stetigen Funktionen auf einem lokalkompaktem Hausdorff Raum. Er… …   Deutsch Wikipedia

  • Riesz — ist der Familienname der Brüder und ungarischen Mathematiker Frigyes Riesz (1880–1956) und Marcel Riesz (1886–1969). Nach Frigyes Riesz benannt sind Riesz Raum Lemma von Riesz Rieszscher Darstellungssatz Vollständigkeitssatz von Riesz Satz von… …   Deutsch Wikipedia

  • Satz von Alaoglu — Der Satz von Banach Alaoglu (auch Satz von Alaoglu oder Satz von Alaoglu Bourbaki bzw. in einer allgemeineren Version Satz von Banach Alaoglu Bourbaki) ist ein Kompaktheitssatz und wird im Allgemeinen dem Gebiet der Funktionalanalysis zugeordnet …   Deutsch Wikipedia

  • Satz von Banach-Alaoğlu — Der Satz von Banach Alaoglu (auch Satz von Alaoglu oder Satz von Alaoglu Bourbaki bzw. in einer allgemeineren Version Satz von Banach Alaoglu Bourbaki) ist ein Kompaktheitssatz und wird im Allgemeinen dem Gebiet der Funktionalanalysis zugeordnet …   Deutsch Wikipedia

  • Rieszsches Lemma — Das Lemma von Riesz, benannt nach dem ungarischen Mathematiker Frigyes Riesz, ist ein Satz der Funktionalanalysis über abgeschlossene Unterräume von normierten Räumen. Gegeben seien ein normierter Raum X, ein abgeschlossener echter Unterraum U… …   Deutsch Wikipedia

  • Satz von Banach-Alaoglu — Der Satz von Banach Alaoglu (auch Satz von Alaoglu oder Satz von Alaoglu Bourbaki bzw. in einer allgemeineren Version Satz von Banach Alaoglu Bourbaki) ist ein Kompaktheitssatz und wird im Allgemeinen dem Gebiet der Funktionalanalysis zugeordnet …   Deutsch Wikipedia

  • Satz von Tichonow — Der Satz von Tichonow (nach Andrei Nikolajewitsch Tichonow) ist eine Aussage aus dem mathematischen Teilgebiet der Topologie. Er lautet: Ist eine Familie kompakter topologischer Räume, dann ist auch das kartesische Produkt mit der… …   Deutsch Wikipedia

  • Satz von Tychonoff — Der Satz von Tychonoff (nach Andrei Nikolajewitsch Tichonow) ist eine Aussage aus dem mathematischen Teilgebiet der Topologie. Er lautet: Ist eine Familie kompakter topologischer Räume, dann ist auch das kartesische Produkt mit der… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”