The Unapologetic Mathematician

Mathematics for the interested outsider

Row Rank

Yesterday we defined the column rank of a matrix to be the maximal number of linearly independent columns. Flipping over, we can consider the obviously analogous quantity for rows. The “row rank” is the maximal number of linearly independent rows in a matrix. But what’s a row? It’s a vector in a dual space.

Okay, let’s talk a bit more concretely. Consider a linear transformation T:\mathbb{F}^m\rightarrow\mathbb{F}^n, which is described by the n\times m matrix \left(t_i^j\right). Then for each index j we can take the jth row in this matrix:

\displaystyle\begin{pmatrix}t_1^j&t_2^j&\cdots&t_m^j\end{pmatrix}

And use it as a linear functional on the space of column vectors \mathbb{F}^m. Specifically, it sends the vector with components v^i to the number t_i^jv^i. Thus we get n linear functionals — elements of the dual space \left(\mathbb{F}^m\right)^*.

But what linear functionals are these? They must be something special, and indeed they are. Remember that we’ve got our canonical basis \left\{f_j\right\} for the target space \mathbb{F}^n. We also immediately have the dual basis \left\{\phi^j\right\} of \left(\mathbb{F}^n\right)^*. The linear functionals we got from the rows are then just the pullbacks of these basic linear functionals \phi^j\circ T.

To see this, notice that the linear functional \phi^k is given by the 1\times n matrix with a {1} in the kth component and {0} everywhere else. That is, its components come from the delta: \delta_j^k. We get a linear functional on \mathbb{F}^m by first hitting a column vector with the matrix \left(t_i^j\right) and then with this 1\times n matrix. We use matrix multiplication to see that this is equivalent to just using the 1\times m matrix — the element of \left(\mathbb{F}^m\right)^* — with components \delta_j^kt_i^j=t_i^k. And this is just the kth row of the matrix!

So the rows span the image of the dual space \left(\mathbb{F}^n\right)^* under the dual map T^*. This is, of course, a subspace of \left(\mathbb{F}^m\right)^*, and its dimension is exactly the row rank of T. We’ll come back later and show that this must actually be the same as the column rank.

About these ads

July 2, 2008 - Posted by | Algebra, Linear Algebra

No comments yet.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 386 other followers

%d bloggers like this: