Equivalence Relation/Examples/Equal Sine of pi x over 6 on Integers/Proof 1
Jump to navigation
Jump to search
Example of Equivalence Relation
Let $\Z$ denote the set of integers.
Let $\RR$ denote the relation on $\Z$ defined as:
- $\forall x, y \in \Z: x \mathrel \RR y \iff \sin \dfrac {\pi x} 6 = \sin \dfrac {\pi y} 6$
Then $\RR$ is an equivalence relation.
Proof
Checking in turn each of the criteria for equivalence:
Reflexivity
Let $x \in \Z$.
Then:
- $\sin \dfrac {\pi x} 6 = \sin \dfrac {\pi x} 6$
Thus:
- $\forall x \in \Z: x \mathrel \RR x$
and $\RR$ is seen to be reflexive.
$\Box$
Symmetry
\(\ds x\) | \(\RR\) | \(\ds y\) | ||||||||||||
\(\ds \leadsto \ \ \) | \(\ds \sin \dfrac {\pi x} 6\) | \(=\) | \(\ds \sin \dfrac {\pi y} 6\) | |||||||||||
\(\ds \leadsto \ \ \) | \(\ds \sin \dfrac {\pi y} 6\) | \(=\) | \(\ds \sin \dfrac {\pi x} 6\) | |||||||||||
\(\ds \leadsto \ \ \) | \(\ds y\) | \(\RR\) | \(\ds x\) |
Thus $\RR$ is seen to be symmetric.
$\Box$
Transitivity
\(\ds x\) | \(\RR\) | \(\ds y\) | ||||||||||||
\(\, \ds \land \, \) | \(\ds y\) | \(\RR\) | \(\ds z\) | |||||||||||
\(\ds \leadsto \ \ \) | \(\ds \sin \dfrac {\pi x} 6\) | \(=\) | \(\ds \sin \dfrac {\pi y} 6\) | |||||||||||
\(\, \ds \land \, \) | \(\ds \sin \dfrac {\pi y} 6\) | \(=\) | \(\ds \sin \dfrac {\pi z} 6\) | |||||||||||
\(\ds \leadsto \ \ \) | \(\ds \sin \dfrac {\pi x} 6\) | \(=\) | \(\ds \sin \dfrac {\pi z} 6\) | |||||||||||
\(\ds \leadsto \ \ \) | \(\ds x\) | \(\RR\) | \(\ds z\) |
Thus $\RR$ is seen to be transitive.
$\Box$
$\RR$ has been shown to be reflexive, symmetric and transitive.
Hence by definition it is an equivalence relation.
$\blacksquare$