Invertibility and Isomorphisms
Defined Inverse (Linear Map)
Theorem
An invertible linear map has a unique inverse.
Notation
If is invertible, let denote the inverse of .
Theorem
A linear map is invertible if and only if it is injective and surjective.
Proof
("") Assume is invertible. Suppose and .
Let . Then,
("") Assume is injective and surjective. For each , let be the unique element of , such that . This is guaranteed to exist and be unique since is injective and surjective. Thus, . Also, let , then . Therefore, since is injective, , so .
Finally, we must show that is a linear map. Let and , then . Thus, is the unique element of which maps to under . Therefore, by definition.
Question
Is injectivity alone (or surjectivity alone) enough to have invertibility of a linear map ?
Answer
No, if is infinite-dimensional; yes, if is finite-dimensional.