Given an matrix and a matrix , we define to be the matrix whose entry is given by:
Some notation is:
: the -th row of
: the -th column of
Notice that the dot product form is here, so sometimes that's used to shorthand the notation:
Another fact is that:
3.D: Invertibility
You've heard of inverse functions before, so let's look at the definition then talk more about it:
Inverse Map
A map is invertible if there exists some such that:
where is the identity map such that for any .
Such a map is called an inverse of .
Notice again that is an inverse. But it is true, one of our first theorems, that inverses are unique.
Uniqueness of Inverses
Inverses are unique.
Proof
Suppose is some linear transformation from to , and that are inverses of . Then both and .
where we use the associativity of transformations in the middle.
☐
We denote the inverse of an invertible map by . But when is invertible?
Theorem
is invertible iff is injective and surjective (ie: is bijective).
Note that in calculus we looked at functions like and found inverses . But we need surjectivity now since the domains and co-domains may be different. Here, from calculus we needed a change in the domain from to . Proof
We'll keep the details out of here and prove this broadly. This is an iff proof so start with . Suppose is invertible. We first show injectivity, so suppose for some . Then since is invertible, then exists, and:
and likewise , but since then as requested.
For surjectivity, let be arbitrary. We need to choose some vector in where . I claim that is the vector to choose since:
thus is surjective.
Now we'll prove , so suppose is bijective. We have to produce a map such that we get the properties of our invertibility. We define a map such that:
where since is surjective, then there exists this vector where . We skip over that is a linear map and but we skip that detail.
We'll need to show that is the identity (as we already can see is the identity map as we built it that way). Notice that:
So since is injective, the argument for on both sides are equal, so so then .
☐