Sie sind auf Seite 1von 5

Hilbertraum

aus Wikipedia, der freien Enzyklopdie


Ein Hilbertraum (auch Hilbert-Raum), benannt nach dem deutschen Mathematiker David Hilbert, ist ein
Begriff aus dem mathematischen Teilgebiet der Funktionalanalysis. Ein Hilbertraum ist ein Vektorraum
ber den reellen oder komplexen Zahlen, versehen mit einem Skalarprodukt und damit Winkel- und
Lngenbegriffen , der vollstndig ist bezglich der vom Skalarprodukt induzierten Norm, dem
Lngenbegriff. Ein Hilbertraum ist ein Banachraum, dessen Norm durch ein Skalarprodukt induziert ist.
Lsst man die Bedingung der Vollstndigkeit fallen, spricht man von einem Prhilbertraum.
Die Struktur eines Hilbertraums ist eindeutig festgelegt durch seine Hilbertraumdimension. Diese kann
eine beliebige Kardinalzahl sein. Ist die Dimension endlich, so handelt es sich um einen euklidischen
Raum. In vielen Gebieten, etwa in der mathematischen Beschreibung der Quantenmechanik, ist der
Hilbertraum mit abzhlbarer Dimension, d. h. mit der kleinstmglichen unendlichen Dimension, von
besonderer Bedeutung. Ein Element eines Hilbertraums kann als eine Familie einer der Dimension
entsprechenden Anzahl reeller bzw. komplexer Werte (im Endlichdimensionalen kartesische Koordinaten
genannt) aufgefasst werden. Analog zu Vektorrumen, deren Elemente stets nur in endlich vielen
Koordinaten einer Hamelbasis ungleich null sind, ist jedes Element eines Hilbertraums nur in abzhlbar
vielen Koordinaten einer Orthonormalbasis ungleich null und die Koordinatenfamilie ist
quadratsummabel.
Hilbertrume tragen durch ihr Skalarprodukt eine topologische Struktur, dadurch sind hier im Gegensatz
zu allgemeinen Vektorrumen Grenzwertprozesse mglich. Hilbertrume sind abgeschlossen unter
abzhlbaren Summen von orthogonalen Elementen mit einer quadratsummablen Folge von Normen bzw.
von parallelen Elementen mit einer absolutsummablen Folge von Normen.

Inhaltsverzeichnis
1 Definition
2 Bedeutung
3 Beispiele fr Hilbertrume
4 Orthogonalitt
5 Unterrume
6 Operatoren zwischen Hilbertrumen
7 Dualraum
8 Fourierkoeffizient
9 Trivia
10 Siehe auch
11 Literatur

Definition
Ein Hilbertraum ist ein reeller oder komplexer Vektorraum
mit einem Skalarprodukt
, der
vollstndig bezglich der durch das Skalarprodukt induzierten Norm ist, in dem also jede Cauchy-Folge

konvergiert. Ein Hilbertraum ist also ein vollstndiger Prhilbertraum.


Im Folgenden sei das Skalarprodukt linear im zweiten und semilinear im ersten Argument, d. h. ist
komplexer Vektorraum und sind
Vektoren und eine komplexe Zahl, so ist
und

In welchem Argument das Skalarprodukt semilinear ist, ist Konvention und wird auch oft anders herum
gehandhabt.

Bedeutung
Hilbertrume spielen in der Funktionalanalysis, speziell in der Lsungstheorie partieller
Differentialgleichungen, und damit auch in der Physik eine groe Rolle. Als Beispiel sei hier die
Quantenmechanik genannt, wo die Zustnde eines quantentheoretischen Systems einen Hilbertraum
bilden. Aus Sicht der Funktionalanalysis bilden die Hilbertrume eine Klasse von Rumen mit besonders
spezieller und einfacher Struktur.

Beispiele fr Hilbertrume
Der Raum

mit dem reellen Standardskalarprodukt

Der Raum

mit dem komplexen Standardskalarprodukt

.
.

Der Folgenraum aller Folgen mit der Eigenschaft, dass die Summe der Quadrate aller
Folgenglieder endlich ist. Dieser ist der ursprngliche Hilbertraum, anhand dessen David Hilbert die
Eigenschaften solcher Rume untersuchte. Weiter ist dieses Beispiel wichtig, weil alle separablen
unendlichdimensionalen Hilbertrume isometrisch isomorph zu sind.
Der Raum der quadratintegrierbaren Funktionen
mit dem Skalarprodukt
. Eine vollstndige Definition, die insbesondere die Vollstndigkeit
nher beleuchtet, findet sich im Artikel ber Lp -Rume.
Der Raum
der fast-periodischen Funktionen, welcher folgendermaen definiert wird: Zu
betrachte man die Funktionen
mit
. Durch das Skalarprodukt
wird der Raum

(der von den

Funktionen
aufgespannte Unterraum des Raums aller Funktionen) zu einem Prhilbertraum. Die
Vervollstndigung
dieses Raums ist also ein Hilbertraum. Seine besondere Bedeutung liegt
darin, dass er im Gegensatz zu den obigen Beispielen ein Beispiel fr einen nicht-separablen
Hilbertraum ist.
Der Sobolev-Raum
fr alle
und die entsprechenden Unterrume. Diese bilden eine
Grundlage der Lsungstheorie partieller Differentialgleichungen.
Der Raum
Fr

der Hilbert-Schmidt-Operatoren.
sind der Hardy-Raum

Orthogonalitt

und der reelle Hardy-Raum

Hilbertrume.

Zwei Elemente des Hilbertraumes heien orthogonal zueinander, wenn ihr Skalarprodukt 0 ergibt. Eine
Familie von paarweise orthogonalen Vektoren heit Orthogonalsystem. Unter den Orthogonalsystemen
spielen die Orthogonalbasen eine besondere Rolle: das sind Orthogonalsysteme, die nicht mehr durch
Hinzufgen eines weiteren Vektors vergrert werden knnen, also bezglich Inklusion maximal sind.
quivalent dazu ist, dass die lineare Hlle im Hilbertraum dicht ist. Auer im Falle von
endlichdimensionalen Rumen bilden Orthogonalbasen keine Basis im blichen Sinn der linearen Algebra
(Hamelbasis). Sind diese Basisvektoren darber hinaus so normiert, dass das Skalarprodukt eines Vektors
mit sich selbst 1 ergibt, so spricht man von einem Orthonormalsystem bzw. einer Orthonormalbasis. Die
Vektoren bilden also genau dann ein Orthonormalsystem, wenn
fr alle
. Dabei ist
das Kronecker-Delta.
Jeder Hilbertraum besitzt eine Orthonormalbasis. Es kann sogar jedes Orthonormalsystem zu einer
Orthonormalbasis ergnzt werden, siehe hierzu Satz von Fischer-Riesz.

Unterrume
Ein Unterhilbertraum oder Teilhilbertraum eines Hilbertraums ist eine Teilmenge, die mit der
Skalarmultiplikation, Addition und Skalarprodukt eingeschrnkt auf diese Teilmenge wiederum einen
Hilbertraum bildet (siehe auch Unterraum). Konkret heit das, dass die Teilmenge die null enthlt und
abgeschlossen unter Skalarmultiplikation und Addition ist, das heit ein Untervektorraum ist, und
bezglich des Skalarprodukts immer noch vollstndig ist. Dies ist quivalent dazu, dass die Teilmenge im
topologischen Sinne abgeschlossen ist. Daher bezeichnet man Unterhilbertrume auch als abgeschlossene
Unterrume bzw. abgeschlossene Teilrume und bezeichnet im Gegensatz dazu beliebige
Untervektorrume einfach nur als Unterrume bzw. Teilrume Ein Solcher ist im Allgemeinen nur ein
Prhilbertraum. Jeder Prhilbertraum ist in einem Hilbertraum als dichter Untervektorraum enthalten,
nmlich in seiner Vervollstndigung. Auch ist es mglich einen Quotientenraum bezglich eines
Unterhilbertraums zu bilden, der wiederum ein Hilbertraum ist.
Dies alles gilt im Wesentlichen analog fr beliebige Banachrume, wobei deren Untervektorrume dann
nicht unbedingt Prhlbertrume, wohl aber normierte Rume sind. Eine Besonderheit dagegen ist die
Gltigkeit des Projektionssatzes: Fr jeden Unterhilbertraum und jedes beliebige Element des Hilbertraums
gibt es ein Element des Unterhilbertraums mit minimalem Abstand. Dies gilt fr Banachrume dagegen
schon im Endlichdimensionalen im Allgemeinen nicht. Dies erlaubt eine kanonische Identifikation des
Quotientenraums bezglich eines Unterhilbertraums mit einem Unterhilbertraum, das orthogonale
Komplement, und das Konzept der Orthogonalprojektion.

Operatoren zwischen Hilbertrumen


Hauptartikel: Linearer Operator
Reichhaltiger Untersuchungsgegenstand in der Funktionalanalysis sind auch gewisse strukturerhaltende
Abbildungen zwischen Hilbertrumen. Hauptschlich betrachtet man dabei Abbildungen, die die
Vektorraumstruktur erhalten, das heit lineare Abbildungen, im Folgenden lineare Operatoren genannt.
Eine bedeutende Klasse von linearen Operatoren zwischen Hilbertrumen ist die der stetigen Operatoren,
die zustzlich die topologische Struktur, und damit etwa Grenzwerte, erhalten. Weitere wichtige Klassen
linearer Operatoren ergeben sich dadurch, dass man von ihnen bestimmte Beschrnktheitseigenschaften
fordert. Die Stetigkeit ist, wie allgemein bei normierten Rumen, quivalent zur Beschrnktheit des
Operators. Eine strkere Einschrnkung ist die der Kompaktheit. Die Schattenklassen sind echte
Teilklassen der Klasse der kompakten Operatoren. Auf den jeweiligen Klassen von Operatoren werden

verschiedene Normen und Operatortopologien definiert.


Unitre Operatoren liefern einen natrlichen Isomorphismenbegriff fr Hilbertrume, sie sind gerade die
Isomorphismen in der Kategorie der Hilbertrume mit den linearen Kontraktionen als Morphismen.
Konkret: die linearen, surjektiven Isomotrien. Sie erhalten alle Lngen und Winkel. Aus dem Satz von
Frchet-Riesz folgt auch, dass der adjungierte Operator zu einem linearen Operator von
nach als
linearer Operator von nach
verstanden werden kann. Dies erlaubt es, dass ein Operator mit seinem
adjungierten Operator kommutiert, solche Operatoren bilden die Klasse der normalen Operatoren. Bei
Operatoren innerhalb eines Hilbertraums ergibt sich die Mglichkeit, dass der adjungierte Operator
wiederum der Operator selbst ist, man spricht dann von einem selbstadjungierten Operator.
Viele der oben aufgefhrten Klassen von Operatoren bilden eingeschrnkt auf Operatoren auf einem
einzigen Hilbertraum Operatoralgebren. Mit der Adjungierung als Involution, unter der alle oben
aufgefhrten Klassen abgeschlossen sind, und einer passenden Norm ergeben sich sogar involutive
Banachalgebren. Die stetigen linearen Operatoren auf einem Hilbertraum mit der Adjungierung und der
Operatornorm bilden eine C*-Algebra.

Dualraum
Der topologische Dualraum
der stetigen, linearen Funktionale auf einem Hilbertraum
ist wie bei
jedem Banachraum selbst wieder ein Banachraum. Eine Besonderheit bei Hilbertrumen ist der Satz von
Frchet-Riesz: Jeder reelle Hilbertraum
ist mittels des isometrischen Vektorraumisomorphismus
isomorph zu seinem Dualraum. Die Norm auf dem Dualraum ist daher ebenfalls
von einem Skalarprodukt induziert, er ist somit ebenfalls ein Hilbertraum. Im Falle eines komplexen
Hilbertraums gilt der Satz analog, allerding ist jene Abbildung nur semilinear, das heit ein antiunitrer
Operator. In beiden Fllen ist der Hilbertraum isomorph zu seinem Dualraum (ein antiunitrer Operator
lsst sich nmlich in einen unitren Operator
und einen antiunitren Operator
zerlegen), und somit erst recht zu seinem Bidualraum, jeder Hilbertraum ist also reflexiv.

Fourierkoeffizient
Eine Orthonormalbasis ist ein mchtiges Hilfsmittel bei der Untersuchung von Hilbertrumen ber
und ihren Elementen. Insbesondere bietet eine Orthonormalbasis eine einfache Mglichkeit, die
Darstellung eines Vektors durch die Elemente der Orthonormalbasis zu bestimmen. Sei
eine Orthonormalbasis und ein Vektor aus dem Hilbertraum.

bzw.

Da

eine Basis des Raumes bildet, gibt es Koeffizienten

bzw.

, so dass

Diese Koeffizienten bestimmt man unter Ausnutzung der speziellen Eigenschaften der Orthonormalbasis:
. Da das Skalarprodukt von unterschiedlichen
Basisvektoren 0 und von gleichen Basisvektoren 1 ist, erhlt man so

Der -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.

Trivia
An mehreren deutschen Universitten gibt es als Hilbertraum bezeichnete Rumlichkeiten, zum Beispiel
an den Universitten Mainz und Konstanz und an der Georg-August-Universitt Gttingen, an der David
Hilbert ber viele Jahre lehrte und forschte; dort trgt das Foyer des Mathematischen Instituts, in dem eine
Bste des Mathematikers aufgestellt ist, diesen Namen.

Siehe auch
Hilbertraumbasis
Besselsche Ungleichung
Parsevalsche Gleichung
Parallelogrammgleichung
Hilbertraum-Tensorprodukt

Literatur
Dirk Werner: Funktionalanalysis. Springer Verlag, 2005. ISBN 3-540-43586-7, Kapitel V, VI und
VII
Von http://de.wikipedia.org/w/index.php?title=Hilbertraum&oldid=108213293
Kategorien: Mathematischer Raum Funktionalanalysis
Diese Seite wurde zuletzt am 18. September 2012 um 09:46 Uhr gendert.
Abrufstatistik
Der Text ist unter der Lizenz Creative Commons Attribution/Share Alike verfgbar; zustzliche
Bedingungen knnen anwendbar sein. Einzelheiten sind in den Nutzungsbedingungen beschrieben.
Wikipedia ist eine eingetragene Marke der Wikimedia Foundation Inc.