Tables for
Volume D
Physical properties of crystals
Edited by A. Authier

International Tables for Crystallography (2006). Vol. D, ch. 1.1, p. 7

Section Tensor product

A. Authiera*

aInstitut de Minéralogie et de la Physique des Milieux Condensés, Bâtiment 7, 140 rue de Lourmel, 75015 Paris, France
Correspondence e-mail: Tensor product

| top | pdf |

Let us consider two vector spaces, [E_{n}] with n dimensions and [F_{p}] with p dimensions, and let there be two linear forms, [T({\bf x})] in [E_{n}] and [S({\bf y})] in [F_{p}]. We shall associate with these forms a bilinear form called a tensor product which belongs to the product space with np dimensions, [E_{n} \otimes F_{p}]: [P({\bf x},{\bf y}) = T({\bf x}) \otimes S({\bf y}).]

This correspondence possesses the following properties:

  • (i) it is distributive from the right and from the left;

  • (ii) it is associative for multiplication by a scalar;

  • (iii) the tensor products of the vectors with a basis [E_{n}] and those with a basis [F_{p}] constitute a basis of the product space.

The analytical expression of the tensor product is then [\left.\matrix{T({\bf x}) = t_{i} x\hskip1pt^{j} \cr S({\bf y}) = s_{j} y^{i}\cr}\right\} P({\bf x},{\bf y}) = p_{ij}x^{i}y\hskip1pt^{j} = t_{i}x^{i}s_{j}y\hskip1pt^{j}= t_{i}s_{j}x^{i}y\hskip1pt^{j}.]One deduces from this that [p_{ij} = t_{i}s_{j}.]

It is a tensor of rank 2. One can equally well envisage the tensor product of more than two spaces, for example, [E_{n} \otimes F_{p} \otimes G_{q}] in npq dimensions. We shall limit ourselves in this study to the case of affine tensors, which are defined in a space constructed from the product of the space [E_{n}] with itself or with its conjugate [E^{n}]. Thus, a tensor product of rank 3 will have [n^{3}] components. The tensor product can be generalized as the product of multilinear forms. One can write, for example, [\left.\matrix{P({\bf x}, {\bf y}, {\bf z}) = T({\bf x},{\bf y}) \otimes S({\bf z})\hfill\cr p\hskip1pt_{ik}^{j}x^{i}y_{j}z^{k} = t\hskip1pt_{i}^{j}x^{i}y_{j}s_{k}z^{k}.\hfill\cr}\right\} \eqno(]

to end of page
to top of page