The accounting identity of linear algebra: dimension in equals dimension collapsed plus dimension out. And once bases are fixed, every linear map becomes a matrix — with composition of maps becoming multiplication of matrices.
The Rank–Nullity theorem ties together how much a map crushes to zero and how much it produces. It is the bookkeeping that explains when systems have solutions and how many.
Rank measures the true information content of a data matrix; low-rank structure is the basis of compression, recommender systems, and PCA. Nullity is the space of "free" solution directions.
Representing a linear map by a matrix in coordinates — and recognizing rank as basis-independent — unified the previously separate arts of solving equations and studying transformations.
$\operatorname{rank}(T)=\dim R(T)$ and $\operatorname{nullity}(T)=\dim N(T)$.
For linear $T:V\to W$ with $\dim V=n$ finite, $$\operatorname{rank}(T)+\operatorname{nullity}(T)=n.$$
If $\dim V$ is finite and $T:V\to V$ is linear, then $T$ injective $\Leftrightarrow$ $T$ surjective $\Leftrightarrow$ $T$ bijective. (Injective means nullity $0$, so rank $=\dim V$, so $R(T)=V$ — and back.) False in infinite dimensions: the shift on sequences is injective but not onto.
Fix ordered bases $\beta=\{v_1,\dots,v_n\}$ of $V$ and $\gamma$ of $W$. The matrix $[T]_\beta^\gamma$ has as its $j$th column the $\gamma$-coordinates of $T(v_j)$. Then applying the map is matrix multiplication on coordinates: $[T(v)]_\gamma=[T]_\beta^\gamma\,[v]_\beta$, and composition of maps is the product of their matrices.
In the basis $1,x,x^2$: $D(1)=0$, $D(x)=1$, $D(x^2)=2x$, so the columns are $(0,0,0)$, $(1,0,0)$, $(0,2,0)$ and $[D]=\left(\begin{smallmatrix}0&1&0\\0&0&2\\0&0&0\end{smallmatrix}\right)$. Rank $2$ (range $=P_1$), nullity $1$ (the constants) — and $2+1=3=\dim P_2$. ✓
$\operatorname{rank}(T)\le\min(\dim V,\dim W)$. So a map $\mathbb{R}^2\to\mathbb{R}^5$ is never onto (rank $\le2$), and a map $\mathbb{R}^5\to\mathbb{R}^3$ is never one-to-one (nullity $\ge5-3=2$). For systems: $Ax=b$ is solvable iff $b$ lies in the column space of $A$, and then the solution set is a translate of the null space.
• Rank–nullity counts the dimension of the domain, not the
codomain.
• The matrix changes with the bases; rank and nullity do not.
• "Injective iff surjective" needs the same finite-dimensional space on both
sides — not two different spaces, not infinite dimensions.
• Columns of $[T]$ are coordinates in the codomain basis — forgetting
that is the classic wrong-matrix error.
Original problems written for this guide in the style of Friedberg, Insel & Spence exercises. Write a full solution before opening the answer.
A linear map $\mathbb{R}^4\to\mathbb{R}^3$ has rank $3$. Find its nullity.
If a $3\times3$ matrix has nullity $0$, what is its rank, and what does that say about the matrix?
Can a linear map $\mathbb{R}^2\to\mathbb{R}^5$ be onto? Can a linear map $\mathbb{R}^5\to\mathbb{R}^3$ be one-to-one?
Prove: if $\dim V$ is finite and $T:V\to V$ is injective, then $T$ is surjective.
Write the matrix of $T(x,y)=(x+y,\ x-y,\ 2y)$ in the standard bases, and find its rank and nullity.
Let $D^2:P_3\to P_3$ send $p\mapsto p''$. Find rank and nullity and check the theorem.
Prove: if $T$ is linear and injective and $v_1,\dots,v_k$ are independent, then $T(v_1),\dots,T(v_k)$ are independent.
Suppose $T:\mathbb{R}^3\to\mathbb{R}^3$ has rank $2$ and $S:\mathbb{R}^3\to\mathbb{R}^3$ has rank $1$. What are the possible values of $\operatorname{rank}(S\circ T)$?
Course coverage. This unit is part of the complete MAT240H1 topic map. It should cover the following items before you move on:
Use the current UofT MAT240H1 calendar topics as the coverage spine, and pair lecture notes with a Friedberg-Insel-Spence-style linear algebra text for extra reading. The exact assigned textbook should still be checked against the instructor syllabus.
The matrix spine is: choose bases, write columns from images, row-reduce to expose pivots, then read rank and nullity as dimensions.
Use these after the main practice set. They are designed to force definition-level reasoning, theorem selection, and mixed application rather than routine calculation only.
If $T:F^5 o F^3$ has nullity $2$, what is its rank?
What is the first column of a matrix representation of $T$?
Can a linear map $F^5 o F^3$ be injective?
How do you find the kernel of a matrix $A$?