![](http://image.absoluteastronomy.com/images//topicimages/noimage.gif)
Rank factorization
Encyclopedia
Given an
matrix
of rank
, a rank decomposition or rank factorization of
is a product
, where
is an
matrix and
is an
matrix.
Every finite dimensional matrix has a rank decomposition: Let
be an
matrix whose column rank is
. Therefore, there are
linearly independent columns in
; equivalently, the dimension
of the column space
of
is
. Let
be any basis
for the column space of
and place them as column vectors to form the
matrix
. Therefore, every column vector of
is a linear combination
of the columns of
. To be precise, if
is an
matrix with
as the
-th column, then![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-27.gif)
where
's are the scalar coefficients of
in terms of the basis
. This implies that
, where
is the
-th element of
.
rank(
An immediate consequence of rank factorization is that the rank of
is equal to the rank of its transpose
. Since the columns of
are the rows of
, the column rank of
equals its row rank.
Proof: To see why this is true, let us first define rank to mean column rank. Since
, it follows that
. From the definition of matrix multiplication
, this means that each column of
is a linear combination
of the columns of
. Therefore, the column space of
is contained within the column space of
and, hence, rank(
) ≤ rank(
). Now,
is
×
, so there are
columns in
and, hence, rank(
) ≤
= rank(
). This proves that rank(
≤ rank(
). Now apply the result to
to obtain the reverse inequality: since
=
, we can write rank(
) = rank(
≤ rank(
). This proves rank(
≤ rank(
). We have, therefore, proved rank(
≤ rank(
) and rank(
) ≤ rank(
), so rank(
) = rank(
). (Also see the first proof of column rank = row rank under rank
).
, the reduced row echelon form
of
. Then
is obtained by removing from
all non-pivot columns
, and
by eliminating all zero rows of
.
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-80.gif)
is in reduced echelon form.
Then
is obtained by removing the third column of
, the only one which is not a pivot column, and
by getting rid of the last row of zeroes, so![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-85.gif)
It is straightforward to check that![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-86.gif)
be an
permutation matrix such that
in block partitioned
form, where the columns of
are the
pivot columns of
. Every column of
is a linear combination of the columns of
, so there is a matrix
such that
, where the columns of
contain the coefficients of each of those linear combinations. So
,
being the
identity matrix. We will show now that
.
Transforming
into its reduced row echelon form amounts to left-multiplying by a matrix
which is a product of elementary matrices, so
, where
. We then can write
, which allows us to identify
, i.e. the nonzero
rows of the reduced echelon form, with the same permutation on the columns as we did for
. We thus have
, and since
is invertible this implies
, and the proof is complete.
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-1.gif)
Matrix (mathematics)
In mathematics, a matrix is a rectangular array of numbers, symbols, or expressions. The individual items in a matrix are called its elements or entries. An example of a matrix with six elements isMatrices of the same size can be added or subtracted element by element...
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-2.gif)
Rank (linear algebra)
The column rank of a matrix A is the maximum number of linearly independent column vectors of A. The row rank of a matrix A is the maximum number of linearly independent row vectors of A...
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-3.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-4.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-5.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-6.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-7.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-8.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-9.gif)
Every finite dimensional matrix has a rank decomposition: Let
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-10.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-11.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-12.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-13.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-14.gif)
Dimension
In physics and mathematics, the dimension of a space or object is informally defined as the minimum number of coordinates needed to specify any point within it. Thus a line has a dimension of one because only one coordinate is needed to specify a point on it...
of the column space
Column space
In linear algebra, the column space of a matrix is the set of all possible linear combinations of its column vectors. The column space of an m × n matrix is a subspace of m-dimensional Euclidean space...
of
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-15.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-16.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-17.gif)
Basis (linear algebra)
In linear algebra, a basis is a set of linearly independent vectors that, in a linear combination, can represent every vector in a given vector space or free module, or, more simply put, which define a "coordinate system"...
for the column space of
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-18.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-19.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-20.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-21.gif)
Linear combination
In mathematics, a linear combination is an expression constructed from a set of terms by multiplying each term by a constant and adding the results...
of the columns of
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-22.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-23.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-24.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-25.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-26.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-27.gif)
where
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-28.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-29.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-30.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-31.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-32.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-33.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-34.gif)
rank(
) = rank(
)
An immediate consequence of rank factorization is that the rank of ![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-37.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-38.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-39.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-40.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-41.gif)
Proof: To see why this is true, let us first define rank to mean column rank. Since
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-42.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-43.gif)
Matrix multiplication
In mathematics, matrix multiplication is a binary operation that takes a pair of matrices, and produces another matrix. If A is an n-by-m matrix and B is an m-by-p matrix, the result AB of their multiplication is an n-by-p matrix defined only if the number of columns m of the left matrix A is the...
, this means that each column of
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-44.gif)
Linear combination
In mathematics, a linear combination is an expression constructed from a set of terms by multiplying each term by a constant and adding the results...
of the columns of
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-45.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-46.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-47.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-48.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-49.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-50.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-51.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-52.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-53.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-54.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-55.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-56.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-57.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-58.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-59.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-60.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-61.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-62.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-63.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-64.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-65.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-66.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-67.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-68.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-69.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-70.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-71.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-72.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-73.gif)
Rank (linear algebra)
The column rank of a matrix A is the maximum number of linearly independent column vectors of A. The row rank of a matrix A is the maximum number of linearly independent row vectors of A...
).
Rank Factorization from Row Echelon Forms
In practice, we can construct one specific rank factorization as follows: we can compute![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-74.gif)
Row echelon form
In linear algebra a matrix is in row echelon form if* All nonzero rows are above any rows of all zeroes, and...
of
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-75.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-76.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-77.gif)
Gaussian elimination
In linear algebra, Gaussian elimination is an algorithm for solving systems of linear equations. It can also be used to find the rank of a matrix, to calculate the determinant of a matrix, and to calculate the inverse of an invertible square matrix...
, and
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-78.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-79.gif)
Example
Consider the matrix![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-80.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-81.gif)
Then
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-82.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-83.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-84.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-85.gif)
It is straightforward to check that
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-86.gif)
Proof
Let![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-87.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-88.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-89.gif)
Block matrix
In the mathematical discipline of matrix theory, a block matrix or a partitioned matrix is a matrix broken into sections called blocks. Looking at it another way, the matrix is written in terms of smaller matrices. We group the rows and columns into adjacent 'bunches'. A partition is the rectangle...
form, where the columns of
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-90.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-91.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-92.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-93.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-94.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-95.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-96.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-97.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-98.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-99.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-100.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-101.gif)
Transforming
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-102.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-103.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-104.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-105.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-106.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-107.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-108.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-109.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-110.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-111.gif)
![](http://image.absoluteastronomy.com/images/formulas/9/6/4967672-112.gif)