Katana VentraIP

Linear form

In mathematics, a linear form (also known as a linear functional,[1] a one-form, or a covector) is a linear map[nb 1] 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),[2] or, when the field k is understood, ;[3] other notations are also used, such as ,[4][5] or [2] 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).

Indexing into a vector: The second element of a three-vector is given by the one-form That is, the second element of is

: The mean element of an -vector is given by the one-form That is,

Mean

: Sampling with a kernel can be considered a one-form, where the one-form is the kernel shifted to the appropriate location.

Sampling

of a net cash flow, is given by the one-form where is the discount rate. That is,

Net present value

Applications[edit]

Application to quadrature[edit]

If are distinct points in [a, b], then the linear functionals defined above form a basis of the dual space of Pn, the space of polynomials of degree The integration functional I is also a linear functional on Pn, and so can be expressed as a linear combination of these basis elements. In symbols, there are coefficients for which for all This forms the foundation of the theory of numerical quadrature.[6]

In quantum mechanics[edit]

Linear functionals are particularly important in quantum mechanics. Quantum mechanical systems are represented by Hilbert spaces, which are antiisomorphic to their own dual spaces. A state of a quantum mechanical system can be identified with a linear functional. For more information see bra–ket notation.

Distributions[edit]

In the theory of generalized functions, certain kinds of generalized functions called distributions can be realized as linear functionals on spaces of test functions.

If is a complex with a (complex) inner product that is antilinear in its first coordinate (and linear in the second) then becomes a real Hilbert space when endowed with the real part of Explicitly, this real inner product on is defined by for all and it induces the same norm on as because for all vectors Applying the Riesz representation theorem to (resp. to ) guarantees the existence of a unique vector (resp. ) such that (resp. ) for all vectors The theorem also guarantees that and It is readily verified that Now and the previous equalities imply that which is the same conclusion that was reached above.

Hilbert space

Discontinuous linear map

 – A vector space with a topology defined by convex open sets

Locally convex topological vector space

 – ordered vector space with a partial order

Positive linear functional

 – Map from multiple vectors to an underlying field of scalars, linear in each argument

Multilinear form

 – Vector space with a notion of nearness

Topological vector space

(2015), Linear Algebra Done Right, Undergraduate Texts in Mathematics (3rd ed.), Springer, ISBN 978-3-319-11079-0

Axler, Sheldon

; Goldberg, Samuel (1980), "Chapter 4", Tensor Analysis on Manifolds, Dover Publications, ISBN 0-486-64039-6

Bishop, Richard

(1990). A course in functional analysis. Graduate Texts in Mathematics. Vol. 96 (2nd ed.). New York: Springer-Verlag. ISBN 978-0-387-97245-9. OCLC 21195908.

Conway, John

Dunford, Nelson (1988). Linear operators (in Romanian). New York: Interscience Publishers.  0-471-60848-3. OCLC 18412261.

ISBN

(1974), Finite-Dimensional Vector Spaces, Undergraduate Texts in Mathematics (1958 2nd ed.), Springer, ISBN 0-387-90093-4

Halmos, Paul Richard

; Katznelson, Yonatan R. (2008), A (Terse) Introduction to Linear Algebra, American Mathematical Society, ISBN 978-0-8218-4419-9

Katznelson, Yitzhak

(1996), Linear algebra, Wiley-Interscience, ISBN 978-0-471-11111-5

Lax, Peter

; Thorne, Kip S.; Wheeler, John A. (1973), Gravitation, W. H. Freeman, ISBN 0-7167-0344-0

Misner, Charles W.

Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press.  978-1584888666. OCLC 144216834.

ISBN

(1991). Functional Analysis. International Series in Pure and Applied Mathematics. Vol. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277.

Rudin, Walter

; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.

Schaefer, Helmut H.

(1985), "Chapter 3", A first course in general relativity, Cambridge, UK: Cambridge University Press, ISBN 0-521-27703-5

Schutz, Bernard

(2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.

Trèves, François

(2011), An Introduction to Manifolds, Universitext (2nd ed.), Springer, ISBN 978-0-8218-4419-9

Tu, Loring W.

(2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.

Wilansky, Albert