International
Tables for
Crystallography
Volume A
Space-group symmetry
Edited by M. I. Aroyo

International Tables for Crystallography (2016). Vol. A. ch. 1.3, pp. 22-28

Section 1.3.2. Lattices

B. Souvigniera*

a Radboud University Nijmegen, Faculty of Science, Mathematics and Computing Science, Institute for Mathematics, Astrophysics and Particle Physics, Postbus 9010, 6500 GL Nijmegen, The Netherlands
Correspondence e-mail: [email protected]

1.3.2. Lattices

| top | pdf |

A crystal pattern is defined to be periodic in three linearly independent directions, which means that it is invariant under translations in three linearly independent directions. This periodicity implies that the crystal pattern extends infinitely in all directions. Since the atoms of a crystal form a discrete pattern in which two different points have a certain minimal distance, the translations that fix the crystal pattern as a whole cannot have arbitrarily small lengths. If Mathematical symbol is a vector such that the crystal pattern is invariant under a translation by Mathematical symbol, the periodicity implies that the pattern is invariant under a translation by Mathematical symbol for every integer m. Furthermore, if a crystal pattern is invariant under translations by Mathematical symbol and Mathematical symbol, it is also invariant by the composition of these two translations, which is the translation by Mathematical symbol. This shows that the set of vectors by which the translations in a space group move the crystal pattern is closed under taking integral linear combinations. This property is formalized by the mathematical concept of a lattice and the translation subgroups of space groups are best understood by studying their corresponding lattices. These lattices capture the periodic nature of the underlying crystal patterns and reflect their geometric properties.

1.3.2.1. Basic properties of lattices

| top | pdf |

The two-dimensional vector space Mathematical symbol is the space of columns Mathematical symbol with two real components Mathematical symbol and the three-dimensional vector space Mathematical symbol is the space of columns Mathematical symbol with three real components Mathematical symbol. Analogously, the Mathematical symbol-dimensional vector space Mathematical symbol is the space of columns Mathematical symbol with n real components.

For the sake of clarity we will restrict our discussions to three-dimensional (and occasionally two-dimensional) space. The generalization to n-dimensional space is straightforward and only requires dealing with columns of n instead of three components and with bases consisting of n instead of three basis vectors.

Definition

For vectors Mathematical symbol forming a basis of the three-dimensional vector space Mathematical symbol, the set Mathematical equationof all integral linear combinations of Mathematical symbol is called a lattice in Mathematical symbol and the vectors Mathematical symbol are called a lattice basis of Mathematical symbol.

It is inherent in the definition of a crystal pattern that the translation vectors of the translations leaving the pattern invariant are closed under taking integral linear combinations. Since the crystal pattern is assumed to be discrete, it follows that all translation vectors can be written as integral linear combinations of a finite generating set. The fundamental theorem on finitely generated abelian groups (see e.g. Chapter 21 in Armstrong, 1997link to reference) asserts that in this situation a set of three translation vectors Mathematical symbol can be found such that all translation vectors are integral linear combinations of these three vectors. This shows that the translation vectors of a crystal pattern form a lattice with lattice basis Mathematical symbol in the sense of the definition above.

By definition, a lattice is determined by a lattice basis. Note, however, that every two- or three-dimensional lattice has infinitely many bases.

Example

The square latticeMathematical equationin Mathematical symbol has the vectorsMathematical equationas its standard lattice basis. ButMathematical equationis also a lattice basis of Mathematical symbol: on the one hand Mathematical symbol and Mathematical symbol are integral linear combinations of Mathematical symbol and are thus contained in Mathematical symbol. On the other handMathematical equationandMathematical equationhence Mathematical symbol and Mathematical symbol are also integral linear combinations of Mathematical symbol and thus the two bases Mathematical symbol and Mathematical symbol both span the same lattice (see Fig. 1.3.2.1link to figure).

[Figure 1.3.2.1]

Figure 1.3.2.1| top | pdf |

Conventional basis Mathematical symbol and a non-conventional basis Mathematical symbol for the square lattice.

The example indicates how the different lattice bases of a lattice Mathematical symbol can be described. Recall that for a vector Mathematical symbol = Mathematical symbol the coefficients Mathematical symbol are called the coordinates and the vector Mathematical symbol is called the coordinate column of Mathematical symbol with respect to the basis Mathematical symbol. The coordinate columns of the vectors in Mathematical symbol with respect to a lattice basis are therefore simply columns with three integral components. In particular, if we take a second lattice basis Mathematical symbol of Mathematical symbol, then the coordinate columns of Mathematical symbol, Mathematical symbol, Mathematical symbolwith respect to the first basis are columns of integers and thus the basis transformation Mathematical symbol such that Mathematical symbol is an integral 3 × 3 matrix. But if we interchange the roles of the two bases, they are related by the inverse transformation Mathematical symbol, i.e. Mathematical symbol, and the argument given above asserts that Mathematical symbol is also an integral matrix. Now, on the one hand Mathematical symbol and Mathematical symbol are both integers (being determinants of integral matrices), on the other hand Mathematical symbol. This is only possible if Mathematical symbol.

Summarizing, the different lattice bases of a lattice Mathematical symbol are obtained by transforming a single lattice basis Mathematical symbol with integral transformation matrices Mathematical symbol such that Mathematical symbol.

1.3.2.2. Metric properties

| top | pdf |

In the three-dimensional vector space Mathematical symbol, the norm or length of a vector Mathematical symbol is (due to Pythagoras' theorem) given by Mathematical equationFrom this, the scalar product Mathematical equationis derived, which allows one to express angles by Mathematical equation

The definition of a norm function for the vectors turns Mathematical symbol into a Euclidean space. A lattice Mathematical symbol that is contained in Mathematical symbol inherits the metric properties of this space. But for the lattice, these properties are most conveniently expressed with respect to a lattice basis. It is customary to choose basis vectors a, b, c which define a right-handed coordinate system, i.e. such that the matrix with columns a, b, c has a positive determinant.

Definition

For a lattice Mathematical symbol with lattice basis Mathematical symbol the metric tensor of Mathematical symbol is the 3 × 3 matrix Mathematical equationIf Mathematical symbol is the 3 × 3 matrix with the vectors Mathematical symbol as its columns, then the metric tensor is obtained as the matrix product Mathematical symbol. It follows immediately that the metric tensor is a symmetric matrix, i.e. Mathematical symbol.

Example

LetMathematical equationbe the basis of a lattice Mathematical symbol. Then the metric tensor of Mathematical symbol (with respect to the given basis) isMathematical equation

With the help of the metric tensor the scalar products of arbitrary vectors, given as linear combinations of the lattice basis, can be computed from their coordinate columns as follows: If Mathematical symbol and Mathematical symbol, then Mathematical equation

From this it follows how the metric tensor transforms under a basis transformation Mathematical symbol. If Mathematical symbol, then the metric tensor Mathematical symbol of Mathematical symbol with respect to the new basis Mathematical symbol is given by Mathematical equation

An alternative way to specify the geometry of a lattice in Mathematical symbol is using the cell parameters, which are the lengths of the lattice basis vectors and the angles between them.

Definition

For a lattice Mathematical symbol in Mathematical symbol with lattice basis Mathematical symbol the cell parameters (also called lattice parameters, lattice constants or metric parameters) are given by the lengths Mathematical equationof the basis vectors and by the interaxial angles Mathematical equation

Owing to the relation Mathematical symbol for the scalar product of two vectors, one can immediately write down the metric tensor in terms of the cell parameters: Mathematical equation

1.3.2.3. Unit cells

| top | pdf |

A lattice Mathematical symbol can be used to subdivide Mathematical symbol into cells of finite volume which all have the same shape. The idea is to define a suitable subset Mathematical symbol of Mathematical symbol such that the translates of Mathematical symbol by the vectors in Mathematical symbol cover Mathematical symbol without overlapping. Such a subset Mathematical symbol is called a unit cell of L, or, in the more mathematically inclined literature, a fundamental domain of Mathematical symbol with respect to Mathematical symbol. Two standard constructions for such unit cells are the primitive unit cell and the Voronoï domain (which is also known by many other names).

Definition

Let Mathematical symbol be a lattice in Mathematical symbol with lattice basis Mathematical symbol.

  • (i) The set Mathematical symbol is called the primitive unit cell of Mathematical symbol with respect to the basis Mathematical symbol. The primitive unit cell is the parallelepiped spanned by the vectors of the given basis.

  • (ii) The set Mathematical symbol is called the Voronoï domain or Dirichlet domain or Wigner–Seitz cell or Wirkungsbereich or first Brillouin zone (for the case of reciprocal lattices in dual space, see Section 1.3.2.5[link] ) of Mathematical symbol (around the origin).

    The Voronoï domain consists of those points of Mathematical symbol that are closer to the origin than to any other lattice point of Mathematical symbol.

See Fig. 1.3.2.2link to figure for examples of these two types of unit cells in two-dimensional space.

[Figure 1.3.2.2]

Figure 1.3.2.2| top | pdf |

Voronoï domains and primitive unit cells for a rectangular lattice (a) and an oblique lattice (b).

It should be noted that the attribute `primitive' for a unit cell is often omitted. The term `unit cell' then either denotes a primitive unit cell in the sense of the definition above or a slight generalization of this, namely a cell spanned by vectors a, b, c which are not necessarily a lattice basis. This will be discussed in detail in the next section. If a unit cell in the even more general sense of a cell whose translates cover the whole space without overlap (thus including e.g. Voronoï domains) is meant, this should be indicated by the context.

The construction of the Voronoï domain is independent of the basis of Mathematical symbol, as the Voronoï domain is bounded by planes bisecting the line segment between the origin and a lattice point and perpendicular to this segment. In two-dimensional space, the Voronoï domain is simply bounded by lines, in three-dimensional space it is bounded by planes and more generally it is bounded by (n − 1)-dimensional hyperplanes in n-dimensional space.

The boundaries of the Voronoï domain and its translates overlap, thus in order to get a proper fundamental domain, part of the boundary has to be excluded from the Voronoï domain.

The volume V of the unit cell can be expressed both via the metric tensor and via the cell parameters. One has Mathematical equationand thus Mathematical equationAlthough the cell parameters depend on the chosen lattice basis, the volume of the unit cell is not affected by a transition to a different lattice basis Mathematical symbol. As remarked in Section 1.3.2.1link to section, two lattice bases are related by an integral basis transformation Mathematical symbol of determinant Mathematical symbol and therefore Mathematical symbol, i.e. the determinant of the metric tensor is the same for all lattice bases.

Assuming that the vectors Mathematical symbol form a right-handed system, the volume can also be obtained via Mathematical equation

1.3.2.4. Primitive and centred lattices

| top | pdf |

The definition of a lattice as given in Section 1.3.2.1link to section states that a lattice consists precisely of the integral linear combinations of the vectors in a lattice basis. However, in crystallographic applications it has turned out to be convenient to work with bases that have particularly nice metric properties. For example, many calculations are simplified if the basis vectors are perpendicular to each other, i.e. if the metric tensor has all non-diagonal entries equal to zero. Moreover, it is preferable that the basis vectors reflect the symmetry properties of the lattice. By a case-by-case analysis of the different types of lattices a set of rules for convenient bases has been identified and bases conforming with these rules are called conventional bases. The conventional bases are chosen such that in all cases the integral linear combinations of the basis vectors are lattice vectors, but it is admitted that not all lattice vectors are obtained as integral linear combinations.

To emphasize that a basis has the property that the vectors of a lattice are precisely the integral linear combinations of the basis vectors, such a basis is called a primitive basis for this lattice.

If the conventional basis of a lattice is not a primitive basis for this lattice, the price to be paid for the transition to the conventional basis is that in addition to the integral linear combinations of the basis vectors one requires one or more centring vectors in order to obtain all lattice vectors. These centring vectors have non-integral (but rational) coordinates with respect to the conventional basis. The name centring vectors reflects the fact that the additional vectors are usually the centres of the unit cell or of faces of the unit cell spanned by the conventional basis.

Definition

Let Mathematical symbol be linearly independent vectors in Mathematical symbol.

  • (i) A lattice Mathematical symbol is called a primitive lattice with respect to a basis Mathematical symbol if Mathematical symbol consists precisely of all integral linear combinations of Mathematical symbol, i.e. if Mathematical symbol = Mathematical symbol = Mathematical symbol.

  • (ii) A lattice Mathematical symbol is called a centred lattice with respect to a basis Mathematical symbol if the integral linear combinations Mathematical symbol = Mathematical symbol form a proper sublattice of Mathematical symbol such that Mathematical symbol is the union of Mathematical symbol with the translates of Mathematical symbol by centring vectors Mathematical symbol, i.e. Mathematical symbol Mathematical symbol.

Typically, the basis Mathematical symbol is a conventional basis and in this case one often briefly says that a lattice Mathematical symbol is a primitive lattice or a centred lattice without explicitly mentioning the conventional basis.

Example

A rectangular lattice has as conventional basis a vector Mathematical symbol of minimal length and a vector Mathematical symbol of minimal length amongst the vectors perpendicular to Mathematical symbol. The resulting primitive lattice Mathematical symbol is indicated by the filled nodes in Fig. 1.3.2.3link to figure. Now consider the lattice Mathematical symbol having both the filled and the open nodes in Fig. 1.3.2.3link to figure as its lattice nodes. One sees that Mathematical symbol, Mathematical symbol is a primitive basis for Mathematical symbol, but it is more convenient to regard Mathematical symbol as a centred lattice with respect to the basis Mathematical symbol with centring vector Mathematical symbol. The filled nodes then show the sublattice Mathematical symbol of Mathematical symbol, the open nodes are the translate Mathematical symbol and Mathematical symbol is the union Mathematical symbol.

[Figure 1.3.2.3]

Figure 1.3.2.3| top | pdf |

Primitive rectangular lattice (only the filled nodes) and centred rectangular lattice (filled and open nodes).

Recalling that a lattice is in particular a group (with addition of vectors as operation), the sublattice Mathematical symbol spanned by the basis of a centred lattice is a subgroup of the centred lattice Mathematical symbol. Together with the zero vector Mathematical symbol, the centring vectors form a set Mathematical symbol of coset representatives of Mathematical symbol relative to Mathematical symbol and the index [i] of Mathematical symbol in Mathematical symbol is s + 1. In particular, the sum of two centring vectors is, up to a vector in Mathematical symbol, again a centring vector, i.e. for centring vectors Mathematical symbol, Mathematical symbol there is a unique centring vector Mathematical symbol (possibly 0) such that Mathematical symbol for a vector Mathematical symbol.

The concepts of primitive and centred lattices suggest corresponding notions of primitive and centred unit cells. If Mathematical symbol is a primitive basis for the lattice Mathematical symbol, then the parallelepiped spanned by Mathematical symbol is called a primitive unit cell (or primitive cell); if Mathematical symbol spans a proper sublattice Mathematical symbol of index [i] in Mathematical symbol, then the parall­el­epiped spanned by Mathematical symbol is called a centred unit cell (or centred cell). Since translating a centred cell by translations from the sublattice Mathematical symbol covers the full space, the centred cell contains one representative from each coset of the centred lattice Mathematical symbol relative to Mathematical symbol. This means that the centred cell contains [i] lattice vectors of the centred lattice and due to this a centred cell is also called a multiple cell. As a consequence, the volume of the centred cell is [i] times as large as that of a primitive cell for Mathematical symbol.

For a conventional basis Mathematical symbol of the lattice Mathematical symbol, the parallel­epiped spanned by Mathematical symbol is called a conventional unit cell (or conventional cell) of Mathematical symbol. Depending on whether the conventional basis is a primitive basis or not, i.e. whether the lattice is primitive or centred, the conventional cell is a primitive or a centred cell.

Remark : It is important to note that the cell parameters given in the description of a crystallographic structure almost always refer to a conventional cell. When in the crystallographic literature the term `unit cell' is used without further attributes, in most cases a conventional unit cell (as specified by the cell parameters) is meant, which is a primitive or centred (multiple) cell depending on whether the lattice is primitive or centred.

Example (continued)

In the example of a centred rectangular lattice, the conventional basis Mathematical symbol spans the centred unit cell indicated by solid lines in Fig. 1.3.2.4link to figure, whereas the primitive basis Mathematical symbol, Mathematical symbol spans the primitive unit cell indicated by dashed lines. One observes that the centred cell contains two lattice vectors, Mathematical symbol and Mathematical symbol, whereas the primitive cell only contains the zero vector Mathematical symbol (note that due to the condition Mathematical symbol for the points in the unit cell the other vertices Mathematical symbol of the cell are excluded). The volume of the centred cell is clearly twice as large as that of the primitive cell.

[Figure 1.3.2.4]

Figure 1.3.2.4| top | pdf |

Primitive cell (dashed line) and centred cell (solid lines) for the centred rectangular lattice.

Figures displaying the different primitive and centred unit cells as well as tables describing the metric properties of the different primitive and centred lattices are given in Section 3.1.2[link] .

Examples

  • (i) The conventional basis for a primitive cubic lattice (cP) is a basis Mathematical symbol of vectors of equal length which are pairwise perpendicular, i.e. with Mathematical symbol and Mathematical symbol. As the name indicates, this basis is a primitive basis.

  • (ii) A body-centred cubic lattice (cI) has as its conventional basis the conventional basis Mathematical symbol of a primitive cubic lattice, but the lattice also contains the centring vector Mathematical symbol which points to the centre of the conventional cell. If we denote the primitive cubic lattice by Mathematical symbol, then the body-centred cubic lattice Mathematical symbol is the union of Mathematical symbol and the translate Mathematical symbol. Since Mathematical symbol is a sublattice of index 2 in Mathematical symbol, the ratio of the volumes of the centred and the primitive cell of the body-centred cubic lattice is 2.

    A possible primitive basis for Mathematical symbol is Mathematical symbol, Mathematical symbol, Mathematical symbol. With respect to this basis, the metric tensor of Mathematical symbol isMathematical equation(where Mathematical symbol). However, it is more common to use a primitive basis with vectors of the same length and equal interaxial angles. Such a basis is Mathematical symbol, Mathematical symbol, Mathematical symbol (cf. Fig. 1.5.1.3[link] ), and with respect to this basis the metric tensor of Mathematical symbol isMathematical equation

  • (iii) The conventional basis for a face-centred cubic lattice (Mathematical symbol) is again the conventional basis Mathematical symbol of a primitive cubic lattice, but the lattice also contains the three centring vectors Mathematical symbol, Mathematical symbol, Mathematical symbol which point to the centres of faces of the conventional cell.

    The face-centred cubic lattice Mathematical symbol is the union of the primitive cubic lattice Mathematical symbol with its translates Mathematical symbol by the three centring vectors. The ratio of the volumes of the centred and the primitive cell of the face-centred cubic lattice is 4. In this case, the centring vectors actually form a primitive basis of Mathematical symbol. With respect to the basis Mathematical symbol, Mathematical symbol, Mathematical symbol (cf. Fig. 1.5.1.4[link] ) the metric tensor of Mathematical symbol isMathematical equation

  • (iv) In the conventional basis of a primitive hexagonal lattice, the basis vector c is chosen as a shortest vector along a sixfold axis. The vectors a and b then are shortest vectors along twofold axes in a plane perpendicular to c and such that they enclose an angle of 120°. The corresponding metric tensor has the formMathematical equation

  • (v) In the unit cell of the primitive hexagonal lattice Mathematical symbol, a point with coordinates Mathematical symbol is mapped to the points Mathematical symbol and Mathematical symbol under the threefold rotation around the c axis. Both of these points are translates of Mathematical symbol by lattice vectors of Mathematical symbol. This means that a centring vector of the form Mathematical symbol will result in a lattice which is invariant under the threefold rotation. Choosing Mathematical symbol as centring vector, the lattice generated by Mathematical symbol and Mathematical symbol contains Mathematical symbol as a sublattice of index 3 with coset representatives Mathematical symbol, Mathematical symbol and Mathematical symbol. The coset representative Mathematical symbol is commonly replaced by Mathematical symbol and the centred lattice Mathematical symbol with centring vectors Mathematical symbol and Mathematical symbol so obtained is called the rhombohedrally centred lattice (hR). The ratio of the volumes of the centred and the primitive cell of the rhombohedrally centred lattice is 3.

    For this lattice, the primitive basis of Mathematical symbol consisting of three shortest non-coplanar vectors which are permuted by the threefold rotation is also regarded as a conventional basis. With respect to the above lattice basis of the primitive hexagonal lattice, this basis can be chosen as Mathematical symbol, Mathematical symbol, Mathematical symbol. The metric tensor with respect to this basis isMathematical equation

    Details about the transformations between hexagonal and rhombohedral lattices are given in Section 1.5.3.1[link] and Table 1.5.1.1[link] (see also Fig. 1.5.1.6[link] ).

Remark : In three-dimensional space Mathematical symbol, the conventional bases have been chosen in such a way that any isometry of a centred lattice maps the sublattice generated by the conventional basis to itself. This means that the matrices of the isometries of the lattice are not only integral with respect to a primitive basis, but also when written with respect to the conventional basis. The advantage of the conventional basis is that the matrices are much simpler.

In dimensions Mathematical symbol, such a choice of a conventional basis is in general no longer possible. For example, one will certainly regard the standard orthonormal basisMathematical equationof the four-dimensional hypercubic lattice as a conventional basis. The body-centred lattice with centring vector Mathematical symbol is invariant under all the isometries of the hypercubic lattice, but the body-centred lattice itself allows isometries that do not leave the hypercubic lattice invariant. Thus, not all isometries of the body-centred lattice are integral with respect to the conventional basis of the hypercubic lattice.

1.3.2.5. Reciprocal lattice

| top | pdf |

For crystallographic applications, a lattice Mathematical symbol related to Mathematical symbol is of utmost importance. If the atoms are placed at the nodes of a lattice Mathematical symbol, then the diffraction pattern will have sharp Bragg peaks at the nodes of the reciprocal lattice Mathematical symbol. More generally, if the crystal pattern is invariant under translations from Mathematical symbol, then the locations of the Bragg peaks in the diffraction pattern will be invariant under translations from Mathematical symbol.

Definition

Let Mathematical symbol be a lattice with lattice basis Mathematical symbol. Then the reciprocal basis Mathematical symbol is defined by the properties Mathematical equationandMathematical equationwhich can conveniently be written as the matrix equation Mathematical equation

This means that Mathematical symbol is perpendicular to the plane spanned by Mathematical symbol and Mathematical symbol and its projection to the line along Mathematical symbol has length Mathematical symbol. Analogous properties hold for Mathematical symbol and Mathematical symbol.

The reciprocal lattice Mathematical symbol of Mathematical symbol is defined to be the lattice with lattice basis Mathematical symbol.

In three-dimensional space Mathematical symbol, the reciprocal basis can be determined via the vector product. Assuming that Mathematical symbol form a right-handed system that spans a unit cell of volume V, the relation Mathematical symbol and the defining conditions Mathematical symbol, Mathematical symbol imply that Mathematical symbol. Analogously, one has Mathematical symbol and Mathematical symbol.

The reciprocal lattice can also be defined independently of a lattice basis by stating that the vectors of the reciprocal lattice have integral scalar products with all vectors of the lattice: Mathematical equation

Owing to the symmetry Mathematical symbol of the scalar product, the roles of the basis and its reciprocal basis can be interchanged. This means that Mathematical symbol, i.e. taking the reciprocal lattice Mathematical symbol of the reciprocal lattice Mathematical symbol results in the original lattice Mathematical symbol again.

Remark : In parts of the literature, especially in physics, the reciprocal lattice is defined slightly differently. The condition there is that Mathematical symbol if Mathematical symbol and 0 otherwise and thus the reciprocal lattice is scaled by the factor 2π as compared to the above definition. By this variation the exponential function Mathematical symbol is changed to Mathematical symbol, which simplifies the formulas for the Fourier transform.

Example

Let Mathematical symbol be the lattice basis of a primitive cubic lattice. Then the body-centred cubic lattice Mathematical symbol with centring vector Mathematical symbol is the reciprocal lattice of the rescaled face-centred cubic lattice Mathematical symbol, i.e. the lattice spanned by Mathematical symbol and the centring vectors Mathematical symbol, Mathematical symbol, Mathematical symbol.

This example illustrates that a lattice and its reciprocal lattice need not have the same type. The reciprocal lattice of a body-centred cubic lattice is a face-centred cubic lattice and vice versa. However, the conventional bases are chosen such that for a primitive lattice with a conventional basis as lattice basis, the reciprocal lattice is a primitive lattice of the same type. Therefore the reciprocal lattice of a centred lattice is always a centred lattice for the same type of primitive lattice.

The reciprocal basis can be read off the inverse matrix of the metric tensor Mathematical symbol: We denote by Mathematical symbol the matrix containing the coordinate columns of Mathematical symbol with respect to the basis Mathematical symbol, so that Mathematical symbol etc. Recalling that scalar products can be computed by multiplying the metric tensor Mathematical symbol from the left and right with coordinate columns with respect to the basis Mathematical symbol, the conditionsMathematical equationdefining the reciprocal basis result in the matrix equation Mathematical symbol, since the coordinate columns of the basis Mathematical symbol with respect to itself are the rows of the identity matrix Mathematical symbol, and Mathematical symbol was just defined to contain the coordinate columns of Mathematical symbol. But Mathematical symbol means that Mathematical symbol and thus the coordinate columns of Mathematical symbol with respect to the basis Mathematical symbol are precisely the columns of the inverse matrix Mathematical symbol of the metric tensor Mathematical symbol.

From Mathematical symbol one also derives that the metric tensor Mathematical symbol of the reciprocal basis is Mathematical equationThis means that the metric tensors of a basis and its reciprocal basis are inverse matrices of each other. As a further consequence, the volume Mathematical symbol of the unit cell spanned by the reciprocal basis is Mathematical symbol, i.e. the inverse of the volume of the unit cell spanned by Mathematical symbol.

Of course, the reciprocal basis can also be computed from the vectors Mathematical symbol directly. If Mathematical symbol and Mathematical symbol are the matrices containing as ith column the vectors Mathematical symbol and Mathematical symbol, respectively, then the relation defining the reciprocal basis reads as Mathematical symbol, i.e. Mathematical symbol. Thus, the reciprocal basis vector Mathematical symbol is the ith column of the transposed matrix of Mathematical symbol and thus the ith row of the inverse of the matrix Mathematical symbol containing the Mathematical symbol as columns.

The relations between the parameters of the unit cell spanned by the reciprocal basis vectors and those of the unit cell spanned by the original basis can either be obtained from the vector product expressions for Mathematical symbol, Mathematical symbol, Mathematical symbol or by explicitly inverting the metric tensor Mathematical symbol (e.g. using Cramer's rule). The latter approach would also be applicable in n-dimensional space. Either way, one finds Mathematical equation

Examples

  • (i) The lattice Mathematical symbol spanned by the vectorsMathematical equationhas metric tensorMathematical equationThe inverse of the metric tensor is Mathematical equationInterpreting the columns of Mathematical symbol as coordinate vectors with respect to the original basis, one concludes that the reciprocal basis is given by Mathematical equationInserting the columns for a, b, c, one obtains Mathematical equation

    For the direct computation, the matrix Mathematical symbol with the basis vectors Mathematical symbol as columns isMathematical equationand has as its inverse the matrixMathematical equationThe rows of this matrix are indeed the vectors Mathematical symbol, Mathematical symbol, Mathematical symbol as computed above.

  • (ii) The body-centred cubic lattice Mathematical symbol has the vectorsMathematical equationas primitive basis.

    The matrixMathematical equationwith the basis vectors Mathematical symbol as columns has as its inverse the matrixMathematical equationThe rows of Mathematical symbol are the vectors Mathematical equationshowing that the reciprocal lattice of a body-centred cubic lattice is a face-centred cubic lattice.

References

First citation Armstrong, M. A. (1997). Groups and Symmetry. New York: Springer.Google Scholar








































to end of page
to top of page