Skip to main content

Section 5.4 Cartesian Products

Beginning Activity Beginning Activity 1: An Equation with Two Variables

In Section 2.3, we introduced the concept of the truth set of an open sentence with one variable. This was defined to be the set of all elements in the universal set that can be substituted for the variable to make the open sentence a true statement.

In previous mathematics courses, we have also had experience with open sentences with two variables. For example, if we assume that x and y represent real numbers, then the equation

2x+3y=12

is an open sentence with two variables. An element of the truth set of this open sentence (also called a solution of the equation) is an ordered pair (a,b) of real numbers so that when a is substituted for x and b is substituted for y, the open sentence becomes a true statement (a true equation in this case). For example, we see that the ordered pair (6,0) is in the truth set for this open sentence since

2β‹…6+3β‹…0=12

is a true statement. On the other hand, the ordered pair (4,1) is not in the truth set for this open sentence since

2β‹…4+3β‹…1=12

is a false statement.

Important Note: The order of the two numbers in the ordered pair is very important. We are using the convention that the first number is to be substituted for x and the second number is to be substituted for y. With this convention, (3,2) is a solution of the equation 2x+3y=12, but (2,3) is not a solution of this equation.

1.

List six different elements of the truth set (often called the solution set) of the open sentence with two variables 2x+3y=12.

2.

From previous mathematics courses, we know that the graph of the equation 2x+3y=12 is a straight line. Sketch the graph of the equation 2x+3y=12 in the xy-coordinate plane. What does the graph of the equation 2x+3y=12 show?

3.

Write a description of the solution set S of the equation 2x+3y=12 using set builder notation.

Beginning Activity Beginning Activity 2: The Cartesian Product of Two Sets

In Beginning Activity 1, we worked with ordered pairs without providing a formal definition of an ordered pair. We instead relied on your previous work with ordered pairs, primarily from graphing equations with two variables. Following is a formal definition of an ordered pair.

Definition.

Let A and B be sets. An ordered pair (with first element from A and second element from B) is a single pair of objects, denoted by (a,b) , with a∈A and b∈B and an implied order. This means that for two ordered pairs to be equal, they must contain exactly the same objects in the same order. That is, if a,c∈A and b,d∈B, then

(a,b)=(c,d) if and only if a=c and b=d.

The objects in the ordered pair are called the coordinates of the ordered pair. In the ordered pair (a,b), a is the first coordinate and b is the second coordinate.

We will now introduce a new set operation that gives a way of combining elements from two given sets to form ordered pairs. The basic idea is that we will create a set of ordered pairs.

Definition.

If A and B are sets, then the Cartesian product, AΓ—B, of A and B is the set of all ordered pairs (x,y) where x∈A and y∈B. We use the notation AΓ—B for the Cartesian product of A and B, and using set builder notation, we can write AΓ—B={(x,y)∣x∈A and y∈B}. We frequently read AΓ—B as β€œA cross B.” In the case where the two sets are the same, we will write A2 for AΓ—A. That is,

A2=AΓ—A={(a,b)∣a∈A and b∈A}.

Let A={1,2,3} and B={a,b}.

1.

Is the ordered pair (3,a) in the Cartesian product AΓ—B? Explain.

2.

Is the ordered pair (3,a) in the Cartesian product AΓ—A? Explain.

3.

Is the ordered pair (3,1) in the Cartesian product AΓ—A? Explain.

4.

Use the roster method to specify all the elements of AΓ—B. (Remember that the elements of AΓ—B will be ordered pairs.)

5.

Use the roster method to specify all of the elements of the set AΓ—A=A2.

6.

For any sets C and D, explain carefully what it means to say that the ordered pair (x,y) is not in the Cartesian product CΓ—D.

Subsection Cartesian Products

When working with Cartesian products, it is important to remember that the Cartesian product of two sets is itself a set. As a set, it consists of a collection of elements. In this case, the elements of a Cartesian product are ordered pairs. We should think of an ordered pair as a single object that consists of two other objects in a specified order. For example,

  • If aβ‰ 1, then the ordered pair (1,a) is not equal to the ordered pair (a,1). That is, (1,a)β‰ (a,1).

  • If A={1,2,3} and B={a,b}, then the ordered pair (3,a) is an element of the set AΓ—B. That is, (3,a)∈AΓ—B.

  • If A={1,2,3} and B={a,b}, then the ordered pair (5,a) is not an element of the set AΓ—B since 5βˆ‰A. That is, (5,a)βˆ‰AΓ—B.

In Section 5.3, we studied certain properties of set union, set intersection, and set complements, which we called the algebra of sets. We will now begin something similar for Cartesian products. We begin by examining some specific examples in Progress Check 5.30 and a little later in Progress Check 5.32.

Progress Check 5.30. Relationships between Cartesian Products.

Let A={1,2,3}, T={1,2}, B={a,b} , and C={a,c}. We can then form new sets from all of the set operations we have studied. For example, B∩C={a}, and so

AΓ—(B∩C)={(1,a),(2,a),(3,a)}.
(a)

Use the roster method to list all of the elements (ordered pairs) in each of the following sets:

(v)

(AΓ—B)∩(AΓ—C)

Solution.

(AΓ—B)∩(AΓ—C)={(1,a),(2,a),(3,a)}

(vi)

AΓ—(BβˆͺC)

Solution.

AΓ—(BβˆͺC)={(1,a),(1,b),(1,c),(2,a),(2,b),(2,c),(3,a),(3,b),(3,c)}

(vii)

(AΓ—B)βˆͺ(AΓ—C)

Solution.

(AΓ—B)βˆͺ(AΓ—C)={(1,a),(1,b),(1,c),(2,a),(2,b),(2,c),(3,a),(3,b),(3,c)}

(ix)

(AΓ—B)βˆ’(AΓ—C)

Solution.

(AΓ—B)βˆ’(AΓ—C)={(1,b),(2,b),(3,b)}

(b)

List all the relationships between the sets in Task 5.30.a that you observe.

Solution.

TΓ—BβŠ†AΓ—B

AΓ—(B∩C)=(AΓ—B)∩(AΓ—C)

AΓ—(BβˆͺC)=(AΓ—B)βˆͺ(AΓ—C)

AΓ—(Bβˆ’C)=(AΓ—B)βˆ’(AΓ—C)

Subsection The Cartesian Plane

In Beginning Activity 1, we sketched the graph of the equation 2x+3y=12 in the xy-plane. This xy-plane, with which you are familiar, is a representation of the set RΓ—R or R2. This plane is called the Cartesian plane.

The basic idea is that each ordered pair of real numbers corresponds to a point in the plane, and each point in the plane corresponds to an ordered pair of real numbers. This geometric representation of R2 is an extension of the geometric representation of R as a straight line whose points correspond to real numbers.

Since the Cartesian product R2 corresponds to the Cartesian plane, the Cartesian product of two subsets of R corresponds to a subset of the Cartesian plane. For example, if A is the interval [1,3], and B is the interval [2,5], then

AΓ—B={(x,y)∈R2∣1≀x≀3 and 2≀y≀5}.

A graph of the set AΓ—B can then be drawn in the Cartesian plane as shown in Figure 5.31.

A graph with the x-axis extending from 0 to 4 and y-axis from 0 to 6. A shaded box extends from 1 to 3 on the x-axis and 2 to 5 on the y-axis.
Figure 5.31. Cartesian Product AΓ—B

This illustrates that the graph of a Cartesian product of two intervals of finite length in R corresponds to the interior of a rectangle and possibly some or all of its boundary. The solid line for the boundary in Figure 5.31 indicates that the boundary is included. In this case, the Cartesian product contained all of the boundary of the rectangle. When the graph does not contain a portion of the boundary, we usually draw that portion of the boundary with a dotted line.

Note: A Caution about Notation. The standard notation for an open interval in R is the same as the notation for an ordered pair, which is an element of \mbox{RΓ—R} . We need to use the context in which the notation is used to determine which interpretation is intended. For example,

  • If we write (2,7)∈RΓ—R, then we are using (2,7) to represent an ordered pair of real numbers.

  • If we write (1,2)Γ—{4}, then we are interpreting (1,2) as an open interval. We could write

    (1,2)Γ—{4}={(x,4)|1<x<2}.

The following progress check explores some of the same ideas explored in Progress Check 5.30 except that intervals of real numbers are used for the sets.

Progress Check 5.32. Cartesian Products of Intervals.

We will use the following intervals that are subsets of R.

A=[0,2]T=(1,2)B=[2,4)C=(3,5]
(a)

Draw a graph of each of the following subsets of the Cartesian plane and write each subset using set builder notation.

(i)

AΓ—B

Solution.

AΓ—B={(x,y)∈RΓ—R∣0≀x≀2 and 2≀y<4}

(ii)

TΓ—B

Solution.

TΓ—B={(x,y)∈RΓ—R∣1<x<2 and 2≀y<4}

(iii)

AΓ—C

Solution.

AΓ—C={(x,y)∈RΓ—R∣0≀x≀2 and 3<y≀5}

(iv)

AΓ—(B∩C)

Solution.

AΓ—(B∩C)={(x,y)∈RΓ—R∣0≀x≀2 and 3<y<4}

(v)

(AΓ—B)∩(AΓ—C)

Solution.

(AΓ—B)∩(AΓ—C)={(x,y)∈RΓ—R∣0≀x≀2 and 3<y<4}

(vi)

AΓ—(BβˆͺC)

Solution.

AΓ—(BβˆͺC)={(x,y)∈RΓ—R∣0≀x≀2 and 2 β‰€y≀5}

(vii)

(AΓ—B)βˆͺ(AΓ—C)

Solution.

(AΓ—B)βˆͺ(AΓ—C)={(x,y)∈RΓ—R∣0≀x≀2 and 2 β‰€y≀5}

(viii)

AΓ—(Bβˆ’C)

Solution.

AΓ—(Bβˆ’C)={(x,y)∈RΓ—R∣0≀x≀2 and 2≀y≀3}

(ix)

(AΓ—B)βˆ’(AΓ—C)

Solution.

(AΓ—B)βˆ’(AΓ—C)={(x,y)∈RΓ—R∣0≀x≀2 and 2≀y≀3}

(x)

BΓ—A

Solution.

BΓ—A={(x,y)∈RΓ—R∣2≀x<4 and 0≀y≀2}

(b)

List all the relationships between the sets in Task 5.32.a that you observe.

Solution.

TΓ—BβŠ†AΓ—B

AΓ—(B∩C)=(AΓ—B)∩(AΓ—C)

AΓ—(BβˆͺC)=(AΓ—B)βˆͺ(AΓ—C)

AΓ—(Bβˆ’C)=(AΓ—B)βˆ’(AΓ—C)

One purpose of the work in Progress Check 5.30 and Progress Check 5.32 was to indicate the plausibility of many of the results contained in the next theorem.

We will not prove all these results; rather, we will prove Item 2 of Theorem 5.33 and leave some of the rest to the exercises. In constructing these proofs, we need to keep in mind that Cartesian products are sets, and so we follow many of the same principles to prove set relationships that were introduced in Section 5.2 and Section 5.3.

The other thing to remember is that the elements of a Cartesian product are ordered pairs. So when we start a proof of a result such as Item 2 of Theorem 5.33, the primary goal is to prove that the two sets are equal. We will do this by proving that each one is a subset of the other one. So if we want to prove that AΓ—(BβˆͺC)βŠ†(AΓ—B)βˆͺ(AΓ—C), we can start by choosing an arbitrary element of AΓ—(BβˆͺC). The goal is then to show that this element must be in (AΓ—B)βˆͺ(AΓ—C). When we start by choosing an arbitrary element of AΓ—(BβˆͺC), we could give that element a name. For example, we could start by letting

(47)u be an element of AΓ—(BβˆͺC).

We can then use the definition of β€œordered pair” to conclude that

(48) there exists x∈A and there exists y∈BβˆͺC such that u=(x,y).

In order to prove that AΓ—(BβˆͺC)βŠ†(AΓ—B)βˆͺ(AΓ—C), we must now show that the ordered pair u from (1) is in (AΓ—B)βˆͺ(AΓ—C). In order to do this, we can use the definition of set union and prove that

(49)u∈(AΓ—B) or u∈(AΓ—C).

Since u=(x,y), we can prove (49) by proving that

(50)(x∈A and y∈B) or (x∈A and y∈C).

If we look at the sentences in (48) and (50), it would seem that we are very close to proving that AΓ—(BβˆͺC)βŠ†(AΓ—B)βˆͺ(AΓ—C). Following is a proof of Item 2 of Theorem 5.33.

Proof.

Let A, B, and C be sets. We will prove that AΓ—(BβˆͺC) is equal to (AΓ—B)βˆͺ(AΓ—C) by proving that each set is a subset of the other set.

To prove that AΓ—(BβˆͺC)βŠ†(AΓ—B)βˆͺ(AΓ—C), we let u∈AΓ—(BβˆͺC). Then there exists x∈A and there exists y∈BβˆͺC such that u=(x,y). Since y∈BβˆͺC, we know that y∈B or y∈C.

In the case where y∈B, we have u=(x,y), where x∈A and y∈B. So in this case, u∈AΓ—B, and hence u∈(AΓ—B)βˆͺ(AΓ—C). Similarly, in the case where y∈C, we have u=(x,y), where x∈A and y∈C. So in this case, u∈AΓ—C and, hence, u∈(AΓ—B)βˆͺ(AΓ—C).

In both cases, u∈(AΓ—B)βˆͺ(AΓ—C). Hence, we may conclude that if u is an element of AΓ—(BβˆͺC), then u∈(AΓ—B)βˆͺ(AΓ—C), and this proves that

(51)AΓ—(BβˆͺC)βŠ†(AΓ—B)βˆͺ(AΓ—C).

We must now prove that (AΓ—B)βˆͺ(AΓ—C)βŠ†AΓ—(BβˆͺC). So we let v∈(AΓ—B)βˆͺ(AΓ—C). Then v∈(AΓ—B) or v∈(AΓ—C).

In the case where v∈(AΓ—B), we know that there exists s∈A and there exists t∈B such that v=(s,t). But since t∈B, we know that t∈BβˆͺC, and hence v∈AΓ—(BβˆͺC). Similarly, in the case where v∈(AΓ—C), we know that there exists s∈A and there exists t∈C such that v=(s,t). But because t∈C, we can conclude that t∈BβˆͺC and, hence, v∈AΓ—(BβˆͺC).

In both cases, v∈AΓ—(BβˆͺC). Hence, we may conclude that if

v∈(AΓ—B)βˆͺ(AΓ—C), then v∈AΓ—(BβˆͺC), and this proves that

(52)(AΓ—B)βˆͺ(AΓ—C)βŠ†AΓ—(BβˆͺC).

The relationships in (51) and (52) prove that AΓ—(BβˆͺC)=(AΓ—B)βˆͺ(AΓ—C).

Final Note: The definition of an ordered pair in Beginning Activity 2 may have seemed like a lengthy definition, but in some areas of mathematics, an even more formal and precise definition of β€œordered pair” is needed. This definition is explored in Activity 32.

Exercises Exercises

1.

Let A={1,2}, B={a,b,c,d}, and C={1,a,b}. Use the roster method to list all of the elements of each of the following sets:

(a)

AΓ—B

Answer.

AΓ—B={(1,a),(1,b),(1,c),(1,d),(2,a),(2,b),(2,c),(2,d)}.

(b)

BΓ—A

Answer.

BΓ—A={(a,1),(b,1),(c,1),(d,1),(a,2),(b,2),(c,2),(d,2)}.

(e)

AΓ—(B∩C)

Answer.

AΓ—(B∩C)={(1,a),(1,b),(2,a),(2,b)}.

(f)

(AΓ—B)∩(AΓ—C)

Answer.

(AΓ—B)∩(AΓ—C)={(1,a),(1,b),(2,a),(2,b)}.

3.

Prove Theorem 5.33, Item 1: AΓ—(B∩C)=(AΓ—B)∩(AΓ—C).

Answer.

Let u∈AΓ—(B∩C). Then, there exists x∈A and there exists y∈B∩C such that u=(x,y). Since y∈B∩C, we know that y∈B and y∈C. So, we have:

u=(x,y)∈AΓ—B and u=(x,y)∈AΓ—C.
Hence, u∈(AΓ—B)∩(AΓ—C) and this proves that AΓ—(B∩C)βŠ†(AΓ—B)∩(AΓ—C). Now let v∈(AΓ—B)∩(AΓ—C). Then, v∈AΓ—B and v∈AΓ—C. So, there exists an s in A and a t in B such that v=(s,t). But, since v is also in AΓ—C, we see that t must also be in C. Thus, t∈B∩C and so, v∈AΓ—(B∩C). This proves that (AΓ—B)∩(AΓ—C)βŠ†AΓ—(B∩C).

4.

Prove Theorem 5.33, Item 4: (AβˆͺB)Γ—C=(AΓ—C)βˆͺ(BΓ—C).

Answer.

Let u∈(AβˆͺB)Γ—C. Then, there exists x∈AβˆͺB and there exists y∈C such that u=(x,y). Since x∈AβˆͺB, we know that x∈A or x∈B. In the case where x∈A, we see that u∈AΓ—C, and in the case where x∈B, we see that u∈BΓ—C. Hence, u∈(AΓ—C)βˆͺ(BΓ—C). This proves that (AβˆͺB)Γ—CβŠ†(AΓ—C)βˆͺ(BΓ—C). We still need to prove that (AΓ—C)βˆͺ(BΓ—C)βŠ†AΓ—(BβˆͺC).

7.

Let A={1},B={2}, and C={3}.

(a)

Explain why A×B≠B×A.

(b)

Explain why (A×B)×C≠A×(B×C).

8.

Let A and B be nonempty sets. Prove that AΓ—B=BΓ—A if and only if A=B.

9.

Is the following proposition true or false? Justify your conclusion.

Let A, B, and C be sets with Aβ‰ βˆ…. If AΓ—B=AΓ—C, then B=C.
Explain where the assumption that Aβ‰ βˆ… is needed.

Activity 32. A Set Theoretic Definition of an Ordered Pair.

In elementary mathematics, the notion of an ordered pair introduced at the beginning of this section will suffice. However, if we are interested in a formal development of the Cartesian product of two sets, we need a more precise definition of ordered pair. Following is one way to do this in terms of sets. This definition is credited to Kazimierz Kuratowski (1896 β€” 1980). Kuratowski was a famous Polish mathematician whose main work was in the areas of topology and set theory. He was appointed the Director of the Polish Academy of Sciences and served in that position for 19 years. Let x be an element of the set A, and let y be an element of the set B. The ordered pair (x,y) is defined to be the set {{x},{x,y}}. That is,

(x,y)={{x},{x,y}}.
(a)

Explain how this definition allows us to distinguish between the ordered pairs (3,5) and (5,3).

(b)

Let A and B be sets and let a,c∈A and b,d∈B. Use this definition of an ordered pair and the concept of set equality to prove that (a,b)=(c,d) if and only if a=c and b=d.

An ordered triple can be thought of as a single triple of objects, denoted by (a,b,c), with an implied order. This means that in order for two ordered triples to be equal, they must contain exactly the same objects in the same order. That is, (a,b,c)=(p,q,r) if and only if a=p, b=q and c=r.

(c)

Let A, B, and C be sets, and let x∈A,y∈B, and z∈C. Write a set theoretic definition of the ordered triple (x,y,z) similar to the set theoretic definition of β€œordered pair.”