06.09.2021 Views

Elementary Abstract Algebra- Examples and Applications, 2019a

Elementary Abstract Algebra- Examples and Applications, 2019a

Elementary Abstract Algebra- Examples and Applications, 2019a

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

350 CHAPTER 8 SIGMA NOTATION<br />

is a rotation matrix whose (j, k) entry is denoted by r jk . Then the equality<br />

in Proposition 8.6.16 applied to matrix R becomes:<br />

∑<br />

ɛ jkl r ij r kl = ∑ ɛ jkl r ji r kl ,<br />

j,k,l j,k,l<br />

which implies (by rearranging terms)<br />

⎛ ⎞<br />

∑<br />

r ij<br />

⎝ ∑ ɛ jkl r kl<br />

⎠ = ∑<br />

j k,l<br />

j<br />

⎛ ⎞<br />

r ji<br />

⎝ ∑ ɛ jkl r kl<br />

⎠ .<br />

k,l<br />

The expressions in parentheses on the left <strong>and</strong> right are identical. So let’s<br />

define:<br />

z j := ∑ ɛ jkl r kl ,<br />

k,l<br />

<strong>and</strong> we can replace the parenthetical expressions in our equality by z j :<br />

∑<br />

r ij z j = ∑ r ji z j .<br />

j<br />

j<br />

Rewriting this in matrix notation gives Rz = R T z. Using the fact that<br />

R T = R −1 (see Proposition 8.6.10) <strong>and</strong> a series of algebraic manipulations,<br />

we find:<br />

Now, there are two cases to consider:<br />

Rz = R −1 z ⇒ Rz − R −1 z =0<br />

⇒ R 2 z − Iz =0<br />

⇒ (R + I)(R − I)z =0.<br />

• Inthecasewhere(R−I)z ≠0,thenitmustbetruethaty := (R−I)z<br />

is a nonzero vector which satisfies (R + I)y =0. Thisimpliesthaty<br />

is an eigenvector of R with eigenvalue −1. Now since R is 3 × 3, it<br />

must have 3 eigenvalues in total. Let λ 1 <strong>and</strong> λ 2 be the 2 remaining<br />

eigenvalues. We know from linear algebra that the product of the<br />

eigenvalues is equal to the determinant of R, which is equal to 1 by<br />

Proposition 8.6.10. This imples that −1 · λ 1 · λ 2 =1orλ 1 · λ 2 = −1.<br />

Now, the λ’s could be complex, or they could be real. If complex,<br />

then they must be complex conjugates of each other (since R is a real

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

Saved successfully!

Ooh no, something went wrong!