1
$\begingroup$

Title says it all.

To give a concrete example:

Let $X$ and $Y$ be non-empty sets and $f: X \rightarrow Y$ a mapping. Prove that for relation defined by $\{(x_1,x_2) \in X^2 : f(x_1) =f(x_2)\}$ reflexivity holds.

I'm not sure if it is enough to simply state that by definition every $x$ has only one image $f(x) \rightarrow f(x)=f(x)$, which is our original definition.

Appart from probably different eqvivalence classes, does it make any difference when the mapping is f.i. injective or constant ($\exists c \in Y (\forall x \in X: f(x)=c)$)?

2 Answers 2

2

$\forall x \in X, \;f(x) =f(x)$, so reflexivity holds, i.e., $(x, x) \in \mathcal{R}.$

If $f(x) = c$, for some constant c, then $f(x) = f(x) = c$.


Note that for all properties of an equivalence relation, it doesn't matter if $f$ is injective, or $f(x)=c$ for some constant $c$. You should find that the relation you defined IS an equivalence relation:
$\mathcal{R}\;$ is

  • reflexive,
  • symmetric, and
  • transitive.

It's more an exercise in using the definition of an equivalence relation and what is required to meet each of the properties of an equivalence relation, and less about the function $f$.

  • 0
    $\ddot\smile$ for my slept friend.2013-09-01
0

A relation $R$ is reflexive if and only if $xRx$ for all $x \in X$. Since $f(x) = f(x)$ for all $x \in X$ the relation is reflexive. Injectivity or constancy do not affect things.