In linear algebra and functional analysis, a linear functional (often just functional for short) is a function from a vector space to the ground field . (This is a functional in the sense of higher-order logic if the elements of are themselves functions.) Then a linear functional is a linear such function, that is a morphism in -Vect. In the case that is a topological vector space, a continuous linear functional is a continuous such map (and so a morphism in the category TVS). When is a Banach space, we speak of bounded linear functionals, which are the same as the continuous ones. In an algebraic context, one may also use the term linear form, especially to distinguish from bilinear forms, quadratic forms, and the like.
In a sense, linear functionals are co-probes for vector spaces. If the vector space in question has finite dimension and is equipped with a basis, then all linear functionals are linear combinations of the coordinate projections. These projections comprise the dual basis.
In infinite-dimensional topological vector spaces, the notion of dual basis breaks down once spaces more general than Hilbert spaces are considered. But for locally convex spaces, the Hahn–Banach theorem ensures the existence of ‘enough’ continuous linear functionals. Among non-LCSes, however, there are examples such that the only continuous linear functional is the constant map onto .
Last revised on November 13, 2017 at 11:27:21. See the history of this page for a list of all contributions to it.