Given a collection of sets, we can form new sets by taking unions, intersections, complements, and set differences. In this section, we introduce a type of “product” of sets. You have already encountered this concept when you learned to plot points in the plane. You also crossed paths with this notion if you have taken a course in linear algebra.
For each \(n\in \mathbb{N}\text{,}\) we define an \(n\)-tuple to be an ordered list of \(n\) elements of the form \(\tcboxmath{(a_1, a_2,\ldots,a_n)}\text{.}\) We refer to \(a_i\) as the \(i\)th component (orcoordinate) of \((a_1, a_2,\ldots,a_n)\text{.}\) Two \(n\)-tuples \((a_1, a_2,\ldots,a_n)\) and \((b_1, b_2,\ldots,b_n)\) are equal if \(a_i=b_i\) for all \(1\leq i\leq n\text{.}\) A \(2\)-tuple \((a,b)\) is more commonly referred to as an ordered pair while a \(3\)-tuple \((a,b,c)\) is often called an ordered triple.
Occasionally, other symbols are used to surround the components of an \(n\)-tuple, such as square brackets “\([\ ]\)” or angle brackets “\(\langle\ \rangle\)”. In some programming languages, curly braces “\(\{\ \}\)” are used to specify arrays. However, we avoid this convention in mathematics since curly braces are the standard notation for sets. The term “tuple” can also occur when discussing other mathematical objects, such as vectors.
If \(A\) and \(B\) are sets, the Cartesian product (or direct product) of \(A\) and \(B\text{,}\) denoted \(A\times B\) (read as “\(A\) times \(B\)” or “\(A\) cross \(B\)”), is the set of all ordered pairs where the first component is from \(A\) and the second component is from \(B\text{.}\) In set-builder notation, we have
\begin{equation*}
\tcboxmath{A\times B\coloneqq \{(a,b)\mid a\in A, b\in B\}}\text{.}
\end{equation*}
The standard two-dimensional plane \(\mathbb{R}^2\) and standard three space \(\mathbb{R}^{3}\) are familiar examples of Cartesian products. In particular, we have
If \(A\) and \(B\) are sets, why do you think that \(A\times B\) is referred to as a type of “product”? Think about the area model for multiplication of natural numbers.
Let \(X=[0,1]\) and \(Y=\{1\}\text{.}\) Write each of the following using set-builder notation and then describe the set geometrically (e.g., draw a picture).
Write \(\mathbb{N}\times \mathbb{R}\) using set-builder notation and then describe this set geometrically by interpreting it as a subset of \(\mathbb{R}^2\text{.}\)
Let \(A\text{,}\)\(B\text{,}\)\(C\text{,}\) and \(D\) be sets. If \(A\subseteq C\) and \(B\subseteq D\text{,}\) then \(A\times B\subseteq C\times D\text{.}\)
Is it true that if \(A\times B\subseteq C\times D\text{,}\) then \(A\subseteq C\) and \(B\subseteq D\text{?}\) Do not forget to think about cases involving the empty set.
Is every subset of \(C\times D\) of the form \(A\times B\text{,}\) where \(A\subseteq C\) and \(B\subseteq D\text{?}\) If so, prove it. If not, find a counterexample.
Let \(A\text{,}\)\(B\text{,}\)\(C\text{,}\) and \(D\) be sets. Determine whether each of the following statements is true or false. If a statement is true, prove it. Otherwise, provide a counterexample.
