# Equivalence kernel of an injection

The equivalence kernel of a function $f$ is the equivalence relation $\sim$ defined by $$x\sim y \iff f(x) = f(y)\;.$$ The equivalence kernel of an injection is the identity relation.

-
This is very straightforward; what have you tried? –  Brian M. Scott Jun 22 '12 at 13:36
$f$ injective iff for every $x,y$ with $f(x)=f(y)$ one has $x=y$. Therefore for $f$ injective $f(x)=f(y) \iff x=y$. –  Mercy Jun 22 '12 at 13:39

Remember the definition of an injective function: $f$ is injective if and only if for every $x,y$ in the domain of $f$ it holds that $x\neq y\implies f(x)\neq f(y)$.
Another way of seeing that this is an equivalence relation is to note that it is induced by the partition $$\Bigl\{ f^{-1}(\{y\})\Bigm| y\in f(X)\Bigr\}.$$ Since $f$ is injective if and only if the inverse image of singletons is either empty or a singleton, the conclusion will follow.