PlanetMath: tensor product (vector spaces)

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (200)
Orphanage
Unclass'd
Unproven (511)
Corrections (9)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

tensor product (vector spaces)

(Definition)

Definition. The classical conception of the tensor product operation involved finite dimensional vector spaces , , say over a field $\mathbb{K}$ . To describe the tensor product $A\otimes B$ one was obliged to chose bases

$\displaystyle \mathbf{a}_i\in A,\; i\in I,\quad \mathbf{b}_j\in B,\; j\in J$

and

indexed by finite sets

and

, respectively, and represent elements of $\mathbf{a}\in A$ and $\mathbf{b}\in B$ by their coordinates relative to these bases, i.e. as mappings $a:I\rightarrow \mathbb{K}$ and $b:J\rightarrow \mathbb{K}$ such that

$\displaystyle \mathbf{a}= \sum_{i\in I} a^i \mathbf{a}_i,\qquad \mathbf{b}=\sum_{j\in J} b^j \mathbf{b}_j.$

One then represented $A\otimes B$ relative to this particular choice of bases as the vector space of mappings $c:I\times J\rightarrow \mathbb{K}$ . These mappings were called “second-order contravariant tensors” and their values were customarily denoted by superscripts, a.k.a. contravariant indices:

$\displaystyle c^{ij}\in \mathbb{K},\quad i\in I,\; j\in J.$

The canonical bilinear multiplication (also known as outer multiplication)

$\displaystyle \otimes:A\times B\rightarrow A\otimes B$

was defined by representing $\mathbf{a}\otimes \mathbf{b}$ , relative to the chosen bases, as the tensor

$\displaystyle c^{ij} = a^ib^j,\quad i\in I,\;j\in J.$

In this system, the products

$\displaystyle \mathbf{a}_i\otimes \mathbf{b}_j,\quad i\in I,\; j\in J$

were represented by basic tensors, specified in terms of the Kronecker deltas as the mappings

$\displaystyle (i',j')\mapsto \delta^{i'}_i \delta^{j'}_j,\quad i'\in I,\; j'\in J.$

These gave a basis of $A\otimes B$ .

The construction is independent of the choice of bases in the following sense. Let

$\displaystyle \mathbf{a}'_i\in A,\; i\in I',\qquad \mathbf{b}'_j\in B,\; j\in J'$

be different bases of

and

with indexing sets

and

respectively. Let

$\displaystyle r:I\times I'\rightarrow \mathbb{K},\qquad s:J\times J'\rightarrow \mathbb{K},$

be the corresponding change of basis matrices determined by

$\displaystyle \mathbf{a}'_{{i'}}$	$\displaystyle = \sum_{i\in I} \left(r^i_{i'}\right)\mathbf{a}_i,\quad {i'}\in I'$
$\displaystyle \mathbf{b}'_{{j'}}$	$\displaystyle = \sum_{j\in I} \left(s^j_{j'}\right)\mathbf{b}_j,\quad {j'}\in J'.$

One then stipulated that tensors $c:I\times J\rightarrow \mathbb{K}$ and $c':I'\times J'\rightarrow \mathbb{K}$ represent the same element of $A\otimes B$ if

$\displaystyle c^{ij} = \sum_{\genfrac{}{}{0pt}{}{i'\in I'}{j'\in J'}} \left(r^i_{i'}\right)\left(s^j_{j'}\right)(c')^{i'j'}$

(1)

for all $i\in I, j\in J$ . This relation corresponds to the fact that the products

$\displaystyle \mathbf{a}'_i\otimes \mathbf{b}'_j,\quad i\in I',\; j\in J'$

constitute an alternate basis of $A\otimes B$ , and that the change of basis relations are

$\displaystyle \mathbf{a}'_{i'}\otimes \mathbf{b}'_{j'}= \sum_{\genfrac{}{}{0pt}... ...s^j_{j'}\right)\mathbf{a}_i\otimes \mathbf{b}_j,\quad {i'}\in I',\; {j'}\in J'.$

(2)

Notes. Historically, the tensor product was called the outer product, and has its origins in the absolute differential calculus (the theory of manifolds). The old-time tensor calculus is difficult to understand because it is afflicted with a particularly lethal notation that makes coherent comprehension all but impossible. Instead of talking about an element $\mathbf{a}$ of a vector space, one was obliged to contemplate a symbol $\mathbf{a}^i$ , which signified a list of real numbers indexed by $1,2,\ldots,n$ , and which was understood to represent $\mathbf{a}$ relative to some specified, but unnamed basis.

What makes this notation truly lethal is the fact a symbol $\mathbf{a}^j$ was taken to signify an alternate list of real numbers, also indexed by $1,\ldots, n$ , and also representing $\mathbf{a}$ , albeit relative to a different, but equally unspecified basis. Note that the choice of dummy variables make all the difference. Any sane system of notation would regard the expression

$\displaystyle \mathbf{a}^i,\quad i=1,\ldots,n$

as representing a list of

symbols

$\displaystyle \mathbf{a}^1,\mathbf{a}^2,\ldots,\mathbf{a}^n.$

However, in the classical system, one was strictly forbidden from using

$\displaystyle \mathbf{a}^1,\mathbf{a}^2,\ldots,\mathbf{a}^n$

because where, after all, is the all important dummy variable to indicate choice of basis?

Thankfully, it is possible to shed some light onto this confusion (I have read that this is credited to Roger Penrose) by interpreting the symbol $\mathbf{a}^i$ as a mapping from some finite index set to $\mathbb{R}$ , whereas $\mathbf{a}^j$ is interpreted as a mapping from another finite index set (of equal cardinality) to $\mathbb{R}$ .

My own surmise is that the source of this notational difficulty stems from the reluctance of the ancients to deal with geometric objects directly. The prevalent superstition of the age held that in order to have meaning, a geometric entity had to be measured relative to some basis. Of course, it was understood that geometrically no one basis could be preferred to any other, and this leads directly to the definition of geometric entities as lists of measurements modulo the equivalence engendered by changing the basis.

It is also worth remarking on the contravariant nature of the relationship between the actual elements of $A\otimes B$ and the corresponding representation by tensors relative to a basis -- compare equations (1) and (2). This relationship is the source of the terminology “contravariant tensor” and “contravariant index”, and I surmise that it is this very medieval pit of darkness and confusion that spawned the present-day notion of “contravariant functor”.

References.

Levi-Civita, “The Absolute Differential Calculus.”

"tensor product (vector spaces)" is owned by rmilson.

(view preamble)