## [Fréchet-Raum](/de/node/62507) Definition 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 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 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 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 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 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 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 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 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.