Linear Algebra · Undergraduate
Basis, Dimension and the Rank Theorem
Quick answer
A basis of a subspace is a linearly independent set that spans it, and every vector in the subspace has exactly one set of coordinates relative to it. All bases of a subspace have the same number of vectors, and that number is its dimension. For a matrix, the dimension of the column space is the rank, the number of pivot columns, and the dimension of the null space is the number of free variables. Since every column is one or the other, rank plus nullity equals the number of columns.
What you'll learn
- Decide whether a set is a basis
- Find the coordinates of a vector relative to a basis
- Find the dimension of a subspace
- Use the rank theorem to relate rank and nullity
Enough vectors, and no more
A basis of a subspace is a set of vectors in that is
- linearly independent, and
- spans .
Spanning means every vector in can be built. Independence means none of the building blocks is wasted. The standard vectors form a basis of ℝⁿ, but they are far from the only one: and form a basis of ℝ² as well.
Relative to a basis, each vector has coordinates: the coefficients that build it. They are unique. If two combinations of the basis gave the same vector, subtracting them would give a combination equal to with a nonzero coefficient, which independence rules out.
Why every basis has the same size
The key fact is a counting argument. Suppose is spanned by vectors, and take any vectors in . Each is a combination of the spanning vectors, so a dependence among them comes down to a homogeneous system with equations and unknowns. More unknowns than equations forces a free variable, hence a nonzero solution, hence dependence. In a subspace spanned by vectors, any vectors are dependent. So a basis can never have more vectors than another basis, and by symmetry the two sizes match.
That common size is the dimension of , written . A line through the origin has dimension , a plane through the origin , ℝⁿ has dimension , and has dimension .
Rank and the rank theorem
For a matrix , the previous lesson found bases for both of its subspaces. The basis for has one vector per pivot column, and the basis for has one vector per free variable. So
Every column of is either a pivot column or a free-variable column, never both. Counting columns gives the rank theorem:
For an matrix , .
The rank also cannot exceed the number of rows, since each pivot needs its own row, so .
Worked examples
Common mistakes
Practice problems
-
Is a basis of ℝ²?
Answer
No
Full solution
, so the set is dependent and spans only a line.
-
Is a basis of ℝ³?
Answer
No
Full solution
It is independent but spans only the -plane. A basis of ℝ³ needs three vectors.
-
Find the coordinates of relative to .
Answer
Full solution
and give and . Check: .
-
Find .
Answer
Full solution
The second vector is twice the first, and the third is not a multiple of the first. Row reducing the three columns gives two pivots.
-
A matrix has rank . Find , and describe .
Answer
; ℝ⁴
Full solution
The rank theorem gives . A -dimensional subspace of ℝ⁴ is all of ℝ⁴.
-
A matrix has a null space of dimension . What is its rank?
Answer
Full solution
, counting the four columns.
-
An matrix has . What are its rank and nullity?
Answer
Rank , nullity
Full solution
A nonzero determinant means is invertible, so it has pivots and only the trivial solution to .
-
Find the rank and nullity of .
Answer
Rank , nullity
Full solution
Row reduction gives : pivots in columns and , free variables and .
-
Can three vectors span ℝ⁴?
Answer
No
Full solution
Their span has dimension at most , and ℝ⁴ has dimension . The matrix with them as columns has at most three pivots, leaving a row without one.
-
A student says the column space of a matrix has dimension , since the matrix has five columns. What went wrong?
Hint
Where does the column space live?
Answer
The dimension is the rank, the number of pivot columns, which is at most .
Full solution
The column space is a subspace of ℝ³, so its dimension cannot exceed . Five columns in ℝ³ are always dependent, and only the pivot columns count toward the dimension.
Frequently asked questions
What is a basis?
A set of vectors that is linearly independent and spans the subspace: enough vectors to reach every vector in it, and no redundant ones.
What is the dimension of a subspace?
The number of vectors in any basis for it. Every basis of the same subspace has the same size.
What is the rank of a matrix?
The dimension of its column space, which equals the number of pivot columns.
What is the rank theorem?
For an m × n matrix, rank A + dim Nul A = n. Every column either holds a pivot or belongs to a free variable.
When do n vectors form a basis of ℝⁿ?
Exactly when they are independent, which for n vectors in ℝⁿ is the same as spanning ℝⁿ. Checking either condition is enough.