##  [Fréchet Space](/frechet-space-0) 

 Definition

A locally convex topological vector space whose topology is metrizable by a translation-invariant metric and that is complete for that metric; equivalently a complete, locally convex, metrizable topological vector space usually describable by a countable family of seminorms.

 

 

 

 

 

 





## Principle

Principle

Topology arises from a countable family of seminorms which yields a translation-invariant metric; completeness with respect to that metric and local convexity organize the analytic and sequential properties of the space.

 

 

 

 

 





## Demonstration

Demonstration

The space C^∞(R^n) of smooth functions on R^n equipped with the family of seminorms p_{K,m}(f)=sup_{x∈K,|α|≤m}|∂^α f(x)| for compact K and integer m is a Fréchet space: the seminorms are countable when K ranges over an exhaustion by compacts and give a complete translation-invariant metric.

 

 

 

 

## Misapplication

Misapplication

Treating every complete metrizable topological vector space as a Fréchet space regardless of local convexity, or assuming that every Fréchet space is normable (i.e. a Banach space) without checking the existence of a continuous norm.

 

 

 

 

 





## Consequence

Consequence

Sequential methods and Baire-category arguments apply; many structural theorems that rely on metrizability and completeness (closed graph, open mapping, bounded inverse in the presence of linear maps between Fréchet spaces) become available.

 

 

 

 

## Reversal

Reversal

Dropping local convexity yields an F-space in some literature: a complete metrizable topological vector space that may fail to admit nontrivial continuous linear functionals or a seminorm description.

 

 

 

 

 





## Boundary

Boundary

Includes all Banach spaces (norm gives a translation-invariant metric) but excludes complete locally convex spaces that are not metrizable and excludes incomplete metrizable locally convex spaces; the concept depends on the topology, not only the algebraic vector structure.

 

 

 

 

 





## Semantic Tension

Semantic Tension

The term Fréchet space (locally convex + metrizable + complete) is often confused with the broader 'F-space' (complete metrizable TVS possibly non-locally-convex); the tension affects existence of duals, Hahn–Banach applicability, and tensor-product behavior.

 

 

 

 

 





## Synthesis

Synthesis

A Fréchet space is the standard analytic setting that combines countable seminorm-generated topology, translation-invariant metric metrizability, and metric completeness to enable sequential and functional-analytic techniques while preserving local convexity.