3

In the lectures I am following, we are trying to show that

$AB = I \implies B=A^{-1}$, given that A and B are $n \times n$ square matrices. Of course we don't know if A and B are invertible or nonsingular etc. First we need to show these. It follows in the lectures that for a $\vec y \in R^n$,

$$A(B\vec y) = \vec y$$ and thus for every $\vec y$, there is a solution $B \vec y$. Thus the system is consistent with its coefficient matrix as $A$. Then the proof says $A$ must be nonsingular.

I am lost at this reasoning. How did we jump to the fact that $A$ is nonsingular? How can I know that $B \vec y$s are unique for all $\vec y$? Maybe the system has infinitely many solutions?

For reference, this is from Theodore Shifrin's Math 3500 Lectures on Youtube, Day 33, around time 35:00.

meguli
  • 640

1 Answers1

2

$AB = I \implies A, B$ are non-singular matrices.

Proof by contradiction:

Suppose $A$ is singular. $\det(A) = 0.$

Since $\det(AB) = \det(A)\det(B),$ if $\det(A) = 0$ then $\det(AB) = 0.$

$\det(I) =1.$ $\det(AB) \ne \det(I) \implies AB\ne I$

This violates the given condition that $AB= I.$

$A$ is non-singular.

Same logic can be applied for $B.$

Doug M
  • 57,877
  • But I don't have problem with the claim in the proposition. What I don't understand is how we reach at $A$ is nonsingular, from $A (B \vec y) = \vec y$ is consistent. Doesn't this require $B \vec y$s to be unique for all $\vec y$? – meguli Jul 31 '17 at 20:00
  • If $B$ is non-singular $B\mathbf x = B\mathbf y \implies \mathbf x =\mathbf y$ or $\mathbf u=B\mathbf y$ is a bijective map. – Doug M Jul 31 '17 at 20:04
  • But we didn't know B was nonsingular, to begin with. It's easy from there once you are able to show one of A and B is nonsingular. – meguli Jul 31 '17 at 20:09
  • Both $A$ and $B$ must be non-singular. If $B$ is singular then there exists a $\mathbf y$ such that $B\mathbf y = \mathbf 0$. If $A$ is singular and $B$ is non-singular then there exists a $\mathbf u$ such that $A\mathbf u = \mathbf 0$ and a $\mathbf y$ such that $B\mathbf y = \mathbf u$ – Doug M Jul 31 '17 at 20:12
  • That makes $A ( B \vec y ) = \vec y$ still consistent. Only this time, trivial solution is not the only solution. So B can in fact be singular? – meguli Jul 31 '17 at 20:16
  • $AB = I \implies AB\mathbf y = \mathbf y$ for all $\mathbf y.$ "Only 1 solution" does not apply (or work). – Doug M Jul 31 '17 at 20:18