12.4: Symmetry Operations as Matrices
- Page ID
- 210890
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Matrices can be used to map one set of coordinates or functions onto another set. Matrices used for this purpose are called transformation matrices. In group theory, we can use transformation matrices to carry out the various symmetry operations discussed previously. As a simple example, we will investigate the matrices we would use to carry out some of these symmetry operations on a vector in 2D space \(\begin{pmatrix} x, y \end{pmatrix}\).
The Identity Operation
The identity operation leaves the vector unchanged, and as you may already suspect, the appropriate matrix is the identity matrix.
\[\begin{pmatrix} x, y \end{pmatrix} \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} = \begin{pmatrix} x, y \end{pmatrix} \label{9.1}\]
Reflection in a plane
The simplest example of a reflection matrix corresponds to reflecting the vector \(\begin{pmatrix} x, y \end{pmatrix}\) in either the \(x\) or \(y\) axes. Reflection in the \(x\) axis maps \(y\) to \(-y\), while reflection in the \(y\) axis maps \(x\) to \(-x\). The appropriate matrix is very like the identity matrix but with a change in sign for the appropriate element. Reflection in the \(x\) axis transforms the vector \(\begin{pmatrix} x, y \end{pmatrix}\) to \(\begin{pmatrix} x, -y \end{pmatrix}\), and the appropriate matrix is
\[\begin{pmatrix} x, y \end{pmatrix} \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} = \begin{pmatrix} x, -y \end{pmatrix} \label{9.2}\]
Reflection in the y axis transforms the vector \(\begin{pmatrix} x, y \end{pmatrix}\) to \(\begin{pmatrix} -x, y \end{pmatrix}\), and the appropriate matrix is
\[\begin{pmatrix} x, y \end{pmatrix} \begin{pmatrix} -1 & 0 \\ 0 & 1 \end{pmatrix} = \begin{pmatrix} -x, y \end{pmatrix} \label{9.3}\]
More generally, matrices can be used to represent reflections in any plane (or line in 2D). For example, reflection in the 45° axis shown below maps \(\begin{pmatrix} x, y \end{pmatrix}\) onto \(\begin{pmatrix} -y, -x \end{pmatrix}\).
\[\begin{pmatrix} x, y \end{pmatrix} \begin{pmatrix} 0 & -1 \\ -1 & 0 \end{pmatrix} = \begin{pmatrix} -y, -x \end{pmatrix} \label{9.4}\]
Rotation about an Axis
In two dimensions, the appropriate matrix to represent rotation by an angle \(\theta\) about the origin is
\[R(\theta) = \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix} \label{9.5}\]
In three dimensions, rotations about the \(x\), \(y\) and \(z\) axes acting on a vector \(\begin{pmatrix} x, y, z \end{pmatrix}\) are represented by the following matrices.
\[R_{x}(\theta) = \begin{pmatrix} 1 & 0 & 0 \\ 0 & \cos\theta & -\sin\theta \\ 0 & \sin\theta & \cos\theta \end{pmatrix} \label{9.6a}\]
\[R_{y}(\theta) = \begin{pmatrix} \cos\theta & 0 & -\sin\theta \\ 0 & 1 & 0 \\ \sin\theta & 0 & \cos\theta \end{pmatrix} \label{9.6b}\]
\[R_{z}(\theta) = \begin{pmatrix} \cos\theta & -\sin\theta & 0 \\ \sin\theta & \cos\theta & 0 \\ 0 & 0 & 1 \end{pmatrix} \label{9.6c}\]
Matrix Representation
The symmetry operations in a group may be represented by a set of transformation matrices \(\Gamma\)\((g)\), one for each symmetry element \(g\). Each individual matrix is called a representative of the corresponding symmetry operation, and the complete set of matrices is called a matrix representation of the group. The matrix representatives act on some chosen basis set of functions, and the actual matrices making up a given representation will depend on the basis that has been chosen. The representation is then said to span the chosen basis. In the examples above we were looking at the effect of some simple transformation matrices on an arbitrary vector \(\begin{pmatrix} x, y \end{pmatrix}\). The basis was therefore a pair of unit vectors pointing in the \(x\) and \(y\) directions. In most of the examples we will be considering in this course, we will use sets of atomic orbitals as basis functions for matrix representations. Before proceeding any further, we must check that a matrix representation of a group obeys all of the rules set out in the formal mathematical definition of a group.
- The first rule is that the group must include the identity operation \(E\) (the ‘do nothing’ operation). We showed above that the matrix representative of the identity operation is simply the identity matrix. As a consequence, every matrix representation includes the appropriate identity matrix.
- The second rule is that the combination of any pair of elements must also be an element of the group (the group property). If we multiply together any two matrix representatives, we should get a new matrix which is a representative of another symmetry operation of the group. In fact, matrix representatives multiply together to give new representatives in exactly the same way as symmetry operations combine according to the group multiplication table. For example, in the \(C_{3v}\) point group, we showed that the combined symmetry operation \(C_3\)\(\sigma_v\) is equivalent to \(\sigma_v''\). In a matrix representation of the group, if the matrix representatives of \(C_3\) and \(\sigma_v\) are multiplied together, the result will be the representative of \(\sigma_v''\).
- The third rule states that every operation must have an inverse, which is also a member of the group. The combined effect of carrying out an operation and its inverse is the same as the identity operation. It is fairly easy to show that matrix representatives satisfy this criterion. For example, the inverse of a reflection is another reflection, identical to the first. In matrix terms we would therefore expect that a reflection matrix was its own inverse, and that two identical reflection matrices multiplied together would give the identity matrix. This turns out to be true, and can be verified using any of the reflection matrices in the examples above. The inverse of a rotation matrix is another rotation matrix corresponding to a rotation of the opposite sense to the first.
- The final rule states that the rule of combination of symmetry elements in a group must be associative. This is automatically satisfied by the rules of matrix multiplication.
In this example, we’ll take as our basis a \(p\) orbital on each carbon atom \(\begin{pmatrix} p_1, p_2, p_3 \end{pmatrix}\).
Note that the \(p\) orbitals are perpendicular to the plane of the carbon atoms (this may seem obvious, but if you’re visualizing the basis incorrectly it will shortly cause you a not inconsiderable amount of confusion). The symmetry operations in the \(C_{2v}\) point group, and their effect on the three \(p\) orbitals, are as follows:
\[\begin{array}{ll} E & \begin{pmatrix} p_1, p_2, p_3 \end{pmatrix} \rightarrow \begin{pmatrix} p_1, p_2, p_3 \end{pmatrix} \\ C_2 & \begin{pmatrix} p_1, p_2, p_3 \end{pmatrix} \rightarrow \begin{pmatrix} -p_3, -p_2, -p_1 \end{pmatrix} \\ \sigma_v & \begin{pmatrix} p_1, p_2, p_3 \end{pmatrix} \rightarrow \begin{pmatrix} -p_1, -p_2, -p_3 \end{pmatrix} \\ \sigma_v' & \begin{pmatrix} p_1, p_2, p_3 \end{pmatrix} \rightarrow \begin{pmatrix} p_3, p_2, p_1 \end{pmatrix} \end{array} \label{10.3}\]
The matrices that carry out the transformation are
\[\begin{array}{ll} \Gamma(E) & \begin{pmatrix} p_1, p_2, p_3 \end{pmatrix} \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix} = \begin{pmatrix} p_1, p_2, p_3 \end{pmatrix} \\ \Gamma(C_2) & \begin{pmatrix} p_1, p_2, p_3 \end{pmatrix} \begin{pmatrix} 0 & 0 & -1 \\ 0 & -1 & 0 \\ -1 & 0 & 0 \end{pmatrix} = \begin{pmatrix} -p_3, -p_2, -p_1 \end{pmatrix} \\ \Gamma(\sigma_v) & \begin{pmatrix} p_1, p_2, p_3 \end{pmatrix} \begin{pmatrix} -1 & 0 & 0 \\ 0 & -1 & 0 \\ 0 & 0 & -1 \end{pmatrix} = \begin{pmatrix} -p_1, -p_2, -p_3 \end{pmatrix} \\ \Gamma(\sigma_v') & \begin{pmatrix} p_1, p_2, p_3 \end{pmatrix} \begin{pmatrix} 0 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0 \end{pmatrix} = \begin{pmatrix} p_3, p_2, p_1 \end{pmatrix} \end{array} \label{10.4}\]
We have written the vectors representing our basis as row vectors. This is important. If we had written them as column vectors, the corresponding transformation matrices would be the transposes of the matrices above, and would not reproduce the group multiplication table (try it as an exercise if you need to convince yourself).
Contributors
Claire Vallance (University of Oxford)