1.11: Properties of Matrix Representations
- Page ID
- 9334
\( \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}\)Now that we’ve learnt how to create a matrix representation of a point group within a given basis, we will move on to look at some of the properties that make these representations so powerful in the treatment of molecular symmetry.
Similarity Transforms
Suppose we have a basis set \(\begin{pmatrix} x_1, x_2, x_3, ... x_n \end{pmatrix}\), and we have determined the matrix representatives for the basis in a given point group. There is nothing particularly special about the basis set we have chosen, and we could equally well have used any set of linear combinations of the original functions (provided the combinations were linearly independent). The matrix representatives for the two basis sets will certainly be different, but we would expect them to be related to each other in some way. As we shall show shortly, they are in fact related by a similarity transform. It will be far from obvious at this point why we would want to carry out such a transformation, but similarity transforms will become important later on when we use group theory to choose an optimal basis set with which to generate molecular orbitals.
Consider a basis set \(\begin{pmatrix} x_1', x_2', x_3', ... x_n' \end{pmatrix}\), in which each basis function \(x_i'\) is a linear combination of our original basis \(\begin{pmatrix} x_1, x_2, x_3, ... x_n \end{pmatrix}\).
\[x_j' = \Sigma_i x_ic_{ji} = x_1c_{j1} + x_2c_{j2} + ... \tag{11.1}\]
The \(c_{ji}\) appearing in the sum are coefficients; \(c_{ji}\) is the coefficient multiplying the original basis function \(x_i\) in the new linear combination basis function \(x_j'\). We could also represent this transformation in terms of a matrix equation \(\textbf{x'}\) = \(\textbf{x}C\):
\[\begin{pmatrix} x_1', x_2', ... x_n' \end{pmatrix} = \begin{pmatrix} x_1, x_2, ... x_n \end{pmatrix} \begin{pmatrix} c_{11} & c_{12} & ... & c_{1n} \\ c_{21} & c_{22} & ... & c_{2n} \\ ... & ... & ... & ... \\ c_{n1} & c_{n2} & ... & c_{nn} \end{pmatrix} \tag{11.2}\]
Now we look at what happens when we apply a symmetry operation g to our two basis sets. If \(\Gamma(g)\) and \(\Gamma'(g)\) are matrix representatives of the symmetry operation in the \(\textbf{x}\) and \(\textbf{x'}\) bases, then we have:
\[\begin{array}{rcll} g\textbf{x'} & = & \textbf{x'}\Gamma'(g) \\ g\textbf{x}C & = & \textbf{x}C\Gamma'(g) & \text{since} \: \textbf{x'} = \textbf{x}C \\ g\textbf{x} & = & \textbf{x}C\Gamma'(g)C^{-1} & \text{multiplying on the right by} \: C^{-1} \text{and using} \: CC^{-1} = I \\ & = & \textbf{x}\Gamma(g) \end{array} \tag{11.3}\]
We can therefore identify the similarity transform relating \(\Gamma(g)\), the matrix representative in our original basis, to \(\Gamma'(g)\), the representative in the transformed basis. The transform depends only on the matrix of coefficients used to transform the basis functions.
\[\Gamma(g) = C\Gamma'(g)C^{-1} \tag{11.4}\]
Also,
\[\Gamma'(g) = C^{-1}\Gamma(g)C \tag{11.5}\]
Characters of Representations
The trace of a matrix representative \(\Gamma(g)\) is usually referred to as the character of the representation under the symmetry operation \(g\). We will soon come to see that the characters of a matrix representation are often more useful than the matrix representatives themselves. Characters have several important properties.
- The character of a symmetry operation is invariant under a similarity transform
- Symmetry operations belonging to the same class have the same character in a given representation. Note that the character for a given class may be different in different representations, and that more than one class may have the same character.
Proofs of the above two statements are given in the Appendix.