18.06.14: ‘Rank-nullity’ Lecturer: Barwick Monday 7 March 2016 18.06.14: ‘Rank-nullity’ Theorem (Rank-Nullity Theorem). If π΄ is an π × π matrix, then dim(ker(π΄)) + dim(im(π΄)) = π. 18.06.14: ‘Rank-nullity’ Suppose π΄ were in reduced row echelon form: 1 −1 0 0 0 4 0 0 1 0 0 7 ( 0 0 0 1 0 6 ), 0 0 0 0 1 7 ( 0 0 0 0 0 0 ) Then, we have a few columns (1, 3, 4, 5 in this case) that are distinct standard basis vectors, and the other columns can be written as a linear combination of these. So the rank here is 4. 18.06.14: ‘Rank-nullity’ When we have a vector π₯β with π΄π₯β = 0,β we can write π₯1 , π₯3 , π₯4 , and π₯5 in terms of the other variables: ( ( ( ( π₯1 π₯2 π₯3 π₯4 π₯5 π₯6 ) ( ) ) = π ( ( ) And as we know, 4 + 2 = 6. ( 1 1 0 0 0 0 ) ( ) ) + π‘( ( ) ( −4 0 −7 −6 −7 1 ) ) ). ) 18.06.14: ‘Rank-nullity’ This pattern works in general. A matrix π΄ is in rref iff it looks like this: β 1 ( π΄1β β― π΄πβ 1 −1 π1Μ π΄1+π β π β― π΄πβ 2 −1 π2Μ β― ππΜ π΄1+π β― π΄πβ ) . β π , … , π΄β π −1 all lie in the span of π1Μ , … , ππΜ , but where the column vectors π΄1+π π+1 not in the span of π1Μ , … , ππ−1 Μ . The image is thus the span of the of distinct ππΜ ’s that appear: π = dim(im(π΄)). 18.06.14: ‘Rank-nullity’ When you compute the kernel, on the other hand, you express π₯π1 , π₯π2 , … , π₯ππ in terms of the other π₯π ’s. That is, you write any π₯β ∈ ker(π΄) as a linear combination of vectors π£1β , … , π£πβ 1 −1 , π£1+π β 1 , … , π£πβ 2 −1 , … , π£1+π β π , … , π£πβ , where each π£πβ has a 1 in the πth spot, something in spots π1 , π2 , … , ππ , and a 0 in every other spot. In particular, these vectors must be linearly independent, so they form a basis of the kernel! And since there are π − π of them, we have dim(ker(π΄)) = π − π, 18.06.14: ‘Rank-nullity’ as desired. This proves the Rank-Nullity Theorem when π΄ is in rref! 18.06.14: ‘Rank-nullity’ But what if π΄ isn’t in rref? What then? Well, we know we can perform row operations to get π΄ into rref. (This is the magic of Gaussian elimination.) row operationsβΆ π΄ ππ΄. There’s an invertible π × π matrix π such that ππ΄ is in rref. Now we first recall that row operations don’t change the kernel: ker(π΄) = ker(ππ΄). 18.06.14: ‘Rank-nullity’ However, row operations absolutely do change the image: im(π΄) ≠ im(ππ΄). 18.06.14: ‘Rank-nullity’ Well, that’s too bad! So what do we do to get out of trouble? We remember that the Rank-Nullity theorem only involves the dimension of the image, not the image itself. And good news: row operations don’t change the dimension of the image. So even though im(π΄) ≠ im(ππ΄), we still have dim(im(π΄)) = dim(im(ππ΄)). (Why???) 18.06.14: ‘Rank-nullity’ Now, victory is ours! For any old π × π matrix π΄, we multiply on the left by an invertible π × π matrix π to get a matrix ππ΄ in rref, and we have dim(ker(π΄)) + dim(im(π΄)) = dim(ker(ππ΄)) + dim(im(ππ΄)) = π. {mic drop} 18.06.14: ‘Rank-nullity’ Let’s take a moment to imagine how our proof might have been different if we’d used column operations to get our matrix into rcef: column operationsβΆ π΄ where π is an invertible π × π matrix. π΄π, 18.06.14: ‘Rank-nullity’ The point here is that column operations don’t change the image: im(π΄) = im(π΄π). However, column operations absolutely do change the kernel: ker(π΄) ≠ ker(π΄π). BUT, column operations don’t change the dimension of the kernel: dim(ker(π΄)) = dim(ker(π΄π)). 18.06.14: ‘Rank-nullity’ Using pure thought, tell me what the rank and nullity are of these matrices: ( ( 5 −15 ) −2 6 2 4 −138 ) 5 1 75 2 6 3 ( 5 1 50 ) 0 0 0 18.06.14: ‘Rank-nullity’ 9 9 9 ( 1 1 1 ) 4 4 4 1 5 7 ( −2 6 3 ) −1 11 10 18.06.14: ‘Rank-nullity’ 1 0 ( 1 0 ( 1 1 0 1 0 2 1 0 1 0 4 1 1 0 0 1 1 ) 0 0 8 16 )