In mathematics, a linear form (also known as a linear functional, a one-form, or a covector) is a linear map from a vector space to its field of scalars (often, the real numbers or the complex numbers).
If V is a vector space over a field k, the set of all linear functionals from V to k is itself a vector space over k with addition and scalar multiplication defined pointwise. This space is called the dual space of V, or sometimes the algebraic dual space, when a topological dual space is also considered. It is often denoted Hom(V, k), or, when the field k is understood, ; other notations are also used, such as , or When vectors are represented by column vectors (as is common when a basis is fixed), then linear functionals are represented as row vectors, and their values on specific vectors are given by matrix products (with the row vector on the left).
The constant zero function, mapping every vector to zero, is trivially a linear functional. Every other linear functional (such as the ones below) is surjective (that is, its range is all of k).
Indexing into a vector: The second element of a three-vector is given by the one-form That is, the second element of is
Mean: The mean element of an -vector is given by the one-form That is,
Sampling: Sampling with a can be considered a one-form, where the one-form is the kernel shifted to the appropriate location.
Net present value of a net cash flow, is given by the one-form where is the discount rate. That is,
Suppose that vectors in the real coordinate space are represented as column vectors
For each row vector there is a linear functional defined by
and each linear functional can be expressed in this form.
This can be interpreted as either the matrix product or the dot product of the row vector and the column vector :
The trace of a square matrix is the sum of all elements on its main diagonal. Matrices can be multiplied by scalars and two matrices of the same dimension can be added together; these operations make a vector space from the set of all matrices.