1.3 Practice Problems
Problem 1.1. Let \(A\), \(B\) and \(C\) be any sets. Prove that \(A\cap (B\cup C)=(A\cap B)\cup (A\cap C)\).
Show solution
Solution. Two inclusions, as always.
\(\subset \). Let \(x\in A\cap (B\cup C)\). Then \(x\in A\), and \(x\in B\cup C\), so \(x\in B\) or \(x\in C\).
- If \(x\in B\), then since also \(x\in A\) we have \(x\in A\cap B\).
- If \(x\in C\), then likewise \(x\in A\cap C\).
Either way \(x\in (A\cap B)\cup (A\cap C)\).
\(\supset \). Let \(x\in (A\cap B)\cup (A\cap C)\), so \(x\in A\cap B\) or \(x\in A\cap C\). In the first case \(x\in A\) and \(x\in B\); in the second \(x\in A\) and \(x\in C\). In both cases \(x\in A\), and in both cases \(x\) lies in \(B\) or in \(C\), so \(x\in B\cup C\). Hence \(x\in A\cap (B\cup C)\).
Both inclusions hold, so the sets are equal.
Problem 1.2. Let \(E\) be the universal set and let \(A\) and \(B\) be subsets of \(E\). Prove that
- (a).
- \(E-A=A'\);
- (b).
- \(A-B=A\cap B'\);
- (c).
- \(A-B\subset A\).
Show solution
Solution. (a). By definition of difference, \(E-A=\{x: x\in E \text { and } x\notin A\}\), which is precisely the definition of \(A'\). The two are the same set by definition rather than by argument.
(b). \(x\in A-B\) means \(x\in A\) and \(x\notin B\). Since \(x\notin B\) is the same as \(x\in B'\), this says \(x\in A\) and \(x\in B'\), that is, \(x\in A\cap B'\). Every step reverses, so the two sets have the same elements.
(c). If \(x\in A-B\) then in particular \(x\in A\). Every element of \(A-B\) is therefore an element of \(A\), which is what \(A-B\subset A\) means. Note that removing elements from a set can only shrink it, never enlarge it.
Problem 1.3. In a class of \(40\) learners, \(25\) take Mathematics, \(18\) take Physics, and \(7\) take neither. How many take both?
Show solution
Solution. Let \(M\) and \(P\) be the sets taking Mathematics and Physics, with \(E\) the class, so \(n(E)=40\). Since \(7\) take neither, the number taking at least one is \[n(M\cup P)=40-7=33 .\] Counting \(n(M)+n(P)\) counts anyone taking both subjects twice, so \[n(M\cup P)=n(M)+n(P)-n(M\cap P),\] \[33=25+18-n(M\cap P)=43-n(M\cap P),\] giving \(n(M\cap P)=10\). Ten learners take both.
As a check, the four groups are: both \(10\), Mathematics only \(25-10=15\), Physics only \(18-10=8\), neither \(7\). These total \(10+15+8+7=40\), the whole class.
Note 1.30. The identity used above, \[n(A\cup B)=n(A)+n(B)-n(A\cap B),\] is the inclusion–exclusion principle for two sets. It says exactly what the Venn diagram shows: adding the two counts covers the overlap twice, so it must be subtracted once. For three sets the same reasoning gives \[n(A\cup B\cup C)=n(A)+n(B)+n(C)-n(A\cap B)-n(A\cap C)-n(B\cap C)+n(A\cap B\cap C),\] the triple overlap having been removed once too often and needing to be put back.
Problem 1.4. Rewrite each interval in set-builder form:
- (a).
- \(A = (-10,10]\)
- (b).
- \(B = [4,9]\)
- (c).
- \(C = (-1,5)\)
- (d).
- \(D = [0,-2)\)
Show solution
Solution.
- (a).
- \(A=\{x: -10<x\leq 10,\ x\in \mathbb {R}\}\)
- (b).
- \(B=\{x: 4\leq x\leq 9,\ x\in \mathbb {R}\}\)
- (c).
- \(C=\{x: -1<x<5,\ x\in \mathbb {R}\}\)
- (d).
- \(D=\{x: 0\leq x<-2,\ x\in \mathbb {R}\}=\emptyset \)
Part (d) is worth pausing on. No real number is both at least \(0\) and less than \(-2\), so the condition is never satisfied and \(D\) is empty. Interval notation always lists the smaller endpoint first, and \([0,-2)\) breaks that rule — so either it is a slip for \([-2,0)\), or it denotes the empty set. Read literally, it is the latter.
Problem 1.5. Let \(\mathbb {R}\) be the universal set with subsets \(A=(-1,6)\), \(B=(0,4)\) and \(C=\{x: x\geq 4,\ x\in \mathbb {R}\}\). Find
- (a).
- \(A-C\)
- (b).
- \(\left (B'\cap C\right )'\)
- (c).
- \((C-A)\cap B\)
Show solution
Solution. First write \(C\) as an interval: \(C=[4,\infty )\), so \(C'=(-\infty ,4)\). Also \(B'=(-\infty ,0]\cup [4,\infty )\).
(a). \(A-C\) removes from \((-1,6)\) everything from \(4\) upwards: \[A-C=(-1,4).\]
(b). \(B'\cap C\) is the part of \(B'\) lying in \([4,\infty )\), which is \([4,\infty )\) itself. Its complement is \[\left (B'\cap C\right )'=(-\infty ,4).\]
(c). \(C-A\) removes \((-1,6)\) from \([4,\infty )\), leaving \([6,\infty )\). But \(B=(0,4)\) contains nothing from \(6\) upwards, so \[(C-A)\cap B=\emptyset .\] Sketching the three sets on one number line makes all three answers readable without algebra, which is what the question intends.
Problem 1.6. Let \(\mathbb {R}\) be the universal set, \(A=\{x\in \mathbb {R}\mid x\leq 2\}\) and \(B=\{x\in \mathbb {R}\mid x>-6\}\). Find \(\left (A'\cap B\right )'\) and illustrate it on the number line.
Show solution
Solution. In interval notation \(A=(-\infty ,2]\) and \(B=(-6,\infty )\), so \[A'=(2,\infty ).\] Now \(A'\cap B\) needs points in both \((2,\infty )\) and \((-6,\infty )\); since the first is contained in the second, \(A'\cap B=(2,\infty )\). Taking the complement, \[\left (A'\cap B\right )'=(-\infty ,2]=A .\] On the number line this is everything from \(2\) leftwards, with a filled circle at \(2\) to show it is included.
Note 1.31. The answer coming back to \(A\) is not a coincidence. Since \(A'\subset B\) here, the intersection with \(B\) changed nothing, and complementing twice returns the original set. It is worth recognising when an operation is doing no work: \(B\) was never going to matter, because everything outside \(A\) already lay inside \(B\).
Problem 1.7. Given \(A=[-2,6)\), \(B=(-5,3)\), \(C=[-1,8]\) and universal set \(U=[-10,10]\), find \(A\cup \left (B'\cup C\right )'\).
Show solution
Solution. Work outwards from the innermost bracket. \[B'=[-10,-5]\cup [3,10],\] \[B'\cup C=[-10,-5]\cup [-1,8]\cup [3,10]=[-10,-5]\cup [-1,10],\] the last two overlapping and merging. Its complement within \(U\) is what is left of \([-10,10]\): \[\left (B'\cup C\right )'=(-5,-1).\] Finally, \(A=[-2,6)\) and \((-5,-1)\) overlap, so their union is a single interval: \[A\cup \left (B'\cup C\right )'=(-5,6).\]
Note 1.32. Two checks are worth making on an answer of this kind. The endpoints: \(-5\) is excluded because it belonged to \(B'\) and so was removed by the complement, while \(6\) is excluded because \(A\) excludes it. And the merge: \((-5,-1)\) and \([-2,6)\) overlap on \([-2,-1)\), so the union really is one interval rather than two — had they been disjoint the answer would have had to stay as a union.
Questions on this section
Stuck on something here? Ask below and it stays attached to this topic.