Theorem 1. Equivalent systems of linear equations have the same solutions.
Theorem 2. To each elementary row operations there corresponds an elementary row operation , of the same type as , such that for each . In other words, the inverse operation (function) of an elementary row operation exists and is an elementary row operation of the same type.
Definition. If and are matrices over the field , we say that is row-equivalent to if can be obtained from by a finite sequence of elementary row operations.
Theorem 3. If and are row-equivalent matrices, the homogeneous systems of linear equations and have exactly the same solutions.
Definition. An
matrix
is called row-reduced if:
( a ) the first non-zero entry in each non-zero row of
is equal to 1;
( b ) each column of
which contains the leading non-zero entry of some row has all its other entries 0.
Theorem 4. Every matrix over the field is row-equivalent to a row-reduced matrix.
Definition. An
matrix
is called a row-reduced echelon matrix if:
( a )
is row-reduced;
( b ) every row of
which has all its entries 0 occurs below every row which has a non-zero entry;
( c ) if rows
are the non-zero rows of
, and if the leading non-zero entry of row
occurs in column
, then
.
Theorem 5. Every matrix is row-equivalent to a row-reduced echelon matrix.
Theorem 6. If is an matrix and , then the homogeneous system of linear equations has a non-trivial solution.
Theorem 7. If is an (square) matrix, then is row-equivalent to the identity matrix if and only if the system of equations has only the trivial solution.
Definition. Let be an matrix over the field and let be an matrix over . The product is the matrix whose entry is .
Theorem 8. If
are matrices over the field
such that the products
and
are defined, then so are the products
and
Definition. An matrix is said to be an elementary matrix if it can be obtained from the identity matrix by emans of a single elementary row operation.
Theorem 9. Let
be an elementary row operation and let
be the
elementary matrix
. Then for every
matrix
,
.
Corollary. Let
and
be
matrices over the field
. Then
is row-equivalent to
if and only if
, where
is a product of
elementary matrices.
Definition. Let be an (square) matrix over the field . An matrix such that is called a left inverse of ; an matrix such that is called a right inverse of . IF , then is called a two-sided inverse (or inverse) of and is said to be invertible.
Theorem 10. Let
and
be
matrices over
.
( i ) If
is invertible, so is
and
.
( ii ) If both
and
are invertible, so is
and
.
Corollary. A product of invertible matrices is invertible.
Theorem 11. An elementary matrix is invertible.
Theorem 12. If
is an
matrix, the following are equivalent.
( i )
is invertible.
( ii )
is row-equivalent to the
identity matrix.
( iii )
is a product of elementary matrices.
Corollary. If
is an invertible
matrix and if a sequence of elementary row operations reduces
to the identity, then that same sequence of operations when applied to
yields
.
Corollary. Let
and
be
matrces. Then
is row-equivalent to
if and only if
where
is an invertible
matrix.
Theorem 13. For an
matrix
, the following are equivalent.
( i )
is invertible.
( ii ) The homogeneous system
has only the trivial solution
.
( iii ) The system of equations
has a solution
for each
matrix
.
Corollary. A square matrix with either a left or right inverse is invertible.
Corollary. Let
where
are
(square) matrices. Then
is invertible if and only if each
is invertible.