<?xml version="1.0" encoding="UTF-8"?>

<record version="5" id="1608">
 <title>linear functional</title>
 <name>LinearFunctional</name>
 <created>2002-01-24 13:46:26</created>
 <modified>2007-01-17 05:39:35</modified>
 <type>Definition</type>
 <creator id="2760" name="yark"/>
 <author id="2760" name="yark"/>
 <author id="27" name="Evandar"/>
 <classification>
	<category scheme="msc" code="15A99"/>
 </classification>
 <synonyms>
	<synonym concept="linear functional" alias="linear form"/>
 </synonyms>
 <related>
	<object name="DualSpace"/>
	<object name="CalculusOfVariations"/>
	<object name="AdditiveFunction2"/>
	<object name="MultiplicativeLinearFunctional"/>
 </related>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
</preamble>
 <content>\PMlinkescapeword{scalar}
\PMlinkescapeword{term}

Let $V$ be a vector space over a field $K$.
A \emph{linear functional} (or \emph{linear form}) on $V$
is a linear mapping $\phi\colon V\to K$,
where $K$ is thought of as a one-dimensional vector space over itself.

The collection of all linear functionals on $V$
can be made into a vector space
by defining addition and scalar multiplication pointwise;
this vector space is called the dual space of $V$.

The term {\it linear functional} derives from
the case where $V$ is a space of functions
(see the entry on \PMlinkname{functionals}{Functional}).
Some authors restrict the term to this case.</content>
</record>
