1
$\begingroup$

As part of a proof I have to show that: For $ \phi, \psi $ equivalence relations ($\in Eq(A)$):

$$ \phi \cup (\phi \circ \psi ) \cup (\phi \circ \psi \circ \phi )\cup (\phi \circ \psi \circ\phi \circ \psi ) \cup \ldots $$ Is also an equivalence relation.

Reflexivity is pretty simple, since for all $ a \in A: (a,a)\in\phi$ . But I have troubles showing symmetry and transitivity...

Tanks for the help!

$\endgroup$

1 Answer 1

2
$\begingroup$

Let $\theta:=\phi\cup(\phi\circ\psi)\cup(\phi\circ\psi\circ\phi)\cup\dots$.
Assume $x\,\theta\,y$, then there are elements $z_i$ such that $x\,\phi\,z_1\, \psi\, \dots\, z_n\, \rho\,y$ where $\rho$ is either $\phi$ or $\psi$, according to the parity of $n$.

Even if $n$ is odd (whence $\rho=\psi$), we can make it even by adding $z_{n+1}:=y$ and noting that $y\,\phi\,y$.
But then, we get $y\,\phi\,z_n\,\psi\,\dots\,z_1\,\phi\,x$ showing that $y\,\theta\, x$.

Transitivity can be proved similarly, perhaps reducing to the case when the above $n$ is odd eases it up.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .