height6pt width 6pt depth 0pt
The next corollary is an easy consequence of Theorem 2.6.12 (recall Theorem 2.5.9).
Step 2. Suppose
Then
is not invertible.
Hence, there exists an invertible matrix
such that
where
So,
and therefore
Suppose has an inverse. Then there exists a matrix such that Taking determinant of both sides, we get
This implies that Thus, is non-singular. height6pt width 6pt depth 0pt
If is singular, then Hence, by Corollary 2.6.16, doesn't have an inverse. Therefore, also doesn't have an inverse (for if has an inverse then Thus again by Corollary 2.6.16, Therefore, we again have
Hence, we have height6pt width 6pt depth 0pt
A K Lal 2007-09-12