Let be a linear map between finite-dimensional vector spaces. Then
where and .
Let be a linear map between finite-dimensional vector spaces. Then
where and .
This theorem is central to understanding the structure of linear maps. It tells us that the ‘information lost’ (nullity) and ‘information retained’ (rank) must sum to the total dimension of the domain.
If is a linear operator on a finite-dimensional space with , then is automatically surjective — hence an isomorphism.