Meine Merkliste
my.chemie.de  
Login  

Hilbertraum



Hilbertraum

berührt die Spezialgebiete

  • Mathematik
    • Analysis
      • Funktionalanalysis
        • partielle Differentialgleichungen
  • Physik

ist Beispiel für

  • Vektorraum
  • metrischer Raum
    • vollständiger Raum

ist Spezialfall von

  • normierter Raum
  • Prähilbertraum
  • Banach-Raum
  • Unitärer Vektorraum

umfasst als Spezialfälle

  • Euklidischer Raum

Ein Hilbertraum (auch Hilbert-Raum), benannt nach dem Mathematiker David Hilbert, ist ein vollständiger Vektorraum mit Skalarprodukt. Die Dimension eines Hilbertraums ist in den meisten Anwendungen unendlich, jedoch kann sie auch endlich sein (siehe Beispiele).

Der Hilbertraum ist ein Spezialfall eines Innenproduktraums (= Prähilbertraums), d. h. ein Vektorraum über den reellen Zahlen oder den komplexen Zahlen mit einem Skalarprodukt (= Innenprodukt). Das Skalarprodukt induziert eine Norm und eine Metrik.

Inhaltsverzeichnis

Definition

Ein Prähilbertraum, der vollständig bezüglich der durch das Skalarprodukt induzierten Metrik ist, in dem also jede Cauchy-Folge konvergiert, heißt Hilbertraum. Insbesondere können Hilberträume auch unendlichdimensional sein, wenn nur die Länge, also \| v,v \| (|| || ist die Metrik), jedes Vektors aus diesem Raum endlich ist.

Notation

In diesem Artikel werden Variablen für Vektoren nicht gesondert gekennzeichnet, es werden also gewöhnliche kursive Kleinbuchstaben verwendet: u,v,w,x,y. Das Skalarprodukt von u und v wird mit \langle u, v \rangle bezeichnet. Im komplexen Fall folgt der Artikel der in der Physik fast ausschließlich verbreiteten Konvention, dass das Skalarprodukt im ersten Argument semilinear ist, im zweiten linear: \lambda\langle u,v \rangle = \langle \bar \lambda u, v \rangle = \langle u, \lambda v \rangle

Bedeutung

Der hohe Grad an mathematischer Struktur in Hilberträumen vereinfacht die Analysis ungemein, und so spielen sie in der Funktionalanalysis, speziell in der Lösungstheorie partieller Differentialgleichungen und damit auch der Physik eine große Rolle. Als Beispiel sei hier die Quantenmechanik genannt, wo die Zustände eines quantentheoretischen Systems einen Hilbertraum bilden.

Dualraum

Jeder Hilbertraum ist zugleich ein Banach-Raum und hat so alle dessen Eigenschaften. Insbesondere hat jeder Hilbertraum einen Dualraum. Hier gilt allerdings der Rieszsche Darstellungssatz: Jeder reelle Hilbertraum ist mittels der Abbildung H \rightarrow H^\prime,\, v \mapsto \langle v, \,\cdot\,\rangle isometrisch isomorph zu seinem (topologischen) Dualraum. Im Falle eines komplexen Hilbertraums ist diese Abbildung aber nur semilinear. In beiden Fällen ist der Hilbertraum isometrisch isomorph zu seinem Bidualraum. Dieser Satz hat weitreichende Konsequenzen.

Die Eigenschaft, dass die kanonische Inklusion eines Raumes in seinen Bidualraum ein isometrischer Isomorphismus ist, nennt man Reflexivität. Nach dem oben genannten Satz sind also alle Hilberträume reflexiv.

Beispiele für Hilberträume

  • \mathbb{R}^{n} mit dem Standardskalarprodukt \langle u, v \rangle = u_1 v_1 + \cdots + u_n v_n.
  • \mathbb{C}^{n} mit \langle u, v \rangle = \bar u_1 v_1 + \cdots + \bar u_n v_n.
  • Der Raum der quadratintegrierbaren Funktionen (L2) mit dem L2-Skalarprodukt: \langle f,g \rangle =\int f(x)^* g(x) {\rm d}x. Eine exaktere Definition, die insbesondere die Vollständigkeit näher beleuchtet, findet sich im Artikel über Lp-Räume. Ein Beispiel eines solchen Raumes ist der oben genannte Raum der Wellenfunktionen in der Quantenmechanik.
  • Der Raum \ell^2 aller Folgen mit der Eigenschaft, dass die Summe der Quadrate aller Folgenglieder endlich ist. Dieser ist der ursprüngliche Hilbertraum, anhand dessen David Hilbert die Eigenschaften solcher Räume untersuchte. Weiter ist dieses Beispiel wichtig, weil alle separablen unendlich-dimensionalen Hilberträume isometrisch isomorph zu \ell^2 sind.
  • Der Raum AP2 der fast-periodischen Funktionen, welcher folgendermaßen definiert wird: Zu \lambda\in\mathbb R betrachte man die Funktionen f_\lambda:\mathbb R\rightarrow\mathbb C mit f_\lambda \left(t\right) = e^{i\lambda t}. Durch das Skalarprodukt \langle f,g \rangle = \lim_{T\rightarrow +\infty}\frac{1}{4T} \int_{-T}^T f(t)^*g(t){\rm d}t wird der Raum \operatorname{lin}\left\{f_\lambda:\lambda\in\mathbb R \right\} (der von den Funktionen fλ aufgespannte Unterraum des Raums aller Funktionen) zu einem Prähilbertraum. Die Vervollständigung AP2 dieses Raums ist also ein Hilbertraum. Seine besondere Bedeutung liegt darin, dass er im Gegensatz zu den obigen Beispielen ein Beispiel für einen nicht-separablen Hilbertraum ist.
  • Ein unendlichdimensionaler Hilbertraum lässt sich auch mit sin- und cos-Vektoren aufspannen. Als Skalarprodukt verwende man \langle v,w \rangle = \int_0^{2\pi} v*w. Dann bilden die Vektoren v \in \{sin(a*x), cos (a*x): a \in \N\} für beliebige a,b eine unendlichdimensionale Orthonormalbasis des Hilbertraumes, da \langle v,w \rangle = 0 : v\neq w und \langle v,v \rangle =1.

Orthogonalität

Zwei Elemente des Hilbertraumes heißen orthogonal zueinander, wenn ihr Skalarprodukt 0 ergibt. Eine Familie von paarweise orthogonalen Vektoren heißt Orthogonalsystem. Unter den Orthogonalsystemen spielen die Orthogonalbasen eine besondere Rolle: das sind Orthogonalsysteme, die nicht mehr durch Hinzufügen eines weiteren Vektors vergrößert werden können, also bezüglich Inklusion maximal sind. Äquivalent dazu ist, dass die lineare Hülle im Hilbertraum dicht ist. Außer im Falle von endlichdimensionalen Räumen bilden Orthogonalbasen keine Basis im üblichen Sinn der linearen Algebra (Hamelbasis). Sind diese Basisvektoren darüber hinaus so normiert, dass das Skalarprodukt eines Vektors mit sich selbst 1 ergibt, so spricht man von einem Orthonormalsystem bzw. einer Orthonormalbasis. Die Vektoren vi bilden also genau dann ein Orthonormalsystem, wenn \langle v_i , v_j \rangle = \delta_{ij} für alle i,j. Dabei ist δij das Kronecker-Delta.

Jeder Hilbertraum besitzt eine Orthonormalbasis. Es kann sogar jedes Orthonormalsystem zu einer Orthonormalbasis ergänzt werden.

Fourierkoeffizient

Eine Orthonormalbasis ist ein mächtiges Hilfsmittel bei der Untersuchung von Hilberträumen und ihren Elementen. Insbesondere bietet eine Orthonormalbasis eine einfache Möglichkeit, die Darstellung eines Vektors durch die Elemente der Orthonormalbasis zu bestimmen. Sei B = (b_1, b_2, \dots) eine Orthonormalbasis und v ein Vektor aus dem Hilbertraum.

Da B eine Basis des Raumes bildet, gibt es Koeffizienten ak mit v = \sum_k a_k b_k\,. Diese Koeffizienten bestimmt man unter Ausnutzung der speziellen Eigenschaften der Orthonormalbasis: \langle  b_n, v \rangle = \bigg\langle b_n,\sum_k a_k b_k\bigg\rangle = \sum_k a_k \langle b_n, b_k \rangle. Da das Skalarprodukt von unterschiedlichen Basisvektoren 0 und von gleichen Basisvektoren 1 ist, erhält man so \langle b_n, v \rangle  = a_n.

Der n-te Basiskoeffizient der Darstellung eines Vektors in einer Orthonormalbasis kann also durch Skalarproduktbildung ermittelt werden.

Diese Koeffizienten werden auch Fourierkoeffizienten genannt, da sie eine Verallgemeinerung des Konzeptes der Fourieranalyse darstellen.

Akademischer Humor

An mehreren deutschsprachigen Universitäten gibt es als „Hilbertraum“ bezeichnete Räumlichkeiten; an der Georg-August-Universität in Göttingen etwa, an der David Hilbert lange Jahre lehrte und forschte, trägt das Foyer des mathematischen Institutes, in dem eine Büste des Mathematikers aufgestellt ist, diesen Namen.

An der Universität Karlsruhe (TH) ist es unter den (selbst studentischen) Organisatoren der Einführungsveranstaltungen für die neuen Erstsemesterstudierenden der Fakultät für Physik üblich, den neuen Studenten im Rahmen einer Campus-Rally die Aufgabe zu stellen, den "Hilbert"-Raum zu finden. Gemeint ist das Büro eines Physik-Professors, der mit Vornamen Hilbert heißt.

Siehe auch

Tabelle mathematischer Symbole

  • Weitere mathematische Räume siehe unter Raum (Mathematik)
  • Hilbertraumbasis
  • Besselsche Ungleichung
  • Parsevalsche Gleichung
  • Parallelogrammgleichung
 
Dieser Artikel basiert auf dem Artikel Hilbertraum aus der freien Enzyklopädie Wikipedia und steht unter der GNU-Lizenz für freie Dokumentation. In der Wikipedia ist eine Liste der Autoren verfügbar.
Ihr Bowser ist nicht aktuell. Microsoft Internet Explorer 6.0 unterstützt einige Funktionen auf ie.DE nicht.