Kurs:Funktionalanalysis/Hilbertraum

Geschichte - Einordnung

Bearbeiten

Ein Hilbertraum (auch Hilbert-Raum, Hilbertscher Raum), benannt nach dem deutschen Mathematiker David Hilbert, ist ein Begriff aus dem mathematischen Teilgebiet der Funktionalanalysis.

Bezug zur Banachraum-Definition

Bearbeiten

Ein Hilbertraum ist ein Vektorraum über dem Körper der reellen oder komplexen Zahlen, versehen mit einem Skalarprodukt  . Ein Hilbertraum ist ein Banachraum, dessen Norm   durch ein Skalarprodukt über   induziert ist. Damit definiert das Skalarprodukt auch die Länge von Vektoren.


Zusätzlich geometrische Strukturen

Bearbeiten

Mit einem Skalarprodukt besitzt ein Hilbertraum aber im Vergleich zu einem Banachraum weitere zusätzliche Struktur. Die sind u.a.

  • Orthogonalität bzw.
  • genauer Winkel zwischen Vektoren können definiert werden.- und Längenbegriffen –, bezüglich der vom Skalarprodukt induzierten Norm (des Längenbegriffs) ist.

Topologie

Bearbeiten

Hilberträume tragen durch die induziert Norm   eine topologische Struktur. Dadurch sind hier im Gegensatz zu allgemeinen Vektorräumen Grenzwertprozesse möglich. Hilberträume sind abgeschlossen unter abzählbaren Summen von orthogonalen Elementen mit einer quadratsummablen Folge von Normen bzw. von parallelen Elementen mit einer absolutsummablen Folge von Normen.

Vollständigkeit

Bearbeiten

Da jeder Hilbertraum ein Banachraum ist, muss dieser bzgl. der induzierten Norm   vollständig sein.Lässt man die Bedingung der Vollständigkeit fallen, spricht man von einem Prähilbertraum.

Dimension von Hilberträumen

Bearbeiten

Die Struktur eines Hilbertraums ist eindeutig festgelegt durch seine Hilbertraumdimension. Diese kann eine beliebige Kardinalzahl sein oder unendlichdimensional.

Hilbertraum über den reellen bzw. komplexen Zahlen

Bearbeiten

Bei der Bezeichnung unterscheidet man Hilberträume bzgl. des zugrunde liegendem Körper:

  • (  euklidischen Raum): über dem Körper die reellen Zahlen   bezeichnet man den Hilbertraum als euklidischen Raum und
  • (  unitären Raum): über dem Körper die komplexen Zahlen   bezeichnet man den Hilbertraum als unitären Raum.

Anwendungen

Bearbeiten

In vielen Gebieten, etwa in der mathematischen Beschreibung der Quantenmechanik, ist „der“ Hilbertraum mit abzählbarer Dimension, d. h. mit der kleinstmöglichen unendlichen Dimension, von besonderer Bedeutung.

Hamel-Basis

Bearbeiten

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 Vektorräumen, deren Elemente stets nur in endlich vielen Koordinaten einer Hamelbasis ungleich null sind, ist jedes Element eines Hilbertraums nur in abzählbar vielen Koordinaten einer Orthonormalbasis ungleich null und die Koordinatenfamilie ist quadratsummabel (endliche Norm des Elementes).

Definition: Skalarprodukt

Bearbeiten

Sei   ein Vektorraum über dem Körper   der reellen oder komplexen Zahlen. Ein Skalarprodukt[1] oder inneres Produkt ist allgemein eine positiv definite hermitesche Sesquilinearform, wobei im reellen Fall   das Skalarprodukt eine symmetrische Bilinearform ist.

Bemerkung

Bearbeiten

Die Axiome, die ein Skalarprodukt für   zu einer positiv definiten hermitesche Sesquilinearform machen, bzw. im Fall   zu einer symmetrischen Bilinearform werden im Folgenden im Detail genannt.

Skalarproduktes: Abbildung

Bearbeiten

Bzgl. des gewählten Körper   das heißt eine Abbildung

 ,

die für alle  ,  ,   aus   und für alle   die folgenden axiomatischen Bedingungen erfüllt. Die Unterschiede zwischen  - und  -Vektoräumen wird in der Nummerierung der Axiome durch (R) (C) angegeben.

Eigenschaften des Skalarproduktes 1,2 - Definitheit

Bearbeiten

Das Skalarprodukt mit   ist in der ersten Komponente linear, d.h.

  • (1)        (nicht negativ)  ;
  • (2)        (definit)  ;

Eigenschaften des Skalarproduktes 3 - symmetrisch/hermitesch

Bearbeiten

Bei Vertauschung der Argumente ist das Skalarprodukt im komplexen Fall nicht mehr symmetrisch

  • (3-R)        (symmetrisch)  
  • (3-C)        (hermitesch)  

Eigenschaften des Skalarproduktes 4-R - Linearität 1. Komponente

Bearbeiten

Das Skalarprodukt im reellen Fall   in der 1. Komponente linear.

  • (4.1-R)      und
  • (4.2-R)      (linear im ersten Argument).

Eigenschaften des Skalarproduktes 4-C - Semilinearität 1. Komponente

Bearbeiten

Das Skalarprodukt ist im komplexen Fall   in der 1. Komponente semilinear, d.h.

  • (4.1-C)      und
  • (4.2-C)   

Eigenschaften des Skalarproduktes 5 - Linearität in 2. Komponente

Bearbeiten

Bezüglich der 2. Komponente ist das Skalarprodukt linear

  • (5.1)      und
  • (5.2)   

Bemerkung 1

Bearbeiten

Der Überstrich im dritten Axiom bedeutet komplexe Konjugation. In einem reellen Vektorraum (also wenn   ist) hat die komplexe Konjugation keine Auswirkung, da der Imaginärteil von reellen Zahl in   0 ist. Damit kann man den reellen Fall durch die Beweisführung in   ebenfalls nachweisen. en in

Bemerkung 2: Konvention - Linearität/Semilineartät

Bearbeiten

Bei der Definition einer Sesquilinearform wurde hier für das Skalarprodukt die Semilinearität im ersten Argument und die Linearität im zweiten festgelegt. Die Definition herrscht in der theoretischen Physik vor. Dabei spielt es aber keine RolleHäufig wird jedoch Bedingung (4a) für das erste statt für das zweite Argument gewählt:

Definition: Prähilbertraum

Bearbeiten

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

  • (  euklidischen Raum): Über dem Körper der reellen Zahlen   ist das Skalarprodukt eine symmetrische Bilinearform und
  • (  unitären Raum): Über dem Körper der komplexen Zahlen   ist das Skalarprodukt eine hermitesche Sesquilinearform.

Definition: Hilbertraum

Bearbeiten

Ein Hilbertraum ist eine Prähilbertraum   mit einem Skalarprodukt

 

der bezüglich der induzierten Norm   vollständig ist.

Bemerkung: Vollständigkeit

Bearbeiten

Im Vergleich zu der folgenden Definition des Hilbertraums verlangt ein Prähilbertraum nur die Gültigkeit der Eigenschaft für das Skalarprodukt, ohne eine Aussage über die Vollständigkeit des Grundraumes bzgl. der durch das Skalarprodukt induzierten Norm   zu machen. Es wird zunächst als Beispiel ein Funktionenraum als Prähilbertraum betrachtet, der nicht vollständig ist.

Beispiel - Polynomraum und Vollständigkeit

Bearbeiten

Sei   ein Körper und   der Prähilbertraum der Polynome mit Koeffizienten in  .

  die Menge der Polynome mit Koeffizienten in  .

Beispielpolynom mit komplexwertigen Koeffizienten

Bearbeiten

Für das Polynom mit  ,  ,   und   erhält man das folgende Polynom aus  .

 

Die Folge   liegt in dem Raum der endlichen komplexwertigen Folgen   (siehe Folgenräume).

Folgen von Polynomen

Bearbeiten

Man definiert

Beispiel für einen Prähilbertraum

Bearbeiten

Sei   und   der Vektorraum der stetigen Funktionen von   nach  . Man definiert zunächst eine Abbildung von   nach   wie folgt:

 

Aufgabe - Eigenschaften des Skalarproduktes

Bearbeiten

Weisen Sie die Gültigkeit der geforderten Eigenschaften für ein Skalarprodukt nach!

Norm auf dem Prähilbertraum

Bearbeiten

Die Norm ergibt sich unimittelbar aus der Definition des Skalarproduktes

 

Augabe - Norm einer Funktion

Bearbeiten

Berechnen Sie für   und   mit   die Norm   der Funktion  !

Konvergenz von Funktionenfolgen

Bearbeiten

Betrachten Sie zunächst die Unterschiede in den Definitionen von

von Funktionenfolgen.

Definitionen - punktweise und gleichmäßige Konvergenz

Bearbeiten

Sei   eine stetige Funktion in  .

punktweise Konvergenz:   und
gleichmäßige Konvergenz:  

Definition einer Cauchy-Folge im Funktionenraum

Bearbeiten

Betrachten Sie zunächst die Konvexkombination von zwei Funktionen Sei   und als erste Funktion   wird ein Polynom definiert.

 

Als zweite Funktion wird eine trigonometrische Funktion   gewählt.

 

Die folgende Funktionenfolge   entsteht als Konvexkombination   von   und  .


Visualisierung von Konvexkomobinationen der Funktionen

Bearbeiten

Die folgende Animation zeigt mehrere Konvexkombinationen von zwei gegebenen Funktionen[3]. Der Parameter   wird verwendet, um die Funktionenfolge für   zu erzeugen.

 

Zeigen Sie, dass   gleichmäßig auf   gegen   konvergiert.

Visualisierung der Cauchy-Folge im Funktionenraum

Bearbeiten

Nun wird eine Cauchy-Folge in   definiert, die nicht in   konvergiert. Die folgende Animation zeigt zunächst die konstruierte Funktionenfolge für die ersten Folgenglieder  

 


Definition einer Cauchy-Folge im Funktionenraum

Bearbeiten

Die Punkte   werden über die folgende Koordinaten in Abhängigkeit von   festgelegt:   Die stetigen Funktionen   werden durch die Interpolation der Punkte generiert.

Aufgabe - Bestimmung der Funktionsterme

Bearbeiten

Bestimmen Sie die beiden fehlenden Funktionsterme für die Fragezeichen "?" in der folgenden abschnittsweise definierte Funktion  !

 

Aufgabe - Cauchy-Folgeneigenschaft

Bearbeiten

Zeigen Sie, dass die oben definierte Funktionenfolge   eine Cauchy-Folge in   ist!

Grenzfunktion nicht im Funktionenraum

Bearbeiten

Die folgende Funktion   ist nicht stetig und daher   mit  .

 

Vervollständigung des Funktionenraumen

Bearbeiten

Die folgende Funktion   ist ein Element der Vervollständigung   von  bzgl. der durch das Skalarprodukt definierten Norm ist. Zeigen Sie, dass die oben definierte Cauchy-Folge   in der Norm   gegen   konvergiert!

Prähilbertraum über den komplexen Zahlen

Bearbeiten

Analog kann mit   diese obige Beispiel auf einen einen  -Vektorraum von komplexwertigen Funktionen übertragen. Dann erhält man Prähilbertraum für einen gegebenen  -Vektorraum   über die Definition des Skalarproduktes:

 

Aufgabe - Hermitesche Sesquilinearform

Bearbeiten

Definieren Sie nun über dem komplexwertigen Funktionenraum ebenfalls das Skalarprodukt als:

 

Damit wäre die Abbildung von   nach   eine symmetrische Bilinearform. Welche wesentliche Eigenschaft eines Skalarproduktes ist damit auf   mit der Abbildung   nicht mehr gültig? Geben Sie ein Gegenbeispiel an!

Definition: Hilbertraum

Bearbeiten

Ein Hilbertraum ist ein reeller oder komplexer Vektorraum   mit einem Skalarprodukt  , der vollständig bezüglich der durch das Skalarprodukt induzierten Norm   ist, d.h., dass also jede Cauchy-Folge bzgl. der Norm   konvergiert.

Zusammenhang - Hilbertraum Prähilbertraum

Bearbeiten

Ein Hilbertraum ist also ein vollständiger Prähilbertraum.

Konvention Seminlinearität - 1. Komponente

Bearbeiten

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

  und  .

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

Bedeutung

Bearbeiten

Hilberträume spielen in der Funktionalanalysis, speziell in der Lösungstheorie partieller Differentialgleichungen, und damit auch in der Physik eine große Rolle. Ein Beispiel ist die Quantenmechanik, wo reine Zustände eines quantenmechanischen Systems durch einen Vektor im Hilbertraum beschrieben werden können. Aus Sicht der Funktionalanalysis bilden die Hilberträume eine Klasse von Räumen mit besonders spezieller und einfacher Struktur.


Beispiele für Hilberträume

Bearbeiten

Im Folgenden werden endlichdimensional und unendlichdimensionale Hilberträume genannt.


Beispiele 1 - Endlichdimensionale Hilberträume

Bearbeiten
  • Der Koordinatenraum   mit dem reellen Standardskalarprodukt  .
  • Der Koordinatenraum   mit dem komplexen Standardskalarprodukt  .

Beispiele 2 - Folgenräume als Hilberträume

Bearbeiten

Der Folgenraum   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 unendlichdimensionalen Hilberträume isometrisch isomorph zu   sind.

Beispiele 3 - quadratintegrierbaren Funktionen Hilberträume

Bearbeiten

Der Raum der quadratintegrierbaren Funktionen   mit dem Skalarprodukt  . Eine vollständige Definition, die insbesondere die Vollständigkeit näher beleuchtet, findet sich im Artikel über Lp-Räume.

Beispiele 4 - fast-periodischen Funktionsräume als Hilberträume

Bearbeiten

Der Raum   der fast-periodischen Funktionen, welcher folgendermaßen 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 Prähilbertraum. Die Vervollständigung   dieses Raums ist also ein Hilbertraum. Im Gegensatz zu den obigen Beispielen ist dieser Raum nicht separabel.

Beispiele 5 - Sobolev-Raum

Bearbeiten

Der Sobolev-Raum   für alle   und die entsprechenden Unterräume. Diese bilden eine Grundlage der Lösungstheorie partieller Differentialgleichungen.

Beispiele 6 - Operatorenräume - Hilbert-Schmidt

Bearbeiten

Der Raum   der Hilbert-Schmidt-Operatoren.

Beispiele 7 - Hardyräume

Bearbeiten

Für   sind der Hardy-Raum   und der reelle Hardy-Raum   Hilberträume.

Orthogonalität und Orthogonalsysteme

Bearbeiten

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   bilden also genau dann ein Orthonormalsystem, wenn   für alle  . Dabei ist   das Kronecker-Delta.

Mittels des Lemmas von Zorn lässt sich zeigen, dass jeder Hilbertraum eine Orthonormalbasis besitzt (es kann sogar jedes Orthonormalsystem zu einer Orthonormalbasis ergänzt werden).

Unterräume

Bearbeiten

Ein Unterhilbertraum oder Teilhilbertraum eines Hilbertraums ist eine Teilmenge, die mit der Skalarmultiplikation, Addition und Skalarprodukt eingeschränkt auf diese Teilmenge wiederum einen Hilbertraum bildet. Konkret heißt das, dass die Teilmenge die Null enthält und abgeschlossen unter Skalarmultiplikation und Addition ist, das heißt ein Untervektorraum ist, und bezüglich des Skalarprodukts immer noch vollständig ist. Dies ist äquivalent dazu, dass die Teilmenge im topologischen Sinne abgeschlossen ist. Daher bezeichnet man Unterhilberträume auch als abgeschlossene Unterräume bzw. abgeschlossene Teilräume und bezeichnet im Gegensatz dazu beliebige Untervektorräume einfach nur als Unterräume bzw. Teilräume.

Unterräume von Hilberträume - Prähilberträume

Bearbeiten

Ein Solcher ist im Allgemeinen nur ein Prähilbertraum. Jeder Prähilbertraum ist in einem Hilbertraum als dichter Untervektorraum enthalten, nämlich in seiner Vervollständigung. Auch ist es möglich einen Quotientenraum bezüglich eines Unterhilbertraums zu bilden, der wiederum ein Hilbertraum ist.

Analogie zu Banachräumen

Bearbeiten

Dies alles gilt im Wesentlichen analog für beliebige Banachräume, wobei deren Untervektorräume dann nicht unbedingt Prähilberträume, wohl aber normierte Räume sind.

Projektionssatz

Bearbeiten

Eine Besonderheit dagegen ist die Gültigkeit des Projektionssatzes: Für jeden Unterhilbertraum und jedes beliebige Element des Hilbertraums gibt es ein Element des Unterhilbertraums mit minimalem Abstand. Dies gilt für Banachräume dagegen schon im Endlichdimensionalen im Allgemeinen nicht.

Orthogonalprojektion

Bearbeiten

Dies erlaubt eine kanonische Identifikation des Quotientenraums bezüglich eines Unterhilbertraums mit einem Unterhilbertraum, das orthogonale Komplement, und das Konzept der Orthogonalprojektion. Das orthogonale Komplement eines Unterhilbertraums ist ein komplementärer Unterhilbertraum, für Banachräume dagegen existiert zu einem Unterbanachraum im Allgemeinen kein komplementärer Unterbanachraum.

Konjugierter Hilbertraum

Bearbeiten

Im Falle eines komplexen Hilbertraums besteht eine gewisse Asymmetrie zwischen den beiden Komponenten des Skalarproduktes; das Skalarprodukt ist linear in der zweiten Komponente und konjugiert linear in der ersten. Man kann daher zu einem komplexen Hilbertraum   wie folgt einen weiteren Hilbertraum   definieren. Als Menge ist  , auch die Addition auf   wird von   übernommen. Die skalare Multiplikation und das Skalarprodukt für   werden wie folgt erklärt:

skalare Multiplikation:  
Skalarprodukt:  .

Man prüft nach, dass   mit diesen Definitionen wieder ein Hilbertraum ist, man nennt ihn den konjugierten Hilbertraum. Der zu   konjugierte Hilbertraum ist offenbar wieder  .

Operatoren zwischen Hilberträumen

Bearbeiten

Reichhaltiger Untersuchungsgegenstand in der Funktionalanalysis sind auch gewisse strukturerhaltende Abbildungen zwischen Hilberträumen. Hauptsächlich betrachtet man dabei Abbildungen, die die Vektorraumstruktur erhalten, das heißt lineare Abbildungen, im Folgenden lineare Operatoren genannt.

Stetige lineare Operatoren

Bearbeiten

Eine bedeutende Klasse von linearen Operatoren zwischen Hilberträumen ist die der stetigen Operatoren, die zusätzlich die topologische Struktur, und damit etwa Grenzwerte, erhalten. Weitere wichtige Klassen linearer Operatoren ergeben sich dadurch, dass man von ihnen bestimmte Beschränktheitseigenschaften fordert.

Stetigkeit eines Operators

Bearbeiten

Die Stetigkeit ist, wie allgemein bei normierten Räumen, äquivalent zur Beschränktheit des Operators (siehe Stetigkeitssatz für lineare Abbildungen).

  • (3c) Die Operatornorm  

Kompakte Operatoren

Bearbeiten

Eine stärkere Einschränkung ist die der Kompaktheit. Dabei heißt eine lineare Abbildung   von einem Banachraum   in einen Banachraum   kompakter Operator, wenn eine der folgenden äquivalenten Eigenschaften erfüllt ist:

  • (K1) Der Operator   bildet jede beschränkte Teilmenge von   auf eine relativ kompakte Teilmenge von   ab.
  • (K2) Das Bild der offenen (oder der abgeschlossenen) Einheitskugel in   ist relativ kompakt in  .
  • (K3) Jede beschränkte Folge   in   besitzt eine Teilfolge  , für die die Bildfolge   konvergiert.

Die Menge der linearen, kompakten Operatoren   wird hier mit   bezeichnet.

Schattenklassen

Bearbeiten

Die Schattenklassen sind echte Teilklassen der Klasse der kompakten Operatoren. Auf den jeweiligen Klassen von Operatoren werden verschiedene Normen und Operatortopologien definiert.

Unitäre Operatoren

Bearbeiten

Unitäre Operatoren liefern einen natürlichen Isomorphismenbegriff für Hilberträume, sie sind gerade die Isomorphismen in der Kategorie der Hilberträume mit den linearen Abbildungen, die das Skalarprodukt erhalten, als Morphismen. Konkret: die linearen, surjektiven Isometrien. Sie erhalten alle Längen und Winkel.

Satz von Fréchet-Riesz

Bearbeiten

Aus dem Satz von Fréchet-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 Möglichkeit, dass der adjungierte Operator wiederum der Operator selbst ist, man spricht dann von einem selbstadjungierten Operator.

Operatoralgebren

Bearbeiten

Viele der oben aufgeführten Klassen von Operatoren bilden als Endomorphismen von   nach  Operatoralgebren, wobei die Verkettung   zwei Operatoren   und   der multiplikativen Verknüpfung in dem Vektorraum der Operatoren entspricht.

Involutive Operatoralgebren

Bearbeiten

Mit der Adjungierung als Involution, unter der alle oben aufgeführten 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.

Unitäre Operatoren

Bearbeiten

Unitäre Operatoren liefern einen natürlichen Isomorphv für Hilberträume, sie sind gerade die Isomorphismen in der Kategorie der Hilberträume mit den linearen Abbildungen, die das Skalarprodukt erhalten, als Morphismen. Konkret: die linearen, surjektiven Isometrien. Sie erhalten alle Längen und Winkel.

Klassifikation

Bearbeiten

Unter Verwendung von Orthonormalbasen lassen sich die Hilberträume vollständig klassifizieren. Jeder Hilbertraum besitzt eine Orthonormalbasis und je zwei Orthonormalbasen eines Hilbertraums sind gleichmächtig. Die Kardinalität einer jeden Orthonormalbasis ist also eine wohldefinierte Eigenschaft eines Hilbertraums, welche Hilbertraumdimension oder kurz Dimension genannt wird. Je zwei Hilberträume mit derselben Dimension sind isomorph: Man erhält einen Isomorphismus, indem man eine Bijektion zwischen einer Orthonormalbasis des einen und einer Orthonormalbasis des anderen eindeutig zu einem stetigen linearen Operator zwischen den Räumen fortsetzt. Jeder stetige lineare Operator zwischen zwei Hilberträumen ist eindeutig durch seine Werte auf einer Orthonormalbasis des Raumes festgelegt, auf dem er definiert ist. Tatsächlich gibt es zu jeder Kardinalzahl einen Hilbertraum mit dieser Dimension, konstruierbar etwa als Raum   (wobei   eine Menge mit der Dimension als Kardinalität sei, etwa die Kardinalzahl selbst):

 ,

wobei   oder   und die Konvergenz der Summe so zu lesen ist, dass nur abzählbar viele Summanden ungleich   sind (vgl. unbedingte Konvergenz). Dieser Raum wird versehen mit dem Skalarprodukt

 ,

welches wohldefiniert ist. Die Vektoren   mit   bilden dann eine Orthonormalbasis des Raumes  . Die Isomorphie eines jeden Hilbertraums mit einem solchen Raum   für passendes   ist als Satz von Fischer-Riesz bekannt.

Dualraum

Bearbeiten

Der topologische Dualraum   der stetigen, linearen Funktionale auf einem Hilbertraum   ist wie bei jedem Banachraum selbst wieder ein Banachraum. Eine Besonderheit bei Hilberträumen ist der Satz von Fréchet-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, allerdings ist jene Abbildung nur semilinear, das heißt ein antiunitärer Operator. In beiden Fällen ist der Hilbertraum isomorph zu seinem Dualraum (ein antiunitärer Operator   lässt sich nämlich in einen unitären Operator   und einen antiunitären Operator   zerlegen), und somit erst recht zu seinem Bidualraum, jeder Hilbertraum ist also reflexiv.

Hilbertraum der L2-integrierbaren Funktionen

Bearbeiten

Sei   eine Sigma-Algebra auf einer Menge   und   ein vollständiges Maß. Es kann leicht gezeigt werden, dass für messbare Funktionen   die Abbildung

 

eine positiv semidefinite Bilinearform darstellt, falls

 

gilt.

Der Grund dafür, dass im Allgemeinen keine strikte positive Definitheit gilt, liegt darin, dass für ein   auch   gelten kann, ohne dass   die Nullfunktion ist – nämlich genau dann, wenn   (d. h. wenn   nur auf einer Menge ungleich 0 ist, welche eine  -Nullmenge darstellt).

Abhilfe verschafft das Einführen einer Äquivalenzrelation: Man definiert, dass   und gibt der Menge der Äquivalenzklassen die Bezeichnung  .

Dann ist   zusätzlich zu den oben genannten Eigenschaften auch noch positiv definit, also ein Skalarprodukt und   damit eine Norm. Somit handelt es sich bei   um einen normierten Raum. Schließlich folgt aus dem Satz von Fischer-Riesz, dass dieser Raum vollständig ist, sodass er ein Banachraum und insbesondere (da die Norm von einem Skalarprodukt induziert wird) ein Hilbertraum ist. Dieser findet seine Anwendung z. B. in der Quantenmechanik, aber auch beim Erwartungswert.

Hierbei ist zu beachten, dass es sich bei einem Element aus   nicht um eine Funktion handelt, sondern um eine Äquivalenzklasse von Funktionen bezüglich der obigen Äquivalenzrelation. Da sich die Repräsentanten dieser Klasse jedoch nur auf einer  -Nullmenge unterscheiden, ist dies für praktische Verwendungen unerheblich.


Fourierkoeffizient

Bearbeiten

Eine Orthonormalbasis ist ein mächtiges Hilfsmittel bei der Untersuchung von Hilberträumen über   bzw.   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   ein Vektor aus dem Hilbertraum. Da   eine Hilbertraumbasis des Raumes bildet, gibt es Koeffizienten   bzw.  , so dass

 

ist. Diese Koeffizienten bestimmt man unter Ausnutzung der speziellen Eigenschaften der Orthonormalbasis als

 ,

da das Skalarprodukt von unterschiedlichen Basisvektoren 0 und von gleichen Basisvektoren 1 ist. 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.

Wenn man einen Hilbertraum mit einem Kern assoziiert, der innerhalb des Raums jede Funktion reproduziert, spricht man von einem Reproducing Kernel Hilbert Space (RKHS, deutsch: Hilbertraum mit reproduzierendem Kern). Dieser Ansatz wurde 1907 von dem Mathematiker Stanisław Zaremba erstmals formuliert und begann ein halbes Jahrhundert später in der Funktionalanalysis eine wichtige Rolle zu spielen. Heute sind Hilberträume mit reproduzierendem Kern ein gängiges Werkzeug in der statistischen Lerntheorie, insbesondere beim Maschinenlernen.

Hilberträume in der Quantenmechanik

Bearbeiten

Die Axiome der Quantenmechanik besagen, dass die Menge der möglichen Zustände eines quantenmechanischen Systems die Struktur eines Hilbertraumes besitzt. Insbesondere heißt das, dass quantenmechanische Zustände eine lineare Struktur besitzen, dass also eine Linearkombination von Zuständen wieder einen physikalisch möglichen Zustand ergibt. Außerdem ist ein Skalarprodukt   zwischen zwei Zuständen   und   definiert, dessen Betragsquadrat nach der Bornschen Wahrscheinlichkeitsinterpretation angibt, wie wahrscheinlich es ist, ein System das sich im Zustand   befindet, bei einer Messung im Zustand   vorzufinden. (Die Schreibweise entspricht der Dirac-Notation.) Ist in der Physik also die Rede von dem Hilbertraum, so ist damit der Zustandsraum des gegebenen quantenmechanischen Systems gemeint.

Beispiele sind

  • die möglichen Wellenfunktionen eines freien Teilchens sind der Hilbertraum   aller quadratintegrablen Funktionen   mit dem üblichen  -Skalarprodukt  .
  • die möglichen Spinzustände eines Elektrons spannen den Hilbertraum   mit dem euklidischen Skalarprodukt auf.

Literatur

Bearbeiten
  • Dirk Werner: Funktionalanalysis. 5., erweiterte Auflage. Springer, Berlin u. a. 2005, lSBN 3-540-43586-7, Kapitel V, VI und VII.
  • Richard V. Kadison, John R. Ringrose: Fundamentals of the Theory of Operator Algebras. Band 1: Elementary Theory. Academic Press, New York NY 1983, lSBN 0-12-393301-3 (Pure and Applied Mathematics 100, 1), Kapitel 2: Basics of Hilbert Space and Linear Operators.

Siehe auch

Bearbeiten

Einzelnachweise

Bearbeiten
  1. Prähilbertraum (2020) In: Wikipedia, Die freie Enzyklopädie. Bearbeitungsstand: 22. März 2020, 11:38 UTC. URL: https://de.wikipedia.org/w/index.php?title=Pr%C3%A4hilbertraum&oldid=197994751 (Abgerufen: 22. März 2020, 11:38 UTC
  2. Andreas Lindner (2016) Interaktives Arbeitsblatt zur gleichmäßigen Konvergenz - URL: https://www.geogebra.org/m/vUUAmbTQ (Abgerufen am 14. Januar 2022, 13:38)
  3. Bert Niehaus (2022) Konvexkombination von zwei Funktionen in einem Vektorraum von Funktionen - URL: https://www.geogebra.org/m/kkuufrck (Aufgerufen 14.01.2022 - 15:20 )

Seiteninformation

Bearbeiten

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Wiki2Reveal

Bearbeiten

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Funktionalanalysis' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

Wikipedia2Wikiversity

Bearbeiten

Diese Seite wurde auf Basis der folgenden Wikipedia-Quelle erstellt: