Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra U n i t 5: Determinants Check: Which a g r e e s w i t h ( 2 ) . Note #1 Given s p e c i f i c numbers, a s i n t h i s e x e r c i s e , we would most l i k e l y u s e ( 3 ) r a t h e r t h a n (1). The t e c h n i q u e used i n (1) i s most u s e f u l when w e a r e working w i t h " l i t e r a l " c o n s t a n t s . T h a t i s , s i n c e we cannot s i m p l i f y a 11 + bll, we would u s e (1) t o obtain [This i s analogous t o t h e s i t u a t i o n i n a l g e b r a where one l e a r n s t h a t ( a + b ) 2 = a 2 + 2ab + b 2 , y e t computes ( 3 + 4 1 2 a s 72 = 49, r a t h e r t h a n a s 32 + 2(3) ( 4 ) + 4 2 . ~ Note #2 The v a l i d i t y o f ( 4 ) s t e m s from t h e f a c t t h a t Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3.5.1 (L) c o n t i n u e d denotes v D(v + v l t , v2) where 1 + = allul 1 a12u2 v ' = b u + b12u2 1 11 1 V2 - - a21U1 + a22U2 and one o f o u r axioms f o r D i s t h a t Note # 3 While o u r d e m o n s t r a t i o n was f o r n = 2, t h e r e s u l t i s v a l i d f o r a l l n. T h i s i s due t o t h e f a c t t h a t D i s d e f i n e d t o be l i n e a r . That i s f o r any s p a c e V = [ul, ...,un1 • Note # 4 While w e s h a l l n o t b o t h e r t o prove it h e r e , t h e r e i s an i n t e r e s t i n g r e s u l t which r e l a t e s t h e d e t e r m i n a n t of a m a t r i x t o t h e d e t e r minant o f t h e t r a n s p o s e o f t h e m a t r i x . E s s e n t i a l l y , any theorems r e f e r r i n g t o t h e rows o f a m a t r i x remains v a l i d f o r the columns. I n p a r t i c u l a r , t h e determinant of a matrix equals t h e d e t e r m i n a n t of i t s t r a n s p o s e . i d e a s i n p a r t (b) . W e s h a l l i l l u s t r a t e these W e may u s e t h e t e c h n i q u e o f p a r t ( a ) s u c c e s s i v e l y t o o b t a i n But and Solutions Block 3: S e l e c t e d T o p i c s i n L i n e a r A l g e b r a U n i t 5: D e t e r m i n a n t s 3.5.1 (L) c o n t i n u e d Using ( 6 ) and ( 7 ) i n ( 5 ) w e o b t a i n A s a check, which a g r e e s w i t h ( 8 ) . Note #5 W e c o u l d h a v e u s e d columns r a t h e r t h a n rows t o s o l v e t h i s problem as f o l l o w s : More l i t e r a l l y Solutions Block 3: S e l e c t e d T o p i c s i n L i n e a r Algebra Unit 5: Determinants 3.5.1 (L) c o n t i n u e d A s a check o f t h i s l a s t r e s u l t we may o b t a i n by d i r e c t compu- tation: On t h e o t h e r hand, u s i n g columns r a t h e r t h a n rows, we would obtain Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra U n i t 5: Determinants 3.5.1 (L) c o n t i n u e d The r i g h t s i d e s o f ( 9 ) and (10) a g r e e s i n c e t h e r i g h t s i d e of Note #6 Equation ( 9 ) r e v e a l s a r e s u l t t h a t may s e e m a b i t " u n p l e a s a n t " . Namely, it might seem n i c e t o b e l i e v e t h a t " t h e d e t e r m i n a n t of a sum e q u a l s t h e sum o f t h e d e t e r m i n a n t s " . ( 9 ) shows t h a t t h i s need n o t b e t r u e . But, e q u a t i o n I n more d e t a i l , suppose we let Then Now, l e t t i n g [ A [ d e n o t e t h e d e t e r m i n a n t of A , e t c . , w e have from ( 8 ) t h a t Hence, W e i l l u s t r a t e t h i s idea i n p a r t (c). c. W e have and B = Therefore, r Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra U n i t 5: Determinants 3.5.1 (L) c o n t i n u e d Hence, while IA + BI T h i s i s s u f f i c i e n t t o prove t h a t IAI + need n o t e q u a l 14. Note 97 I n t h i s e x e r c i s e w e saw t h a t [ A + BI - IAI - IBI = 15. Accord- i n g t o (11), t h e n s h o u l d e q u a l 15. A s a check, Note # 8 Do n o t c o n f u s e p a r t s ( b ) and (c) could n o t r e p l a c e IA + BI by . What ( c ) showed was t h a t w e I A ~ + IBI . What (b) showed was I n o t h e r words, ( b ) t h a t w e could o b t a i n a " c o r r e c t i o n f a c t o r " . showed t h a t w e c o u l d expand + by t a k i n g one row (column) IA BI a t a time. I n t h e p r e v i o u s e x e r c i s e we may have been a b i t crushed t o d i s c o v e r t h a t t h e d e t e r m i n a n t of a sum need n o t b e t h e sum o f t h e determinants. I f n o t h i n g else, such a r e s u l t s h o u l d a t l e a s t make us a b i t wary of t r u s t i n g o u r i n t u i t i o n , and a c c o r d i n g l y , Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3.5.2 (L) c o n t i n u e d it s h o u l d make us s e e m a b i t more t o l e r a n t when it comes t o giving proofs . Our p o i n t i s t h a t one v e r y i m p o r t a n t p r o p e r t y o f d e t e r m i n a n t s i s t h a t t h e d e t e r m i n a n t o f a p r o d u c t i s t h e p r o d u c t of t h e d e t e r minants; b u t w e cannot p a s s t h i s o f f a s b e i n g " s e l f - e v i d e n t " i f o n l y because t h e c o r r e s p o n d i n g s t a t e m e n t about sums seems j u s t as self-evident. What w e s h a l l do i n t h i s e x e r c i s e i s prove t h e r e s u l t f o r t h e c a s e n = 2. Our t e c h n i q u e s h a l l b e t h e one which g e n e r a l i z e s t o a l l dimensions, b u t by r e s t r i c t i n g o u r a t t e n t i o n t o n = 2 we may a v o i d p a r t o f t h e mass of computational d e t a i l and n o t a t i o n t h a t o f t e n o b s c u r e s t h e s t r u c t u r e of t h e p r o o f . As w e s h a l l see, t h e proof r e l i e s r a t h e r s t r o n g l y on t h e r e s u l t s o f E x e r c i s e 3.5.1. a. Since w e can b e c e r t a i n t h a t By t h e l i n e a r p r o p e r t i e s of t h e d e t e r m i n a n t , a s d i s c u s s e d i n E x e r c i s e 3.5.1, we see from (1) t h a t may b e w r i t t e n a s IAB~ ~ a c t o r i n go u t t h e common f a c t o r s i n t h e rows o r columns o f t h e t e r m s i n ( 2 ) , we s e e t h a t ( 2 ) may be r e w r i t t e n i n t h e form Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3.5.2 ( L ) continued But both and lb21 a r e 0 s i n c e each of t h e s e determinants has two e q u a l rows [i.e., D(v v ) = 0 , e t c . ] . 1' 1 Moreover, s i n c e one determinant i s o b t a i n e d from t h e o t h e r merely by i n t e r changing two columns [ i . e . , With t h e s e o b s e r v a t i o n s , i s a number n o t a m a t r i x , expression. S.3.5.8 D(vlrv2) = -D(v2,vl) , e t c . l (3) becomes and can b e f a c t o r e d from t h e g i v e n Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3.5.2 (L) c o n t i n u e d Finally, since w e see from (1) and ( 4 ) t h a t Note #1 I n t h e r e l a t i v e l y s i m p l e c a s e n = 2 , w e c o u l d v e r i f y by d i r e c t computation t h a t lABl = / A / l B l b u t n o t i c e how cumbersome t h e d i r e c t computation becomes f o r l a r g e v a l u e s o f n. Our t e c h n i q u e n e v e r i n v o l v e s o u r h a v i n g t o expand by c o f a c t o r s , e t c . , but r a t h e r h a s u s r e p e a t e d l y w r i t e a d e t e r m i n a n t a s a s i m p l e r sum of d e t e r m i n a n t s . Moreover, o u r t e c h n i q u e does n o t r e q u i r e t h a t we c o n j e c t u r e t h e r e s u l t i n advance. with b. 1-1 and showed t h a t S i n c e D(ul, ...,un) IAB~ = That i s , we began IAIIBI. = 1, o u r coding system s a y s t h a t I n o t h e r words, t h e d e t e r m i n a n t of I i s 1. NOW suppose A i s i n v e r t i b l e , t h a n A-le x i s t s such t h a t Accordingly, IAA-'~ = 111 . (6) S.3.5.9 Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3.5.2(L) continued By p a r t ( a ) w e know t h a t I Z U ~ ' ~ I= called that 1II = 1. IAI J A - ~ I and w e have j u s t r e - Hence ( 6 ) becomes From (7) w e o b t a i n That i s = 111-l. Note #2 The b e a u t y of ( 8 ) i s t h a t it i d e n t i f i e s t h e i n v e r s e o f a m a t r i x w i t h t h e i n v e r s e o f a number. T h a t i s , IA-'I refers t o f i n d i n g t h e d e t e r m i n a n t o f t h e m a t r i x which i s t h e i n v e r s e o f A , w h i l e ] A 1-I r e f e r s t o f i n d i n g t h e d e t e r m i n a n t o f A (which i s a number) and t h e n t a k i n g i t s r e c i p r o c a l . p a r t (c) c. . With w e see a t once t h a t W e may now f i n d A-' , namely: We illustrate this in Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra U n i t 5: Determinants 3.5.2 (L) c o n t i n u e d hence, Accordingly, H e r e a r e a few p o i n t s which o c c u r j u s t w i t h i n t h e c o n f i n e s o f the present exercise. 1. The m a t r i x A-' i n (10) can b e w r i t t e n a s T h a t i s , when w e m u l t i p l y a m a t r i x by a number, each e n t r y o f t h e m a t r i x i s m u l t i p l i e d by t h a t number. On t h e o t h e r hand, when w e m u l t i p l y t h e d e t e r m i n a n t o f A-l,i. e . , ~ A - ~, I by a number w e m u l t i p l y any one row ( o r column, b u t n o t -1 For example, i n computing [ A 1 b o t h ) o f A-' by t h a t number. from (lo), we find that Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants - 3.5.2 (L) c o n t i n u e d - l h 9 T h a t i s , w e " f a c t o r e d o u t " 113 t w i c e , once f o r each row ( o r column) i n which it was a common factor. Had w e simply w r i t t e n t h a t we would have o b t a i n e d t h e i n c o r r e c t answer, 1, a s t h e v a l u e of t h e determinant. 2. I f AB = 0 (where now 0 d e n o t e s t h e z e r o matrix), t h e n it i s n o t t r u e t h a t e i t h e r A o r B must b e t h e z e r o matrix. For example, but neither nor is t h e zero matrix. T h i s s h o u l d n o t b e confused w i t h t h e numerical r e s u l t t h a t i f IAB~ = 0 (where now 0 is t h e number 0) t h e n IA I= 0 or IBI I n summary, t h e p r o d u c t of two m a t r i c e s can b e t h e z e r o . = 0. Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra U n i t 5: Determinants 3.5.2 (L) c o n t i n u e d Comparing (9) and (11) w e conclude t h a t Note # 3 T h i s e x e r c i s e proves t h a t i f a m a t r i x i s i n v e r t i b l e , i t s d e t e r minant cannot e q u a l z e r o . I A ~ nor 1 neither More g e n e r a l l y , s i n c e JBI Namely, s i n c e can b e z e r o . IABI= IAl IBI , we see that # 0 - + + l ~ . I 3#l 0; o r from a d i f f e r e n t emphasis, = 0 or IBI IA~# 0 i f IABI= and o++~A/ = 0. Note # 4 Because of a l l our p r e v i o u s work w i t h m a t r i c e s and t h e r e l a t i v e l y l i t t l e work we've done w i t h d e t e r m i n a n t s , t h e r e i s a danger t h a t we may confuse m a t r i x p r o p e r t i e s w i t h d e t e r m i n a n t p r o p e r t i e s . Many non-zero m a t r i c e s ( r e c a l l t h a t t h e zero-matrix i s t h e m a t r i x , a l l of whose e n t r i e s a r e z e r o ) have a z e r o d e t e r m i n a n t . I n f a c t , t h i s i s p r e c i s e l y t h e d e f i n i t i o n o f a s i n g u l a r m a t r i x . A t any r a t e , n o t i c e t h a t t h e p r o d u c t o f two m a t r i c e s can be t h e zerom a t r i x even though n e i t h e r m a t r i x i s t h e zero-matrix. For example, The two m a t r i c e s on t h e l e f t s i d e o f t h e e q u a l i t y a r e s i n g u l a r b u t non-zero. However, t h e p r o d u c t o f two m a t r i c e s cannot b e s i n g u l a r u n l e s s a t l e a s t one o f t h e two m a t r i c e s i s s i n g u l a r . I t i s t h i s f a c t t h a t i s s t a t e d i n terms of d e t e r m i n a n t s by IAB~ = 0 i f and o n l y i f IAJ = 0 or IBI = 0. S t a t e d w i t h o u t t h e language of d e t e r m i n a n t s , a l l we a r e s a y i n g i s t h a t i f b o t h A-land B-le x i s t then ( A B ) - l a l s o e x i s t s , and -1 -1 -lA-li n p a r t i c u l a r , it i s g i v e n by B A [ s i n c e (AB)B - A(BB-~)A-' = *-I = I]. S.3.5.13 Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants - -- 3.5.2 (L) continued I n summary, we must n o t confuse the z e r o m a t r i x with a m a t r i x whose determinant i s z e r o ( a s examples of which a r e a l l s i n g u l a r matrices) . 3.5.3(L) I f P i s an n by n i n v e r t i b l e m a t r i x and A i s any n by n matrix, then we have: [PI The f a c t t h a t P i s i n v e r t i b l e means t h a t # 0. Hence, 1 i s w e l l defined. Hence, t h e (numerical) f a c t o r s [ c a n c e l i n (1) t o y i e l d 1PAP-ll = 1 ~ 1 . and Ip - I = IPI I P'9 A NOTE ABOUT LINEAR TRANSFORMATIONS I n t h e previous u n i t we d i s c u s s e d how t h e same l i n e a r t r a n s formation could be coded by many d i f f e r e n t m a t r i c e s , depending on t h e b a s i s being used t o d e s c r i b e t h e domain of t h e t r a n s formation. W e showed t h a t i f A and B were any two such m a t r i c e s , . -1 then t h e r e e x i s t e d a non-singular matrix P such t h a t B = PAP I n f a c t , we used t h i s f a c t a s t h e motivation f o r our d e f i n i t i o n of what i t meant f o r two m a t r i c e s t o be s i m i l a r . During t h e d i s c u s s i o n we a l s o mentioned t h a t t h e transformation i t s e l f d i d n o t depend on t h e b a s i s being used. Only t h e m a t r i x depended on t h e choice of b a s i s . Thus, one would l i k e t o f e e l t h a t t h e r e should be some i n v a r i a n t about t h e matrix of t h e t r a n s f o r m a t i o n ; t h a t i s , some f a c t t h a t would be t r u e f o r every s i m i l a r matrix. What we have shown i n t h i s e x e r c i s e i s t h a t t h e r e i s a t l e a s t one such i n v a r i a n t ( t h e r e a r e a l s o Namely, s i n c e o t h e r s b u t we s h a l l n o t pursue t h i s here) . 1 PAP-' 1 = IAI we know t h a t i f A and B a r e s i m i l a r then t h e s e Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra U n i t 5: Determinants 3.5.3 ( L ) c o n t i n u e d two m a t r i c e s have t h e same d e t e r m i n a n t . I n o t h e r words, t h e i n f i n i t e l y many d i f f e r e n t m a t r i c e s which code t h e same l i n e a r t r a n s f o r m a t i o n a r e c h a r a c t e r i z e d (among o t h e r ways) by t h e f a c t t h a t t h e y a l l have t h e same d e t e r m i n a n t . 3.5.4 (optional) W e have Hence, d e t (A + all + I) = a2 1 Now Solutions Block 3: S e l e c t e d Topics i n Linear Algebra Unit 5: Determinants 3.5.4 continued (2) might n o t s e e m l i k e a very impressive r e s u l t , b u t it has s e v e r a l important r a m i f i c a t i o n s . From our immediate p o i n t In i t s e l f , of view, perhaps t h e most important consequence of ( 2 ) i s t h a t it shows us t h a t " t h e determinant of a sum equals t h e sum of t h e determinants" i s u s u a l l y a f a l s e statement. Indeed, we have shown i n (2) t h a t d e t (A + I ) = det(A) + det(1) i s t r u e only when all + a 2 2 = 0. diagonal elements of A i s z e r o , d e t (A + I) That i s , u n l e s s t h e sum of t h e # det(A) + d e t ( 1 ) . of t h e diagonal elements of a s q u a r e m a t r i x i s given a s p e c i a l name. I t i s I t i s a l s o i n t e r e s t i n g t o n o t e t h a t t h e sum c a l l e d t h e t r a c e o f t h e matrix. We s h a l l e x h i b i t an i n t e r e s t i n g property o f t h e t r a c e of a matrix i n p a r t (b). Hence, w e conclude from (1) t h a t i f then Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3.5.4 continued Therefore, Thus f o r ( 2 ) w e conclude t h a t t h e t r a c e o f B-lAB, , equals T~ (B-'AB) -3 + written 1 5 = 12. Note #1: W e have w r i t t e n B-lAB whereas i n t h e p a r t w e have t a l k e d about -1 t h e n B-lAB t a k e s t h e BABml. Notice t h a t i f w e l e t P = B PAP-'. I n o t h e r words, we may w r i t e e i t h e r BmlAB o r BAI3-l o u r d e f i n i t i o n of s i m i l a r m a t r i c e s . in I n computing t h e m a t r i x o f t h e t r a n s f o r m a t i o n , however, i t does make a d i f f e r e n c e whether w e w r i t e B-lAE? o r BAB-' b u t w e s h a l l say more about t h i s i n the next unit. Note #2: I n what may s e e m t o be a c o i n c i d e n c e , t h e t r a c e of A i s a l s o 12 (namely, t h e d i a g o n a l elements of A a r e 4 and 8 ) . Thus, a t l e a s t i n t h i s s p e c i a l c a s e , we have t h a t A and B-lAB have t h e same t r a c e . The i n t e r e s t i n g p o i n t i s t h a t t h i s i s n o t a c o i n c i - dence. While w e s h a l l n o t b o t h e r p r o v i n g t h i s r e s u l t i n o u r c o u r s e , t h e f a c t i s t h a t i f B i s any non-singular n by n m a t r i x and A i s any n by n m a t r i x t h e n A and B - ~ A B always have t h e same t r a c e . Recalling o u r d e f i n i t i o n i n t h e previous u n i t t h a t A i s s i m i l a r t o C means t h a t C = B - ~ A B , we s e e t h a t s i m i l a r m a t r i c e s have t h e same t r a c e . I n p a r t i c u l a r , t h e n , i n r e f e r e n c e t o o u r coding a l i n e a r t r a n s f o r m a t i o n by a m a t r i x , t h i s shows t h a t t h e m a t r i x which d e n o t e s t h e t r a n s f o r m a t i o n , while it v a r i e s with t h e c h o i c e of b a s i s , has t h e same t r a c e , r e g a r d l e s s o f t h e b a s i s Solutions Block 3: S e l e c t e d Topics i n Linear Algebra Unit 5: Determinants 3.5.4 continued being used. I n o t h e r words, when we t a l k about t h e t r a c e of t h e matrix, it makes no d i f f e r e n c e which b a s i s i s being used. In s t i l l o t h e r words, t h e t r a c e of t h e matrix which d e s c r i b e s t h e l i n e a r transformation i s a l s o an i n v a r i a n t with r e s p e c t t o t h e basis. a. Using t h e method of c o f a c t o r s and expanding along t h e f i r s t row, we o b t a i n W e may now expand a , @ ,@ , t h e f i r s t row t o o b t a i n : and @ by c o f a c t o r s along Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra U n i t 5: Determinants 3.5.5 (L) c o n t i n u e d Using t h e r e s u l t s of ( 2 ) ,( 3 ) ,(41, and ( 5 ) i n (1) w e o b t a i n Note #1 Our main aim i n h a v i n g you do p a r t ( a ) i s s o t h a t you can conv i n c e y o u r s e l f t h a t t h e method o f c o f a c t o r s , w h i l e s t r u c t u r a l l y sound, i s extremely cumbersome t o apply i n even simple numerical* cases. T h a t i s , a 3 by 3 d e t e r m i n a n t can h a r d l y be c a l l e d c o m p l i c a t e d , y e t t h e amount of computation i n p a r t ( a ) a l r e a d y seems t o b e g e t t i n g q u i t e heavy. Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3.5.5 (L) continued Our p o i n t i s t h a t t h e method of c o f a c t o r s i s extremely important when we a r e d e a l i n g with " l i t e r a l " m a t r i c e s , b u t i n t h e case t h a t we a r e d e a l i n g with numerical examples, it i s much e a s i e r t o "row-reduce" t h e determinant, j u s t a s we d i d with matrices. I n t h i s r e s p e c t , we invoke t h e axiom t h a t t h e determinant i s unchanged i f we r e p l a c e any row (column) by i t s e l f p l u s a c o n s t a n t m u l t i p l e of any o t h e r row (column). Here, again we s e e t h e d i f f e r e n c e between m a t r i c e s and determinants; when we row-reduce a m a t r i x we g e t d i f f e r e n t though e q u i v a l e n t ( i . e . , they span t h e same space) m a t r i c e s , b u t when we row-reduce a determinant i n t h e above-mentioned c o n t e x t , w e do n o t change t h e determinant. With t h i s i d e a i n mind one u s u a l l y e v a l u a t e s an n by n determinant by row reducing it t o a form i n which i n one row ( o r column) a l l t h e e n t r i e s , b u t one, a r e zero. I n p a r t (b) w e i l l u s t r a t e t h i s technique by g e t t i n g t h e d e t e r minant i n t o t h e form i n which a l l b u t t h e f i r s t e n t r y of t h e f i r s t column a r e zero. W e o b t a i n e d (ii)from (i)by r e p l a c i n g t h e 2nd row of (i)by t h e 2nd minus t h e 1st; t h e 3rd, by t h e 3rd minus t w i c e t h e f i r s t ; and t h e 4 t h , by t h e 4th minus t h r e e t i m e s t h e f i r s t . The f i r s t column of (7) has 0 ' s everywhere except f o r a 1 i n t h e f i r s t row. Hence, i f w e expand (ii)by c o f a c t o r s along t h e f i ~ s column t we obtain 1 1 1 1 2 o-[: 0 -4 -2 2 3 4 2 3 4 1 2 1 + 0 1 1 2 0 4 0 -4, -2 -2 -01 1 1 2 '21 ' 8 1 l* Solutions Block 3 : S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3.5.5 (L) c o n t i n u e d Comparing ( 7 ) and ( 8 ) w e see t h a t t h e 4 by 4 d e t e r m i n a n t (i) i s e q u a l t o t h e 3 by 3 d e t e r m i n a n t (iii)where W e may a g a i n row-reduce (iii)t o o b t a i n and expanding ( i v ) by c o f a c t o r s a l o n g t h e f i r s t column, w e obtain Combining s t e p s ( 7 ) through (11) [and w e reproduce t h e s e s t e p s s o t h a t you see t h e " b i g p i c t u r e " ] we o b t a i n Solutions Block 3: S e l e c t e d Topics i n Linear Algebra Unit 5: Determinants 3.5.5 ( L ) continued C l e a r l y (12) agrees with (6), b u t c e r t a i n l y t h e r e i s no doubt t h a t t h e method of p a r t ( b ) i s more "sane" than t h a t of p a r t (a) . Note #2: A s a compromise between t h e techniques of ( a ) and ( b ) , we should observe t h a t we may continue t h e row reduction technique u n t i l w e have a diagonal 4 by 4 matrix. The i d e a i s t h a t f o r a diagonal m a t r i x t h e determinant i s simply t h e product of t h e d i a g o n a l elements. The key p o i n t h e r e i s t h a t i f we use t h i s In other method, no r e f e r e n c e a t a l l i s made t o c o f a c t o r s . words, w e may e v a l u a t e t h e determinant without recourse t o anything b u t t h e axioms under which t h e determinant f u n c t i o n was derived. More s p e c i f i c a l l y , w e have: W e may now f a c t o r a .2 o u t of t h e bottom row of t h e l a s t d e t e r - minant i n (13) t o o b t a i n I Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3.5.5 (L) c o n t i n u e d Observations 1. The r e a s o n t h a t w e know t h a t t h e d e t e r m i n a n t of a d i a g o n a l matrix is t h e product of t h e diagonal e n t r i e s is a s follows (we u s e t h e 4 by 4 c a s e , b u t t h e g e n e r a l i z a t i o n s h o u l d b e c l e a r ) : Given : w e may " f a c t o r o u t " all from t h e f i r s t row; a22. from t h e second row; a331 from t h e t h i r d row; and from t h e f o u r t h row t o o b t a i n and t h i s . 2. i n t u r n , e q u a l s alla22a33a44 since 111 = 1. A c t u a l l y i f t h e e n t i r e s of A a r e a l l z e r o below t h e main d i a - . ., ai gonal (i e = 0 i f i > j ) t h e n t h e d e t e r m i n a n t of A i s s t i l l t h e p r o d u c t of t h e d i a g o n a l e n t r i e s . Namely, given w e may expand by c o f a c t o r s a l o n g t h e f i r s t column t o o b t a i n successively Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants and f a c t o r i n g o u t 2 from t h e 4th row of (1) and -5 from t h e 5 t h row, w e o b t a i n S i n c e (i)i s a t r i a n g u l a r m a t r i x (i.e. , all e n t r i e s below t h e main d i a g o n a l a r e z e r o ) , i t s d e t e r m i n a n t i s t h e p r o d u c t of d i a g o n a l e n t r i e s , i.e., (1)(1)(1)(-1)(-4) r e s u l t w i t h (1) and ( 2 ) w e have t h a t = 4. Combining t h i s I Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra U n i t 5: Determinants 3.5.7 (optional) Our main aim i n t h i s e x e r c i s e i s t o t r y t o e x p l a i n how t h e formula o f expanding by t h e use of c o f a c t o r s e v o l v e s from o u r t h r e e b a s i c axioms used t o d e f i n e D. is t h e l i n e a r property 0f.D. that The key s t e p , o f c o u r s e , For example, w e know by l i n e a r i t y I f w e now w r i t e t h i s same r e s u l t i n t h e more c o n v e n t i o n a l notion f o r determinants, we obtain that: An i n t e r e s t i n g q u e s t i o n i s t h a t o f d e t e r m i n i n g how (1) could b e d e r i v e d d i r e c t l y from o u r p r e v i o u s r e c i p e s w i t h o u t r e f e r e n c e t o t h e D-notation. T h i s i s answered i n p a r t ( a ) o f t h i s exercise. a. Using a s h i n d s i g h t t h e f a c t s t h a t "codes" D(allul, rewrite a 2 1 ~ 1 + a 2 2 ~ 2I ) and allUl -- allUl + 0u2, w e Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra U n i t 5: Determinants 3.5.7 continued N o t i c e t h e p o s i t i o n of 0 i n t h e f i r s t row o f ( 3 ) . column it f o l l o w s all, In the f i r s t b u t i n t h e second column, it p r e c e d e s aI2. i s t h e c o e f f i c i e n t of ul w h i l e i s t h e c o e f f i c i e n t o f u2; s o t h a t w e may t h i n k of all i n a 12 The r e a s o n f o r t h i s i s t h a t all ( 2 ) a s d e n o t i n g allul + Ou2; w h i l e a12 d e n o t e s Oul + a12u2. Be t h i s a s i t may, however, w e now u s e t h e r e s u l t d i s c u s s e d i n e x e r c i s e 3.5.1 and rewrite ( 3 ) a s W e may now ,rewrite t h e bottom row o f each d e t e r m i n a n t of by r e p l a c i n g apl by a21 + 0 and a a 2 by 0 + a22. (4) W e then obtain and I f w e now p u t t h e r e s u l t s of ( 2 ) through ( 6 ) t o g e t h e r w e have: @ @ and a r e 0. W e nay see t h i s by o b s e r v i n g t h a t each h a s a column o f 0 ' s o r by o b s e r v i n g t h a t i n each Determinants d e t e r m i n a n t one row i s a s c a l a r m u l t i p l e o f t h e o t h e r , any e v e n t , w e are l e f t w i t h In Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3.5.7 continued l Determinant 05 h a s an i n t e r e s t i n g form. of t h e i d e n t i t y determinant. from @by I t i s a permutation That i s , we can o b t a i n t h e i d e n t i t y interchanging t h e two rows. Now, we know t h a t we change t h e s i g n of t h e d e t e r m i n a n t whenever w e i n t e r c h a n g e two rows. Hence, and s i n c e w e conclude from ( 8 ) t h a t b . I n a l l candor, it s h o u l d appear t h a t o u r d e r i v a t i o n of ( 9 ) was l i k i n g s n a t c h i n g d e f e a t from t h e jaws of v i c t o r y ! After a l l , w e d e r i v e d t h i s r e s u l t i n t h e l e c t u r e . Indeed, t h e t e c h n i q u e used i n t h i s e x e r c i s e was p r e c i s e l y t h e same a s t h a t used i n t h e l e c t u r e e x c e p t f o r t h e symbolism used t o denote t h e d e t e r minant f u n c t i o n . The i m p o r t a n t p o i n t i s t h a t i n t h e format used i n p a r t ( a ) of t h i s e x e r c i s e w e b e g i n t o s e e t h e s t r u c t u r e which j u s t i f i e s t h e s i g n convention of t h e method of c o f a c t o r s . The key i d e a Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra U n i t 5: Determinants 3.5.7 continued i s t h a t whenever we i n t e r c h a n g e two rows (columns) o f a s q u a r e m a t r i x w e change t h e s i g n o f t h e d e t e r m i n a n t of t h e m a t r i x . Thus, g i v e n a p e r m u t a t i o n of t h e i d e n t i t y m a t r i x I , w e can count how many t i m e s w e must i n t e r c h a n g e two rows t o o b t a i n t h e i d e n t i t y matrix. I f t h e number o f t i m e s i s even, t h e d e t e r m i n a n t i s 1 ( s i n c e e v e r y i n t e r c h a n g e changes t h e s i g n ) w h i l e i f t h e number of i n t e r c h a n g e s i s odd t h e d e t e r m i n a n t i s -1. Before p u r s u i n g t h i s i n more d e t a i l , l e t us r e i n f o r c e t h e t e c h n i q u e by v e r i f y i n g t h e formula f o r computing W e have t h a t (10) i s e q u a l t o which i n t u r n i s e q u a l t o W e may n m r e w r i t e t h e second row o f each d e t e r m i n a n t i n (7) as i n which c a s e w e o b t a i n : Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra U n i t 5: Determinants 3.5.7 c o n t i n u e d S i n c e t h e f i r s t two rows o f @ are s c a l a r m u l t i p l e s of one a n o t h e r , w e have t h a t t h e v a l u e o f 0 i s z e r o (more f o r m a l l y , and a21 from t h e w e f a c t o r o u t all from t h e f i r s t row o f second row, so t h a t t h e d e t e r m i n a n t h a s t h e form: 9 i n which c a s e two rows o f t h e new d e t e r m i n a n t a r e e q u a l ) . To compute 0 0 10 For example, Now and 11 w e rewrite t h e t h i r d row of each a s or 0 11 becomes @ a r e each z e r o . Namely i n @ w e see t h a t the f i r s t and t h i r d rows a r e s c a l a r m u l t i p l e s of one a n o t h e r ( o r i n 0 t e r m s o f t h e t r a n s p o s e m a t r i x , t h e second column of r e p r e s e n t s t h e z e r o v e c t o r ) ; w h i l e i n 1 4 t h e second and t h i r d rows a r e s c a l a r m u l t i p l e s o f one a n o t h e r . 0 It is all @ which i s of i n t e r e s t t o us. That i s , w e may f a c t o r from t h e f i r s t row; a 2 3 from t h e second row, and a32 from t h e t h i r d row t o o b t a i n : Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra U n i t 5: Determinants 3.5.7 continued Notice t h a t @ i s a permutation of t h e i d e n t i t y . In particular, may b e c o n v e r t e d i n t o simply by i n t e r c h a n g i n g t h e second and t h i r d rows. More s p e c i - fically Combining t h e r e s u l t s of (13) , ( 1 4 1 , and (15) I w e See t h a t Note : W e c o u l d have s a i d t h a t and t h i s seems much s i m p l e r t h a n o u r method of d e r i v i n g ( 1 6 ) . Keep i n mind, however, t h a t t h e purpose o f t h i s e x e r c i s e i s t o j u s t i f y t h e method of expansion by c o f a c t o r s . I n o t h e r words, t h e " s h o r t c u t " i s a form of c i r c u l a r r e a s o n i n g i n t h a t it Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3.5.7 continued presupposes t h e v a l i d i t y o f t h e method o f c o f a c t o r s . I n any e v e n t w e can perform a s i m i l a r a n a l y s i s on d e t e r m i n a n t s @ and @ . S p a r i n g you t h e d e t a i l s , t h e o v e r a l l t e c h n i q u e t a k e s on t h e form: [You may want t o o b s e r v e t h a t t h e r i g h t s i d e o f (17) i s e q u i v a l e n t t o expanding t h e l e f t s c a l e by c o f a c t o r s w i t h r e s p e c t t o t h e f i r s t row. ] A s w e saw, 0 6 may b e r e w r i t t e n a s r 1 all O = O a a O 22 a31 O 0 + O 0 + 11 0 0 a 0 11 a 2 2 0 + 0 O a 32 + O 0 0 0 0 a 22 0 O a23 Solutions Block 3: S e l e c t e d Topics i n Linear Algebra Unit 5: Determinants 3 . 5 . 7 continued Similarly 0 7 becomes = 0 s i n c e f i r s t two rows are s c a l a r multip l e s of each other. A \ Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra U n i t 5: Determinants 3.5.7 continued Both @ a r e permutations of t h e i d e n t i t y matrix. and How can w e c o n v e r t @ t o the identity. Well, we would want 1 0 0 t o b e o u r f i r s t row, b u t i t i s now o u r second row. Hence, w e would f i r s t i n t e r c h a n g e o u r f i r s t and second rows t o obtain On t h e o t h e r hand, t o c o n v e r t , we notice that 1 0 0 i s t h e t h i r d row, s o w e i n t e r c h a n g e i t w i t h t h e p r e s e n t f i r s t row t o o b t a i n Looking a t @ w e would l i k e 0 1 0 t o b e t h e second row r a t h e r t h a n t h e t h i r d , s o w e i n t e r c h a n g e t h e second and t h i r d rows of @ t o obtain and combining (20) and (21) e s t a b l i s h e s t h a t Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3.5.7 continued Thus, (19) becomes 'a12a21a33 + a12a23a31' F i n a l l y , l e a v i n g t h e d e t a i l s to. you, 0 8 reduces t o A q u i c k " u n e t h i c a l " way o f v e r i f y i n g (23) i s t o expand c o f a c t o r s a l o n g t h e f i r s t row. @ by Again, t h i s i s c i r c u l a r r e a s o n i n g s i n c e o u r aim h e r e i s t o e s t a b l i s h t h e v a l i d i t y o f t h e procedure. ~ f w e now combine (181, (221, and (231, w e o b t a i n t h e w e l l known r e s u l t : Note: The major impact of what l o o k s l i k e a "shaggy dog" s t o r y h e r e i n p a r t ( b ) i s t h a t t h e r e was a s y s t e m a t i c way o f p r e d i c t i n g what (24) was going t o b e , and t h a t t h i s s y s t e m a t i c way e x t e n d s a t once t o any n by n d e t e r m i n a n t . Using t h e 3 by 3 c a s e a s an i l l u s t r a t i o n , we o b s e r v e t h a t t h e given d e t e r m i n a n t may b e w r i t t e n a s t h e sum o f 27 v e r y s p e c i a l d e t e r m i n a n t s . Namely, w e g e t one d e t e r m i n a n t f o r each way t h e r e i s of p i c k i n g e x a c t l y one element from each row. We t h e n f a c t o r o u t t h e v a r i o u s c o e f f i c i e n t s and we f i n d t h a t each r e s u l t i n g d e t e r m i n a n t i n v o l v e s a m a t r i x which e i t h e r h a s a t l e a s t one row (column) of 0 ' s o r else t h e m a t r i x i s a permutation of t h e i d e n t i t y m a t r i x . The p e r m u t a t i o n o f t h e i d e n t i t y m a t r i x o c c u r s i f and o n l y i f we had one o f t h e 27 s p e c i a l m a t r i c e s i n which t h e s e l e c t e d e n t r i e s from each row a l s o were from d i s t i n c t columns. t h i s means i s t h e following: What Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra U n i t 5: Determinants 3.5.7 c o n t i n u e d I f w e look a t any t e r m which c o n s i s t s of t h r e e f a c t o r s o f t h e aijls, t h i s t e r m w i l l be a b s e n t from ( 2 4 ) u n l e s s b o t h t h e s e t of f i r s t s u b s c r i p t s and second s u b s c r i p t s a r e p e r m u t a t i o n s o f t h e numbers 1, 2, 3. For example, n o t i c e t h a t t h e term alla12a23 does n o t a p p e a r i n (24) s i n c e t h e f i r s t s u b s c r i p t of t h e a ' s form t h e s e t { 1 , 1 , 2 ) which i s n o t a p e r m u t a t i o n of { 1 , 2 , 3 ) . R e c a l l t h a t a p e r m u t a t i o n o f a set S i s a 1-1, o n t o f u n c t i o n f:S -+ S , hence a t most a re-arrangement of t h e o r d e r o f { 1 , 2 , 3 ) Thus, w e see t h a t t h e r e w i l l be a s many d i s t i n c t t e r m s i n (24) a s t h e r e a r e ways o f o b t a i n i n g a permutation of t h e i d e n t i t y m a t r i x . To t h i s end, n o t i c e t h a t i n t h e 3 by 3 c a s e t h e r e e x a c t l y 3! = 6 such ways. Namely, t h e row (1 0 0) may be I p l a c e d i n any one o f t h e t h r e e rows; once t h i s i s done, t h e row (0 1 0) may b e p l a c e d i n any one of t h e two remaining rows; and once t h i s i s done (0 position. 0 1) must b e p l a c e d i n t h e l a s t N o t i c e t h a t (24) b e a r s o u t this remark s i n c e t h e d e t e r m i n a n t i n (24) i n v o l v e s s i x t e r m s . A l l t h a t remains t o account f o r i n (24) i s how t o determine whether one o f t h e t e r m s o c c u r s w i t h t h e p l u s s i g n o r w i t h t h e negative sign. Conceptually t h i s i s easy t o do. W e look a t t h e p e r m u t a t i o n d e t e r m i n a n t from which t h i s t e r m r e s u l t s and t h e n s e e how many i n t e r c h a n g e s a r e n e c e s s a r y t o c o n v e r t it t o t h e i d e n t i t y . I f it t a k e s an odd number then t h e s i g n i s n e g a t i v e ( s i n c e each i n t e r c h a n g e changes t h e s i g n of t h e d e t e r minant) w h i l e i f it t a k e s an even number t h e s i g n i s p o s i t i v e . ( I t i s an i n t e r e s t i n g a s i d e t h a t t h e number o f i n t e r c h a n g e s depends on how w e e l e c t t o make t h e changes, b u t whether t h e number o f i n t e r c h a n g e s i s even o r odd does n o t depend on how w e choose t o make t h e i n t e r c h a n g e s . ) The q u e s t i o n i s how can we t e l l t h e s i g n w i t h o u t having t o reproduce t h e m a t r i x . T h i s , t o o , i s n o t very d i f f i c u l t - once you g e t t h e c e n t r a l i d e a . A l l we do i s o r d e r t h e f a c t o r s s o t h a t e i t h e r t h e f i r s t sub- s c r i p t s o r t h e second s u b s c r i p t s o c c u r i n t h e " n a t u r a l " o r d e r ; e l 1 2, 3 We t h e n look a t t h e o t h e r s u b s c r i p t and s e e how many i n t e r c h a n g e s a r e n e c e s s a r y t o g e t them i n t o t h e n a t u r a l order. One r e l a t i v e l y q u i c k way o f doing t h i s i s t o c o u n t t h e . Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3.5.7 continued number of i n v e r s i o n s (which means t o count t h e number o f t i m e s a lesser number comes a f t e r a g r e a t e r number). S i n c e t h e i d e a o f i n v e r s i o n s may seem new t o you, l e t u s pause t o i l l u s t r a t e t h i s i d e a w i t h a s p e c i f i c example. L e t us c o n s i d e r t h e p e r m u t a t i o n on t h e s e t 1,2,3,4,5 which l e a d s t o t h e re- arrangement W e notice that: 1. S t a r t i n g w i t h o u r f i r s t member 4 , t h r e e lesser numbers f o l l o w it (namely 2, 1, and 3) . So t h i s g i v e s us 3 i n v e r s i o n s so far. 2. Our second number 5 i s a l s o followed by t h r e e lesser ones. So t h i s g i v e s u s t h r e e more i n v e r s i o n s , f o r a t o t a l of s i x , so far. 3. Our n e x t e n t r y 2 i s followed by o n l y one l e s s e r number (namely 1 ) . T h i s y i e l d s one more i n v e r s i o n , f o r a t o t a l o f 7. 4. Our n e x t number 1 i s followed by n o lesser numbers. (This i s t h e n i c e t h i n g about 1. I t c a n ' t b e followed by a lesser number. I n a s i m i l a r way i f n i s t h e g r e a t e s t number i n o u r s e t , e v e r y t h i n g which f o l l o w s it i s a l e s s e r number.) So o u r t o t a l number o f i n v e r s i o n s i s s t i l l 7. 5. Our l a s t number i s 3 and s i n c e it i s t h e l a s t number l i s t e d , n o t h i n g f o l l o w s it. I n p a r t i c u l a r , no l e s s e r number f o l l o w s it. Thus, o u r t o t a l number o f i n v e r s i o n s i s 7 which i s odd. Obviously we could have re-arranged (25) i n t o t h e n a t u r a l o r d e r i n a less m y s t i c a l way. For example, we might have n o t i c e d t h a t w e wanted 5 t o come l a s t b u t s i n c e it was l i s t e d second i n ( 2 5 ) , w e would have t o i n t e r c h a n g e t h e second and f i f t h e n t r i e s o f (25) . That i s , o u r f i r s t i n t e r c h a n g e would yield Looking a t (26) w e know t h a t 4 s h o u l d occupy t h e f o u r t h p o s i t i o n , b u t it i s p r e s e n t l y i n t h e f i r s t p o s i t i o n , s o w e Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra U n i t 5: Determinants 3.5.7 continued r e a l i z e t h a t w e must i n t e r c h a n g e t h e f i r s t and f o u r t h terms o f (26) , and t h i s y i e l d s W e t h e n o b s e r v e t h a t 2 and 3 s h o u l d b e i n t e r c h a n g e d i n (27) f o r us t o obtain t h e n a t u r a l order s o t h a t a l t o g e t h e r w e have had t o make t h r e e i n t e r c h a n g e s t o g e t (25) i n t o t h e n a t u r a l o r d e r . T h i s checks w i t h t h e f a c t t h a t w e had an odd ( 7 ) number o f i n v e r s i o n s . Keep i n mind t h a t w e c o u l d have p u t (25) i n t o n a t u r a l o r d e r i n o t h e r s y s t e m a t i c ways. For example w e might have decided t h a t w e f i r s t wanted 1 t o appear f i r s t , i n which c a s e we would have i n t e r c h a n g e d t h e 1 and 4 t o o b t a i n W e might t h e n have i n t e r c h a n g e d 5 and 2 t o g e t 2 i n t h e r i g h t place, thus yielding W e might t h e n have i n t e r c h a n g e d 3 and 5 t o p u t 3 i n t h e r i g h t p l a c e , and t h i s would have y i e l d e d s o t h a t a g a i n t h r e e i n t e r c h a n g e s b r i n g s about t h e n a t u r a l o r d e r . I n f a c t , t h e method of i n v e r s i o n i s a s p e c i a l way of c o u n t i n g interchanges. Namely, t o g e t 5 i n t o i t s p r o p e r p l a c e , w e must have it "jump over" e v e r y l e s s e r number and t h i s i s e q u i v a l e n t t o i n t e r c h a n g i n g it w i t h each l e s s e r number. That i s t h e number o f i n v e r s i o n s ( 7 ) corresponds t o t h e f o l l o w i n g s u c c e s s i o n of interchanges : Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra U n i t 5: Determinants 3.5.7 continued I n t e r m s o f o u r d e t e r m i n a n t i d e a , i f we were expanding t h e 5 by 5 determinant l a ij I t h e n t h e s i g n of would b e n e g a t i v e because w i t h t h e f i r s t s u b s c r i p t s i n t h e n a t u r a l o r d e r t h e second ones a r e t h e permutation 4 5 2 1 3 which i s odd. I n more g e n e r a l terms, t h e expansion of an n by n m a t r i x w i l l c o n s i s t of n! t e r m s s i n c e t h i s i s t h e number o f p e r m u t a t i o n s o f In. Half o f t h e s e n! t e r m s w i l l b e p o s i t i v e and t h e o t h e r half negative. To see which s i g n a term h a s , w e l i n e up t h e f a c t o r s i n t h e o r d e r i n which, s a y , t h e f i r s t s u b s c r i p t s form ..., n ( i f t h i s cannot b e done, t h e t e r m i s t h e n a t u r a l o r d e r 1, n o t one of t h e n! b e i n g e v a l u a t e d * ) . We t h e n look a t t h e p e r m u t a t i o n formed by t h e second s u b s c r i p t s and count t h e number of inversions. I f t h e number of i n v e r s i o n s i s even, w e u s e the plus sign, otherwise, the negative sign. * I n t h e method o f p a r t ( b ) , g e n e r a l i z e d t o t h e n by n c a s e , we o b s e r v e t h a t we g e t o n e s p e c i a l d e t e r m i n a n t f o r e a c h way t h a t we c a n f o r m a m a t r i x u s i n g o n e e n t r y f r o m e a c h row. Since t h e r e a r e n rows a n d n e n t r i e s f r o m e a c h row, t h e r e a r e n n s u c h s p e c i a l determinants (note t h a t t h i s accounts f o r t h e 27 i n our O f t h e s e nn s p e c i a l d e t e r m i n a n t s , a l l example w h e r e i n n = 3 ) . w i l l e q u a l 0 e x c e p t f o r t h e n! w h i c h a r e p e r m u t a t i o n s o f n 11 I Solutions Block 3: S e l e c t e d T o p i c s i n L i n e a r Algebra U n i t 5: D e t e r m i n a n t s 3.5.7 c. continued Given w e may t h i n k o f r c o d i n g t h e row (1 0 0 0 0 ) ; r2, t h e row 1 ( 0 1 0 0 O ) , etc. I n t h i s way, I i s r e p r e s e n t e d by t h e s e q u e n c e o f rows Our d e t e r m i n a n t h a s t h e rows o f I i n t h e o r d e r A s a s h o r t c u t , w e may u s e j u s t t h e s u b s c r i p t s i n (28) and (29), and w e see t h a t w e must o n l y c o u n t t h e i n v e r s i o n i n which i s ( i - e . , 2 and 1 f o l l o w s 3; t h e y f o l l o w 4 ; t h e y f o l l o w 5; and 1 follows 2 ) . Hence, t h e g i v e n d e t e r m i n a n t i s -1. More c o n c r e t e l y : Solutions Block 3: S e l e c t e d T o p i c s i n L i n e a r Algebra U n i t 5: Determinants 3.5.7 continued Summary : What w e have t r i e d t o g i v e you a f e e l i n g f o r i n t h i s e x e r c i s e i s where t h e formula f o r e v a l u a t i n g d e t e r m i n a n t s comes from, and how t h e method of expansion by c o f a c t o r s i s a c o n v e n i e n t way o f keeping t r a c k o f t h e s e r e s u l t s w i t h o u t c o n s c i o u s l y having t o d e t e r m i n e whether a g i v e n permutation i n v o l v e s an odd o r an even number o f i n t e r c h a n g e s t o c o n v e r t it t o n a t u r a l o r d e r . Keep i n mind, t h e f a c t t h a t we've s t r e s s e d b e f o r e . Namely, w e worry a b o u t c o f a c t o r s , e t c . , u s u a l l y when w e a r e working w i t h l i t e r a l expressions. I n t h e c a s e of c.oncrete numbers, w e o f t e n u s e row-reduction methods, e t c . s i n c e t h i s o f t e n y i e l d s t h e c o r r e c t answer w i t h much less l a b o r . 3.5.8 (optional) I n o u r s t u d y o f i n v e s t i g a t i n g t h e l i n e a r independence o f t h e set we had t o e v a l u a t e t h e Wronskian d e t e r m i n a n t Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3.5.8 continued W e c o u l d t h e n f a c t o r e rlx from t h e f i r s t column of (1), er2X from t h e second column, etc. t o o b t a i n The d e t e r m i n a n t i n ( 2 ) i s c a l l e d t h e Vandemonde d e t e r m i n a n t and i t s v a l u e c o n s i s t s o f t h e p r o d u c t of a l l t e r m s o f t h e form ri where i > j. - For example, etc. T h i s r e s u l t shows t h a t t h e Wronskian of f e 'lX e r x n equals r j Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3.5.8 continued = r s i n c e i # j. I n o t h e r words, i f ri i j t h e n t h e d e t e r m i n a n t i n (1) i s unequal t o 0. 0 ++ r # rj f o r i # j. Of c o u r s e , one does n o t need t h e s t u d y o f l i n e a r independence t o m o t i v a t e t h e Vandemonde d e t e r m i n a n t . This determinant i s v a l u a b l e i n i t s own r i g h t and t h e purpose o f t h i s e x e r c i s e i s t o v e r i f y i t s v a l u e , a t l e a s t i n t h e c a s e s ( 2 ) and ( 3 ) mentioned above [Case (1) i s , h o p e f u l l y , completely t r i v i a l ] . a. S i n c e w e a r e more used t o row-reduction t h a n t o column r e d u c t i o n w e may u s e t h e f a c t t h a t a m a t r i x and i t s t r a n s p o s e have t h e same d e t e r m i n a n t ( o t h e r w i s e w e do u s e column r e d u c t i o n , which i s e q u i v a l e n t t o t h e row-reduction o f t h e t r a n s p o s e ) . I n any event, W e may now f a c t o r r2 r3 - - r from t h e second row o f (3) and 1 r from t h e t h i r d row t o o b t a i n 1 ( s i n c e t h e two rows a r e e q u a l ) = 0 Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3.5.8 = continued (r2- rl) (r3- rl) { (r3- r2) 1 = (r3- rl) (r3- r2)(r2- rl) r - r 2 1 r rl 3 r - r 4 1 - 1 r2+r = ( r - r r - r r - r 1 r 2+ r 2r 1+ rl 2 1 r3+ r 1 r32+r 3r 1+ rl 1 r4+ rl r4'+ 2 2 r4r1+ rl 2 . S i n c e t h e d e t e r m i n a n t i n ( 4 ) h a s a second column, each o f whose e n t r i e s i s t h e sum o f two numbers, w e may w r i t e t h e d e t e r m i n a n t a s t h e sum of two s i m p l e r d e t e r m i n a n t s , one of which i s z e r o . Namely, Solutions Block 3: S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3 . 5 . 8 continued = 0 ( s i n c e t h e second column i s a m u l t i p l e o f t h e first) Now, Hence, ( 5 ) may b e r e w r i t t e n a s Solutions Block 3 : S e l e c t e d Topics i n L i n e a r Algebra Unit 5: Determinants 3 . 5 . 8 continued Again, t h e d e t e r m i n a n t i n ( 6 ) h a s a column i n which each e n t r y i s t h e sum o f t h r e e numbers. Hence, w e may rewrite i t a s t h e sum o f t h r e e s i m p l e r d e t e r m i n a n t s . . Namely, - f These a r e b o t h 0 s i n c e i n each two rows a r e t h e s&e. Combining t h e r e s u l t s o f (5), ( 6 ) , and ( 7 ) with' ( 5 ) w e o b t a i n the desired result. Perhaps t h e most s i g n i f i c a n t p a r t of t h i s e x e r c i s e ( a s i d e from t h e a c t u a l r e s u l t ) i s t o s e e how one can avoid much p a i n f u l comp u t a t i o n by h a v i n g t h e p a t i e n c e t o invoke t h e v a r i o u s theorems r a t h e r t h a n t o t r y t o "bludgeon o u t " t h e answer from t h e b a s i c d e f i n i t i o n of a d e t e r m i n a n t o r from t h e method of c o f a c t o r s . You might want t o t r y p a r t (b) by working d i r e c t l y from t h e method of c o f a c t o r s w i t h o u t row-reducing o r f a c t o r i n g . I f you do, you w i l l soon n o t i c e how i n v o l v e d t h e a r i t h m e t i c g e t s . Moreover, i n t h e c a s e o f an n by n d e t e r m i n a n t i n which n exceeds 4 , t h e a r i t h m e t i c blows o u t of p r o p o r t i o n very r a p i d l y i f w e ' r e not careful. The t e c h n i q u e used by us i n o u r s o l u t i o n of ( a ) and ( b ) g e n e r a l i z e s very n i c e l y t o h i g h e r dimensions, and - a t l e a s t r e l a t i v e t o most o t h e r methods keep t h e a r i t h m e t i c f a i r l y s i m p l e . - it manages t o I n summary, i f you have t o work much w i t h numerical d e t e r m i n a n t s , i t i s w i s e t o c u l t i v a t e t e c h n i q u e s f o r row r e d u c t i o n , f a c t o r i n g , and r e w r i t i n g d e t e r m i n a n t s a s a sum o f s i m p l e r d e t e r m i n a n t s , p r e f e r r a b l y a s a sum i n which most of t h e t e r m s a r e zero! MIT OpenCourseWare http://ocw.mit.edu Resource: Calculus Revisited: Complex Variables, Differential Equations, and Linear Algebra Prof. Herbert Gross The following may not correspond to a particular course on MIT OpenCourseWare, but has been provided by the author as an individual learning resource. For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.