This document discusses theorems related to linear transformations between finite-dimensional vector spaces. It proves two main theorems:
1) A linear transformation T is invertible if and only if T maps a basis of the domain space V to a basis of the codomain space W.
2) A linear transformation T between vector spaces of equal dimension is invertible, injective, surjective, and maps bases to bases. These properties are shown to be equivalent.
The document provides a detailed proof of each theorem with examples to illustrate the concepts. It discusses key ideas such as linear independence, spanning sets, and the relationship between invertibility, injectivity and surjectivity of linear transformations.