Proving that a relation is an equivalence relation

1k Views Asked by At

I am having difficulties proving the relation IS an equivalence relation.

Let $f: X\longrightarrow Y$ be a function from a set $X$ onto a set $Y$. Let $R$ be the subset of $X \times X$ consisting of those pairs $(x, x')$such that $f(x)= f(x')$. Prove that $R $ is an equivalence relation.

Let $ \pi: X\longrightarrow X/R$ be a projection. Verify that, if $ \alpha \in X/R$ is an equivalence class, to define $F(\alpha) = F(a)$, whenever $\alpha = \pi (a)$, establishes a well-defined function $F: X/R \longrightarrow Y$ which is one-to-one and onto.

1

There are 1 best solutions below

2
On BEST ANSWER

Follow the definition of what an equivalence relation is. For instance, $R$ must be shown to be reflexive, meaning that $xRx$ must hold for all $x\in X$. Indeed, given $x\in X$ we have that $f(x)=f(x)$, which by definition means that $xRx$. Now look at the rest of the definition of equivalence relation and verify.