Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

3.5: Cartesian Products of Sets

( \newcommand{\kernel}{\mathrm{null}\,}\)

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.

Definition 3.44. For each nN, we define an n-tuple to be an ordered list of n elements of the form (a1,a2,,an). We refer to ai as the ith component (or coordinate) of (a1,a2,,an). Two n-tuples (a1,a2,,an) and (b1,b2,,bn) are equal if ai=bi for all 1in. 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 “ ". 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.

We can use the notion of n-tuples to construct new sets from existing sets.

Definition 3.45. If A and B are sets, the Cartesian product (or direct product) of A and B, denoted A×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. In set-builder notation, we have A×B:={(a,b)|aA,bB}. We similarly define the Cartesian product of n sets, say A1,,An, by ni=1Ai:=A1××An:={a1,,anajAj for all 1jn}, where Ai is referred to as the ith factor of the Cartesian product. As a special case, the set A××An factors is often abbreviated as An.

Cartesian products are named after French philosopher and mathematician René Descartes (1596–1650). Cartesian products will play a prominent role in Chapter 7.

Example 3.46. If A={a,b,c} and B={smiley,frownie}, then A×B={(a,smiley),(a,frownie),(b,smiley),(b,frownie),(c,smiley),(c,frownie)}.

Example 3.47. The standard two-dimensional plane R2 and standard three space R3 are familiar examples of Cartesian products. In particular, we have R2=R×R={(x,y)x,yR} and R3=R×R×R={(x,y,z)x,y,zR}.

Example 3.48. Consider the sets A and B from Example 3.46.

  1. Find B×A.
  2. Find B×B.

Problem 3.49. If A and B are sets, why do you think that A×B is referred to as a type of “product"? Think about the area model for multiplication of natural numbers.

Problem 3.50. If A and B are both finite sets, then how many elements will A×B have?

Problem 3.51. Let A={1,2,3}, B={1,2}, and C={1,3}. Find A×B×C.

Problem 3.52. Let X=[0,1] and Y={1}. Write each of the following using set-builder notation and then describe the set geometrically (e.g., draw a picture).

  1. X×Y
  2. Y×X
  3. X×X
  4. Y×Y

Problem 3.53. If A is a set, then what is A× equal to?

Problem 3.54. Given sets A and B, when will A×B be equal to B×A?

Problem 3.55. Write N×R using set-builder notation and then describe this set geometrically by interpreting it as a subset of R2.

We now turn our attention to subsets of Cartesian products.

Theorem 3.56. Let A, B, C, and D be sets. If AC and BD, then A×BC×D.

Problem 3.57. Is it true that if A×BC×D, then AC and BD? Do not forget to think about cases involving the empty set.

Problem 3.58. Is every subset of C×D of the form A×B, where AC and BD? If so, prove it. If not, find a counterexample.

Problem 3.59. If A, B, and C are nonempty sets, is A×B a subset of A×B×C?

Problem 3.60. Let A=[2,5], B=[3,7], C=[1,3], and D=[2,4]. Compute each of the following.

  1. (AB)×(CD)
  2. (A×C)(B×D)
  3. (AB)×(CD)
  4. (A×C)(B×D)
  5. A×(BC)
  6. (A×B)(A×C)
  7. A×(BC)
  8. (A×B)(A×C)

Problem 3.63. Let A, B, C, 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.

  1. (AB)×(CD)=(A×C)(B×D)
  2. (AB)×(CD)=(A×C)(B×D)
  3. A×(BC)=(A×B)(A×C)
  4. A×(BC)=(A×B)(A×C)
  5. A×(BC)=(A×B)(A×C)

Problem 3.62 If A and B are sets, conjecture a way to rewrite (A×B)C in a way that involves AC and BC and then prove your conjecture.


This page titled 3.5: Cartesian Products of Sets is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Dana Ernst.

  • Was this article helpful?

Support Center

How can we help?