Der Hilbertraum: Einfach erklärt

Der Hilbertraum klingt oft mystisch, ist aber im Grunde nur die logische Fortsetzung der Vektorrechnung und Analysis, die man aus dem Abitur kennst. Stell ihn dir als das „Luxus-Upgrade“ des normalen 3D-Raumes vor.

Teil 1: Die Grundlagen

Im Abitur hat man mit dem \(\mathbb{R}^3\) gearbeitet (Vektoren mit 3 Koordinaten: \(x, y, z\)). Dieser Raum hat drei Eigenschaften, die wir brauchen:

Vektorraum: Man kann addieren (\(\vec{a} + \vec{b}\)) und strecken.
Skalarprodukt: Damit berechnet man Winkel und Orthogonalität (wenn \(\vec{a} \cdot \vec{b} = 0\)).
Norm (Länge): Über den Betrag \(|\vec{a}|\) weißt du, wie lang ein Vektor ist.

Ein Hilbertraum ist ein Raum, der genau diese Eigenschaften hat, aber viel mächtiger ist.

Teil 2: Der Sprung ins Unendliche

Spannend wird es, wenn wir die Dimensionen auf unendlich erweitern. Statt Vektoren mit 3 Einträgen nehmen wir Funktionen \(f(x)\) als Vektoren.

Die Übersetzung ins „Unendliche“:

Addition: \(f(x) + g(x)\) (ganz normal).
Skalarprodukt: Statt \(a_1b_1 + a_2b_2 + ...\) zu rechnen, summieren wir unendlich viele Werte auf. Das ist im Abitur das Integral! \[ \langle f, g \rangle = \int_{a}^{b} f(x) \cdot g(x) \, dx \]
Länge: Die Wurzel aus dem Integral des Quadrats.

Das kritische Detail: „Vollständigkeit“

Ein Hilbertraum muss vollständig sein. Das bedeutet: Wenn du eine Summe von unendlich vielen Funktionen bildest, die konvergiert (sich einem Wert nähert), dann muss das Ergebnis auch wirklich im Raum liegen. Es gibt keine „Löcher“, durch die man herausfallen könnte (anders als bei den rationalen Zahlen, wo man durch Grenzwerte bei \(\sqrt{2}\) landen kann, was kein Bruch ist).

Teil 3: Abgrenzung zu anderen Räumen

Raum-Typ	Vektoren?	Länge?	Winkel?	Vollständig?
Vektorraum	✅	❌	❌	❌
Normierter Raum	✅	✅	❌	❌
Banachraum	✅	✅	❌	✅
Euklidischer Raum (\(\mathbb{R}^n\))	✅	✅	✅	✅
Hilbertraum	✅	✅	✅	✅

Teil 4: Der mathematische Unterschied (\(\mathbb{R}^n\) vs. Hilbertraum)

Der \(\mathbb{R}^n\) ist technisch gesehen ein kleiner, endlicher Hilbertraum. Wenn man sie aber unterscheiden will, geht es um Folgendes:

1. Summe vs. Reihe (Dimension)

Im \(\mathbb{R}^n\) (Endlich):
Ein Vektor hat \(n\) Zahlen. Die Länge ist eine einfache Summe: \[ |\vec{v}|^2 = \sum_{i=1}^{n} v_i^2 \] Da \(n\) eine feste Zahl ist (z.B. 3), kommt immer eine Zahl heraus.

Im Hilbertraum (Unendlich):
Ein Vektor ist eine unendliche Folge oder Funktion. Die Länge ist eine unendliche Reihe oder ein Integral: \[ |\vec{v}|^2 = \sum_{i=1}^{\infty} v_i^2 \quad \text{oder} \quad \int_{-\infty}^{\infty} (f(x))^2 dx \]

2. Die „Eintrittskarte“ (Konvergenz)

Das ist der wichtigste Unterschied!

\(\mathbb{R}^n\) ist für alle offen: Egal welche Zahlen du wählst, sie bilden immer einen Vektor mit endlicher Länge.
Der Hilbertraum ist ein exklusiver Club: Nicht jede unendliche Folge darf rein. Damit etwas ein Element des Hilbertraums ist, muss die Länge endlich sein (das Integral/die Reihe muss konvergieren).

Beispiel:
Die unendliche Folge \((1, 1, 1, 1, ...)\) hat unendliche Länge (\(1+1+1+...\)). Sie ist kein Element des Hilbertraums.
Die Folge \((1, \frac{1}{2}, \frac{1}{4}, ...)\) konvergiert (Geometrische Reihe). Sie hat eine endliche Länge und ist im Hilbertraum.

Vertiefung: Warum Vektoren nicht „reinpassen“

Ein Hilbertraum \(H\) wird durch zwei harte Bedingungen definiert, die als „Siebe“ fungieren. Was nicht hindurchpasst, gehört nicht zum Raum.

Uni-Definition: Ein Prähilbertraum heißt Hilbertraum, wenn er bezüglich der durch das Skalarprodukt induzierten Norm vollständig ist.

Das bedeutet mathematisch zwei Hürden:

\(\|x\| < \infty\) (Norm-Endlichkeit)
Jede Cauchy-Folge konvergiert gegen ein Element im Raum.

1. Das erste Sieb: Die Norm-Endlichkeit

Im Abitur (\(\mathbb{R}^3\)) hat jeder Vektor automatisch eine endliche Länge. Im Unendlichen ist das nicht mehr garantiert. Wir betrachten den Folgenraum \(\ell^2\):

\[ \ell^2 := \left\{ (x_n)_{n \in \mathbb{N}} \;\Bigg|\; \sum_{n=1}^{\infty} |x_n|^2 < \infty \right\} \]

Das heißt: Die Reihe der Quadrate muss konvergieren. Wir testen zwei Kandidaten:

✅ Kandidat A: Die Harmonische Folge Vektor \(x = (1, \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \dots)\)
Wir prüfen die Länge (Norm-Quadrat): \[ \sum_{n=1}^{\infty} \left(\frac{1}{n}\right)^2 = 1 + \frac{1}{4} + \frac{1}{9} + \dots = \frac{\pi^2}{6} \approx 1.645 \] Ergebnis: Der Wert ist endlich. Der Vektor ist im Hilbertraum erlaubt.

❌ Kandidat B: Die Wurzel-Folge Vektor \(y = (1, \frac{1}{\sqrt{2}}, \frac{1}{\sqrt{3}}, \frac{1}{\sqrt{4}}, \dots)\)
Wir prüfen die Länge: \[ \sum_{n=1}^{\infty} \left(\frac{1}{\sqrt{n}}\right)^2 = \sum_{n=1}^{\infty} \frac{1}{n} = 1 + \frac{1}{2} + \frac{1}{3} + \dots \] Ergebnis: Das ist die harmonische Reihe. Sie divergiert gegen Unendlich. Dieser Vektor ist „zu lang“ und existiert im Hilbertraum nicht.

2. Das zweite Sieb: Die Vollständigkeit

Das ist das abstrakte „Loch-Problem“. Ein Raum ist unvollständig, wenn man eine Folge bauen kann, deren Ziel (Grenzwert) außerhalb des Raumes liegt.

Beispiel: Warum Polynome kein Hilbertraum sind Stell dir den Raum aller Polynome vor (\(x, x^2+1, \dots\)).
Wir bauen eine Folge von Polynomen (Taylor-Reihe): \[ P_n(x) = 1 + x + \frac{x^2}{2} + \dots + \frac{x^n}{n!} \]

Jedes \(P_n\) ist ein Polynom (endlich viele Terme).
Die Folge nähert sich immer mehr einer Funktion an.

Das Problem: Der Grenzwert ist die e-Funktion: \(f(x) = e^x\).
Aber \(e^x\) ist kein Polynom (sie hört nie auf).

Fazit: Man fällt aus dem „Raum der Polynome“ heraus. Er ist löchrig. Ein echter Hilbertraum dürfte dieses Loch nicht haben (er müsste \(e^x\) enthalten).