Let if possible rank Then there exists an invertible matrix (a product of elementary matrices) such that where is an matrix. Since is invertible, let where is an matrix. Then
(2.5.1) |
Suppose is of full rank. This implies, the row reduced echelon form of has all non-zero rows. But has as many columns as rows and therefore, the last row of the row reduced echelon form of will be Hence, the row reduced echelon form of is the identity matrix.
Since is row-equivalent to the identity matrix there exist elementary matrices such that That is, is product of elementary matrices.
Suppose where the 's are elementary matrices. We know that elementary matrices are invertible and product of invertible matrices is also invertible, we get the required result. height6pt width 6pt depth 0pt
The ideas of Theorem 2.5.8 will be used in the next subsection to find the inverse of an invertible matrix. The idea used in the proof of the first part also gives the following important Theorem. We repeat the proof for the sake of clarity.
Let if possible, rank Then there exists an invertible matrix (a product of elementary matrices) such that Let where is an matrix. Then
(2.5.2) |
Using the first part, it is clear that the matrix in the second part, is invertible. Hence
Thus, is invertible as well. height6pt width 6pt depth 0pt
Since is invertible, by Theorem 2.5.8 is of full rank. That is, for the linear system the number of unknowns is equal to the rank of the matrix Hence, by Theorem 2.5.1 the system has a unique solution
Let if possible be non-invertible. Then by Theorem 2.5.8, the matrix is not of full rank. Thus by Corollary 2.5.3, the linear system has infinite number of solutions. This contradicts the assumption that has only the trivial solution
Since is invertible, for every the system has a unique solution
For define and consider the linear system By assumption, this system has a solution for each Define a matrix That is, the column of is the solution of the system Then
Therefore, by Theorem 2.5.9, the matrix is invertible. height6pt width 6pt depth 0pt
A K Lal 2007-09-12