Editing Linear form (section)

===Basis of the dual space===
Let the vector space {{mvar|V}} have a basis <math>\mathbf{e}_1, \mathbf{e}_2,\dots,\mathbf{e}_n</math>, not necessarily [[orthogonal]]. Then the [[dual space]] <math>V^*</math> has a basis <math>\tilde{\omega}^1,\tilde{\omega}^2,\dots,\tilde{\omega}^n</math> called the [[dual basis]] defined by the special property that
<math display="block"> \tilde{\omega}^i (\mathbf e_j) = \begin{cases}
1 &\text{if}\ i = j\\
0 &\text{if}\ i \neq j.
\end{cases} </math>

Or, more succinctly,
<math display="block"> \tilde{\omega}^i (\mathbf e_j) = \delta_{ij} </math>

where <math>\delta_{ij}</math> is the [[Kronecker delta]]. Here the superscripts of the basis functionals are not exponents but are instead [[Covariance and contravariance of vectors|contravariant]] indices.

A linear functional <math>\tilde{u}</math> belonging to the dual space <math>\tilde{V}</math> can be expressed as a [[linear combination]] of basis functionals, with coefficients ("components") {{math|''u<sub>i</sub>''}},
<math display="block">\tilde{u} = \sum_{i=1}^n u_i \, \tilde{\omega}^i. </math>

Then, applying the functional <math>\tilde{u}</math> to a basis vector <math>\mathbf{e}_j</math> yields
<math display="block">\tilde{u}(\mathbf e_j) = \sum_{i=1}^n \left(u_i \, \tilde{\omega}^i\right) \mathbf e_j = \sum_i u_i \left[\tilde{\omega}^i \left(\mathbf e_j\right)\right] </math>

due to linearity of scalar multiples of functionals and pointwise linearity of sums of functionals. Then
<math display="block">\begin{align}
  \tilde{u}({\mathbf e}_j)
&= \sum_i u_i \left[\tilde{\omega}^i \left({\mathbf e}_j\right)\right] \\&
= \sum_i u_i {\delta}_{ij} \\
&= u_j.
\end{align}</math>

So each component of a linear functional can be extracted by applying the functional to the corresponding basis vector.