injective linear transformation