# The Unapologetic Mathematician

## Column Rank

Let’s go back and consider a linear map $T:V\rightarrow W$. Remember that we defined its rank to be the dimension of its image. Let’s consider this a little more closely.

Any vector in the image of $T$ can be written as $T(v)$ for some vector $v\in V$. If we pick a basis $\left\{e_i\right\}$ of $V$, then we can write $T(v)=T(v^ie_i)=v^iT(e_i)$. Thus the vectors $T(e_i)\in W$ span the image of $T$. And thus they contain a basis for the image.

More specifically, we can get a basis for the image by throwing out some of these vectors until those that remain are linearly independent. The number that remain must be the dimension of the image — the rank — and so must be independent of which vectors we throw out. Looking back at the maximality property of a basis, we can state a new characterization of the rank: it is the cardinality of the largest linearly independent subset of $\left\{T(e_i)\right\}$.

Now let’s consider in particular a linear transformation $T:\mathbb{F}^m\rightarrow\mathbb{F}^n$. Remember that these spaces of column vectors come with built-in bases $\left\{e_i\right\}$ and $\left\{f_j\right\}$ (respectively), and we have a matrix $T(e_i)=t_i^jf_j$. For each index $i$, then, we have the column vector

$\displaystyle T(e_i)=\begin{pmatrix}t_i^1\\t_i^2\\\vdots\\t_i^n\end{pmatrix}$

appearing as a column in the matrix $\left(t_i^j\right)$.

So what is the rank of $T$? It’s the maximum number of linearly independent columns in the matrix of $T$. This quantity we will call the “column rank” of the matrix.

### Like this:

Posted by John Armstrong | Algebra, Linear Algebra

## 2 Comments	»

1. [...] Yesterday we defined the column rank of a matrix to be the maximal number of linearly independent columns. Flipping over, we can consider the [...]

Pingback by | July 2, 2008 | Reply

2. [...] , and we’ve got column vectors to consider. If all are linearly independent, then the column rank of the matrix is . Then the dimension of the image of is , and thus is [...]

Pingback by | October 20, 2008 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 19, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9045707583427429, "perplexity_flag": "head"}