By the time you can row-reduce a system, the next question is no longer "Can I solve this example?" but rather "What is the structure of every solution?" Homogeneous systems are the cleanest place to ask that question, and the null space is the language that answers it.
Why homogeneous systems are special
A homogeneous linear system is a system whose constant terms are all 0. In
matrix form, it looks like
This situation is special for one immediate reason: the zero vector always solves it.
Definition
Homogeneous system
A homogeneous linear system is a linear system of the form
Its trivial solution is the zero vector .
The real question is whether there are also nontrivial solutions.
The null space collects all homogeneous solutions
Definition
Null space
If is a matrix, the null space of is
So N(A) is exactly the solution set of the homogeneous system .
This definition turns a list of solutions into a mathematical object. Instead of saying "here are some vectors that work," you can describe the whole set at once.
Row reduction tells you the shape of the null space
To find N(A), you solve by reducing the augmented system .
The pivots tell you which variables are determined; the free variables tell you
how many directions of freedom remain.
Worked example
Solve a homogeneous system and describe the null space
Let
To solve , row-reduce:
So the equation is
Take and as free variables. Then
Therefore
So
This example shows why null-space descriptions are powerful. They tell you not only whether solutions exist, but how every solution is built.
Homogeneous solutions control nonhomogeneous ones
The same idea explains the structure of a system when it is consistent.
Theorem
Every solution is a particular solution plus a null-space vector
Suppose is one particular solution of .
Then a vector x solves if and only if
for some .
This is the key structural theorem behind free-variable formulas.
Proof
Why the full solution set has the form
A nonhomogeneous example
Worked example
Describe all solutions as a translate of the null space
Suppose the system has one particular solution
and suppose
Then every solution has the form
The null space gives the direction of freedom; the particular solution tells you where that family of solutions sits.
Why free variables force infinitely many homogeneous solutions
The reduced system viewpoint makes one important consequence immediate.
Theorem
A free variable creates infinitely many solutions
If the homogeneous system has at least one free variable, then it has infinitely many solutions.
The reason is not mysterious. A free variable may be assigned any real value, and each different assignment gives a different solution vector unless the parameter disappears completely.
This also gives a short theorem that is worth stating explicitly: if a homogeneous system has more variables than pivot equations, then at least one free variable remains, and the system must therefore have infinitely many solutions.
Worked example
One free variable already produces a whole line of solutions
Suppose row reduction shows that
If , then , so every solution has the form
Different values of t give different vectors, so the homogeneous system has
infinitely many solutions, not just more than one.
Worked example
A trivial null space can also occur
Let
Then is simply
So the only solution is the zero vector, and therefore
This is the opposite extreme from the earlier example with free variables.
The null space is a subspace
This fact is easy to overlook because we first meet the null space as a solution set. But it is more than a solution set: it is always a subspace of the domain of .
Theorem
The null space is closed under linear combinations
For any matrix , the null space N(A) is a subspace. In particular:
- ,
- if , then ,
- if and
cis a scalar, then .
Proof
Why the null space is a subspace
This matters later because once you know a solution set is a subspace, you may look for a basis, count dimensions, and compare it to the pivot structure of the coefficient matrix.
Nullity counts how many independent directions remain
The previous discussion explains why the null space is not just a pile of solutions. It records how many genuinely independent directions of motion are still left after the pivot equations have imposed all their constraints.
Each free variable contributes one independent parameter. So the dimension of the null space is exactly the number of free variables in the reduced homogeneous system.
In rank language, this becomes
but even before that theorem is named formally, you should already read nullity as "the number of independent null-space directions left by the system."
Worked example
Membership in the null space is a direct test
Let
Then
So but . This is the practical meaning of the
definition: to test membership in N(A), compute Ax and check whether the
result is exactly the zero vector.
How to read a basis for the null space from RREF
In practice, the basis vectors of N(A) come directly from the free-variable
description of the reduced system.
The workflow is:
- row-reduce ,
- identify pivot and free variables,
- set one free variable to
1and the others to0, - solve for the pivot variables,
- repeat once for each free variable.
The vectors produced this way form a basis candidate for the null space because each one records one independent direction of freedom.
There is also a geometric distinction worth keeping clear:
- a homogeneous solution set is always a subspace, so it passes through the origin;
- a nonhomogeneous consistent solution set is usually a translate of that subspace by a particular solution.
That difference is exactly why N(A) is the structural core of the system,
while describes the full solution set of .
Homogeneous solutions and column dependence
The null-space equation also explains when the columns of a matrix are dependent.
Let the columns of be . Then
is the same as
So a nontrivial solution of the homogeneous system is exactly a nontrivial linear relation among the columns.
Worked example
A nontrivial null-space vector gives a dependence relation
Suppose
Then
means
This is a nontrivial dependence relation among the columns of .
What null space says about uniqueness
The structure theorem gives an immediate test.
- If , then a consistent system has exactly one solution.
- If
N(A)contains a nonzero vector, then every consistent system has infinitely many solutions, because you can add scalar multiples of that vector to a particular solution.
So null space measures the hidden freedom in the system.
Common mistakes
Common mistake
The zero vector always belongs to the null space
Students sometimes think a homogeneous system can have no solution. That is impossible, because always satisfies .
Common mistake
A particular solution is not the whole solution set
Finding one vector with is only the start. You still need to add the whole null space to describe every solution.
Quick checks
Quick check
Why does always have at least one solution?
Answer in one sentence.
Solution
Answer
Quick check
If and is consistent, how many solutions does it have?
Use the theorem from this note.
Solution
Answer
Quick check
If has a free variable, can the solution set contain only two vectors?
Answer from the parameter form, not from a guess.
Solution
Answer
Exercise
Quick check
Suppose solves and . Why do and both solve ?
Write one line using linearity.
Solution
Guided solution
Related notes
This note builds on 2.3 Gaussian elimination and RREF and 2.4 Solution-set types. It prepares the way for 5.1 Invertible matrices and connects naturally with 6.2 Subspaces.