06.09.2021 Views

A First Course in Linear Algebra, 2017a

A First Course in Linear Algebra, 2017a

A First Course in Linear Algebra, 2017a

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

4.10. Spann<strong>in</strong>g, L<strong>in</strong>ear Independence and Basis <strong>in</strong> R n 211<br />

Corollary 4.103: Results of the Rank Theorem<br />

Let A be a matrix. Then the follow<strong>in</strong>g are true:<br />

1. rank(A)=rank(A T ).<br />

2. For A of size m × n, rank(A) ≤ m and rank(A) ≤ n.<br />

3. For A of size n × n, A is <strong>in</strong>vertible if and only if rank(A)=n.<br />

4. For <strong>in</strong>vertible matrices B and C of appropriate size, rank(A)=rank(BA)=rank(AC).<br />

Consider the follow<strong>in</strong>g example.<br />

Example 4.104: Rank of the Transpose<br />

Let<br />

F<strong>in</strong>d rank(A) and rank(A T ).<br />

[<br />

A =<br />

1 2<br />

−1 1<br />

]<br />

Solution. To f<strong>in</strong>d rank(A) we first row reduce to f<strong>in</strong>d the reduced row-echelon form.<br />

[ ] [ ]<br />

1 2<br />

1 0<br />

A = →···→<br />

−1 1<br />

0 1<br />

Therefore the rank of A is 2. Now consider A T given by<br />

[ ]<br />

A T 1 −1<br />

=<br />

2 1<br />

Aga<strong>in</strong> we row reduce to f<strong>in</strong>d the reduced row-echelon form.<br />

[ ] [ 1 −1<br />

1 0<br />

→···→<br />

2 1<br />

0 1<br />

]<br />

You can see that rank(A T )=2, the same as rank(A).<br />

♠<br />

We now def<strong>in</strong>e what is meant by the null space of a general m × n matrix.<br />

Def<strong>in</strong>ition 4.105: Null Space, or Kernel, of A<br />

The null space of a matrix A, also referred to as the kernel of A, is def<strong>in</strong>ed as follows.<br />

{ }<br />

null(A)= ⃗x : A⃗x =⃗0<br />

It can also be referred to us<strong>in</strong>g the notation ker(A). Similarly, we can discuss the image of A, denoted<br />

by im(A). TheimageofA consists of the vectors of R m which “get hit” by A. The formal def<strong>in</strong>ition is as<br />

follows.

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

Saved successfully!

Ooh no, something went wrong!