PlanetMath: tensor transformations

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (192)
Orphanage
Unclass'd
Unproven (496)
Corrections (23)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

tensor transformations

(Derivation)

The present entry employs the terminology and notation defined and described in the entry on tensor arrays and basic tensors. To keep things reasonably self contained we mention that the symbol $\mathrm{T}^{p,q}$ refers to the vector space of type tensor arrays, i.e. maps

$\displaystyle I^p\times I^q\rightarrow \mathbb{K},$

where

is some finite list of index labels, and where $\mathbb{K}$ is a field. The symbols $\varepsilon _{(i)}, \varepsilon ^{(i)},\; i\in I$ refer to the column and row vectors giving the natural basis of $\mathrm{T}^{1,0}$ and $\mathrm{T}^{0,1}$ , respectively.

Let and be two finite lists of equal cardinality, and let

$\displaystyle T:\mathbb{K}^I\rightarrow\mathbb{K}^J$

be a linear isomorphism. Every such isomorphism is uniquely represented by an invertible matrix

$\displaystyle M:J\times I\rightarrow \mathbb{K}$

with entries given by

$\displaystyle M^{j}_{\!\hphantom{j}i} = \left(T\varepsilon _{(i)}\right)^j,\quad i\in I,\; j\in J.$

In other words, the action of

is described by the following substitutions

$\displaystyle \varepsilon _{(i)} \mapsto \sum_{j\in J} M^{j}_{\!\hphantom{j}i}\, \varepsilon _{(j)},\quad i\in I.$

(1)

Equivalently, the action of

is given by matrix-multiplication of column vectors in $\mathbb{K}^I$ by

The corresponding substitutions relations for the type tensors involve the inverse matrix $M^{-1}: I\times J\rightarrow \mathbb{K},$ and take the form ¹

$\displaystyle \varepsilon ^{(i)} \mapsto \sum_{j\in J} \left(M^{-1} \right)^{i}_{\!\hphantom{i}j}\, \varepsilon ^{(j)},\quad i\in I.$

(2)

The rules for type substitutions are what they are, because of the requirement that the $\varepsilon _{(i)}$ and $\varepsilon ^{(i)}$ remain dual bases even after the substitution. In other words we want the substitutions to preserve the relations

$\displaystyle \varepsilon ^{(i_1)}\varepsilon _{(i_2)} = \delta^{\,i_1}_{\;i_2},\quad i_1, i_2\in I,$

where the left-hand side of the above equation features the inner product and the right-hand side the Kronecker delta. Given that the vector basis transforms as in (1) and given the above constraint, the substitution rules for the linear form basis, shown in (2), are the only such possible.

The classical terminology of contravariant and covariant indices is motivated by thinking in term of substitutions. Thus, suppose we perform a linear substitution and change a vector, i.e. a type tensor, $X\in \mathbb{K}^I$ into a vector $Y\in \mathbb{K}^J$ . The indexed values of the former and of the latter are related by

$\displaystyle Y^j = \sum_{i\in I} M^{j}_{\!\hphantom{j}i}\, X^i,\quad j\in J.$

(3)

Thus, we see that the “transformation rule” for indices is contravariant to the substitution rule (1) for basis vectors.

In modern terms, this contravariance is best described by saying that the dual space space construction is a contravariant functor ². In other words, the substitution rule for the linear forms, i.e. the type tensors, is contravariant to the substitution rule for vectors:

$\displaystyle \varepsilon ^{(j)} \mapsto \sum_{i\in I} M^{j}_{\!\hphantom{j}i}\, \varepsilon ^{(i)},\quad j\in J,$

(4)

in full agreement with the relation shown in (2). Everything comes together, and equations (3) and (4) are seen to be one and the same, once we remark that tensor array values can be obtained by contracting with characteristic arrays. For example,

$\displaystyle X^i = \varepsilon ^{(i)}(X),\quad i\in I; \qquad Y^j = \varepsilon ^{(j)}(Y),\quad j\in J.$

Finally we must remark that the transformation rule for covariant indices involves the inverse matrix $M^{-1}$ . Thus if $\alpha\in \mathrm{T}^{0,1}(I)$ is transformed to a $\beta\in \mathrm{T}^{0,1}$ the indices will be related by

$\displaystyle \beta_j = \sum_{i\in I} \left(M^{-1}\right)^{i}_{\!\hphantom{i}j}\, \alpha_i,\quad j\in J.$

The most general transformation rule for tensor array indices is therefore the following: the indexed values of a tensor array $X\in \mathrm{T}^{p,q}(I)$ and the values of the transformed tensor array $Y\in\mathrm{T}^{p,q}(J)$ are related by

$\displaystyle Y^{\!j_1\ldots j_p}_{\;l_1\ldots l_q} = \!\! \sum_{\genfrac{}{}{0... ...dot\cdot \left(M^{-1} \right)^{\!k_q}_{l_q} X^{i_1\ldots i_p}_{k_1\ldots k_q},$

for all possible choice of indices $\quad j_1,\ldots j_p,l_1,\ldots, l_q \in J.$ Debauche of indices, indeed!

Footnotes

... form ¹: The above relations describe the action of the dual homomorphism of the inverse transformation
$\displaystyle \left(T^{-1} \right)^*: \left(\mathbb{K}^I \right)^* \rightarrow \left(\mathbb{K}^J \right)^*.$
...²: See the entry on the dual homomorphism.

"tensor transformations" is owned by rmilson.

(view preamble)

This object's parent.

Log in to rate this entry.
(view current ratings)

Cross-references: contravariant functor, dual space, term, indices, linear form, Transforms, vector, Kronecker delta, inner product, equation, side, preserve, even, bases, transformation, dual homomorphism, inverse, tensors, relations, column vectors, action, matrix, invertible, isomorphism, linear isomorphism, cardinality, basis, row vectors, column, field, labels, index, finite, maps, type, vector space, contained, basic tensors, tensor arrays
There is 1 reference to this entry.

This is version 1 of tensor transformations, born on 2002-05-27.
Object id is 2952, canonical name is TensorTransformations.
Accessed 3810 times total.

Classification:

AMS MSC:

15A69 (Linear and multilinear algebra; matrix theory :: Multilinear algebra, tensor products)

Pending Errata and Addenda

None.

Discussion

forum policy

No messages.

Interact

post | correct | update request | add example | add (any)