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.