Although the idea of a function will be introduced later, we anticipate it here already and mention a special kind of functions which naturally occur along with equivalence relations: the canonical projections.

Definition: Canonical Projection

Let \(V\) be a set, \(R\subseteq V\times V\) an equivalence relation and let \(V/_R\) be the corresponding quotient set. The function $q\colon V\rightarrow V/_R,\,a\mapsto [a]\,$ is called the canonical projection of \(R\).

canonicalprojection

Proofs: 1
Propositions: 2


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs
non-Github:
@Brenner


References

Adapted from CC BY-SA 3.0 Sources:

  1. Brenner, Prof. Dr. rer. nat., Holger: Various courses at the University of Osnabrück