13.07.2015 Views

Mathematical Methods for Physics and Engineering - Matematica.NET

Mathematical Methods for Physics and Engineering - Matematica.NET

Mathematical Methods for Physics and Engineering - Matematica.NET

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

REPRESENTATION THEORY(d) No explicit calculation is needed to see that if i = j = k = l = 1, withˆD (λ) = ˆD (µ) =A 1 (or A 2 ), then each term in the sum is either 1 2 or (−1) 2<strong>and</strong> the total is 6, as predicted by the right-h<strong>and</strong> side of (29.13) since g =6<strong>and</strong> n λ =1.29.6 CharactersThe actual matrices of general representations <strong>and</strong> irreps are cumbersome towork with, <strong>and</strong> they are not unique since there is always the freedom to changethe coordinate system, i.e. the components of the basis vector (see section 29.3),<strong>and</strong> hence the entries in the matrices. However, one thing that does not change<strong>for</strong> a matrix under such an equivalence (similarity) trans<strong>for</strong>mation – i.e. undera change of basis – is the trace of the matrix. This was shown in chapter 8,but is repeated here. The trace of a matrix A is the sum of its diagonal elements,n∑Tr A =or, using the summation convention (section 26.1), simply A ii . Under a similaritytrans<strong>for</strong>mation, again using the summation convention,i=1A ii[D Q (X)] ii =[Q −1 ] ij [D(X)] jk [Q] ki=[D(X)] jk [Q] ki [Q −1 ] ij=[D(X)] jk [I] kj=[D(X)] jj ,showing that the traces of equivalent matrices are equal.This fact can be used to greatly simplify work with representations, though withsome partial loss of the in<strong>for</strong>mation content of the full matrices. For example,using trace values alone it is not possible to distinguish between the two groupsknown as 4mm <strong>and</strong> ¯42m, orasC 4v <strong>and</strong> D 2d respectively, even though the twogroups are not isomorphic. To make use of these simplifications we now definethe characters of a representation.Definition. The characters χ(D) of a representation D of a group G are defined asthe traces of the matrices D(X), one <strong>for</strong> each element X of G.At this stage there will be g characters, but, as we noted in subsection 28.7.3,elements A, B of G in the same conjugacy class are connected by equations ofthe <strong>for</strong>m B = X −1 AX. It follows that their matrix representations are connectedby corresponding equations of the <strong>for</strong>m D(B) =D(X −1 )D(A)D(X),<strong>and</strong>sobytheargument just given their representations will have equal traces <strong>and</strong> hence equalcharacters. Thus elements in the same conjugacy class have the same characters,1092

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!