is linear map injective