Ker(phi) = {0}, then phi injective?

[ctrlaltdelete]

Hi all,

Can anyone point to an explanation of why if ker(phi) = {0}, then phi is injective?

 

[CompuChip]

Is "phi" a linear map?

Suppose that phi(x) = phi(y), and use some properties of linear maps to show that x = y.