Skip to main content
Mathematics LibreTexts

6.6: Functions Acting on Sets

  • Page ID
    7072
  • \( \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}\)

    Preview Activity 1 (Functions and Sets)
    Let \(S = \{a, b, c, d\}\) and \(T = \{s, t, u\}\). Define \(f: S \to T\) by

    \(f(a) = s\) \(f(b) = t\) \(f(c) = t\) \(f(d) = s\)

    1. Let \(A = \{a, c\}\) and \(B = \{a, d\}\). Notice that \(A\) and \(B\) are subsets of \(S\). Use the roster method to specify the elements of the following two subsets of \(T\):

      (a) \(\{f(x)\ |\ x \in A\}\)
      (b) \(\{f(x)\ |\ x \in B\}\)
    2. Let \(C = \{s, t\}\) and \(D = \{s, u\}\). Notice that \(C\) and \(D\) are subsets of \(T\). Use the roster method to specify the elements of the following two subsets of \(S\):

      (a) \(\{x \in S\ |\ f(x) \in C\}\)
      (b) \(\{x \in S\ |\ f(x) \in D\}\)

      Now let \(g: \mathbb{R} \to \mathbb{R}\) be defined by \(g(x) = x^2\), for each \(x \in \mathbb{R}\).
    3. Let \(A = \{1, 2, 3, -1\}\). Use the roster method to specify the elements of the set \(\{g(x)\ |\ x \in A\}\).
    4. Use the roster method to specify the elements of each of the following sets:

      (a) \(\{x \in \mathbb{R}\ |\ g(x) = 1\}\)
      (b) \(\{x \in \mathbb{R}\ |\ g(x) = 9\}\)
      (c) \(\{x \in \mathbb{R}\ |\ g(x) = 15\}\)
      (d) \(\{x \in \mathbb{R}\ |\ g(x) = -1\}\)
    5. Let \(B = \{1, 9, 15, -1\}\). Use the roster method to specify the elements of the set
      \{\x \in \mathbb{R}\ |\ g(x) \in B\}\).

    Preview Activity 2 (Functions and Intervals)
    Let \(g: \mathbb{R} \to \mathbb{R}\) be defined by \(g(x) = x^2\), for each \(x \in \mathbb{R}\).

    1. We will first determine where g maps the closed interval [1, 2]. (Recall that \([1, 2] = \{x \in R\ |\ 1 \le x \le 2\}\).) That is, we will describe, in simpler terms, the set \(\{g(x)\ |\ x \in [1, 2]\}\). This is the set of all images of the real numbers in the closed interval [1, 2].

      (a) Draw a graph of the function \(g\) using \(-3 \le x \le 3\).
      (b) On the graph, draw the vertical lines \(x = 1\) and \(x = 2\) from the x-axis to the graph. Label the points \(P(1, f(1))\) and \(Q(2, f (2))\) on the graph.
      (c) Now draw horizontal lines from the points \(P\) and \(Q\) to the y-axis. Use this information from the graph to describe the set \(\{g(x)\ |\ x \in [1, 2]\}\) in simpler terms. Use interval notation or set builder notation.
    2. We will now determine all real numbers that g maps into the closed interval [1, 4]. That is, we will describe the set \(\{x \in \mathbb{R}\ |\ g(x) \in [1, 4]\}\) in simpler terms. This is the set of all preimages of the real numbers in the closed interval [1, 4].
      (a) Draw a graph of the function \(g\) using \(-3 \le x \le 3\).
      (b) On the graph, draw the horizontal lines \(y = 1\) and \(y = 4\) from they-axis to the graph. Label all points where these two lines intersect the graph.
      (c) Now draw vertical lines from the points in Part (2) to the x-axis, and then use the resulting information to describe the set \(\{x \in \mathbb{R}\ |\ g(x) \in [1, 4]\}\) in simpler terms. (You will need to describe this set as a union of two intervals. Use interval notation or set builder notation.)

    Functions Acting on Sets

    In our study of functions, we have focused on how a function “maps” individual elements of its domain to the codomain. We also studied the preimage of an individual element in its codomain. For example, if \(f: \mathbb{R} \to \mathbb{R}\) is defined by \(f(x) = x^2\), for each \(x \in \mathbb{R}\), then

    • \(f(2) = 4\). We say that \(f\) maps 2 to 4 or that 4 is the image of 2 under the function \(f\).
    • Since \(f(2) = 4\) implies that \(x = 2\) or \(x = -2\), we say that the preimages of 4 are 2 and -2 or that the set of preimages of 4 is {-2, 2}.

    For a function \(f: S \to T\), the next step is to consider subsets of \(S\) or \(T\) and what corresponds to them in the other set. We did this in the Preview Activities. We will give some definitions and then revisit the examples in the Preview Activities in light of these definitions. We will first consider the situation where \(A\) is a subset of \(S\) and consider the set of outputs whose inputs are from \(A\). This will be a subset of \(T\).

    Definition

    Let \(f: S \to T\). If \(A \subseteq S\), then the image of \(A\) under \(f\) is the set \(f(A)\), where

    \(f(A) = \{f(x)\ |\ x \in A\}\).

    If there is no confusion as to which function is being used, we call \(f(A)\) the image of \(A\).

    We now consider the situation in which \(C\) is a subset of \(T\) and consider the subset of \(A\) consisting of all elements of \(T\) whose outputs are in \(C\).

    Definition

    Let \(f: S \to T\). If \(C \subseteq T\), then the preimage of \(C\) under \(f\) is the set \(f^{-1}(C)\), where

    \(f^{-1}(C) = \{x \in S\ |\ f(x) \in C\}\).

    If there is no confusion as to which function is being used, we call \(f^{-1}(C)\) the preimage of \(C\). The preimage of the set \(C\) under \(f\) is also called the inverse image of \(C\) under \(f\).

    Notice that the set \(f^{-1}(C)\) is defined whether or not \(f^{-1}\) is a function.

    Progress Check 6.30 (Preview Activity \(\PageIndex{1}\) Revisited)

    Let \(S = \{a, b, c, d\}\) and \(T = \{s, t, u\}\). Define \(f: S \to T\) by

    \(f(a) = s\) \(f(b) = t\) \(f(c) = t\) \(f(d) = s\).

    Let \(A = \{a, c\}\), \(B = \{a, d\}\), \(C = \{s, t\}\), and \(D=\{s, u\}\).

    Use your work in Preview Activity \(\PageIndex{1}\) to determine each of the following sets:

    1. \(f(A)\)
    2. \(f(B)\)
    3. \(f^{-1}(C)\)
    4. \(f^{-1}(D)\)
    Answer

    Add texts here. Do not delete this text first.

    Example 6.31 (Images and Preimages of Sets)

    Let \(g: \mathbb{R} \to \mathbb{R}\) be defined by \(g(x) = x^2\), for each \(x \in \mathbb{R}\). The following results are based on the examples in Preview Activity \(\PageIndex{1}\) and Preview Activity \(\PageIndex{2}\).

    • Let \(A = \{1, 2, 3, -1\}\). Then \(f(A) = \{1, 4, 9\}\).
    • Let \(B = \{1, 9 ,15, -1\}\). Then \(f^{-1}(B) = \{-\sqrt{15}, -3, -1, 1, 3, \sqrt{15}\}\).

    The graphs from Preview Activity \(\PageIndex{2}\) illustrate the following results:

    • If \(T\) is the closed interval [1, 2], then the image of the set \(T\) is
      \[\begin{array} {rcl} {f(T)} &= & {\{f(x)\ |\ x \in [1, 2]\}} \\ {} &= & {[1, 4].} \end{array}\]
    • If \(C\) is the closed interval [1, 4], then the preimage of the set \(C\) is
      \[f^{-1}(C) = \{x \in \mathbb{R}\ |\ f(x) \in [1, 4]\} = [-2, -1] \cup [1, 2].\]

    Set Operations and Functions Acting on Sets

    We will now consider the following situation: Let \(S\) and \(T\) be sets and let f be a function from \(S\) to \(T\). Also, let \(A\) and \(B\) be subsets of \(S\) and let \(C\) and \(D\) be subsets of \(T\). In the remainder of this section, we will consider the following situations and answer the questions posed in each case.

    • The set \(A \cap B\) is a subset of \(S\) and so \(f(A \cap B\) is a subset of \(T\). In addition, \(f(A)\) and \(f(B)\) are subsets of \(T\). Hence, \(f(A) \cap f(B)\) is a subset of \(T\).

      Is there any relationship between \(f(A \cap B\) and \(f(A) \cap f(B)\)?
    • The set \(A \cup B\) is a subset of \(S\) and so \(f(A \cup B\) is a subset of \(T\). In addition, \(f(A)\) and \(f(B)\) are subsets of \(T\). Hence, \(f(A) \cup f(B)\) is a subset of \(T\).

      Is there any relationship between \(f(A \cup B\) and \(f(A) \cup f(B)\)?
    • The set \(C \cap D\) is a subset of \(T\) and so \(f^{-1}(C \cap D)\) is a subset of \(S\). In addition, \(f^{-1}(C)\) and \(f^{-1}(D)\) are subsets of \(S\). Hence, \(f^{-1}(C) \cap f^{-1}(D)\) is a subset of \(S\).

      Is there any relationship between the sets \(f^{-1}(C \cap D)\) and \(f^{-1}(C) \cap f^{-1}(D)\)?
    • The set \(C \cup D\) is a subset of \(T\) and so \(f^{-1}(C \cup D)\) is a subset of \(S\). In addition, \(f^{-1}(C)\) and \(f^{-1}(D)\) are subsets of \(S\). Hence, \(f^{-1}(C) \cup f^{-1}(D)\) is a subset of \(S\).

      Is there any relationship between the sets \(f^{-1}(C \cup D)\) and \(f^{-1}(C) \cup f^{-1}(D)\)?

    These and other questions will be explored in the next progress check.

    Progress check 6.32 (set operations and functions acting on sets)

    In Section 6.2, we introduced functions involving congruences. For example, if we let

    \(\mathbb{Z}_8 = \{0, 1, 2, 3, 4, 5, 6, 7\}.\)

    then we can define \(f: \mathbb{Z}_8 \to \mathbb{Z}_8\) by \(f(x) = r\), where \((x^2 + 2) \equiv r\) (mod 8) and \(r \in \mathbb{Z}_8\). Moreover, we shortened this notation to

    \(f(x) = (x^2 + 2)\) (mod 8)

    We will use the following subsets of \(\mathbb{Z}_8\):

    \(A = \{1, 2, 4\}\) \(B = \{3, 4, 6\}\) \(C = \{1, 2, 3\}\) \(D = \{3, 4, 5\}\)

    1. Verify that \(f(0) = 2\), \(f(1) = 3\), \(f(2) = 6\), and \(f(3) = 3\). Then determine \(f(4)\), \(f(5)\), \(f(6)\) and \(f(7)\).
    2. Determine \(f(A)\), \(F=f(A=B)\), \(f^{-1}(C)\), and \(f^{-1}(D)\).
    3. For each of the following, determine the two subsets of \(\mathbb{Z}_8\) and then determine if there is a relationship between the two sets. For example, \(A \cap B = \{4\}\) and since \(f(4) = 2\), we see that \(f(A \cap B) = \{2\}\).

      (a) \(f(A \cap B)\) and \(f(A) \cap f(B)\)
      (b) \(f(A \cup B)\) and \(f(A) \cup f(B)\)
      (c) \(f^{-1}(C \cap D)\) and \(f^{-1}(C) \cap f^{-1}(D)\)
      (d) \(f^{-1}(C \cup D)\) and \(f^{-1}(C) \cup f^{-1}(D)\)
    4. Notice that \(f(A)\) is a subset of the codomain, \(\mathbb{Z}_8\). Consequently, \(f^{-1}(f(A))\) is a subset of the domain, \(\mathbb{Z}_8\). Is there any relation between \(A\) and \(f^{-1}f(A))\) in this case?
    5. Notice that \(f^{-1}(C)\) is a subset of the codomain, \(\mathbb{Z}_8\). Consequently, \(f(f^{-1}(f(C))\) is a subset of the domain, \(\mathbb{Z}_8\). Is there any relation between \(C\) and \(f(f^{-1}f(C))\) in this case?
    Answer

    Add texts here. Do not delete this text first.

    Example 6.33 (Set Operations and Functions Acting on Sets)

    Define \(f: \mathbb{R} \to \mathbb{R}\) by \(f(x) = x^2 + 2\) for all \(x \in \mathbb{R}\). It will be helpful to use the graph shown in Figure 6.11.

    屏幕快照 2019-04-03 下午3.56.58.png

    We will use the following closed intervals:

    \(A = [0, 3]\) \(B = [-2, 1]\) \(C = [2, 6]\) \(D = [0, 3]\).

    1. Verify that \(f(A) = [2, 11]\), \(f(B) = [2, 6]\), \(f^{-1}(C) = [-2, 2]\), and that \(f^{-1}(D) = [-1, 1]\).
    2. (a) Explain why \(f(A \cap B) = [2, 3]\) and \(f(A) \cap f(B) = [2, 6]\). So in this case, \(f(A \cap B) \subseteq f(A) \cap f(B)\).
      (b) Explain why \(f(A \cup B) = [2, 11]\) and \(f(A) \cup f(B) = [2, 11]\). So in this case, \(f(A \cup B) \subseteq f(A) \cup f(B)\).
      (c) Explain why \(f^{-1}(C \cap D) = [-1, 1]\) and \(f^{-1}(C) \cap f^{-1}(D) = [-1, 1]\). So in this case, \(f^{-1}(C \cap D) \subseteq f^{-1}(C) \cap f^{-1}(D)\).
      (d) Explain why \(f^{-1}(C \cup D) = [-2, 2]\) and \(f^{-1}(C) \cap f^{-1}(D) = [-2, 2]\). So in this case, \(f^{-1}(C \cup D) \subseteq f^{-1}(C) \cup f^{-1}(D)\).
    3. Reacll that \(A = [0, 3]\). Notice \(f(A) = [2, 11]\) is a subset of the codomain, \(\mathbb{R}\). Explain why \(f^{-1}(f(A)) = [-3, 3]\). Since \(f^{-1}f(A))\) is a subset of the domain, \(\mathbb{R}\), we see that in this case, \(A \subseteq f^{-1}(f(A))\).
    4. Reacll that \(C = [2, 6]\). Notice \(f^{-1}(C) = [-2, 2]\) is a subset of the codomain, \(\mathbb{R}\). Explain why \(f(f^{-1}f(C)) = [2, 6]\). Since \(f^{-1}f(C))\) is a subset of the domain, \(\mathbb{R}\), we see that in this case, \(f(f^{-1}(C)) = C\).

    The examples in Progress Check 6.32 and Example 6.33 were meant to illustrate general results about how functions act on sets. In particular, we investigated how the action of a function on sets interacts with the set operations of intersection and union. We will now state the theorems that these examples were meant to illustrate. Some of the proofs will be left as exercises.

    Theorem 6.34.

    Let \(f: S \to T\) be a function and let \(A\) and \(B\) be subsets of \(S\). Then

    1. \(f(A \cap B\) \subseteq f(A) \cap f(B)\)
    2. \(f(A \cup B\) = f(A) \cup f(B)\)
    Proof

    We will prove Part (1). The proof of Part (2) is Exercise (5).

    Assume that \(f: S \to T\) is a function and let \(A\) and \(B\) be subsets of \(S\). We will prove that \(f(A \cap B\) \subseteq f(A) \cap f(B)\) by proving that for all \(y \in T\), if \(y \in f(A \cap B)\), then \(y \in f(A) \cap f(B)\).

    We assume that \(y \in f(A \cap B)\). This means that there exists an \(x \in A \cap B\) such that \(f(x) = y\). Since \(x \in A \cap B\), we conclude that \(x \in A\) and \(x \in B\).

    • Since \(x \in A\) and \(f(x) = y\), we conclude that \(y \in f(A)\).
    • Since \(x \in B\) and \(f(x) = y\), we conclude that \(y \in f(B)\).

    Since \(x \in f(A)\) and \(y \in f(B)\), \(y \in f(A) \cap f(B)\). This proves that if \(y \in f(A \cap B)\), then \(y \in f(A) \cap f(B)\). Hence \(f(A \cap B\) \subseteq f(A) \cap f(B)\).

    Theorem 6.35

    Let \(f: S \to T\) be a function and let \(C\) and \(D\) be subsets of \(T\). Then

    1. \(f^{-1}(C \cap D) = f^{-1}(C) \cap f^{-1}(D)\)
    2. \(f^{-1}(C \cup D) = f^{-1}(C) \cup f^{-1}(D)\)
    Proof

    We will prove Part (2). The proof of Part (1) is Exercise (6).

    Assume that \(f: S \to T\) is a function and that \(C\) and \(D\) are subsets of \(T\). We will prove that \(f^{-1}(C \cup D) = f^{-1}(C) \cup f^{-1}(D)\) by proving that each set is a subset of the other.

    We start by letting \(x\) be an element of \(f^{-1}(C \cup D)\). This means that \(f(x)\) is an element of \(C \cup D\). Hence,

    \(f(x) \in C\) or \(f(x) \in D\)

    In the case where \(f(x) \in C\), we conclude that \(x \in f^{-1}(C)\), and hence that \(x \in f^{-1}(C) \cup f^{-1}(D)\). In the case where \(f(x) \in D\), we see that \(x \in f^{-1}(D)\), and hence that \(x \in f^{-1}(C) \cup f^{-1}(D)\). So in both cases, \(x \in f^{-1}(C) \cup f^{-1}(D)\), and we have proved that \(f^{-1}(C \cup D) \subseteq f^{-1}(C) \cup f^{-1}(D)\)

    We now let \(t \in f^{-1}(C) \cup f^{-1}(D)\). This means that

    \(t \in f^{-1}(C)\) or \(t \in f^{-1}(D)\)

    • In the case where \(t \in f^{-1}(C)\), we conclude that \(f(t) \in C\) and hence that \(f(t) \in C \cup D\). This means that \(t \in f^{-1}(C \cup D)\).
    • Similarly, when \(t \in f^{-1}(D)\), it follows that \(f(t) \in D\) and hence that \(f(t) \in C \cup D\). This means that \(t \in f^{-1}(C \cup D)\).

    These two cases prove that if \(t \in f^{-1}(C) \cup f^{-1}(D)\), then \(t \in f^{-1}(C \cup D)\). Therefore, \(f^{-1}(C) \cup f^{-1}(D) \subseteq f^{-1}(C \cup D)\).

    Since we have now proved that each of the two sets is a subset of the other set, we can conclude that \(f^{-1}(C \cup D) = f^{-1}(C) \cup f^{-1}(D)\).

    Theorem 6.36.

    Let \(f: S \to T\) be a function and let \(A\) be a subset of \(S\) and let \(C\) be a subset of \(T\). Then

    1. \(A \subseteq f^{-1}(f(A))\)
    2. \(f(f^{-1}(C)) \subseteq C\)
    Proof

    We will prove Part (1). The proof of Part (2) is Exercise (7).

    To prove Part (1), we will prove that for all \(a \in S\), if \(a \in A\), then \(a \in f^{-1}(f(A))\). So let \(a \in A\). Then, by definition, \(f(a) \in f(A)\). We know that \(f(A) \subseteq T\), and so \(f^{-1}(f(A)) \subseteq S\). Notice that

    \(f^{-1}(f(A)) = \{x \in S\ |\ f(x) \in f(A)\}.\)

    Since \(f(a) \in f(A)\), we use this to conclude that \(a \in f^{-1}(f(A)). This proves that if \(a \in A\), then \(a \in f^{-1}(f(A))\), and hence that \(A \in f^{-1}(f(A))\)

    Exercise 6.6

    1. Let \(f: S \to T\). let \(A\) and \(B\) be subsets of \(S\), and let \(C\) and \(D\) be subsets of \(T\). For \(x \in S\) and \(y \in T\), carefully explain what it means to say that

      (a) \(y \in f(A \cap B)\)
      (b) \(y \in f(A \cup B)\)
      (c) \(y \in f(A )\cap f(B)\)
      (d) \(y \in f(A )\cup f(B)\)
      (e) \(x \in f^{-1}(C \cap D)\)
      (f) \(x \in f^{-1}(C \cup D)\)
      (g) \(x \in f^{-1}(C) \cap f^{-1}(D)\)
      (h) \(x \in f^{-1}(C) \cup f^{-1}(D)\)
    2. Let \(f: \mathbb{R} \to \mathbb{R}\) by \(f(x) = -2x + 1\). Let

      \(A = [2, 5]\) \(B = [-1, 3]\) \(C = [-2, 3]\) \(D = [1, 4]\).

      Find each of the following:

      (a) \(f(A)\)
      (b) \(f^{-1}(f(A))\)
      (c) \(f^{-1}(C)\)
      (d) \(f(f^{-1}(C))\)
      (e) \(f(A \cap B)\)
      (f) \(f(A )\cap f(B)\)
      (g) \(f^{-1}(C \cap D)\)
      (h) \(f^{-1}(C) \cap f^{-1}(D)\)
    3. Let \(g: \mathbb{N} \times \mathbb{N} \to \mathbb{N}\) by \(g(m, n) = 2^m 3^n\), let \(A = \{1, 2, 3\}\), and let \(C = \{1, 4, 6, 9, 12, 16, 18\}\). Find

      (a) \(g(A \times A)\)
      (b) \(g^{-1}(C)\)
      (c) \(g^{-1}(g(A \times A))\)
      (d) \(g(g^{-1}(C))\)
    4. (a) Let \(S = \{1, 2, 3, 4\}\). Define \(F: S \to \mathbb{N}\) by \(F(x) = x^2\) for each \(x \in s\). What is the range of the function \(F\) and what is \(F(S)\)? How do these two sets compare?

      Now let \(A\) and \(B\) be sets and let \(f: A \to B\) be an arbitrary function from \(A\) to \(B\).

      (b) Explain why \(f(A) = \text{range}(f)\).
      (c) Define a function \(g: A \to f(A)\) by \(g(x) = f(x)\) for all \(x\) in \(A\). Prove that the function \(g\) is a surjection.
    5. Prove Part (2) of Theorem 6.34.
      Let \(f: S \to T\) be a function and let \(A\) and \(B\) be subsets of \(S\). Then \(f(A \cup B) = f(A) \cup f(B)\).
    6. Prove Part (1) of Theorem 6.35.
      Let \(f: S \to T\) be a function and let \(C\) and \(D\) be subsets of \(T\). Then \(f^{-1}(C \cup D) = f^{-1}(C) \cup f^{-1}(D)\).
    7. Prove Part (2) of Theorem 6.36.
      Let \(f: S \to T\) be a function and let \(C \subseteq T\). Then \(f(f^{-1}(C)) \subseteq C\).
    8. Let \(f: S \to T\) and let \(A\) and \(B\) be subsets of \(S\). Prove or disprove each of the following:

      (a) If \(A \subseteq B\), then \(f(A) \subseteq f(B)\).
      (b) If \(f(A) \subseteq f(B)\), then \(A \subseteq B\).
    9. Let \(f: S \to T\) and let \(C\) and \(D\) be subsets of \(T\). Prove or disprove each of the following:

      (a) If \(C \subseteq D\), then \(f^{-1}(C) \subseteq f^{-1}(D)\).
      (b) If \(f^{-1}(C) \subseteq f^{-1}(D)\), then \(C \subseteq D\).
    10. Prove or disprove:
      If \(f: S \to T\) is a function and \(A\) and \(B\) are subsets of \(S\), then
      \(f(A) \cap f(B) \subseteq f(A \cap B)\).
      Note: Part (1) of Theorem 6.34 states that \(f(A \cap B) \subseteq f(A) \cap f(B)\).
    11. If \(f: S \to T\) is a function, let \(A \subseteq S\), and let \(C \subseteq T\).
      (a) Part (1) of Theorem 6.36 states that \(A \subseteq f^{-1}(f(A))\). Give an example where \(f^{-1}(f(A)) \notsubseteq A\).
      (b) Part (2) of Theorem 6.36 states that \(f(f^{-1}(C)) \subseteq C\). Give an example where \(C \notsubseteq f(f^{-1}(C))\).
    12. Is the following proposition true or false? Justify your conclusion with a proof or a counterexample.
      If \(f: S \to T\) is an injection and \(A \subseteq S\), then \(f^{-1}(f(A)) = A\).
    13. Is the following proposition true or false? Justify your conclusion with a proof or a counterexample.
      If \(f: S \to T\) is an injection and \(C \subseteq T\), then \(f^{-1}(f(C)) = C\).
    14. Let (f: S \to T\). Prove that \(f(A \cap B) = f(A) \cap f(B)\) for all subsets \(A\) and \(B\) of \(S\) if and only if \(f\) is an injection.
    Answer

    Add texts here. Do not delete this text first.


    This page titled 6.6: Functions Acting on Sets is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Ted Sundstrom (ScholarWorks @Grand Valley State University) via source content that was edited to the style and standards of the LibreTexts platform.

    • Was this article helpful?