Inhalt

Grundlagen der Mathematik

Diskrete Mathematik

Differentialgleichungen

Funktionalanalysis

Normierte Räume

Funktional

Lineare Operatoren

Banach-Raum

Banachalgebra

Hilbertraum

Prähilbertraum

Hilbertraumbasis

Projektionssatz

Gram-Schmidtsches

Orthogonalisierungsverfahren

Besselsche Ungleichung

Lp-Raum

Neumann-Reihe

Differentialgeometrie

Anbieterkennzeichnung

Weiterbildung für alle! Über 200 Fernlehrgänge an Deutschlands größter Fernschule!

Hilbertraum

Ein Hilbertraum (auch Hilbert-Raum), benannt nach dem Mathematiker David Hilbert, ist eine Verallgemeinerung des euklidischen Raums auf unendlich viele Dimensionen.

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.

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.

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 isometrisch isomorph zu seinem 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 weit reichende Konsequenzen.

Die Eigenschaft, dass die kanonische Inklusion eines Raums in seinem 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

mit dem euklidischen Skalarprodukt.
mit .
Der Raum der quadratintegrablen Funktionen (L² ) mit dem L² -Skalarprodukt: . Eine exaktere Definition, die insbesondere die Vollständigkeit näher beleuchtet, findet sich im Artikel über L^p -Räume. Ein Beispiel eines solchen Raumes ist der oben genannte Raum der Wellenfunktionen in der Quantenmechanik.
Der Raum aller Folgen mit der Eigenschaft, dass die Summe der Quadrate aller Folgenglieder endlich ist. Dieser ist der ursprüngliche Hilbertraum, an Hand dessen David Hilbert die Eigenschaften solcher Räume untersuchte. Weiter ist dieses Beispiel wichtig, weil alle separablen unendlich-dimensionalen Hilberträume isometrisch isomorph zu sind.
Der Raum der fast-periodischen Funktionen, welcher folgendermaßen definiert wird: Zu betrachte man die Funktionen , vermöge . Mit dem Skalarprodukt wird der Raum zu einem Prähilbertraum. Wenn wir nun mit AP² die Vervollständigung bezüglich der durch das Skalarprodukt induzierten Norm bezeichnen, so ist der Raum AP² ebenfalls ein Hilbertraum. Seine besondere Bedeutung liegt darin, dass er im Gegensatz zu oben ein Beispiel für einen nicht-separablen Hilbertraum ist.

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 kann, also bezüglich Inklusion maximal sind. Äquivalent dazu ist, dass die lineare Hülle im Hilbertraum dicht ist. Außer im Fall von endlichdimensionalen Räumen bilden Orthogonalbasen keine Hamelbasis. Sind diese Basisvektoren darüber hinaus so normiert, dass das Skalarprodukt eines Vektors mit sich selber 1 ergibt, so spricht man von einem Orthonormalsystem bzw. Orthonormalbasis. Mathematisch: Die Vektoren V₁ , V₂ , ... sollen also erfüllen, wobei das Kronecker-Delta ist.

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 eine Orthonormalbasis und V ein Vektor aus dem Hilbertraum.

Da B eine Basis des Raumes bildet gibt es Koeffizienten a_k mit . Diese Koeffizienten bestimmt man unter Ausnutzung der speziellen Eigenschaften der Orthonormalbasis: Da das Skalarprodukt von unterschiedlichen Basisvektoren 0 und von gleichen Basisvektoren 1 ist erhält man so

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.

Wissenswerte Kleinigkeiten

An der Georg-August-Universität in Göttingen, wo David Hilbert lange Jahre lehrte und forschte, gibt es einen Hilbertraum, nämlich das Foyer des Mathematischen Institutes, in dem eine Büste des Mathematikers aufgestellt ist. Die amüsante Zweideutigkeit des Namens wird ausländischen Gästen meist nicht klar: im Englischen heißt ein mathematischer Raum space und nicht etwa room.

An der Technischen Universität München ist der Raum Nummer PH 1141 des Physik Departements in Garching der Hilbertraum.

Siehe auch

Gott existiert, weil die Mathematik widerspruchsfrei ist, und der Teufel existiert, weil wir das nicht beweisen können.

Andre Weil

Druckansicht

Impressum: Wurzelzieher Mathepedia • Thomas Steinfeld • Dorfplatz 25 • 17237 Blankensee • Tel.: 01734332309 (Vodafone/D2) • Email: matһе@wυrzеlzιeher.de

Amazon.de empfiehlt: