Semi-inneres Produkt

Das semi-innere Produkt ist ein Begriff aus dem mathematischen Teilgebiet der Funktionalanalysis. Es ist für -Vektorräume definiert, wobei für den Körper der reellen oder komplexen Zahlen steht, und verallgemeinert den Begriff des inneren Produktes.

Definition

Ein semi-inneres Produkt auf einem -Vektorraum ist eine Abbildung mit folgenden Eigenschaften[1]

  1. ist für jedes ein lineares Funktional.
  2. für alle von 0 verschiedenen .
  3. für alle .

Vergleich mit inneren Produkten

Ist ein inneres Produkt auf dem Vektorraum , so erfüllt dieses trivialer Weise die ersten beiden der obigen Bedingungen, und die Cauchy-Schwarzsche Ungleichung zeigt, dass auch die dritte erfüllt ist. Daher ist jedes innere Produkt ein semi-inneres Produkt.

Die Umkehrung gilt nicht. Was dem semi-inneren Produkt fehlt, um ein inneres Produkt zu sein, sind die Hermitezität und die Linearität oder Sesquilinearität im zweiten Argument.

Normierte Räume

Ist ein semi-inneres Produkt auf einem -Vektorraum , so wird dieser durch die Definition zu einem normierten Raum. Umgekehrt kann man zeigen, dass jeder normierte Raum auf diese Weise durch ein semi-inneres Produkt entsteht[2], das heißt zu jeder Norm gibt es ein semi-inneres Produkt, so dass obige Beziehung gilt. Das war die Motivation für G. Lumer, diesen Begriff einzuführen. Dieser hat bei Weitem nicht die Bedeutung wie das innere Produkt, erlaubt aber in manchen Situationen, Hilbertraum-Argumente auf Banachräume zu übertragen.

Ein semi-inneres Produkt zu einem normierten Raum, das heißt ein solches, das durch obige Formel die gegebene Norm darstellt, ist im Allgemeinen nicht eindeutig. Man kann zeigen, dass man immer ein solches wählen kann, das konjugiert-homogen im zweiten Argument ist, das heißt, für das für alle und gilt[3]. Dabei steht der Querstrich für die komplexe Konjugation, die im Falle reeller Vektorräume entfällt.

Beispiele

Dies ist ein semi-inneres Produkt, das die -Norm auf definiert.

Stetigkeitseigenschaften

Es sei die Menge aller Vektoren der Norm 1 eines normierten Vektorraums. Ein semi-inneres Produkt zu einem normierten Raum heißt stetig, wenn für alle , dabei steht Re für die Bildung des Realteils. Bei diesem Begriff ist Vorsicht geboten, denn er bedeutet nicht, dass das semi-innere Produkt als Abbildung stetig ist, obige Stetigkeitseigenschaft ist offenbar sehr viel schwächer. Man sagt, das semi-innere Produkt sei gleichmäßig stetig, wenn obige Limesgleichung gleichmäßig auf der Menge besteht.

Diese Stetigkeiteigenschaften lassen s​ich mit Differenzierbarkeitseigenschaften d​er Norm i​n Verbindung bringen. Ein normierter Raum heißt Gâteaux-differenzierbar, f​alls

für alle existiert, und gleichmäßig Fréchet-differenzierbar, falls dieser Limes gleichmäßig auf existiert.

Es g​ilt folgender Satz:[4]

  • Ein semi-inneres Produkt ist genau dann stetig (bzw. gleichmäßig stetig), wenn die Norm Gâteaux-differenzierbar (bzw. gleichmäßig Fréchet-differenzierbar) ist.

Der Dualraum

Für e​ine bestimmte Klasse v​on Banachräumen lässt s​ich ein z​um Darstellungssatz v​on Fréchet-Riesz analoger Satz beweisen[5]:

  • Ist ein gleichmäßig konvexer Banachraum mit einem stetigen semi-inneren Produkt , so gibt es zu jedem stetigen, linearen Funktional auf genau ein mit für alle .

Daraus kann man natürlich nicht wie im Falle der Hilberträume schließen, dass zu seinem Dualraum isomorph ist, denn die Zuordnung in obigem Satz ist im Allgemeinen nicht linear. Im obigen Beispiel der -Räume liegt ein gleichmäßig konvexer Banachraum mit stetigem semi-inneren Produkt vor. Jedes stetige lineare Funktional hat demnach die Form mit einem . Das in obigem Integral auftauchende ist ein Element aus , wobei . Dies ist dann nichts anderes als die übliche Dualität von -Räumen.

Numerischer Wertebereich

Der numerische Wertebereich eines linearen Operators auf einem normierten Raum lässt sich mittels eines zugehörigen semi-inneren Produktes beschreiben. Der numerische Wertebereich von ist der Abschluss der konvexen Hülle der Menge [6].

Einzelnachweise

  1. G. Lumer: Semi-inner Product Spaces, Transactions of the American Mathematical Society, Band 100, Nummer. 1. (1961), Seiten 29–43
  2. G. Lumer: Semi-inner Product Spaces, Transactions of the American Mathematical Society, Band 100, Nummer. 1. (1961), Seiten 29–43, Theorem 2
  3. J.R. Giles, Classes of semi-inner-product spaces, Trans. Amer. Math. Soc., 129 (1967), 436–446, Theorem 1
  4. J.R. Giles, Classes of semi-inner-product spaces, Trans. Amer. Math. Soc., 129 (1967), 436–446, Theorem 3
  5. J.R. Giles, Classes of semi-inner-product spaces, Trans. Amer. Math. Soc., 129 (1967), 436–446, Theorem 6
  6. F. F. Bonsall, J. Duncan: Numerical Ranges of Operators on Normed Spaces and of Elements of Normed Algebras, Cambridge University Press (1971), ISBN 0-521-07988-8
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.