![]() |
![]() |
![]() |
|
![]() |
![]() |
![]() |
![]() |
![]() |
|
![]() |
![]() |
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
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