Function Space

A function space is a vector space whose elements are functions rather than numbers or geometric vectors. The prototypical examples include the space of all continuous functions on an interval, the space of all square-integrable functions, and the space of all polynomials of bounded degree. In these spaces, vector addition is defined pointwise and scalar multiplication is defined by scaling the output of the function, making function spaces the natural habitat of Fourier analysis, quantum mechanics, and the theory of partial differential equations.

The power of function spaces lies in their ability to treat functions as geometric objects. A function can be close to another function in one norm but far in another, and the choice of norm — whether supremum, L¹, L², or something else — determines what kinds of approximation and convergence are meaningful. The study of function spaces is inseparable from functional analysis, and their completeness properties distinguish Banach spaces from incomplete spaces where limits may not exist.