The row space and column space are two fundamental subspaces attached to a matrix. They describe what the rows generate and what the columns generate. If is an matrix, then the row space is a subspace of , while the column space is a subspace of . The column space is also the image of the linear map .
These spaces connect matrices, linear systems, rank, pivots, and linear transformations. They are part of the standard group of fundamental matrix subspaces, together with the null space and left null space.
25.1 Matrix Rows and Columns
Let
The rows of are vectors in :
The columns of are vectors in :
Thus the rows and columns usually live in different vector spaces. This distinction matters when .
25.2 Row Space
The row space of , denoted
is the span of the rows of :
Since each row has entries,
A vector belongs to the row space exactly when it can be written as a linear combination of the rows.
If
then
A general vector in the row space has the form
Thus the row space is a plane through the origin in .
25.3 Column Space
The column space of , denoted
is the span of the columns of :
Since each column has entries,
If
then
A general vector in the column space has the form
This is a two-dimensional subspace of .
25.4 Matrix-Vector Multiplication and Column Space
Let
and let
Then
Thus every product is a linear combination of the columns of . Conversely, every linear combination of the columns is some product .
Therefore
This is why the column space is the image, or range, of the linear transformation
25.5 Linear Systems and Column Space
The system
has a solution exactly when
This is the column-space interpretation of consistency.
The columns of are the available building blocks. The unknowns are the coefficients. Solving asks whether can be built from the columns.
Thus consistency is a geometric question:
If yes, the system is consistent. If no, the system is inconsistent.
25.6 Example: Consistency
Let
The columns are
A vector lies in if
Thus
So belongs to the column space exactly when
For example,
but
Therefore
is consistent, while
is inconsistent.
25.7 Row Space and Linear Equations
Each row of represents one linear equation in the system
For example, the row
represents the left-hand side
The row space consists of all linear combinations of these equation coefficients.
If one row lies in the span of the others, then its equation is algebraically dependent on the others, at least on the left-hand side. Row space records the independent linear constraints imposed by the matrix.
25.8 Row Operations and Row Space
Elementary row operations do not change the row space.
There are three elementary row operations:
| Operation | Effect on row space |
|---|---|
| Swap two rows | Reorders spanning vectors |
| Multiply a row by a nonzero scalar | Replaces a spanning vector by a nonzero multiple |
| Add a multiple of one row to another | Replaces one spanning vector by a vector in the same span |
Each operation replaces the rows by another list with the same span.
Therefore, if is row equivalent to , then
This is why row reduction gives a basis for the row space.
25.9 Row Echelon Form and Row Space
If is an echelon form of , then the nonzero rows of form a basis for .
They span the row space because row operations preserve row space.
They are linearly independent because nonzero rows in echelon form have leading entries in different columns. No nonzero row can be built from the rows below it without changing the position of the first nonzero entry.
Thus row reduction gives a direct method:
- Row reduce to echelon form.
- Keep the nonzero rows.
- These rows form a basis for the row space.
25.10 Example: Basis for Row Space
Let
Row reduce:
The nonzero rows form a basis for the row space:
Therefore
25.11 Row Operations and Column Space
Elementary row operations generally change the column space.
This is because row operations change the entries inside each column. The transformed columns may live in the same ambient space , but their span can become a different subspace.
For example,
has column space
Apply the row operation . The result is
Now
which is a different line in .
Thus the actual column space is not preserved by row reduction.
25.12 Pivot Columns and Column Space
Although row operations change the column space, they preserve linear dependence relations among the columns. Therefore row reduction can identify which original columns form a basis for the column space. The pivot columns of a row echelon form indicate the corresponding pivot columns of the original matrix. Those original columns form a basis for .
The word original is essential. The pivot columns of the reduced matrix usually form a basis for the column space of the reduced matrix, not for the original column space.
The procedure is:
- Row reduce to echelon form.
- Identify pivot columns in the echelon form.
- Select the corresponding columns of the original matrix.
- These original columns form a basis for .
25.13 Example: Basis for Column Space
Let
From the previous row reduction,
The pivot columns are columns and .
Therefore a basis for the column space of is given by the first two columns of the original matrix:
The third column is redundant. Indeed,
Thus
25.14 Rank
The rank of a matrix is the dimension of its column space:
It is also equal to the dimension of the row space:
Thus
This equality is one of the central facts of matrix theory. The row space and column space may live in different ambient spaces, but their dimensions are always equal.
The common dimension is the number of pivot positions in any echelon form of .
25.15 Row Rank Equals Column Rank
The equality
is often stated as:
Row reduction explains why.
The nonzero rows of an echelon form give a basis for the row space, so the row rank equals the number of nonzero rows.
The pivot columns of the echelon form identify a basis for the original column space, so the column rank equals the number of pivot columns.
In echelon form, the number of nonzero rows equals the number of pivot columns.
Therefore row rank equals column rank.
25.16 Rank and Matrix Shape
If is an matrix, then
and
Therefore
and
So
A tall matrix can have at most as many independent columns as columns. A wide matrix can have at most as many independent rows as rows.
25.17 Full Column Rank
An matrix has full column rank if
This means the columns are linearly independent.
In this case, the homogeneous system
has only the trivial solution.
If , full column rank is possible. If , it is impossible because there are more columns than the ambient dimension .
Full column rank means that the map
is injective.
25.18 Full Row Rank
An matrix has full row rank if
This means the rows are linearly independent.
If , full row rank is possible. If , it is impossible because there are more rows than the ambient dimension .
Full row rank means that the linear transformation
has image equal to . Thus for every , the system
has at least one solution.
25.19 Four Fundamental Subspaces
For an matrix , there are four associated subspaces:
| Subspace | Definition | Ambient space |
|---|---|---|
| Row space | ||
| Column space | ||
| Null space | ||
| Left null space |
The row space and null space both live in . The column space and left null space both live in .
Later chapters show that the row space is orthogonal to the null space, and the column space is orthogonal to the left null space.
25.20 Summary
The row space of a matrix is the span of its rows. The column space is the span of its columns. These spaces express two complementary ways to read a matrix: by equations and by generated outputs.
The key ideas are:
| Concept | Meaning |
|---|---|
| Row space | Span of the rows of |
| Column space | Span of the columns of |
| Column-space test | is consistent exactly when |
| Row reduction | Preserves row space |
| Nonzero echelon rows | Basis for row space |
| Pivot columns | Corresponding original columns form a basis for column space |
| Rank | Common dimension of row space and column space |
| Full column rank | Independent columns |
| Full row rank | Independent rows |
Row space describes the independent equations encoded by a matrix. Column space describes the possible outputs produced by the matrix. Rank measures the common number of independent directions in both descriptions.