Dimension, Rank, and Coordinate Systems
Before Dimension counts the vectors in a basis, so this lesson needs bases and independence. Builds on: Null Space, Column Space, and Basis · Linear Independence
Next Coordinates in a new basis return in diagonalization, where a basis of eigenvectors makes a matrix diagonal.
Before You Start: Prerequisite Check
Can you do these? (Click to reveal self-test)
Test yourself on these prerequisite skills:
Basis size: If $H$ is a subspace and the basis for $H$ has 3 vectors, what is the dimension of $H$?
Check
Dimension is the number of vectors in any basis. If one basis has 3 vectors, then every basis for $H$ has exactly 3 vectors, and $\dim(H) = 3$.
Rank: What does the rank of a matrix $A$ equal?
Check
The rank of $A$ equals the number of pivot columns in any echelon form of $A$, which equals the dimension of $\text{Col}(A)$.
Unique representation: If $\mathcal{B} = \{\mathbf{b}_1, \mathbf{b}_2\}$ is a basis for $H$, and $\mathbf{x} = 3\mathbf{b}_1 - \mathbf{b}_2$, what are the coordinates of $\mathbf{x}$ relative to $\mathcal{B}$?
Check
The $\mathcal{B}$-coordinates are the scalars: $[\mathbf{x}]_\mathcal{B} = \begin{pmatrix}3\\-1\end{pmatrix}$.
If you struggled: Review Null Space, Column Space, and Basis.
Try This First
Let $\mathcal{B} = \left\{\mathbf{b}_1, \mathbf{b}_2\right\} = \left\{\begin{pmatrix}1\\1\end{pmatrix}, \begin{pmatrix}0\\1\end{pmatrix}\right\}$ be a basis for $\mathbb{R}^2$.
Express $\mathbf{x} = \begin{pmatrix}3\\5\end{pmatrix}$ as $c_1\mathbf{b}_1 + c_2\mathbf{b}_2$ by solving the resulting system.
Compare the coordinate vector $[\mathbf{x}]_\mathcal{B}$ with the standard coordinates $\begin{pmatrix}3\\5\end{pmatrix}$. Are they the same?
Show Solution
Solve $c_1\begin{pmatrix}1\\1\end{pmatrix} + c_2\begin{pmatrix}0\\1\end{pmatrix} = \begin{pmatrix}3\\5\end{pmatrix}$:
From entry 1: $c_1 = 3$. From entry 2: $c_1 + c_2 = 5 \implies c_2 = 2$.
\[ [\mathbf{x}]_\mathcal{B} = \begin{pmatrix}3\\2\end{pmatrix} \]
The standard coordinates of $\mathbf{x}$ are $\begin{pmatrix}3\\5\end{pmatrix}$, but the $\mathcal{B}$-coordinates are $\begin{pmatrix}3\\2\end{pmatrix}$. They are different.
The main point: coordinates depend on the basis. The standard coordinates are the $\mathcal{E}$-coordinates relative to the standard basis $\left\{\begin{pmatrix}1\\0\end{pmatrix}, \begin{pmatrix}0\\1\end{pmatrix}\right\}$. A different basis gives different numbers for the same vector.
Three Connected Ideas
Three concepts developed across Lay Sections 4.4-4.6 fit together:
- Coordinate systems (4.4): every vector in a space can be described uniquely by its coordinates relative to any basis.
- Dimension (4.5): every basis for a given space has the same number of vectors; that number is the dimension of the space.
- Rank (4.6): the rank of a matrix is the number of pivots, which equals the dimension of the column space; rank + nullity = number of columns.
Prerequisite Map
Quick Reference
| Property | Value |
|---|---|
| Course | MATH 231 |
| Difficulty | Advanced |
| Time | ~30 minutes |
| Source | Lay, Linear Algebra and Its Applications, Sections 4.4, 4.5, and 4.6 |
Rank-Nullity at a Glance
For an $m \times n$ matrix $A$:
| Quantity | How to Compute | Formula |
|---|---|---|
| rank$(A)$ | Number of pivot columns | $\leq \min(m,n)$ |
| nullity$(A)$ | Number of free variables | $n - \text{rank}(A)$ |
| dim(Col$(A)$) | rank$(A)$ | is in $\mathbb{R}^m$ |
| dim(Nul$(A)$) | nullity$(A)$ | is in $\mathbb{R}^n$ |
Rank Theorem: $\text{rank}(A) + \text{nullity}(A) = n$.
Key Concepts
Coordinate Systems
Let $\mathcal{B} = \{\mathbf{b}_1, \ldots, \mathbf{b}_p\}$ be a basis for a subspace $H$.
Unique Representation Theorem: For every $\mathbf{x}$ in $H$, there exists a unique set of scalars $c_1, \ldots, c_p$ such that $\mathbf{x} = c_1\mathbf{b}_1 + \cdots + c_p\mathbf{b}_p$.
The coordinate vector of $\mathbf{x}$ relative to $\mathcal{B}$ is: \[ [\mathbf{x}]_\mathcal{B} = \begin{pmatrix}c_1\\\vdots\\c_p\end{pmatrix} \]
To find $[\mathbf{x}]_\mathcal{B}$: Solve $P_\mathcal{B}\mathbf{c} = \mathbf{x}$ where $P_\mathcal{B} = [\mathbf{b}_1 \; \cdots \; \mathbf{b}_p]$ is the change-of-basis matrix.
Source: Lay, Linear Algebra and Its Applications, Section 4.4: Coordinate Systems.
Dimension
The dimension of a nonzero subspace $H$, written $\dim(H)$, is the number of vectors in any basis for $H$. (The zero subspace has dimension 0.)
Key theorems (Lay, Section 4.5):
Let $H$ be a subspace of dimension $p$ in a vector space $V$.
- Any linearly independent set with exactly $p$ vectors in $H$ is automatically a basis for $H$.
- Any set of exactly $p$ vectors that spans $H$ is automatically a basis for $H$.
- Any linearly independent set in $H$ can be extended to a basis for $H$.
- Any spanning set for $H$ can be reduced to a basis for $H$.
Consequence: to verify a set of $p$ vectors is a basis for $H$, you only need to verify ONE of the two conditions (independent OR spanning), provided you know $\dim(H) = p$.
Common dimensions:
| Space | Dimension |
|---|---|
| $\{mathbf{0}\}$ | 0 |
| $\mathbb{R}^n$ | $n$ |
| Line through origin in $\mathbb{R}^n$ | 1 |
| Plane through origin in $\mathbb{R}^n$ | 2 |
Source: Lay, Linear Algebra and Its Applications, Section 4.5: The Dimension of a Vector Space.
The Rank Theorem
Definition: The rank of $A$ is the dimension of the column space of $A$: $\text{rank}(A) = \dim(\text{Col}(A))$.
Equivalently, rank$(A)$ = number of pivot columns = number of pivot rows = dim(Row$(A)$).
Rank Theorem: If $A$ is $m \times n$, then: \[ \text{rank}(A) + \text{nullity}(A) = n \]
where nullity$(A) = \dim(\text{Nul}(A))$ = number of free variables.
Intuition: The $n$ columns of $A$ split into pivot columns (which produce rank linearly independent vectors) and free columns (which produce nullity-many degrees of freedom). Pivot + free = total columns.
Source: Lay, Linear Algebra and Its Applications, Section 4.6: Rank.
Worked Example
Let $A = \begin{pmatrix}1&2&0&4\\-1&-2&1&-3\\2&4&1&5\end{pmatrix}$.
From earlier work, the RREF of $A$ is $\begin{pmatrix}1&2&0&0\\0&0&1&0\\0&0&0&1\end{pmatrix}$ with pivot columns 1, 3, 4.
- rank$(A) = 3$ (three pivot columns).
- nullity$(A) = n - \text{rank} = 4 - 3 = 1$.
- dim(Col$(A)$) = 3 (a 3-dimensional subspace of $\mathbb{R}^3$, so Col$(A)$ = $\mathbb{R}^3$).
- dim(Nul$(A)$) = 1 (a line through the origin in $\mathbb{R}^4$).
Check: $3 + 1 = 4 = n$. Rank Theorem satisfied.
Coordinate example:
Using basis $\mathcal{B} = \left\{\begin{pmatrix}1\\0\\0\end{pmatrix}, \begin{pmatrix}1\\1\\0\end{pmatrix}, \begin{pmatrix}1\\1\\1\end{pmatrix}\right\}$ for $\mathbb{R}^3$, find $[\mathbf{x}]_\mathcal{B}$ for $\mathbf{x} = \begin{pmatrix}4\\3\\1\end{pmatrix}$.
Solve $P_\mathcal{B}\mathbf{c} = \mathbf{x}$: \[ \left[\begin{array}{rrr|r}1&1&1&4\\0&1&1&3\\0&0&1&1\end{array}\right] \]
Back-substitute: $c_3 = 1$, $c_2 = 3-1 = 2$, $c_1 = 4-2-1 = 1$.
$[\mathbf{x}]_\mathcal{B} = \begin{pmatrix}1\\2\\1\end{pmatrix}$.
Verify: $1\begin{pmatrix}1\\0\\0\end{pmatrix} + 2\begin{pmatrix}1\\1\\0\end{pmatrix} + 1\begin{pmatrix}1\\1\\1\end{pmatrix} = \begin{pmatrix}1+2+1\\0+2+1\\0+0+1\end{pmatrix} = \begin{pmatrix}4\\3\\1\end{pmatrix}$.
Common Pitfalls
| Mistake | Why It Is Wrong | Correct Approach |
|---|---|---|
| Saying rank$(A)$ + nullity$(A)$ $= m$ (rows) | The Rank Theorem says rank + nullity $= n$ (number of COLUMNS) | Count columns: rank + nullity $= n$ always |
| Assuming coordinates are the same in every basis | The same vector has different coordinates in different bases | Coordinates depend on the choice of basis; solve $P_\mathcal{B}\mathbf{c} = \mathbf{x}$ to find the correct ones |
| Claiming rank can exceed $\min(m,n)$ | Rank equals the number of pivots, which cannot exceed the number of rows OR the number of columns | $\text{rank}(A) \leq \min(m, n)$ always |
Practice Problems
(a) A basis for a subspace $H$ of $\mathbb{R}^5$ has 3 vectors. What is $\dim(H)$?
(b) A $4 \times 7$ matrix has rank 3. What is the nullity? What is the dimension of the column space?
(c) Can a subspace of $\mathbb{R}^4$ have dimension 5? Explain.
Let $\mathcal{B} = \left\{\begin{pmatrix}2\\1\end{pmatrix}, \begin{pmatrix}3\\2\end{pmatrix}\right\}$ be a basis for $\mathbb{R}^2$.
Find $[\mathbf{x}]_\mathcal{B}$ for $\mathbf{x} = \begin{pmatrix}7\\4\end{pmatrix}$.
For $A = \begin{pmatrix}1&2&-1&0\\2&4&0&2\\-1&-2&3&2\end{pmatrix}$:
(a) Find rank$(A)$ and nullity$(A)$ by row-reducing $A$.
(b) Verify the Rank Theorem: rank $+$ nullity $= n$.
(c) Write a basis for Nul$(A)$.
A $3 \times 5$ matrix $A$ has rank 2.
(a) What is the nullity of $A$?
(b) Is $A\mathbf{x} = \mathbf{b}$ consistent for every $\mathbf{b} \in \mathbb{R}^3$? Why or why not?
(c) If $A\mathbf{x} = \mathbf{b}$ is consistent, how many solutions does it have?
(d) Can the columns of $A$ be linearly independent? Explain.
Let $\mathcal{B} = \left\{\begin{pmatrix}1\\2\\1\end{pmatrix}, \begin{pmatrix}0\\1\\2\end{pmatrix}, \begin{pmatrix}3\\5\\1\end{pmatrix}\right\}$ be a set of three vectors in $\mathbb{R}^3$.
(a) Row-reduce the matrix $A = [\mathbf{b}_1 \; \mathbf{b}_2 \; \mathbf{b}_3]$ and find the rank.
(b) Is $\mathcal{B}$ linearly independent? Does $\mathcal{B}$ span $\mathbb{R}^3$?
(c) The dimension of $\mathbb{R}^3$ is 3 and $|\mathcal{B}| = 3$. State the theorem that says checking EITHER independence OR spanning is sufficient to confirm $\mathcal{B}$ is a basis.
Common Misconceptions
the Rank Theorem says rank + nullity equals the number of rows $m$. The theorem counts COLUMNS, not rows: rank$(A)$ + nullity$(A)$ $= n$ where $n$ is the number of columns of $A$. The number of rows $m$ affects whether the system is consistent but does not appear in the Rank Theorem. Remember: nullity counts free columns (non-pivot columns), and free + pivot = total columns = $n$.
the coordinate vector of $\mathbf{x}$ is the same regardless of which basis you use. Coordinates are entirely determined by the chosen basis. The same vector has completely different coordinates in different bases: the standard-basis coordinates record how much of each standard axis direction; the $\mathcal{B}$-coordinates record how much of each basis vector. Different bases are different “ruler systems” for the same space.
rank can exceed the smaller of $m$ and $n$. The rank of an $m \times n$ matrix equals the number of pivot positions, which cannot exceed the number of rows (only $m$ rows can each have one pivot) or the number of columns (only $n$ columns can each have a pivot). Therefore rank$(A) \leq \min(m, n)$.
Mastery Checklist
Novice (Level 1-2):
Competent (Level 3-4):
Proficient (Level 5):
Mental Model
The Bookkeeping
The Rank Theorem is bookkeeping for the $n$ columns of $A$. Each column is either a pivot column or a free column; together they account for all $n$ columns:
\[ \underbrace{\text{rank}}_{\text{pivot columns}} + \underbrace{\text{nullity}}_{\text{free columns}} = \underbrace{n}_{\text{total columns}} \]
Pivot columns contribute independent information to the column space; free columns are “explained by” the pivot columns and contribute to the null space. The split is clean and exhaustive.
Coordinates are the analogous bookkeeping for vectors: every vector in a $p$-dimensional space is uniquely determined by $p$ numbers (its coordinates in any basis). Different bases are different accounting systems for the same underlying data.
Connections
Looking ahead in MATH 231:
- Eigenvalues and Eigenvectors: the rank of $(A - \lambda I)$ drops below $n$ precisely when $\lambda$ is an eigenvalue
- Diagonalization: a matrix is diagonalizable iff it has enough eigenvectors to form a basis; dimension language describes this precisely
Real-world connections:
- In data analysis, the rank of a data matrix is the “true dimensionality” of the dataset, often much smaller than the number of observed features. Compression exploits this.
- In engineering, the rank-nullity relationship governs controllability and observability of a linear system.
Source: Lay, Linear Algebra and Its Applications, Section 4.4: Coordinate Systems; Section 4.5: The Dimension of a Vector Space; Section 4.6: Rank.
| Previous | Up | Next |
|---|---|---|
| Null Space, Column Space, and Basis | MATH231 Skills Index | Eigenvalues and Eigenvectors |
Last updated: 2026-06-16
Watch and Read
- Lynch, MATH 231 lecture playlists (YouTube)Recorded MATH 231 lectures at EWU. Use them to see each topic worked through in a full class session.