Ein Banachraum ist ein Vektorraum über den reellen oder komplexen Zahlen, der mit einer Norm versehen ist, in dem jede Cauchy-Folge konvergiert; anders gesagt: ein kompletter normierter Vektorraum, dessen Topologie von der Norm stammt.

Prinzip

Vorrangig ist die Vollständigkeit bezüglich der durch die Norm definierten Metrik: die Norm liefert eine kompatible lineare Topologie, und Vollständigkeit gewährleistet das Vorhandensein von Grenzwerten für Cauchy-Folgen sowie die Anwendbarkeit fundamentaler funktionalanalytischer Sätze.

Demonstration

Klassische Beispiele sind die Folgenräume ℓ^p (1 ≤ p ≤ ∞) und die Funktionsräume L^p(μ) über einem Maßraum mit ihren üblichen p-Normen; diese sind vollständig und damit Banachräume. Auch der Raum der stetigen Funktionen auf einer kompakten Menge mit der Supremumsnorm ist ein Standardbeispiel.

Fehlanwendung

Jeden normierten Vektorraum ohne Prüfung der Vollständigkeit als Banachraum zu behandeln (etwa der Raum der Polynome mit der Supremumsnorm auf einem Intervall ist nicht vollständig) oder Banachräume mit Hilberträumen zu verwechseln, wenn ein Skalarprodukt erforderlich ist.

Konsequenz

Vollständigkeit bringt Hahn–Banach-Erweiterung, offene Abbildungs- und geschlossener Graph-Theoreme, das Prinzip der gleichmäßigen Beschränktheit und eine ausgereifte Dualitätstheorie mit sich; diese Ergebnisse bilden das Rückgrat der Funktionalanalysis und Operatorentheorie auf Banachräumen.

Umkehrung

Ein nicht vollständiger normierter Raum vermisst viele mächtige Theoreme und muss ggf. komplettiert werden; der Gegensatz verdeutlicht, wie die Banach-Kompletion das analytische und topologische Verhalten ändert und fehlende Grenzwerte wiederherstellt.

Abgrenzung

Der Begriff verlangt eine Norm und Vollständigkeit; er schließt topologische Vektorräume aus, die nicht normierbar sind (z. B. gewisse Fréchet-Räume), sowie Räume über nichtarchimedischen Körpern ohne Anpassung. Normierte Räume endlicher Dimension sind automatisch Banachräume, bei unendlicher Dimension tritt die volle analytische Theorie auf.

Semantische Spannung

Wird oft mit Hilberträumen verglichen: beide sind vollständige normierte Räume, doch Hilberträume tragen ein Skalarprodukt, das Orthogonalität und Projektionswerkzeuge liefert, welche in allgemeinen Banachräumen fehlen; die Banach-Theorie ist allgemeiner, aber weniger strukturiert.

Synthese

Ein Banachraum ist das grundlegende vollständige normierte Setting der Funktionalanalysis: die Norm erzeugt eine lineare Metrik und die Vollständigkeit sichert analytische Stabilität, wodurch Erweiterungs-, Beschränktheits- und Offenheitsergebnisse möglich werden, die für Analyse und Operatorentheorie wesentlich sind.