Skip to main content
Contents Index
Dark Mode Prev Up Next
\(\newcommand{\im}{{\mathrm{im}}}
\newcommand{\given}{{\, :\,}}
\newcommand{\hanoi}{\mathrm{hanoi}}
\newcommand{\lcm}{{\mathrm{lcm}}}
\newcommand{\ID}{{\mathrm{ID}}}
\newcommand{\chr}{{\mathtt{chr}}}
\newcommand{\ord}{{\mathtt{ord}}}
\newcommand{\set}[1]{\left\lbrace #1 \right\rbrace}
\newcommand{\seq}[2]{( #1 )_{#2}}
\newcommand{\gr}[1]{\left( #1 \right)}
\newcommand{\abs}[1]{\left| #1 \right|}
\newcommand{\size}[1]{\# #1}
\newcommand{\id}[1]{\mathrm{id}_{#1}}
\newcommand{\ip}[1]{\left\langle #1 \right\rangle}
\newcommand{\floor}[1]{\left\lfloor #1\right\rfloor}
\newcommand{\ceiling}[1]{\left\lceil #1\right\rceil}
\newcommand{\indemph}[1]{{\textbf{\emph{#1}}\index{#1}}}
\renewcommand{\implies}{\to}
\renewcommand{\iff}{\leftrightarrow}
\newcommand{\lxor}{\oplus}
\newcommand{\cP}{\wp}
\newcommand{\pset}{\cP}
\newcommand{\ZZ}{\mathbb{Z}}
\newcommand{\QQ}{\mathbb{Q}}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\CC}{\mathbb{C}}
\newcommand{\RR}{\mathbb{R}}
\newcommand{\barr}[1]{\overline{#1}}
\newcommand{\sage}{\textsc{Sage}}
\newcommand{\magma}{\textsc{Magma}}
\newcommand{\bob}{\text{Bob}}
\newcommand{\true}{\text{T}}
\newcommand{\false}{\text{F}}
\newcommand{\ahat}{\hat{a}}
\newcommand{\ah}{\ahat}
\newcommand{\bhat}{\hat{b}}
\newcommand{\abar}{\bar{a}}
\newcommand{\cA}{\mathcal{A}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\cW}{\mathcal{W}}
\newcommand{\todo}[1]{{\color{red} TODO: #1}}
\renewcommand{\div}{\operatorname{div}}
\newcommand{\gexp}[3]{#1^{#2 #3}}
\newcommand{\gexpp}[3]{\displaystyle\left(#1\right)^{#2 #3}}
\newcommand{\glog}[3]{\log_{#1}^{#3}#2}
\def\dbend{{!!!}}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Exercises 2.1.6 Exercises
1.
Give the definition for these terms. Be sure to set up any notation that is required.
Cartesian product of sets
2.
Write each set in roster notation.
\(\displaystyle \set{n \in \ZZ \given n\text{ is odd and }n\leq 10}\)
\(\displaystyle \set{n \in \ZZ \given \abs{n}\leq 3}\)
the set of positive, even integers less than
\(6\)
\(\displaystyle \set{x \in \RR \given x^2 - x - 1 = 0}\)
\(\displaystyle \set{x \in \RR \given x\text{ is the square of an integer and }x \lt 100}\)
\(\displaystyle \set{x \in \RR \given x^2 = -1}\)
3.
Use set builder notation to give a description of each of these sets.
\(\displaystyle \set{2, 3, 4, 5, 6, 7, 8}\)
\(\displaystyle \set{0, 3, 6, 9, 12}\)
\(\displaystyle \set{-2, -1, 0, 1, 2}\)
\(\displaystyle \set{0, 4, 9, 16, 25, 36}\)
4.
For each of these pairs of sets, determine whether the first is a subset of the second, the second is a subset of the first, or neither is a subset of the other.
the set of dogs; the set of mammals
the set of people who speak English; the set of people who
the set of math majors; the set of computer science majors
the set of people over
\(6\) feet tall; the set of people over
\(5\)
the set of animals; the set of alligators
5.
For each of these sets, determine whether \(3\) is an element of that set.
\(\displaystyle \set{1, 3, 5, 7, 9}\)
\(\displaystyle \set{\set{3, 5}, \set{2, 4}}\)
\(\displaystyle \set{(0, 3), (3, 0), (3, 3)}\)
\(\displaystyle \set{\set{3}, \set{5}}\)
the set of positive, odd integers less than
\(20\)
6.
Find
\(A \times B\text{,}\) where
\(A = \set{a, b}\) and
\(B = \set{0,4,8}\text{.}\) What is the cardinality of each of these sets?
\(\displaystyle \set{1, 3, 3, 5, 5, 6, 10, 10}\)
\(\displaystyle \set{\set{1, 3, 5, 6}, \set{10, 12, 15}}\)
\(\displaystyle \emptyset\)
\(\displaystyle \set{0, \emptyset}\)
\(\displaystyle \set{\emptyset, \set{}}\)
\(\displaystyle \cP(\set{0, 1})\)
7.
Suppose
\(A\text{,}\) \(B\text{,}\) and
\(C\) are sets such that
\(A \subseteq B\) and
\(B \subseteq C\text{.}\) Prove that
\(A \subseteq C\text{.}\)
8.
Let
\(A\text{,}\) \(B\text{,}\) \(C\text{,}\) and
\(D\) be sets. Show that if
\(A \subseteq C\) and
\(B \subseteq D\text{,}\) then
\(A \times B \subseteq C \times D\text{.}\)
9.
Let \(A = \set{a, b, c}\text{,}\) and let \(B = \set{x, y}\text{.}\) Find the following sets.
\(\displaystyle A\times B\)
\(\displaystyle B \times A\)
10.
Determine whether these statements are true or false.
\(\displaystyle x \in \set{x}\)
\(\displaystyle \set{x} \in \set{x}\)
\(\displaystyle x \subseteq \set{x}\)
\(\displaystyle \set{x} \subseteq \set{x}\)
\(\displaystyle \emptyset \subseteq \set{x}\)