# rank(a) = rank(transpose ofÂ a)

## Video transcript

A couple of videos ago, I made
the statement that the rank of a matrix A is equal to the
rank of its transpose. And I made a bit of a
hand wavy argument. It was at the end of the
video, and I was tired. It was actually the
end of the day. And I thought it'd be worthwhile
to maybe flush this out a little bit. Because it's an important
take away. It'll help us understand
everything we've learned a little bit better. So, let's understand-- I'm
actually going to start with the rank of A transpose. The rank of A transpose is equal
to the dimension of the column space of A transpose. That's the definition
of the rank. The dimension of the column
space of A transpose is the number of basis vectors for the column space of A transpose. That's what dimension is. For any subspace, you figure out
how many basis vectors you need in that subspace,
and you count them, and that's your dimension. So, it's the number of basis
vectors for the column space of A transpose, which is, of
course, the same thing. This thing we've seen multiple
times, is the same thing as the row space of A. Right? The columns of A transpose
are the same thing as the rows of A. It's because You switch the
rows and the columns. Now, how can we figure out the
number of basis vectors we need for the column space
of A transpose, or the row space of A? Let's just think about what
the column space of A transpose is telling us. So, it's equivalent to--
so let's say, let me draw A like this. That's a matrix A. Let's say it's an
m by n matrix. Let me just write it as a
bunch of row vectors. I could also write it as a bunch
of column vectors, but right now let's stick
to the row vectors. So we have row one. The transpose of
column vectors. That's row one, and we're going
to have row two, and we're going to go all the
way down to row m. Right? It's an m by n matrix. Each of these vectors are
members of rn, because they're going to have n entries in them because we have n columns. So, that's what A is
going to look like. A is going look like that. And then A transpose, all
of these rows are going to become columns. A transpose is going to look
like this. r1, r2, all the way to rm. And this is of course going
to be an n by m matrix. You swap these out. So, all these rows are
going to be columns. Right? And, obviously the column
space-- or maybe not so obviously-- the column space of
A transpose is equal to the span of r1, r2, all
the way to rm. Right? It's equal to the span
of these things. Or you could equivocally call
it, it's equal to the span of the rows of A. That's why it's also called
the row space. This is equal to the span
of the rows of A. These two things
are equivalent. Now, these are the span. That means this is some subspace
that's all of the linear combinations of these
columns, or all of the linear combinations of these rows. If we want the basis for it, we
want to find a minimum set of linearly independent vectors
that we could use to construct any of
these columns. Or that we could use construct
any of these rows, right here. Now, what happens when
we put A into reduced row echelon form? We do a bunch of row operations
to put it into reduced row echelon form. Right? Do a bunch of row operations
and you eventually get something like this. You'll get the reduced row
echelon form of A. The reduced row echelon form
of A is going to look something like this. You're going to have some pivot
rows, some rows that have pivot entries. Let's say that's one of them. Let's say that's one of them. This will all have 0's
all the way down. This one will have 0's. Your pivot entry has to
be the only non-zero entry in it's column. And everything to the left
of it all has to be 0. Let's say that this one isn't. These are some non-zero
values. These are 0. We have another pivot
entry over here. Everything else is 0. Let's say everything else
are non-pivot entries. So you come here and you have
a certain number of pivot rows, or a certain number
of pivot entries, right? And you got there by performing
linear row operations on these guys. So those linear row operations--
you know, I take 3 times row two, and I add it
to row one, and that's going to become my new row two. And you keep doing that and
you get these things here. So, these things
here are linear combinations of those guys. Or another way to do it, you
can reverse those row operations. I could start with these
guys right here. And I could just as easily
perform the reverse row operations. Any linear operation, you can
perform the reverse of it. We've seen that multiple
times. You could perform row operations
with these guys to get all of these guys. Or another way to view it is,
these vectors here, these row vectors right here, they span
all of these-- or all of these row vectors can be represented
of linear combinations of your pivot rows right here. Obviously, your non-pivot rows
are going to be all 0's. And those are useless. But, your pivot rows, if you
take linear combinations of them, you can clearly do reverse
row echelon form and get back to your matrix. So, all of these guys can
be represented as linear combinations of them. And all of these pivot entries
are by definition-- well, almost by definition--
they are linearly independent, right? Because I've got a 1 here. No one else has a 1 there. So this guy can definitely not
be represented as a linear combination of the other guy. So why am I going through
this whole exercise? Well, we started off
saying we wanted a basis for the row space. We wanted some minimum set of
linearly independent vectors that spans everything that
these guys can span. Well, if all of these guys can
be represented as linear combinations of these row
vectors in reduced row echelon form-- or these pivot rows in
reduced row echelon form-- and these guys are all linearly
independent, then they are a reasonable basis. So these pivot rows right here,
that's one of them, this is the second one, this is the
third one, maybe they're the only three. This is just my particular
example. That would be a suitable basis
for the row space. So let me write this down. The pivot rows in reduced row
echelon form of A are a basis for the row space of A. And the row space of A is the
same thing, or the column space of A transpose. The row space of A is the
same thing as the column space of A transpose. We've see that multiple times. Now, if we want to know the
dimension of your column space, we just count the number
of pivot rows you have. So you just count the number
of pivot rows. So the dimension of your row
space, which is the same thing as the column space of A
transpose, is going to be the number of pivot rows you have
in reduced row echelon form. Or, even simpler, the number
of pivot entries you have because every pivot entry
has a pivot row. So we can write that the rank of
A transpose is equal to the number of pivot entries in
reduced row echelon form of A. Right? Because every pivot entry
corresponds to a pivot row. Those pivot rows are a suitable
basis for the entire row space, because every row
could be made with a linear combination of these guys. And since all these can be, then
anything that these guys can construct, these
guys can construct. Fair enough. Now, what is the rank of A? This is the rank of A transpose
that we've been dealing with so far. The rank of A is equal to
the dimension of the column space of A. Or, you could say it's the
number of vectors in the basis for the column space of A. So if we take that same matrix
A that we used above, and we instead we write it as a bunch
of column vectors, so c1, c2, all the way to cn. We have n columns right there. The column space is essentially
the subspace that's spanned by all of these
characters right here, right? Spanned by each of these
column vectors. So the column space of A is
equal to the span of c1, c2, all the way to cn. That's the definition of it. But we want to know the number
of basis vectors. And we've seen before-- we've
done this multiple times-- what suitable basis
vectors could be. If you put this into reduced row
echelon form, and you have some pivot entries and their
corresponding pivot columns, so some pivot entries with
their corresponding pivot columns just like that. Maybe that's like that, and then
maybe this one isn't one, and then this one is. So you have a certain number
of pivot columns. Let me do it with another
color right here. When you put A into reduced row
echelon form, we learned that the basis vectors, or the
basis columns that form a basis for your column space,
are the columns that correspond to the
pivot columns. So the first column here is a
pivot column, so this guy could be a basis vector. The second column is, so this
guy could be a pivot vector. Or maybe the fourth one right
here, so this guy could be a pivot vector. So, in general, you just say
hey, if you want to count the number basis vectors-- because
we don't even have to know what they are to figure
out the rank. We just have to know the
number they are. Well you say, well for every
pivot column here, we have a basis vector over there. So we could just count the
number pivot columns. But the number of pivot columns
is equivalent to just the number of pivot entries we
have. Because every pivot entry gets its own column. So we could say that the rank of
A is equal to the number of pivot entries in the reduced
row echelon form of A. And, as you can see very
clearly, that's the exact same thing that we deduced was
equivalent to the rank of A transpose-- the dimension
of the columns space of A transpose. Or the dimension of the
row space of A. So we can now write
our conclusion. The rank of A is definitely the
same thing as the rank of A transpose.