Prähilbertraum

In der linearen Algebra und in der Funktionalanalysis wird ein reeller oder komplexer Vektorraum, auf dem ein inneres Produkt (Skalarprodukt) definiert ist, als Prähilbertraum (auch prähilbertscher Raum) oder Skalarproduktraum (auch Vektorraum mit innerem Produkt, vereinzelt auch Innenproduktraum) bezeichnet. Man unterscheidet dabei zwischen euklidischen (Vektor-)Räumen im reellen und unitären (Vektor-)Räumen im komplexen Fall. Die endlichdimensionalen (n-dimensionalen) euklidischen Vektorräume sind Modelle für den n-dimensionalen euklidischen Raum. Die Nomenklatur ist aber nicht einheitlich. Manche Autoren schließen beim unitären Vektorraum den reellen Fall (der ja als Einschränkung aufgefasst werden kann) mit ein, und manchmal ist es auch umgekehrt, das heißt auch die komplexen Vektorräume heißen euklidisch.

Die Bedeutung der Prähilberträume liegt darin, dass das Skalarprodukt in Analogie zur analytischen Geometrie die Einführung der Begriffe Länge (über die induzierte Norm) und Winkel gestattet. Jeder Prähilbertraum induziert daher einen normierten Vektorraum. Durch die Länge (Norm) wird auch ein Abstand (Metrik) definiert. Ist der Raum bezüglich dieser Metrik vollständig, so ist er ein Hilbertraum. Hilberträume sind die direkte Verallgemeinerung der euklidischen Geometrie auf unendlichdimensionale Räume.

Formale Definition

Ein wesentlicher Aspekt der klassischen (euklidischen) Geometrie ist die Möglichkeit, Längen und Winkel zu messen. In der axiomatischen Begründung der Geometrie wird dies durch die Axiome der Kongruenz gesichert. Führt man ein kartesisches Koordinatensystem ein, so können die Längen und Winkel mit Hilfe des Skalarprodukts aus den Koordinaten berechnet werden. Um nun Längen und Winkel vom euklidischen Raum auf allgemeine Vektorräume zu übertragen, lässt man den Bezug auf eine bestimmte Basis fallen und charakterisiert abstrakte innere Produkte durch die für die Längenmessung entscheidenden Eigenschaften. Das führt zu folgender Definition:

Skalarprodukt

→ Hauptartikel: Skalarprodukt

Sei $V$ ein Vektorraum über dem Körper $\mathbb {K}$ der reellen oder komplexen Zahlen. Ein Skalarprodukt oder inneres Produkt ist eine positiv definite hermitesche Sesquilinearform, das heißt eine Abbildung

$\langle \cdot ,\cdot \rangle \colon V\times V\to {\mathbb {K} }$,

die für alle $x$, $y$, $z$ aus $V$ und für alle $\lambda \in {\mathbb {K} }$ die folgenden axiomatischen Bedingungen erfüllt:

• (1)    $\langle {x},{x}\rangle \geq 0$   (nicht negativ);
• (2)    $\langle {x},{x}\rangle =0\Leftrightarrow {x}={0}$   (definit);
• (3)    $\langle {x},{y}\rangle ={\overline {\langle {y},{x}\rangle }}$   (hermitesch);
• (4a)  $\langle {x},\lambda {y}\rangle =\lambda \langle {x},{y}\rangle$   und
  (4b)  $\langle {x},{y}+{z}\rangle =\langle {x},{y}\rangle +\langle {x},{z}\rangle$   (linear im zweiten Argument).

Aus den Bedingungen (3) und (4) folgt

• (5a)  $\langle \lambda {x},{y}\rangle ={\overline {\lambda }}\langle {x},{y}\rangle$   und
  (5b)  $\langle {x}+{z},{y}\rangle =\langle {x},{y}\rangle +\langle {z},{y}\rangle$   (semilinear im ersten Argument)

Wegen (4) und (5) ist $\langle \cdot ,\cdot \rangle$ eine Sesquilinearform.

Bemerkungen:

• Der Überstrich im dritten Axiom bedeutet komplexe Konjugation. In einem reellen Vektorraum (also wenn ${\mathbb {K} }=\mathbb {R}$ ist) hat die komplexe Konjugation keine Auswirkung. Es folgt:

In einem reellen Vektorraum ist (3) gleichbedeutend mit

• (3')  $\langle {x},{y}\rangle =\langle {y},{x}\rangle$   (symmetrisch)

und das Skalarprodukt ist eine symmetrische Bilinearform.

• Diese Definition, nach der das Skalarprodukt semilinear im ersten Argument und linear im zweiten ist, herrscht in der theoretischen Physik vor. Häufig wird jedoch Bedingung (4a) für das erste statt für das zweite Argument gewählt:

• (4a')  $\langle \lambda {x},{y}\rangle =\lambda \langle {x},{y}\rangle$   (Linearität im ersten Argument) und daher
• (5a')  $\langle {x},\lambda {y}\rangle ={\overline {\lambda }}\langle {x},{y}\rangle$   (Semilinearität im zweiten Argument)

Man muss also aufpassen, ob das innere Produkt in einem gegebenen Text linear im ersten oder im zweiten Argument ist.

Prähilbertraum

Ein Prähilbertraum ist dann ein reeller oder komplexer Vektorraum zusammen mit einem Skalarprodukt.

Notation

Das innere Produkt wird manchmal auch mit einem Punkt als Multiplikationszeichen geschrieben: $x\cdot y$. In der französischen Literatur ist ein tiefgestellter Punkt gebräuchlich: $x.y$. In der Funktionalanalysis, oder wann immer sonst der Zusammenhang des inneren Produkts mit linearen Funktionen (und insbesondere die Dualität zwischen $x$ und $y$) betont werden soll, bevorzugt man die Notation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \langle x, y \rangle} . Davon abgeleitet ist die Bra-Ket-Notation, die in der Quantenmechanik gerne verwendet wird: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \langle x \mid y \rangle} .

Wie bei der normalen Multiplikation kann das Multiplikationszeichen auch ganz weggelassen werden, wenn keine Missverständnisse zu befürchten sind; das ist insbesondere in Texten der Fall, in denen Vektoren durch Vektorpfeile, durch Fettdruck oder durch Unterstreichen kenntlich gemacht sind und daher nicht mit Skalaren verwechselt werden können:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{x} \cdot \mathbf y = \mathbf{xy}} ist ein inneres Produkt,

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a \mathbf{x}} dagegen ist die Multiplikation des Vektors Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf x} mit dem Skalar Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} .

Beispiele

Reelle und komplexe Zahlen

Der Vektorraum der reellen Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} mit dem Skalarprodukt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \langle x,y \rangle = xy} und der Vektorraum der komplexen Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Complex} mit dem Skalarprodukt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \langle x,y \rangle = \bar {x}{y}} sind einfache Beispiele für Prähilberträume.

Vektoren endlicher Dimension

Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x,y \in {\mathbb K}^n} wird durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \langle x,y \rangle = \sum_{j=1}^n \bar x_j {y_j}}

das Standardskalarprodukt definiert, das den Vektorraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\mathbb K}^n} nicht nur zu einem Prähilbertraum, sondern auch zu einem Hilbertraum macht, da dann Vollständigkeit vorliegt.

Stetige Funktionen

Ein anderes Beispiel für einen reellen Prähilbertraum ist der Raum aller stetigen Funktionen von einem reellen Intervall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [a,b]} nach Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} mit dem inneren Produkt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \langle f,g\rangle = \int_a^b p(x) f(x) g(x)\ {\rm d}x} ,

wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p} eine stetige positive Gewichtsfunktion (oder „Belegung“) ist (statt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p(x)>0} genügt es, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p(x) \ge 0} mit schwachen Zusatzbedingungen zu fordern). Eine orthogonale Basis dieses Raums heißt orthogonales Funktionensystem; Beispiele für solche Funktionensysteme sind die trigonometrischen Funktionen, die in Fourier-Reihen verwendet werden, die Legendre-Polynome, die Tschebyschow-Polynome, die Laguerre-Polynome, die Hermite-Polynome usw.

Hilbertraum

Jeder Hilbertraum ist ein Prähilbertraum.

Induzierte Norm

→ Hauptartikel: Skalarproduktnorm

Jedes innere Produkt induziert auf dem zugrunde liegenden Vektorraum eine Norm

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \| x \| = \sqrt{\langle {x}, {x} \rangle}} .

Der Beweis der Dreiecksungleichung für die so definierte Abbildung erfordert dabei als nichttrivialen Zwischenschritt die Cauchy-Schwarzsche Ungleichung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |\langle x,y \rangle| \leq \| x \| \cdot \| y \|} .

Mit der induzierten Norm ist jeder Prähilbertraum ein normierter Raum, in dem die Parallelogrammgleichung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2 \left( \| x \|^2 + \| y \|^2 \right) = \| x+y \|^2 + \| x-y \|^2} .

gilt. Umgekehrt gilt mit dem Satz von Jordan-von Neumann, dass jeder normierte Raum, in dem die Parallelogrammgleichung erfüllt ist, ein Prähilbertraum ist. Das zugehörige Skalarprodukt kann dabei durch eine Polarisationsformel definiert werden, im reellen Fall beispielsweise über

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \langle x,y \rangle = {1 \over 4} \left( {\| x+y \|}^2 - {\| x-y \|}^2 \right)} .

Einordnung in die Hierarchie mathematischer Strukturen

Überblick über abstrakte Räume der Mathematik. Ein Pfeil ist als Implikation zu verstehen, das heißt ein Raum am Pfeilanfang ist auch ein Raum am Pfeilende.

Mit der durch das innere Produkt induzierten Norm ist jeder Innenproduktraum ein normierter Raum, damit auch ein metrischer Raum, damit auch ein topologischer Raum; er besitzt also sowohl eine geometrische als auch eine topologische Struktur.

Ein vollständiger Innenproduktraum heißt Hilbertraum. Jeder Prähilbertraum lässt sich auf eindeutige Weise (bis auf isometrische Isomorphie) zu einem Hilbertraum vervollständigen.

Verallgemeinerungen: metrischer Tensor, Bilinearräume, Relativitätstheorie

Vom Standpunkt der Tensoralgebra aus kann das innere Produkt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g\colon V\times V \to {\mathbb K}}

mit der Notation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g({x},{x}):=\langle {x},{x}\rangle} als ein Tensor zweiter Stufe

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g\in V^* \otimes V^*}

aufgefasst werden, wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \otimes} das Tensorprodukt und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V^\ast} den Dualraum von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} bezeichnet; Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} heißt metrischer Tensor oder kurz Metrik. Die Anforderung, dass das innere Produkt positiv definit sein muss, bedeutet, dass in jedem beliebigen Koordinatensystem die zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} gehörige Matrix Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g_{ik}} positiv definit ist, also nur positive Eigenwerte besitzt.

Eine Verallgemeinerung von Innenprodukträumen sind Bilinearräume, bei denen das innere Produkt ersetzt ist durch eine Hermitesche Form oder Bilinearform, die nicht notwendig positiv definit ist. Ein wichtiges Beispiel ist der Minkowski-Raum der speziellen Relativitätstheorie, dessen Metrik Eigenwerte mit den Vorzeichen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (-,+,+,+)} oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (+,-,-,-)} hat.

Literatur

• Dirk Werner: Funktionalanalysis, Springer-Verlag, Berlin, 2007, ISBN 978-3-540-72533-6.