Tables for
Volume B
Reciprocal space
Edited by U. Shmueli

International Tables for Crystallography (2006). Vol. B, ch. 1.1, pp. 5-7   | 1 | 2 |

Section 1.1.4. Tensor-algebraic formulation

U. Shmuelia*

aSchool of Chemistry, Tel Aviv University, 69 978 Tel Aviv, Israel
Correspondence e-mail:

1.1.4. Tensor-algebraic formulation

| top | pdf |

The present section summarizes the tensor-algebraic properties of mutually reciprocal sets of basis vectors, which are of importance in the various aspects of crystallography. This is not intended to be a systematic treatment of tensor algebra; for more thorough expositions of the subject the reader is referred to relevant crystallographic texts (e.g. Patterson, 1967[link]; Sands, 1982[link]), and other texts in the physical and mathematical literature that deal with tensor algebra and analysis.

Let us first recall that symbolic vector and matrix notations, in which basis vectors and coordinates do not appear explicitly, are often helpful in qualitative considerations. If, however, an expression has to be evaluated, the various quantities appearing in it must be presented in component form. One of the best ways to achieve a concise presentation of geometrical expressions in component form, while retaining much of their `transparent' symbolic character, is their tensor-algebraic formulation. Conventions

| top | pdf |

We shall adhere to the following conventions:

  • (i) Notation for direct and reciprocal basis vectors: [\displaylines{ {\bf a} = {\bf a}_{1}, {\bf b} = {\bf a}_{2}, {\bf c} = {\bf a}_{3}\cr {\bf a^{*}} = {\bf a}^{1}, {\bf b^{*}} = {\bf a}^{2}, {\bf c^{*}} = {\bf a}^{3}.}] Subscripted quantities are associated in tensor algebra with covariant, and superscripted with contravariant transformation properties. Thus the basis vectors of the direct lattice are represented as covariant quantities and those of the reciprocal lattice as contravariant ones.

  • (ii) Summation convention: if an index appears twice in an expression, once as subscript and once as superscript, a summation over this index is thereby implied and the summation sign is omitted. For example, [{\textstyle\sum\limits_{i} \sum\limits_{j}} x^{i} T_{ij} x\hskip 2pt^{j} \hbox{ will be written } x^{i} T_{ij} x\hskip 2pt^{j}] since both i and j conform to the convention. Such repeating indices are often called dummy indices. The implied summation over repeating indices is also often used even when the indices are at the same level and the coordinate system is Cartesian; there is no distinction between contravariant and covariant quantities in Cartesian frames of reference (see Chapter 3.3[link] ).

  • (iii) Components (coordinates) of vectors referred to the covariant basis are written as contravariant quantities, and vice versa. For example, [\eqalign{ {\bf r} &= x{\bf a} + y{\bf b} + z{\bf c} = x^{1} {\bf a}_{1} + x^{2} {\bf a}_{2} + x^{3} {\bf a}_{3} = x^{i} {\bf a}_{i}\cr {\bf h} &= h{\bf a^{*}} + k{\bf b^{*}} + l{\bf c^{*}} = h_{1} {{\bf a}^{1}} + h_{2} {{\bf a}^{2}} + h_{3} {{\bf a}^{3}} = h_{i} {\bf a}^{i}.}] Transformations

| top | pdf |

A familiar concept but a fundamental one in tensor algebra is the transformation of coordinates. For example, suppose that an atomic position vector is referred to two unit-cell settings as follows: [{\bf r} = x^{k} {\bf a}_{k} \eqno(] and [{\bf r} = x'^{k} {\bf a}'_{k}. \eqno(] Let us multiply both sides of ([link] and ([link], on the right, by the vectors [{\bf a}^{m}], m = 1, 2, or 3, i.e. by the reciprocal vectors to the basis [{\bf a}_{1} {\bf a}_{2} {\bf a}_{3}]. We obtain from ([link] [x^{k} {\bf a}_{k} \cdot {\bf a}^{m} = x^{k} \delta_{k}^{m} = x^{m},] where [\delta_{k}^{m}] is the Kronecker symbol which equals 1 when [k = m] and equals zero if [k \neq m], and by comparison with ([link] we have [x^{m} = x'^{k} T_{k}^{m}, \eqno(] where [T_{k}^{m} = {\bf a}'_{k} \cdot {\bf a}^{m}] is an element of the required transformation matrix. Of course, the same transformation could have been written as [x^{m} = T_{k}^{m} x'^{k}, \eqno(] where [T_{k}^{m} = {\bf a}^{m} \cdot {\bf a}'_{k}].

A tensor is a quantity that transforms as the product of coordinates, and the rank of a tensor is the number of transformations involved (Patterson, 1967[link]; Sands, 1982[link]). E.g. the product of two coordinates, as in the above example, transforms from the a′ basis to the a basis as [x^{m} x^{n} = T_{p}^{m} T_{q}^{n} x'^{p} x'^{q}{\rm ;} \eqno(] the same transformation law applies to the components of a contravariant tensor of rank two, the components of which are referred to the primed basis and are to be transformed to the unprimed one: [Q^{mn} = T_{p}^{m} T_{q}^{n} Q'^{pq}. \eqno(] Scalar products

| top | pdf |

The expression for the scalar product of two vectors, say u and v, depends on the bases to which the vectors are referred. If we admit only the covariant and contravariant bases defined above, we have four possible types of expression: [\eqalignno{ (\rm I) &\,{\bf u} = u^{i} {\bf a}_{i}, {\bf v} = v^{i} {\bf a}_{i}\cr &\,{\bf u} \cdot {\bf v} = u^{i} v^{\,j} ({\bf a}_{i} \cdot {\bf a}_{j}) \equiv u^{i} v\hskip 2pt^{j} g_{ij}, &(\cr (\rm II) &\,{\bf u} = {\bf u}_{i} {\bf a}^{i}, {\bf v} = v_{i} {\bf a}^{i}\cr &\,{\bf u} \cdot {\bf v} = u_{i} v_{j} ({\bf a}^{i} \cdot {\bf a}^{\,j}) \equiv u_{i} v_{j} g^{ij}, &(\cr (\rm III) &\,{\bf u} = u^{i} {\bf a}_{i}, {\bf v} = v_{i} {\bf a}^{i}\cr &\,{\bf u} \cdot {\bf v} = u^{i} v_{j} ({\bf a}_{i} \cdot {\bf a}^{\,j}) \equiv u^{i} v_{j} \delta_{i}^{\,j} = u^{i} v_{i}, &(\cr (\rm IV) &\,{\bf u} = u_{i} {\bf a}^{i}, {\bf v} = v^{i} {\bf a}_{i}\cr &\,{\bf u} \cdot {\bf v} = u_{i} v^{\,j} ({\bf a}^{i} \cdot {\bf a}_{j}) \equiv u_{i} v^{\,j} \delta_{j}^{i} = u_{i} v^{i}. &(}%(]

  • (i) The sets of scalar products [g_{ij} = {\bf a}_{i} \cdot {\bf a}_{j}] ([link] and [g^{ij} = {\bf a}^{i} \cdot {\bf a}\hskip 2pt^{j}] ([link] are known as the metric tensors of the covariant (direct) and contravariant (reciprocal) bases, respectively; the corresponding matrices are presented in conventional notation in equations ([link] and ([link]. Numerous applications of these tensors to the computation of distances and angles in crystals are given in Chapter 3.1[link] .

  • (ii) Equations ([link] to ([link] furnish the relationships between the covariant and contravariant components of the same vector. Thus, comparing ([link] and ([link], we have [v_{i} = v^{\;j} g_{ij}. \eqno(] Similarly, using ([link] and ([link] we obtain the inverse relationship [v^{i} = v_{j} g^{ij}. \eqno(] The corresponding relationships between covariant and contravariant bases can now be obtained if we refer a vector, say v, to each of the bases [{\bf v} = v^{i}{\bf a}_{i} = v_{k}{\bf a}^{k},] and make use of ([link] and ([link]. Thus, e.g., [v^{i}{\bf a}_{i} = (v_{k}g^{ik}){\bf a}_{i} = v_{k}{\bf a}^{k}.] Hence [{\bf a}^{k} = g^{ik}{\bf a}_{i} \eqno(] and, similarly, [{\bf a}_{k} = g_{ik}{\bf a}^{i}. \eqno(]

  • (iii) The tensors [g_{ij}] and [g^{ij}] are symmetric, by definition.

  • (iv) It follows from ([link] and ([link] or ([link] and ([link] that the matrices of the direct and reciprocal metric tensors are mutually inverse, i.e. [\pmatrix{g_{11} &g_{12} &g_{13}\cr g_{21} &g_{22} &g_{23}\cr g_{31} &g_{32} &g_{33}\cr}^{-1} = \pmatrix{g^{11} &g^{12} &g^{13}\cr g^{21} &g^{22} &g^{23}\cr g^{31} &g^{32} &g^{33}\cr}, \eqno(] and their determinants are mutually reciprocal. Examples

| top | pdf |

There are numerous applications of tensor notation in crystallographic calculations, and many of them appear in the various chapters of this volume. We shall therefore present only a few examples.

  • (i) The (squared) magnitude of the diffraction vector [{\bf h} = h_{i}{\bf a}^{i}] is given by [|h|^{2} = {4 \sin^{2} \theta\over \lambda^{2}} = h_{i}h_{j}g^{ij}. \eqno(] This concise relationship is a starting point in a derivation of unit-cell parameters from experimental data.

  • (ii) The structure factor, including explicitly anisotropic displacement tensors, can be written in symbolic matrix notation as [ F({\bi h}) = {\textstyle\sum\limits_{j=1}^{N}}\; f_{(i)} \exp (-{\bi h}^{T}\boldbeta_{(\;j)} {\bi h}) \exp (2\pi i {\bi h}^{T} {\bi r}_{(\;j)}), \eqno(] where [\boldbeta_{(\;j)}] is the matrix of the anisotropic displacement tensor of the jth atom. In tensor notation, with the quantities referred to their natural bases, the structure factor can be written as [F(h_{1}h_{2}h_{3}) = {\textstyle\sum\limits_{j=1}^{N}}\; f_{(\;j)} \exp (-h_{i}h_{k}\beta_{(\;j)}^{ik}) \exp (2 \pi ih_{i}x_{(\;j)}^{i}), \eqno(] and similarly concise expressions can be written for the derivatives of the structure factor with respect to the positional and displacement parameters. The summation convention applies only to indices denoting components of vectors and tensors; the atom subscript j in ([link] clearly does not qualify, and to indicate this it has been surrounded by parentheses.

  • (iii) Geometrical calculations, such as those described in the chapters of Part 3[link] , may be carried out in any convenient basis but there are often some definite advantages to computations that are referred to the natural, non-Cartesian bases (see Chapter 3.1[link] ). Usually, the output positional parameters from structure refinement are available as contravariant components of the atomic position vectors. If we transform them by ([link] to their covariant form, and store these covariant components of the atomic position vectors, the computation of scalar products using equations ([link] or ([link] is almost as efficient as it would be if the coordinates were referred to a Cartesian system. For example, the right-hand side of the vector identity ([link], which is employed in the computation of dihedral angles, can be written as [(A_{i}C^{i})(B_{k}D^{k}) - (A_{i}D^{i})(B_{k}C^{k}).] This is a typical application of reciprocal space to ordinary direct-space computations.

  • (iv) We wish to derive a tensor formulation of the vector product, along similar lines to those of Chapter 3.1[link] . As with the scalar product, there are several such formulations and we choose that which has both vectors, say u and v, and the resulting product, [{\bf u} \times {\bf v}], referred to a covariant basis. We have [\eqalignno{ {\bf u} \times {\bf v} &= u^{i}{\bf a}_{i} \times v^{\, j}{\bf a}_{j} \cr &= u^{i}v^{\,j}({\bf a}_{i} \times {\bf a}_{j}). &(}] If we make use of the relationships ([link] between the direct and reciprocal basis vectors, it can be verified that [ {\bf a}_{i} \times {\bf a}_{j} = {V}e_{kij}{\bf a}^{k}, \eqno(] where V is the volume of the unit cell and the antisymmetric tensor [e_{kij}] equals [+1, -1], or 0 according as [kij] is an even permutation of 123, an odd permutation of 123 or any two of the indices [kij] have the same value, respectively. We thus have [ \eqalignno{ {\bf u} \times {\bf v} &= {V}e_{kij}u^{i}v\hskip 2pt^{j}{\bf a}^{k} \cr &= Vg^{lk}e_{kij}u^{i}v\hskip 2pt^{j}{\bf a}_{l}, &(}] since by ([link], [{\bf a}^{k} = g^{lk}{\bf a}_{l}].

  • (v) The rotation operator. The general formulation of an expression for the rotation operator is of interest in crystal structure determination by Patterson techniques (see Chapter 2.3[link] ) and in molecular modelling (see Chapter 3.3[link] ), and another well known crystallographic application of this device is the derivation of the translation, libration and screw-motion tensors by the method of Schomaker & Trueblood (1968[link]), discussed in Part 8 of Volume C[link] (IT C, 2004[link]) and in Chapter 1.2[link] of this volume. A digression on an elementary derivation of the above seems to be worthwhile.

    Suppose we wish to rotate the vector r, about an axis coinciding with the unit vector k, through the angle [\theta] and in the positive sense, i.e. an observer looking in the direction of [+{\bf k}] will see r rotating in the clockwise sense. The vectors r, k and the rotated (target) vector r′ are referred to an origin on the axis of rotation (see Fig.[link]). Our purpose is to express r′ in terms of r, k and [\theta] by a general vector formula, and represent the components of the rotated vectors in coordinate systems that might be of interest.


    Figure | top | pdf |

    Derivation of the general expression for the rotation operator. The figure illustrates schematically the decompositions and other simple geometrical considerations required for the derivation outlined in equations ([link] [link] [link] [link] [link] [link]–([link].

    Let us decompose the vector r and the (target) vector r′ into their components which are parallel [(\|)] and perpendicular [(\perp)] to the axis of rotation: [{\bf r} = {\bf r}_{\|} + {\bf r}_{\perp} \eqno(] and [{\bf r}' = {\bf r}'_{\|} + {\bf r}'_{\perp}. \eqno(] It can be seen from Fig.[link] that the parallel components of r and r′ are [{\bf r}_{\|} = {\bf r}'_{\|} = {\bf k}({\bf k} \cdot {\bf r}) \eqno(] and thus [{\bf r}_{\perp} = {\bf r} - {\bf k}({\bf k} \cdot {\bf r}). \eqno(] Only a suitable expression for [{\bf r}'_{\perp}] is missing. We can find this by decomposing [{\bf r}'_{\perp}] into its components (i) parallel to [{\bf r}_{\perp}] and (ii) parallel to [{\bf k} \times {\bf r}_{\perp}]. We have, as in ([link], [{\bf r}'_{\perp} = {{\bf r}_{\perp}\over |{\bf r}_{\perp}|} \left({{\bf r}_{\perp}\over |{\bf r}_{\perp}|} \cdot {\bf r}'_{\perp}\right) + {{\bf k} \times {\bf r}_{\perp}\over |{\bf k} \times {\bf r}_{\perp}|} \left({{\bf k} \times {\bf r}_{\perp}\over |{\bf k} \times {\bf r}_{\perp}|} \cdot {\bf r}'_{\perp}\right). \eqno(] We observe, using Fig.[link], that [|{\bf r}'_{\perp}| = |{\bf r}_{\perp}| = |{\bf k} \times {\bf r}_{\perp}|] and [{\bf k} \times {\bf r}_{\perp} = {\bf k} \times {\bf r},] and, further, [{\bf r}'_{\perp} \cdot {\bf r}_{\perp} = |{\bf r}_{\perp}|^{2} \cos \theta] and [ {\bf r}'_{\perp} \cdot ({\bf k} \times {\bf r}_{\perp}) = {\bf k} \cdot ({\bf r}'_{\perp} \times {\bf r}_{\perp}) = |{\bf r}_{\perp}|^{2} \sin \theta,] since the unit vector k is perpendicular to the plane containing the vectors [{\bf r}_{\perp}] and [{\bf r}'_{\perp}]. Equation ([link] now reduces to [{\bf r}'_{\perp} = {\bf r}_{\perp} \cos \theta + ({\bf k} \times {\bf r}) \sin \theta \eqno(] and equations ([link], ([link] and ([link] lead to the required result [{\bf r}' = {\bf k}({\bf k} \cdot {\bf r})(1 - \cos \theta) + {\bf r} \cos \theta + ({\bf k} \times {\bf r}) \sin \theta.\eqno(] The above general expression can be written as a linear transformation by referring the vectors to an appropriate basis or bases. We choose here [{\bf r} = x\hskip 2pt^{j}{\bf a}_{j}], [{\bf r}' = x'^{i}{\bf a}_{i}] and assume that the components of k are available in the direct and reciprocal bases.

    If we make use of equations ([link] and ([link], ([link] can be written as [x'^{i} = k^{i}(k_{\;j}x^{\;j})(1 - \cos \theta) + \delta_{j}^{i}x^{\;j} \cos \theta + Vg^{im} e_{mpj}k^{p}x^{\;j} \sin \theta,\eqno (] or briefly [x'^{i} = R_{j}^{i}x^{\;j}, \eqno(] where [R_{j}^{i} = k^{i}k_{j}(1 - \cos \theta) + \delta_{j}^{i} \cos \theta + Vg^{im} e_{mpj}k^{p} \sin \theta \eqno(] is a matrix element of the rotation operator R which carries the vector r into the vector r′. Of course, the representation ([link] of R depends on our choice of reference bases.

    If all the vectors are referred to a Cartesian basis, that is three orthogonal unit vectors, the direct and reciprocal metric tensors reduce to a unit tensor, there is no difference between covariant and contravariant quantities, and equation ([link] reduces to [R_{ij} = k_{i}k_{j}(1 - \cos \theta) + \delta_{ij} \cos \theta + e_{ipj}k_{p} \sin \theta, \eqno(] where all the indices have been taken as subscripts, but the summation convention is still observed. The relative simplicity of ([link], as compared to ([link], often justifies the transformation of all the vector quantities to a Cartesian basis. This is certainly the case for any extensive calculation in which covariances of the structural parameters are not considered.


International Tables for Crystallography (2004). Vol. C. Mathematical, physical and chemical tables, edited by E. Prince. Dordrecht: Kluwer Academic Publishers.
Patterson, A. L. (1967). In International tables for X-ray crystallography, Vol. II. Mathematical tables, edited by J. S. Kasper & K. Lonsdale, pp. 5–83. Birmingham: Kynoch Press.
Sands, D. E. (1982). Vectors and tensors in crystallography. New York: Addison-Wesley.
Schomaker, V. & Trueblood, K. N. (1968). On the rigid-body motion of molecules in crystals. Acta Cryst. B24, 63–76.

to end of page
to top of page