brand banner

Updated

Geometric Interpretation of Rank-Nullity Theorem

1. Equations as a Transformation

In 2D space, the expression

π‘₯+𝑦

can be thought of as a transformation that compresses 2D vectors into 1D points on a number line. In matrix form:

[11][π‘₯𝑦]=[π‘Ž]

where π‘Ž=π‘₯+𝑦 is the scalar that lies on the 1D line. So, the equation π‘₯+𝑦=2 when expressed in matrix form

[11][π‘₯𝑦]=[2]

is asking the question β€œwhat vector [π‘₯𝑦], when applied to it the linear transformation [11], ends up at the 1D point π‘Ž=2?”. Because the number of linearly independent equations is less than the dimension of the domain (equivalently, rank(𝑨)<𝑛)1, this system is underdetermined. There are infinite pairs of π‘₯s and 𝑦s satisfying 𝑦=βˆ’π‘₯+2 that fits this description. Geometrically, every vector terminating at a point on this line is compressed into the single point π‘Ž=2.

2. Subspaces

A subspace is a smaller vector space nestled inside a larger vector space. You can project a vector from a larger space onto a subspace. The three conditions for a subspace:

  1. Contains the zero vector: The origin is in the subspace.
  2. Closed under addition: If you pick any two vectors in the subspace and add them together, their sum must also stay inside the subspace.
  3. Closed under scalar multiplication: If you pick any vector in the subspace and scale it (multiply it by any number, including zero), the new stretched or shrunk vector must stay inside the subspace.

3. Null Space

The null space of a matrix 𝑨 is the set of all vectors 𝒙 such that 𝑨𝒙=𝟎. The null space is a subspace of the domain space. Geometrically, all vectors that end up crushed to the origin exists in the null space.

4. Recovering the full solution set

The null space helps us to β€œuncrush” π‘Ž=2 back to its [π‘₯𝑦] form. Think of the null space as the direction vector, and a particular solution as the position vector. Since vectors in the null space map to 0 in the solution space, we can add the null solutions to a particular solution without changing the equality. Since the null solution has the degree of freedom of the original solution space, we can tweak the constant parameter of the null basis to recover the full original solution set.

5. Examples

Consider the equation π‘₯+𝑦=2 which operates on the 2D space. The equivalent matrix form is

[11][π‘₯𝑦]=2

with rank(𝑨)=1. By the rank-nullity theorem, the null space has dimension π‘›βˆ’rank(𝑨)=2βˆ’1=1.

Geometrically, the equation π‘₯+𝑦=2 is a line in 2D space, the null space is another line, parallel to the first line, but offset to pass the origin. The null space is the line x + y = 0. The map 𝑨 sends every vector with tip on that line to the origin. An example vector in this null space is [1βˆ’1] (or, in general, any π‘₯ or 𝑦 of the same value but opposite signs). Then, the complete null space can be described by 𝑐[1βˆ’1]. Then, if we discovered a particular solution, for example [11] by arbitrarily setting the value of one variable and solving for the other (such is the nature of a 1 DOF system), we can reconstruct the original solution set like so:

𝐴π‘₯=𝑏π‘₯=π‘₯null+π‘₯particularπ‘₯=𝑐[1βˆ’1]+[11]

where 𝑐 is a knob we adjust to span the null space.

In a 3D space, a system of 2 independent equations represent 2 distinct planes. The solution is then the line of intersction. The null space has dimension 1, which represents a parallel line that crosses the origin. A particular solution representing a position vector must also be discovered to provide the correct offset. If instead, only 1 equation is provided, then the solution is a plane in 3D space, and 2 direction vectors must be discovered to span the entire solution plane. In this case, the null space has dimension 2, meaning we will end up with 2 linearly independent basis vectors which form the null space, and 2 constants 𝑐1 and 𝑐2.

π‘₯+𝑦+𝑧=2[111][π‘₯𝑦𝑧]=2𝐴π‘₯=0[111][10βˆ’1]=0[111][11βˆ’2]=0π‘₯=𝑐1[10βˆ’1]+𝑐2[11βˆ’2]+[110]
  1. 1The rank of a matrix 𝑨 is the number of linearly independent rows (or columns). For a linear system 𝑨π‘₯=𝑏, this is the number of linearly independent equations.

Similar


Β© 2026 James Yap

Personal Website and Knowledge Base