Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

2.9: The Rank Theorem

( \newcommand{\kernel}{\mathrm{null}\,}\)

Objectives
  1. Learn to understand and use the rank theorem.
  2. Picture: the rank theorem.
  3. Theorem: rank theorem.
  4. Vocabulary words: rank, nullity.

In this section we present the rank theorem, which is the culmination of all of the work we have done so far.

The reader may have observed a relationship between the column space and the null space of a matrix. In Example 2.6.11 in Section 2.6, the column space and the null space of a 3×2 matrix are both lines, in R2 and R3, respectively:

A graph with a line representing Nul(A) intersecting the origin on a 2D plane, and a 3D plane with lines intersecting at the origin representing Col(A).

Figure 2.9.1

In Example 2.4.6 in Section 2.4, the null space of the 2×3 matrix

3D graph showing a vector normal to a plane labeled Nul(A). A 2D graph shows a line labeled Col(A). The matrix A is shown as \(\begin{pmatrix} 1 & -1 \\ 2 & -1 \end{pmatrix}\).

Figure 2.9.2

In Example 2.4.10 in Section 2.4, the null space of a 3×3 matrix is a line in R3, and the column space is a plane in R3:

Two 3D coordinate systems with planes. Left: A purple line labeled Nul A representing a null space. Right: A purple plane labeled Col A representing a column space. Matrix A is shown between them.

Figure 2.9.3

In all examples, the dimension of the column space plus the dimension of the null space is equal to the number of columns of the matrix. This is the content of the rank theorem.

Definition 2.9.1: Rank and Nullity

The rank of a matrix A, written rank(A), is the dimension of the column space Col(A).

The nullity of a matrix A, written nullity(A), is the dimension of the null space Nul(A).

The rank of a matrix A gives us important information about the solutions to Ax=b. Recall from Note 2.3.6 in Section 2.3 that Ax=b is consistent exactly when b is in the span of the columns of A, in other words when b is in the column space of A. Thus, rank(A) is the dimension of the set of b with the property that Ax=b is consistent.

We know that the rank of A is equal to the number of pivot columns, Definition 1.2.5 in Section 1.2, (see this Theorem 2.7.1 in Section 2.7), and the nullity of A is equal to the number of free variables (see this Theorem 2.7.2 in Section 2.7), which is the number of columns without pivots. To summarize:

rank(A)=dimCol(A)=the number of columns with pivotsnullity(A)=dimNul(A)=the number of free variables=the number of columns without pivots

Clearly

#(columns with pivots)+#(columns without pivots)=#(columns),

so we have proved the following theorem.

Theorem 2.9.1: Rank Theorem

If A is a matrix with n columns, then

rank(A)+nullity(A)=n.

In other words, for any consistent system of linear equations,

(dim of column span)+(dim of solution set)=(number of variables).

The rank theorem is really the culmination of this chapter, as it gives a strong relationship between the null space of a matrix (the solution set of Ax=0) with the column space (the set of vectors b making Ax=b consistent), our two primary objects of interest. The more freedom we have in choosing x the less freedom we have in choosing b and vice versa.

Example 2.9.1: Rank and nullity

Here is a concrete example of the rank theorem and the interplay between the degrees of freedom we have in choosing x and b in a matrix equation Ax=b.

Consider the matrices

A=(100010000)andB=(000000001).

If we multiply a vector (x,y,z) in R3 by A and B we obtain the vectors Ax=(x,y,0) and Bx=(0,0,z). So we can think of multiplication by A as giving the latitude and longitude of a point in R3 and we can think of multiplication by B as giving the height of a point in R3. The rank of A is 2 and the nullity is 1. Similarly, the rank of B is 1 and the nullity is 2.

These facts have natural interpretations. For the matrix A: the set of all latitudes and longitudes in R3 is a plane, and the set of points with the same latitude and longitude in R3 is a line; and for the matrix B: the set of all heights in R3 is a line, and the set of points at a given height in R3 is a plane. As the rank theorem tells us, we “trade off” having more choices for x for having more choices for b, and vice versa.

The rank theorem is a prime example of how we use the theory of linear algebra to say something qualitative about a system of equations without ever solving it. This is, in essence, the power of the subject.

Example 2.9.2: The rank is 2 and the nullity is 2

Consider the following matrix and its reduced row echelon form:

Matrix equation showing a transformation from matrix A to its reduced form with annotations on the basis and free variables.

Figure 2.9.4

A basis for Col(A) is given by the pivot columns:

{(122),(234)},

so rank(A)=dimCol(A)=2.

Since there are two free variables x3,x4, the null space of A has two vectors (see Theorem 2.7.2 in Section 2.7):

{(8410),(7301)},

so nullity(A)=2.

In this case, the rank theorem says that 2+2=4, where 4 is the number of columns.

Example 2.9.3: Interactive: Rank is 1, nullity is 2

A 3D graph with a purple plane and a green point on the left, and a 2D graph with a red point on the right. A matrix and some code settings are visible in overlay boxes.

Figure 2.9.5: This 3×3 matrix has rank 1 and nullity 2. The violet plane on the left is the null space, and the violet line on the right is the column space.
Example 2.9.4: Interactive: Rank is 2, nullity is 1

3D graph with sliders for matrix A, showing vectors and grid in a box. Includes interactive menu with drag multiply and only unique options.

Figure 2.9.6: This 3×3 matrix has rank 2 and nullity 1. The violet line on the left is the null space, and the violet plane on the right is the column space.

This page titled 2.9: The Rank Theorem is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Dan Margalit & Joseph Rabinoff via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?