Theorem. Let be an -by- matrix. Then the following statements are equivalent. That is, for a given , the statements are either all true or all false.
is an invertible matrix.
is row equivalent to the -by- identity matrix.
has pivot positions.
The equation has only the trivial solution.
The columns of form a linearly independent set.
The linear transformation is one-to-one.
The equation has at least one solution for each .
The columns of span .
The linear transformation is onto.
There is an -by- matrix such that .
There is an -by- matrix such that .
is an invertible matrix.
The columns of form a basis of .
.
.
.
.
.