when is a linear transformation injective