Quotient Mapping/Examples/Modulo 2 pi as Angular Measurement

From ProofWiki
Jump to navigation Jump to search

Example of Quotient Mapping

Let $\RR$ denote the congruence relation modulo $2 \pi$ on the real numbers $\R$ defined as:

$\forall x, y \in \R: \tuple {x, y} \in \RR \iff \text {$x$ and $y$}$ measure the same angle in radians

From Congruence Modulo $2 \pi$ as Angular Measurement, the quotient set induced by $\RR$ is:

$\R / \RR = \set {\eqclass \theta {2 \pi}: 0 \le \theta < 2 \pi}$


$\eqclass \theta {2 \pi} = \set {\theta + 2 k \pi: k \in \Z}$

Hence the quotient mapping $q_\RR: \R \to \R / \RR$ is defined as:

$\forall x \in \R: \map {q_\RR} x = \eqclass x {2 \pi} = \set {x + 2 k \pi: k \in \Z}$