In mathematics, a function space is a set of functions between two fixed sets. Often, the domain and/or codomain will have additional structure which is inherited by the function space. For example, the set of functions from any set X into a vector space has a natural vector space structure given by pointwise addition and scalar multiplication. In other scenarios, the function space might inherit a topological or metric structure, hence the name function space.
Let V be a vector space over a field F and let X be any set. The functions X → F can be given the structure of a vector space over F where the operations are defined pointwise, that is, for any f, g : X → F, any x in X, and any c in F, define
Function spaces appear in various areas of mathematics:
Functional analysis is organized around adequate techniques to bring function spaces as topological vector spaces within reach of the ideas that would apply to normed spaces of finite dimension. Here we use the real line as an example domain, but the spaces below exist on suitable open subsets
If y is an element of the function space of all continuous functions that are defined on a closed interval [a, b], the norm defined on is the maximum absolute value of y (x) for a ≤ x ≤ b,[2]
is called the uniform norm or supremum norm ('sup norm').