Skip to main content
Mathematics LibreTexts

18.4: Important examples

  • Page ID
    83497
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Example \(\PageIndex{1}\): Equality is the strongest form of equivalence.

    The “strongest” equivalence relation on a set \(A\) is the identity relation, where \(a \equiv b\) if and only if \(a = b\text{.}\) In this case, each equivalence class is a singleton: \([a] = \{a\}\) for each \(a \in A\text{.}\) This equivalence relation yields the “finest” or most “granular” partition of \(A\text{,}\) into the union of all the singleton sets in \(\mathscr{P}(A)\text{.}\) Here, the quotient \(A/\equiv\) is essentially the same as \(A\text{:}\) the natural projection \(A \to (A/\equiv)\) is a bijection.

    Example \(\PageIndex{2}\): Even and odd.

    We can partition \(\mathbb{N}\) into the subsets of even and odd numbers. This is the same partition obtained from the modulo-\(2\) equivalance relation \(\mathord{\equiv}_2\text{,}\) and we have quotient

    \begin{equation*} (\mathbb{N} / \mathord{\equiv}_2) = \{ [0], [1] \} \text{.} \end{equation*}
    This quotient is how we construct boolean algebra (see Chapter 3). The convention \(1 + 1 = 0 \) in boolean algebra comes from defining addition in the quotient so that

    \begin{equation*} [1] + [1] = [1 + 1] = [2] = [0] \text{.} \end{equation*}

    Example \(\PageIndex{3}\): Modulo-\(n\) arithmetic.

    Similarly to Example 18.4.2, if we consider the modulo-\(n\) equivalence relation \(\mathord{\equiv}_n\) on \(\mathbb{N}\text{,}\) we have

    \begin{equation*} (\mathbb{N} / \mathord{\equiv}_n) = \{ [0], [1], [2], \ldots, [n-1] \} \text{.} \end{equation*}
    We can transfer the arithmetic of \(\mathbb{N}\) to \(\mathbb{N} / \mathord{\equiv}_n\) by defining

    \begin{align*} [m] + [n] & = [m + n] \text{,} & [m] \cdot [n] & = [m n \text{.} \end{align*}
    For example, in modulo-\(5\) arithmetic,

    \begin{equation*} [2] + [4] = [6] = [1] \end{equation*}
    and

    \begin{equation*} [2] \cdot [4] = [8] = [3] \text{.} \end{equation*}

    Checkpoint \(\PageIndex{1}\) (Bonus content) Properties of modulo-\(n\) arithmetic.

    There are a few things to check about this new modulo-\(n\) arithmetic.

    Check that modulo-\(n\) addition and multiplication are well-defined; that is, make sure the result of each of these operations never depends on the choices of representatives of the equivalence classes involved.

    Check that modulo-\(n\) addition and multiplication satisfy all the usual rules of arithmetic. That is, check that modulo-\(n\) addition and multiplication are both associative and commutative, and that multiplication distributes over addition.

    The natural numbers \(0\) and \(1\) play special roles in \(\mathbb{N}\) with respect to ordinary addition and multiplication, respectively. Do their equivalence classes \([0]\) and \([1]\) play the same special roles in \(\mathbb{N} / \mathrel{\equiv}_n\) with respect to modulo-\(n\) addition and multiplication, respectively?

    Example \(\PageIndex{4}\): Same image under a function.

    For a function \(f: A \rightarrow B\text{,}\) we may consider elements of the domain equivalent if they produce the same output under \(f\text{.}\) That is, the relation \(\mathord{\equiv}_f\) on \(A\) defined by “\(a_1 \equiv_f a_2\) means \(f(a_1) = f(a_2)\)” is an equivalence relation.

    Checkpoint \(\PageIndex{2}\): Classes of the “same image” relation for an injective function.

    Suppose \(f: A \rightarrow B\) is a function, and consider the equivalence relation \(\mathord{\equiv}_f\) on \(A\) described in Example 18.4.5. How could one tell whether or not \(f\) is injective by looking at the equivalence classes in \(A\) under \(\mathord{\equiv}_f\text{?}\)

    Example \(\PageIndex{1}\): Inverting a non-injective function.

    Equivalence relations allow us to take another point of view of the concept of inverse image of an element from Section 10.5.

    Suppose \(f: A \rightarrow B\text{,}\) and consider the equivalence relation \(\mathord{\equiv}\) on \(A\) described in Example 18.4.5. Then we may create a new, “induced” function

    \begin{align*} \tilde{f} \colon (A / \equiv) & \to B, \\ [a] & \mapsto f(a). \end{align*}

    Figure 18.4.8. Diagram illustrating the induced map \(\tilde{f}\text{.}\)
    In this function definition, an entire equivalence class is being mapped to the output image of one of the elements of that class under the original function \(f\text{.}\) But under this equivalence relation, each element in a specific equivalence class shares the same output image in the codomain as all the other elements in that class. For this reason, allowing our input-output rule definition \(\tilde{f}([a]) = f(a)\) to depend on the choice of class representative \(a\) is well-defined, and hence is a function.

    See.

    Example 10.1.13.

    Moreover, the induced function \(\tilde{f}\) is always injective, even if \(f\) is not. If we assume that \(f\) is surjective (or, if \(f\) is not surjective we could replace our codomain \(B\) with the image set \(f(A)\) so that \(f\) is surjective — see restricting the domain), then \(\tilde{f}\) will also be surjective, hence bijective. This means that \(\tilde{f}\) is invertible, with inverse

    \begin{align*} \tilde{f}^{-1} \colon B & \to (A / \mathord{\equiv}_f), \\ b & \mapsto \{a\in A \vert f(a) = b \} = f^{-1}(\{b\}). \end{align*}
    In some sense \(\tilde{f}^{-1}\) is an inverse of \(f\text{,}\) except that it is a function \(B \to (A / \mathord{\equiv}_f) \) instead of \(B \to A\text{.}\)


    This page titled 18.4: Important examples is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Jeremy Sylvestre via source content that was edited to the style and standards of the LibreTexts platform.