Die direkte Summe von Banachräumen ist eine im mathematischen Teilgebiet der Funktionalanalysis verwendete Methode, aus gegebenen Banachräumen neue zu konstruieren. Dabei werden die algebraischen direkten Summen mit einer geeigneten Norm versehen. Diese macht endliche direkte Summen bereits zu Banachräumen, bei unendlich vielen Summanden muss man noch vervollständigen.
Endliche direkte Summen Bearbeiten
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. Diese Normen sind untereinander äquivalent und induzieren auf der direkten Summe die Produkttopologie der . Die direkte Summe ist mit jeder dieser Normen genau dann ein Banachraum, wenn jeder der ein Banachraum ist. 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 Bearbeiten
Es sei eine Folge von Banachräumen, wobei die Norm auf jedem mit bezeichnet sei. Dann definiert man
und
Es handelt sich um Untervektorräume des kartesischen Produktes und die Normen
bzw.
machen sie 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. .
Bezeichnet man den Dualraum eines Banachraums mit , so hat man in Analogie zu den Folgenräumen:
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
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 Bearbeiten
- 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.
- Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Theorem 1.8.2
- Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Theorem 1.8.6
- 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
- F. Albiac, N. J. Kalton: Topics in Banach Space Theory: Springer-Verlag (2006), ISBN 978-0-387-28142-1, Kapitel 2.2
- P. Wojtaszczyk: Banach Spaces for Analysts, Cambridge studies in advanced mathematics 25, ISBN 978-0-521-56675-9 II.B. 21
- P. Wojtaszczyk: Banach Spaces for Analysts, Cambridge studies in advanced mathematics 25, ISBN 978-0-521-56675-9 II.B. 21