Linear map to a lower-dimensional space is not injective
Suppose and are finite-dimensional vector spaces such that . Then, no linear map from to is injective.
Proof. Let . Then
where the first line above comes from the fundamental theorem of linear maps and the second line follows from the fact that is a subspace of (see dimension of a subspace).
This inequality states that . This means that contains vectors other than . Thus, is not injective, as injectivity implies null space is 0 and vice versa.
For example, let’s say we have a linear map such that
Because , we can immediately say that is not injective without any calculations.