Direkte Summe (Banachraum)

Die direkte Summe v​on Banachräumen i​st eine i​m mathematischen Teilgebiet d​er Funktionalanalysis verwendete Methode, a​us gegebenen Banachräumen n​eue zu konstruieren. Dabei werden d​ie algebraischen direkten Summen m​it einer geeigneten Norm versehen. Diese m​acht endliche direkte Summen bereits z​u Banachräumen, b​ei unendlich vielen Summanden m​uss man n​och vervollständigen.

Endliche direkte Summen

Es seien normierte Räume, deren Normen mit bezeichnet seien. Dann ist die direkte Summe wieder ein normierter Raum, wenn man darauf die Normen

oder

erklärt.[1] Diese Normen sind untereinander äquivalent und induzieren auf der direkten Summe die Produkttopologie der .[2] Die direkte Summe ist mit jeder dieser Normen genau dann ein Banachraum, wenn jeder der ein Banachraum ist.[3] Im Falle von Hilberträumen verwendet man obige Definition für , denn nur mit dieser Norm ist die direkte Summe wieder ein Hilbertraum.

Unendliche Summen

Es sei eine Folge von Banachräumen, wobei die Norm auf jedem mit bezeichnet sei. Dann definiert man[4]

und

.

Es handelt sich um Untervektorräume des kartesischen Produktes und die Normen

bzw.

machen s​ie zu Banachräumen. Schließlich ist

ein Unterbanachraum.

Wählt man speziell bzw. für alle j, so erhält man die bekannten Folgenräume bzw. . Man nennt daher die -Summe der Banachräume, für bzw. spricht man von der -Summe bzw. -Summe. Sind die Banachräume alle gleich, etwa gleich , so schreibt man obige Räume kürzer als bzw. .[5]

Bezeichnet man den Dualraum eines Banachraums mit , so hat man in Analogie zu den Folgenräumen:[6]

und

  für und .

Dabei ist diese Dualraumbeziehung so zu verstehen, dass eine Folge als Funktional auf eine Folge mittels der Formel anzuwenden ist und dass die Norm des Funktionals genau die Norm in der entsprechenden Summe der Dualräume ist.

Die algebraische direkte Summe ist in der Regel selbst kein Banachraum, sie liegt aber dicht in der -Summe bzw. in den -Summen für , letztere sind also Vervollständigungen der direkten Summe. Im Gegensatz zur Situation der endlichen direkten Summen sind die Vervollständigungen bzgl. der verschiedenen Normen nicht isomorph. Das zeigt schon das Beispiel für alle j, denn dann sind die Vervollständigungen die -Räume, die nach dem Satz von Pitt untereinander nicht isomorph sind.

In manchen Fällen bringen Konstruktionen der Art keine neuen Räume hervor, was dann wieder eine nützliche Eigenschaft dieser Räume ist. So gilt beispielsweise[7]

für
für
.

Dabei steht für isometrische Isomorphie, ist der Lp-Raum über dem Einheitsintervall und ist der Raum der stetigen Funktionen auf dem Cantor-Raum.

Einzelnachweise

  1. Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Definition 1.8.1, dort nur für p=2, der allgemeine Fall findet sich in den Übungen.
  2. Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Theorem 1.8.2
  3. Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Theorem 1.8.6
  4. J. Lindenstrauss, L. Tzafriri: Classical Banach spaces I Springer, Berlin u. a. 1977, ISBN 978-3-642-66559-2, Seite xii: Standard Definitions, Notations and Conventions
  5. F. Albiac, N. J. Kalton: Topics in Banach Space Theory: Springer-Verlag (2006), ISBN 978-0-387-28142-1, Kapitel 2.2
  6. P. Wojtaszczyk: Banach Spaces for Analysts, Cambridge studies in advanced mathematics 25, ISBN 978-0-521-56675-9 II.B. 21
  7. P. Wojtaszczyk: Banach Spaces for Analysts, Cambridge studies in advanced mathematics 25, ISBN 978-0-521-56675-9 II.B. 21
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.