00:01
Let's suppose that a is an invertible matrix.
00:02
Let's get some matrix a such that there exists a inverse with a times a inverse is equal to the identity.
00:11
We have b is row equivalent to a, which means that b is equal to some product of elementary row operation matrices e1, e2, en times a.
00:28
We'd like to show that b is also invertible.
00:33
Well, let's see here.
00:36
We want then to find some b inverse such that b times b inverse is the identity.
00:48
How can we do that? well, let's take b and we're going to express it as this product here, e1, e2, dot dot dot, en times a.
01:04
This is going to say equal to b and i'm going to leave us some space here.
01:09
If we multiply on the right by a inverse on both sides, it still stays the same.
01:14
We know a inverse exists.
01:16
Then this term is going to go away and we can just erase it...