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

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

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

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

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

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

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

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

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.