Let
We seek to prove that
- A) Bijectiveness
- B) Injectiveness
- C) Surjectiveness
It is trivial that
Injective Bijective
By the Kernel-Image Theorem, we have that
Thus, the dimension of the codomain is equal to the dimension of
Surjective Bijective
If
for which
Corollaries
References
- Um Curso de Álgebra Linear, Flávio Ulhoa Coelho & Mary Lilian Lourenço. Editora EDUSP.