Linear functional

Linear functional
This article deals with linear maps from a vector space to its field of scalars.  These maps may be functionals in the traditional sense of functions of functions, but this is not necessarily the case.

In linear algebra, a linear functional or linear form (also called a one-form or covector) is a linear map from a vector space to its field of scalars.  In Rn, if vectors are represented as column vectors, then linear functionals are represented as row vectors, and their action on vectors is given by the dot product, or the matrix product with the row vector on the left and the column vector on the right.  In general, if V is a vector space over a field k, then a linear functional ƒ is a function from V to k, which is linear:

f(\vec{v}+\vec{w}) = f(\vec{v})+f(\vec{w}) for all \vec{v}, \vec{w}\in V
f(a\vec{v}) = af(\vec{v}) for all \vec{v}\in V, a\in k.

The set of all linear functionals from V to k, Homk(V,k), is itself a vector space over k.  This space is called the dual space of V, or sometimes the algebraic dual space, to distinguish it from the continuous dual space.  It is often written V* or \textstyle{V'} when the field k is understood.

Contents

Continuous linear functionals

If V is a topological vector space, the space of continuous linear functionals — the continuous dual — is often simply called the dual space.  If V is a Banach space, then so is its (continuous) dual.  To distinguish the ordinary dual space from the continuous dual space, the former is sometimes called the algebraic dual.  In finite dimensions, every linear functional is continuous, so the continuous dual is the same as the algebraic dual, although this is not true in infinite dimensions.

Examples and applications

Linear functionals in Rn

Suppose that vectors in the real coordinate space Rn are represented as column vectors

\vec{x} = \begin{bmatrix}x_1\\ \vdots\\ x_n\end{bmatrix}.

Then any linear functional can be written in these coordinates as a sum of the form:

f(\vec{x}) = a_1x_1 + \cdots + a_n x_n.

This is just the matrix product of the row vector [a1 ... an] and the column vector \vec{x}:

f(\vec{x}) = [a_1 \dots a_n] \begin{bmatrix}x_1\\ \vdots\\ x_n\end{bmatrix}.

Integration

Linear functionals first appeared in functional analysis, the study of vector spaces of functions.  A typical example of a linear functional is integration: the linear transformation defined by the Riemann integral

I(f) = \int_a^b f(x)\, dx

is a linear functional from the vector space C[a,b] of continuous functions on the interval [ab] to the real numbers.  The linearity of I(ƒ) follows from the standard facts about the integral:

I(f+g) = \int_a^b(f(x)+g(x))\, dx
= \int_a^b f(x)\, dx + \int_a^b g(x)\, dx = I(f)+I(g)
I(\alpha f) = \int_a^b \alpha f(x)\, dx
= \alpha\int_a^b f(x)\, dx = \alpha I(f).

Evaluation

Let Pn denote the vector space of real-valued polynomials of degree ≤n defined on an interval [a,b].  If c ∈ [ab], then let evc : Pn → R be the evaluation functional:

evcf = f(c).

The mapping ƒ → ƒ(c) is linear since

(f + g)(c) = f(c) + g(c)
f)(c) = αf(c).

If x0, ..., xn are n+1 distinct points in [a,b], then the evaluation functionals evxi, i=0,1,...,n form a basis of the dual space of Pn.  (Lax (1996) proves this last fact using Lagrange interpolation.)

Application to quadrature

The integration functional I defined above defines a linear functional on the subspace Pn of polynomials of degree ≤ n.  If x0, …, xn are n+1 distinct points in [ab], then there are coefficients a0, …, an for which

I(f) = a_0 f(x_0) + a_1 f(x_1) + \dots + a_n f(x_n)

for all ƒ ∈ Pn.  This forms the foundation of the theory of numerical quadrature.

This follows from the fact that the linear functionals evxi : ƒ → ƒ(xi) defined above form a basis of the dual space of Pn (Lax 1996).

Linear functionals in quantum mechanics

Linear functionals are particularly important in quantum mechanics.  Quantum mechanical systems are represented by Hilbert spaces, which are anti-isomorphic 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

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

Properties

  • Any linear functional is either trivial (equal to 0 everywhere) or surjective onto the scalar field.  Indeed, this follows since the image of a vector subspace under a linear transformation is a subspace, so is the image of V under L.  But the only subspaces (i.e., k-subspaces) of k are {0} and k itself.
  • A linear functional is continuous if and only if its kernel is closed (Rudin 1991, Theorem 1.18).
  • Linear functionals with the same kernel are proportional.
  • The absolute value of any linear functional is a seminorm on its vector space.

Dual vectors and bilinear forms

Every non-degenerate bilinear form on a finite-dimensional vector space V gives rise to an isomorphism from V to V*. Specifically, denoting the bilinear form on V by ( , ) (for instance in Euclidean space (v,w) = vw is the dot product of v and w), then there is a natural isomorphism V\to V^*:v\mapsto v^* given by

 v^*(w) := \langle v,  w\rangle. \,

The inverse isomorphism is given by V^* \to V : f \mapsto f^* where ƒ* is the unique element of V for which for all w ∈ V

 \langle f^*, w\rangle = f(w). \,

The above defined vector v* ∈ V* is said to be the dual vector of v ∈ V.

In an infinite dimensional Hilbert space, analogous results hold by the Riesz representation theorem.  There is a mapping V → V* into the continuous dual space V*.  However, this mapping is antilinear rather than linear.

Visualizing linear functionals

In finite dimensions, a linear function can be visualized in terms of its level sets.  In three dimensions, the level sets of a linear functional are a family of mutually parallel planes; in higher dimensions, they are parallel hyperplanes.  This method of visualizing linear functionals is sometimes introduced in general relativity texts, such as Misner, Thorne & Wheeler (1973).

Bases in finite dimensions

Basis of the dual space in finite dimensions

Let the vector space V have a basis \vec{e}_1, \vec{e}_2,\dots,\vec{e}_n, not necessarily orthogonal.  Then the dual space V* has a basis \tilde{\omega}^1,\tilde{\omega}^2,\dots,\tilde{\omega}^n called the dual basis defined by the special property that

 \tilde{\omega}^i (\vec e_j) = \left\{\begin{matrix} 1 &\mathrm{if}\ i=j\\ 0 &\mathrm{if}\ i\not=j.\end{matrix}\right.

Or, more succinctly,

 \tilde{\omega}^i (\vec e_j) = \delta^i_j

where δ is the Kronecker delta.  Here the superscripts of the basis functionals are not exponents but are instead contravariant indices.

A linear functional \tilde{u} belonging to the dual space \tilde{V} can be expressed as a linear combination of basis functionals, with coefficients ("components") ui ,

\tilde{u} = \sum_{i=1}^n u_i \, \tilde{\omega}^i.

Then, applying the functional \tilde{u} to a basis vector ej yields

\tilde{u}(\vec e_j) = \sum_{i=1}^n (u_i \, \tilde{\omega}^i) \vec e_j = \sum_i u_i (\tilde{\omega}^i (\vec e_j))

due to linearity of scalar multiples of functionals and pointwise linearity of sums of functionals.  Then

 \tilde{u}({\vec e}_j) = \sum_i u_i (\tilde{\omega}^i ({\vec e}_j)) = \sum_i u_i \delta^i {}_j = u_j

that is

\tilde{u} (\vec e_j) = u_j.

This last equation shows that an individual component of a linear functional can be extracted by applying the functional to a corresponding basis vector.

The dual basis and inner product

When the space V carries an inner product, then it is possible to write explicitly a formula for the dual basis of a given basis.  Let V have (not necessarily orthogonal) basis \vec{e}_1,\dots, \vec{e}_n.  In three dimensions (n = 3), the dual basis can be written explicitly

 \tilde{\omega}^i(\vec{v}) = {1 \over 2} \, \left\langle  { \sum_{j=1}^3\sum_{k=1}^3\epsilon^{ijk} \, (\vec e_j \times \vec e_k) \over \vec  e_1 \cdot \vec e_2 \times \vec e_3} , \vec{v} \right\rangle.

for i=1,2,3, where \epsilon\,\! is the Levi-Civita symbol and \langle,\rangle the inner product (or dot product) on V.

In higher dimensions, this generalizes as follows

 \tilde{\omega}^i(\vec{v}) = 
\left\langle
\frac{\underset{{}^{1\le i_2<i_3<\dots<i_n\le n}}{\sum}\epsilon^{ii_2\dots i_n}(\star \vec{e}_{i_2}\wedge\dots\wedge\vec{e}_{i_n})}{\star(\vec{e}_1\wedge\dots\wedge\vec{e}_n)}, \vec{v}
\right\rangle

where \star is the Hodge star operator.

See also

References

  • Bishop, Richard; Goldberg, Samuel (1980), "Chapter 4", Tensor Analysis on Manifolds, Dover Publications, ISBN 0-486-64039-6 
  • Halmos, Paul (1974), Finite dimensional vector spaces, Springer, ISBN 0387900934 
  • Lax, Peter (1996), Linear algebra, Wiley-Interscience, ISBN 978-0471111115 
  • Misner, Charles W.; Thorne, Kip. S.; Wheeler, John A. (1973), Gravitation, W. H. Freeman, ISBN 0-7167-0344-0 
  • Rudin, Walter (1991), Functional Analysis, McGraw-Hill Science/Engineering/Math, ISBN 978-0-07-054236-5 
  • Schutz, Bernard (1985), "Chapter 3", A first course in general relativity, Cambridge University Press, ISBN 0-521-27703-5 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • linear functional — noun A linear mapping from a vector space to its field of scalars. Syn: covector …   Wiktionary

  • Positive linear functional — In mathematics, especially in functional analysis, a positive linear functional on an ordered vector space ( V , ≤) is a linear functional f on V so that for all positive elements v of V , that is v ge;0, it holds that:f(v)geq 0.In other words, a …   Wikipedia

  • positive linear functional — noun A kind of linear functional which returns a non negative scalar when fed a non negative function as parameter …   Wiktionary

  • Functional (mathematics) — In mathematics, a functional is traditionally a map from a vector space to the field underlying the vector space, which is usually the real numbers. In other words, it is a function that takes a vector as its argument or input and returns a… …   Wikipedia

  • Linear algebra — R3 is a vector (linear) space, and lines and planes passing through the origin are vector subspaces in R3. Subspaces are a common object of study in linear algebra. Linear algebra is a branch of mathematics that studies vector spaces, also called …   Wikipedia

  • Functional-theoretic algebra — In mathematics, a functional theoretic algebra is a unital associative algebra whose multiplication is defined by the action of two linear functionals.Let AF be a vector space over a field F , and let L 1 and L 2 be two linear functionals on AF… …   Wikipedia

  • Functional integration — You may also be looking for functional integration (neurobiology) or functional integration (sociology). Functional integration is a collection of results in mathematics and physics where the domain of an integral is no longer a region of space,… …   Wikipedia

  • Linear map — In mathematics, a linear map, linear mapping, linear transformation, or linear operator (in some contexts also called linear function) is a function between two vector spaces that preserves the operations of vector addition and scalar… …   Wikipedia

  • Linear inequality — In mathematics a linear inequality is an inequality which involves a linear function.Formal definitionsWhen operating in terms of real numbers, linear inequalities are the ones written in the forms: f(x) < b ext{ or }f(x) leq b,where f(x) is a… …   Wikipedia

  • Functional decomposition — refers broadly to the process of resolving a functional relationship into its constituent parts in such a way that the original function can be reconstructed (i.e., recomposed) from those parts by function composition. In general, this process of …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”