Ein lokal konvexer topologischer Vektorraum, dessen Topologie durch eine translationsinvariante Metrik metrisiert ist und der bezüglich dieser Metrik vollständig ist; äquivalent: ein vollständiger, lokal konvexer, metrisierbarer topologischer Vektorraum, oft beschrieben durch eine abzählbare Familie von Halbnormen.

Prinzip

Die Topologie entsteht aus einer abzählbaren Familie von Halbnormen, die eine translationsinvariante Metrik liefern; Vollständigkeit bezogen auf diese Metrik und lokale Konvexität strukturieren die analytischen und sequentiellen Eigenschaften des Raums.

Demonstration

Der Raum C^∞(R^n) der glattenn Funktionen auf R^n mit den Halbnormen p_{K,m}(f)=sup_{x∈K,|α|≤m}|∂^α f(x)| für kompakte K und ganzzahliges m ist ein Fréchet-Raum: Die Halbnormen sind abzählbar bei einer Erschöpfung durch Kompakta und erzeugen eine vollständige, translationsinvariante Metrik.

Fehlanwendung

Jeden vollständigen metrisierbaren topologischen Vektorraum als Fréchet-Raum zu behandeln ohne lokale Konvexität zu prüfen, oder anzunehmen, jeder Fréchet-Raum sei normierbar (d. h. ein Banachraum), ohne das Vorhandensein einer stetigen Norm zu verifizieren.

Konsequenz

Sequenzielle Methoden und Baire-Kategorie-Argumente sind anwendbar; viele Strukturtheoreme, die auf Metrisierbarkeit und Vollständigkeit beruhen (Closed-Graph-Theorem, Open-Mapping-Theorem, beschränkter Inverser bei linearen Abbildungen zwischen Fréchet-Räumen), stehen zur Verfügung.

Umkehrung

Lässt man die lokale Konvexität weg, entsteht in der Literatur häufig ein F-Raum: ein vollständiger, metrisierbarer topologischer Vektorraum, der möglicherweise keine nichttrivialen stetigen linearen Funktionale oder eine Halbnormenbeschreibung besitzt.

Abgrenzung

Schließt alle Banachräume ein (die Norm liefert eine translationsinvariante Metrik), schließt aber vollständige lokal konvexe Räume aus, die nicht metrisierbar sind, und unvollständige metrisierbare lokal konvexe Räume; die Eigenschaft hängt von der Topologie, nicht nur von der linearen Struktur ab.

Semantische Spannung

Der Begriff Fréchet-Raum (lokal konvex + metrisierbar + vollständig) wird oft mit dem weiteren Begriff F-Raum (vollständiger, metrisierbarer TVS ohne lokale Konvexität) verwechselt; diese Spannung betrifft Existenz des Duals, Anwendung von Hahn–Banach und Tensorproduktverhalten.

Synthese

Ein Fréchet-Raum ist der übliche analytische Rahmen, der abzählbare Halbnormen, translationsinvariante Metrisierbarkeit und metrische Vollständigkeit kombiniert, sodass sequentielle und funktionalanalytische Methoden anwendbar bleiben und zugleich lokale Konvexität erhalten bleibt.