notevector-spaces

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.