View source for Tensors/Bases, components, and dual spaces

[[Image:Wikiversity-logo-Snorky.svg|right|thumb|80px|[[school:Mathematics|Mathematics]]]]
[[Image:Wikipedia-logo-en.png|right|thumb|80px|[[W:Tensor|Tensor]]]]
{{Template:mathematics}}
{{Template:physics}}
{{Template:secondary education}}
{{Template:tertiary education}}

:::::''This article presumes that the reader has read [[Tensors/Definitions]]''.

:::::''In this article, all vector spaces are real and finite-dimensional''.

This article discusses the space of linear forms (that is, linear, real-valued, functions of vectors) and the space of linear, real-valued, functions of linear forms.  Recall from [[Tensors/Definitions|Definitions]] that another name for a linear, real-valued, functions of linear forms is a ''1<sup>st</sup> rank contravariant tensor''.

The goal of this article is to show that a linear, real-valued, functions of linear forms is really just a vector in the original vector space, and that this association is completely natural.

First, a quick review of linear forms.  The set of linear forms is itself a [[vector space]], though it is not the same as the original vector space.  To be a vector space, it must
*have a zero element.  The zero form is just the form that gives a result of zero for any argument vector.

*allow scalar multiplication.  This is defined by <math>(\lambda\Phi)(V) = \lambda (\Phi(V))\,</math> for any scalar <math>\lambda\,</math>, any form <math>\Phi\,</math>, and any vector <math>V\,</math>.

*allow addition.  This is defined by <math>(\Phi+\Psi)(V) = \Phi(V) + \Psi(V)\,</math> for any forms <math>\Phi\,</math> and <math>\Psi\,</math> and any vector <math>V\,</math>.

Also, a quick review of some facts about vector spaces.  Every vector space has a ''basis'' (plural ''bases'', from the Latin), also sometimes called a "coordinate system"<ref>It's best not to use the term "coordinate system" for vector spaces, because of confusion when one gets into differential geometry and curvilinear coordinates.</ref>.  In fact, any vector space has many bases.  Each basis is just a set of '''N''' (3 for definiteness) ''basis vectors'' such that any vector is a ''linear combination'' of the basis vectors.  That is, any vector can be written as a sum of basis vectors with certain coefficients.  If we use the traditional notation for Cartesian basis vectors in 3-dimensional space, they are <math>\hat{x}</math>, <math>\hat{y}</math>, and  <math>\hat{z}</math>.  So any vector '''V''' can be written as a sum of those basis vectors, with certain coefficients, as in:
::<math>V = 5\ \hat{x} + 3\ \hat{y} - 2\ \hat{z}</math>
The numbers 5, 3, and -2 are the ''components'' of the vector.  In general, the components of '''V''' are written V<sup>1</sup>, V<sup>2</sup>, and V<sup>3</sup>.  So we can write:
::<math>V = V^1\ \hat{x} + V^2\ \hat{y} + V^3\ \hat{z}</math>

:::Once a basis for a vector space has been chosen, every vector is completely characterized by its components in that basis.  The components of a vector in a different basis will be different, even though it's the same vector.  If all of the vectors in a vector space can be expressed as a linear combination of a set of vectors, that set is said to "span" the vector space.

It needs to be pointed out that the concepts being discussed here, and tensor algebra in general, do '''not''' depend on the dimension being 3, do '''not''' depend on the basis being Cartesian or orthogonal, and do '''not''' depend on the basis vectors having length 1.  We are only using the common x/y/z basis as an example to make things look familiar to the reader.

Now the set of linear forms is itself a vector space, as noted above.  In fact, whenever one chooses a basis for the original vector space, there is a "natural" basis for the form space.  We will call that basis <math>\hat{e}</math>, <math>\hat{f}</math>, and  <math>\hat{g}</math>.  These basis forms are defined as the functions that pick out the corresponding component of their argument vector.
::<math>\hat{e}(V) = V^1</math> for any vector '''V'''.
::<math>\hat{f}(V) = V^2</math>
::<math>\hat{g}(V) = V^3</math>

Are these 3 forms a basis?  That is, can any form <math>\Phi\,</math> be expressed as a linear combination of <math>\hat{e}</math>, <math>\hat{f}</math>, and  <math>\hat{g}</math>?  Yes.  Given any form <math>\Phi\,</math>, let
::<math>\Phi_1 = \Phi(\hat{x})</math>
::<math>\Phi_2 = \Phi(\hat{y})</math>
::<math>\Phi_3 = \Phi(\hat{z})</math>
That is, apply the form <math>\Phi\,</math> to the corresponding basis vectors to get its components.

To show that these numbers are the components of <math>\Phi\,</math>, we must show that
::<math>\Phi = \Phi_1\ \hat{e} + \Phi_2\ \hat{f} + \Phi_3\ \hat{g}</math>
That is,
::<math>\Phi(V) = \Phi_1\ \hat{e}(V) + \Phi_2\ \hat{f}(V) + \Phi_3\ \hat{g}(V)</math> for any vector '''V'''.
Proof:  The right-hand-side is
::<math>\Phi(\hat{x})\ \hat{e}(V) + \Phi(\hat{y})\ \hat{f}(V) + \Phi(\hat{z})\ \hat{g}(V)</math>.

::<math>= \Phi(\hat{x})\ V^1 + \Phi(\hat{y})\ V^2 + \Phi(\hat{z})\ V^3</math>

::<math>= \Phi(V^1 \hat{x}) + \Phi(V^2 \hat{y}) + \Phi(V^3 \hat{z})</math> by linearity

::<math>= \Phi(V^1 \hat{x} + V^2 \hat{y} + V^3 \hat{z})</math> by linearity again

::<math>= \Phi(V)</math>

==Theorem: 1<sup>st</sup> rank contravariant tensors are just vectors, in a natural way==

Recall from [[Tensors/Definitions|Definitions]] that a 1<sup>st</sup> rank contravariant tensor <math>\mathcal{T}</math> is a linear, real-valued, function of linear forms.  That is, for any form <math>\Phi\,</math>, <math>\mathcal{T}(\Phi)\,</math> is a number.

Given a vector '''V''', there is a natural tensor <math>\mathcal{T}</math> that corresponds to it, given by
::<math>\mathcal{T}(\Phi) = \Phi(V)</math> for any form <math>\Phi\,</math>
But does this work the other way?  Given a contravariant tensor <math>\mathcal{T}</math>, can we come up with a vector '''V''' that corresponds to it in the same way?

We simply define '''V''' by its components, as follows:
::<math>V^1 = \mathcal{T}(\hat{e})</math>
::<math>V^2 = \mathcal{T}(\hat{f})</math>
::<math>V^3 = \mathcal{T}(\hat{g})</math>
That's all there is to it!  We need to show that, with this definition of '''V''', we have
::<math>\mathcal{T}(\Phi) = \Phi(V)</math> for all forms <math>\Phi\,</math>

Let the components of <math>\Phi\,</math> be <math>\Phi_1\,</math>, <math>\Phi_2\,</math>, and <math>\Phi_3\,</math>, as usual.
::<math>\Phi(V) = (\Phi_1\ \hat{e} + \Phi_2\ \hat{f} + \Phi_3\ \hat{g})(V)</math>

::<math>= \Phi_1\ \hat{e}(V) + \Phi_2\ \hat{f}(V) + \Phi_3\ \hat{g}(V)</math>

::<math>= \Phi_1\ V^1 + \Phi_2\ V^2 + \Phi_3\ V^3</math>

::<math>= \Phi_1\ \mathcal{T}(\hat{e}) + \Phi_2\ \mathcal{T}(\hat{f}) + \Phi_3\ \mathcal{T}(\hat{g})</math>

::<math>= \mathcal{T}(\Phi_1\ \hat{e} + \Phi_2\ \hat{f} + \Phi_3\ \hat{g})</math>

::<math>= \mathcal{T}(\Phi)</math>

Note that we required that the vector space have a basis, and that the basis be finite-dimensional (that's why the disclaimer at the top of the page.)  But the result is independent of the basis&mdash;once we have found '''V''', it corresponds to <math>\mathcal{T}</math> in a natural way that does not depend on the basis chosen.

<br>
By the way, the formula
::<math>\Phi(V) = \sum_{i=1}^3\Phi_i\ V^i</math>
will come in handy in the next article.

<br>
What we have proved is the "double dual" theorem.  For any vector space, its ''dual space'' is the space of linear forms on the original vectors.  A 1<sup>st</sup> rank contravariant tensor is actually a linear form on the dual space, so it is an element of the dual space of the dual space.  The double dual theorem says that the the double dual space is the same as the original space&mdash;there is a natural correspondence between vectors and forms on forms.  The double dual theorem is ''not true'' if the vector space is not finite-dimensional.  (An example of an infinite-dimensional vector space is the space of real-valued functions of real numbers.)
{| cellspacing="0" cellpadding="0" style="margin:3em 0em 3em 3em; width:75%"
| style="vertical-align:top; border:1px solid Indigo; background-color:Lavender;" |
<div style="border-bottom:1px solid Indigo; background-color:#C0C0FA; padding:0.2em 0.5em 0.2em 0.5em; font-size:110%; font-weight:bold;">'''Why on Earth are we writing vector components with superscripts instead of subscripts?'''</div>
<div style="padding:0.4em 1em 0.3em 1em;">
The reader may have noticed the notational peculiarity of using superscripts for vector components.  This is the convention when working with tensors.  It is an aspect of "index notation."  One would do well to get used to this if one is interested in the study of tensors.  It makes many manipulations very simple in their presentation, as will be seen in the next article.
</div>
|}

The next article in this series is [[Tensors/Calculations with index notation]].

{{clear}}
==See also==
*[[Tensors/Definitions]]
*[[Tensors/Calculations with index notation]]
*[[Tensors/Transformation rule under a change of basis]]

==Footnotes==
<references />

[[Category:Physics]]
[[Category:Mathematics]]