Exercises – Long Day#
Exercise 1: Sets in Roster Form#
Let \(A\) and \(B\) be finite sets given in the following roster forms:
Question a#
Which elements do the sets \(A\) and \(B\) contain?
Hint
The elements in the set \(A\) are the numbers \(m^2\) one obtains when \(m\) takes values in the set \(\{1,2,3,4,5\}\).
Answer
\(A=\{1,4,9,16,25\}\) and \(B=\{1,3,5,7,9\}\).
Question b#
Which elements do the sets \(A \cap B\) and \(A \cup B\,\) contain?
Hint
To see how \(\cap\) (the symbol for set intersection) and \(\cup\) (the symbol for set union) are defined, see Equations (2.1) and (2.2) in the textbook.
Question c#
Which elements do the sets \(A \setminus B\) and \(B \setminus A\,\) contain?
Answer
\(A \setminus B=\{4,16,25\}\) and \(B \setminus A=\{3,5,7\}\,\).
Exercise 2: Sets in Roster Form#
Let \(C\) and \(D\) be sets given in the roster forms:
Describe which elements the sets \(C \cap D\) and \(C \cup D\,\) contain.
Answer
\(C \cap D\) contains all natural numbers that are both a multiple of \(2\) and of \(3\). Thus \(C \cap D\) consists of all natural numbers that are a multiple of \(6\). In other words: \(C \cap D= \{n \in \Bbb{N} \, | \, n=6m \,\,\,\mathrm{where} \,\,\, m \in \Bbb{N}\}\).
\(C \cup D\) contains all natural numbers that are a multiple of \(2\) or a multiple of \(3\). Thus, \(C \cup D = \{2,3,4,6,8,9,10,12,\dots\}.\)
Exercise 3: The Classical Sets of Numbers#
Describe in your own words the sets \(\Bbb{R} \setminus \Bbb{Q}\) and \(\Bbb{Z} \setminus \Bbb{N}\,.\)
Exercise 4: Rules for Set Operations#
Question a#
Some identities from set theory can be illustrated by drawing a circle diagram, also known as a Venn diagram. In the textbook the concepts of union, set intersection and set difference are illustrated in this way in Section 2.1. Also, the set identities in Theorem 2.1.2 in the textbook can be visualized by the help of such diagrams.
Draw circle diagrams that visualise the identities in Equations (2.8) through (2.11) in Theorem 2.1.2 of the textbook.
Question b#
Use propositional logic to prove the identities given in Equations (2.4) and (2.10) in Theorem 2.1.2 in the textbook.
Hint
In particular, to prove the identity in Equation (2.10) you can get inspiration from the proof of the identity in Equation (2.11) in Theorem 2.1.2 in the textbook.
Question c#
Let \(A\) and \(B\) be sets with a finite number of elements. Let the notation \(|W|\) denote the number of elements within a given set \(W\). Explain the following identity:
\(|A \cup B| = |A| + |B| - |A \cap B|\).
Hint
To get the intuition right, first you can check that the identity holds true for the sets \(A\) and \(B\) from Exercise 1.
Exercise 5: Surjective, Injective, and Bijective#
Four sets are given by:
Four functions are given below. Determine for each if it is surjective, injective, and/or bijective.
Question a#
\(f_1 :A\rightarrow B\)
\(\ \ x \mapsto x^2\)
Hint
If you are in doubt about the exact meanings of the terms “injective”, “surjective”, and “bijective”, then you can refresh your memory by reading Section 2.2 in the textbook once more (more precisely the text after Lemma 2.2.1 and until Definition 2.2.1).
Hint
It can be helpful to first write out the sets \(A\) and \(B\) explicitely. Try for example to realise that \(A=\{1,2,3,4,5,6,7\}.\)
Answer
\(f_1\) is both injective and surjective. Hence it is also bijective.
Question b#
\(f_2 :D\rightarrow B\)
\(\ \ x \mapsto x^2\)
Hint
To show that a function is not injective, it is sufficient to find two different elements from the domain of the function that are mapped to the same element in the co-domain.
Answer
\(f_2\) is surjective but not injective, and hence also not bijective.
Question c#
\(f_3 :C\rightarrow B\)
\(\ \ x \mapsto x^2\)
Hint
To show that a function is not surjective it is sufficient to show that the range (also called the image set) set of the function is not the entire co-domain.
Answer
\(f_3\) is injective but not surjective, and hence also not bijective.
Question d#
\(f_4 :\Bbb Z\rightarrow \Bbb Z\)
\(\ \ x \mapsto |x|\)
Answer
\(f_4\) is not injective nor surjective, and hence also not bijective.
Exercise 6: Composite Functions#
We are given the set \(A=\{0,1,2\}\) as well as two functions \(f: A \to A\) and \(g: A \to \mathbb{R}\). The function \(f\) has the functional expression \(f(x)=2-x\), while the function \(g\) has the functional expression \(g(x)=2x+\mathrm e^x\).
Question a#
Is the composite function \(f \circ g\) defined? What about \(g \circ f\)?
Hint
In the textbook, right after Example 2.2.2, you can read about the requirements for being able to make a composition of two functions.
Answer
\(f \circ g\) is not defined since the co-domain of \(g\) is \(\mathbb{R}\), which is not the same as the domain of \(f\) (which is \(A\)).
\(g \circ f\) is defined since the co-domain of \(f\) is the same as the domain of \(g\) (that is, \(A\)).
Note that knowing the functional expressions of two function is not necessary if all we need to know is whether compositions of them are defined. Just knowing their domains and co-domains is enough for that.
Question b#
Compute \((g\circ f)(a)\) for all \(a \in A\).
Answer
\((g \circ f)(0)=4+\mathrm e^2\), \((g \circ f)(1)=2+\mathrm e\), and \((g \circ f)(2)=1\).
The steps to reach the latter answer are these:
Question c#
Determine the functional expression, domain, co-domain, and range of the function \(g \circ f\).
Hint
The range (also called the image set) can be determined from the answer to Question b. Domain and co-domain can be determined from the definition of a composite function.
Answer
Functional expression: \((g \circ f)(x)=2(2-x)+\mathrm e^{2-x}\) (or nicer: \((g \circ f)(x)=4-2x+\mathrm e^{2-x}\)).
Range: \(\{4+\mathrm e^2,2+\mathrm e,1\}\) (if sorted by size: \(\{1,2+\mathrm e,4+\mathrm e^2\}\)).
Domain: \(A\), so \(\{0,1,2\}\).
Co-domain: \(\mathbb R\).
Question d#
Is the function \(g \circ f\) injective? What about surjective?
Answer
Injective: Yes. Surjective: No.
Exercise 7: An Inverse Function#
We are given a function \(f: \mathbb{R} \rightarrow \mathbb{R}\) by its functional expression
Question a#
Let \(g: \mathbb{R} \rightarrow \mathbb{R}\) be a function with the functional expression
Show using Definition 2.2.1 from the textbook that \(g\) is the inverse function of \(f\).
Question b#
Justify that \(f\) is bijective.
Hint
Rather than starting out by showing that \(f\) is injective and surjective, try applying Lemma 2.2.2.
Exercise 8: Quadratic Polynomial Functions#
We consider a function \(h: \mathbb{R} \rightarrow \mathbb{R}\) with the functional expression
Question a#
Bring the function \(h\) to the form \(h(x)=2(x-k_1)^2+k_2\), and state the constants \(k_1\) and \(k_2\). Use this form to determine the range of \(h\).
Hint
A possible method that can be used here is what is known as “completing the square”.
Answer
\(h\) has the range \(\{ x \in \mathbb{R} \, | \, x \ge 7\}.\) This set can also be denoted as \(\mathbb{R}_{\ge 7}\).
Question b#
For a given subset \(J \subseteq {\Bbb R}_{\geq 0}\), the restriction of \(h\) to \(J\) is the function one obtains from \(h\) by keeping the same functional expression and co-domain, while restricting the domain to \(J\). State the largest possible interval \(J \subseteq {\Bbb R}_{\geq 0}\) on which the restriction of \(h\) to \(J\) becomes injective.
Hint
Use Question a to draw a sketch of the graph of \(h\).
Answer
\(J=\{ x \in \mathbb{R} \, | \, x \ge 5\}.\) This set can also be denoted as \(\mathbb{R}_{\ge 5}\).
Question c#
We now consider the restriction of \(h\) to the interval \(J\) from Question b and delimit the co-domain of this function to the set \(\mathbb{R}_{\ge 7}\) from Question a. The resulting function is bijective and is denoted by \(h_1\). More directly, \(h_1\) is the function \(h_1: J \rightarrow \mathbb{R}_{\ge 7}\) that is given by \(h_1(x)=2x^2 -20x +57.\)
Provide a functional expression for the inverse function \({h_1}^{-1}\).
Hint
A good start is to solve the equation \(2x^2 -20x +57=y\) for \(x\).
Question d#
State the domain and the range of \({h_1}^{-1}\).
Answer
The function \(h_1^{-1}\) has the domain \(\mathbb{R}_{\ge 7}\) and the co-domain \(\mathbb{R}_{\ge 5}\). Since \(h_1^{-1}\) is surjective (in fact bijective), then the range (image set) of \(h_1^{-1}\) is the same as its co-domain, so \(\mathbb{R}_{\ge 5}\).
Exercise 9: Bijection#
We are given the function \(f :\Bbb N\rightarrow \Bbb Z\) defined by
\( x \mapsto \left\{ \begin{array}{ll} \frac{x}{2} & \text{when }x \text{ is even,} \\ -\frac{x-1}{2} & \text{when }x \text{ is odd.} \\ \end{array} \right. \)
Question a#
Is \(f\) a bijection?
Hint
To get an idea of the behaviour of the function, first compute \(f(1)\), \(f(2)\), \(f(3)\), \(f(4)\), and \(f(5)\).
Answer
Yes.
Exercise 10: Hyperbolic Functions#
In this exercise we will introduce two new functions that are formed from already known functions. The two functions are called hyperbolic sinus and hyperbolic cosinus and they are defined by:
We assume for both functions that both their domains and co-domains are equal to \(\mathbb R\).
Question a#
Justify that \(\mathrm{sinh}(x)\) is injective and that \(\mathrm{cosh}(x)\) is not injective.
Hint
Are the functions monotone?
Question b#
Determine a functional expression for \(\mathrm{sinh}^{-1}\) by isolating \(x\) in the equation \(y=\mathrm{sinh}(x)\).
Hint
Multiply your equation through with \(\mathrm e^x\) and solve the quadratic equation that appears.
Hint
Why can we ignore one of the solutions?