In functional analysis, **Fréchet spaces** are certain topological vector spaces more general than, but with some similarities to, Banach spaces. Spaces of infinitely often differentiable functions defined on compact sets are typical examples.

Fréchet spaces are named after the French mathematician Maurice Fréchet.

Table of contents |

2 Examples 3 Properties and further notions 4 Fréchet manifolds and Lie groups |

Fréchet spaces can be defined in two equivalent ways. The first employs a translation-invariant metric, the second a countable family of semi-norms.

A topological vector *X* space is a Fréchet space iff it satisfies the following three properties:

- it is complete
- it is locally convex
- its topology can be induced by a translation invariant metric, i.e. a metric
*d*:*X*×*X*→**R**such that*d*(*x*,*y*) =*d*(*x*+*a*,*y*+*a*) for all*a*,*x*,*y*in*X*. This means that a subset*U*of*X*is open if and only if for every*u*in*U*there exists an ε>0 such that {*v*:*d*(*u*,*v*) < ε} is a subset of*U*.

The alternative and somewhat more practical definition is the following: a topological vector *X* space is a Fréchet space iff it satisfies the following two properties:

- it is complete
- its topology may be induced by a countable family of semi-norms ||.||
_{k},*k*= 0,1,2,... This means that a subset*U*of*X*is open if and only if for every*u*in*U*there exists*K*≥0 and ε>0 such that {*v*: ||*u*-*v*||_{k}< ε for all*k*≤*K*} is a subset of*U*.

The vector space C^{∞}([0,1]) of all infinitely often differentiable functions *f* : [0,1] → **R** becomes a Fréchet space with the seminorms

- ||
*f*||_{k}= sup {|*f*^{ (k)}(*x*)| :*x*∈ [0,1]}

More generally, if *M* is a compact C^{∞} manifold and *B* is a Banach space, then the set of all infinitely often differentiable functions *f* : *M* → *B* can be turned into a Fréchet space; the seminorms are given by the suprema of the norms of all partial derivatives.

The space of all sequences of real numbers becomes a Fréchet space if we define the *k*-th semi-norm of a sequence to be the absolute value of the *k*-th element of the sequence. Convergence in this Fréchet space is equivalent to element-wise convergence.

Several important tools of functional analysis which are based on the Baire category theorem remain true in Fréchet spaces; examples are the closed graph theorem and the open mapping theorem.

If *X* and *Y* are Fréchet spaces, then the space L(*X*,*Y*) consisting of all continuous linear maps from *X* to *Y* is *not* a Fréchet space in any natural manner. This is a major difference between the theory of Banach spaces and that of Fréchet spaces and necessitates a different definition for continuous differentiability of functions defined on Fréchet spaces:

Suppose *X* and *Y* are Fréchet spaces, *U* is an open subset of *X*, *P* : *U* → *Y* is a function, *x*∈*U* and *h*∈*X*. We say that *P* is differentiable at *x* in the direction *h* if the limit

The derivative operator *P* : C^{∞}([0,1]) → C^{∞}([0,1]) defined by *P*(*f*) = *f* ' is itself infinitely often differentiable. The first derivative is given by

If *P* : *U* → *Y* is a continuously differentiable function, then the differential equation

The inverse function theorem is not true in Fréchet spaces; a partial substitute is the Nash-Moser theorem.

One may define Fréchet manifolds as spaces that "locally look like" Fréchet spaces (just like ordinary manifolds are defined as spaces that locally look like Euclidean space **R**^{n}), and one can then extend the concept of Lie group to these manifolds. This is useful because for a given (ordinary) compact C^{∞} manifold *M*, the set of all C^{∞} diffeomorphisms *f* : *M* → *M* forms a generalized Lie group in this sense, and this Lie group captures the symmetries of *M*. The relation between Lie algebra and Lie group remains valid in this setting.