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 that1.
List six different elements of the truth set (often called the solution set) of the open sentence with two variables
2.
From previous mathematics courses, we know that the graph of the equation
3.
Write a description of the solution set
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
The objects in the ordered pair are called the coordinates of the ordered pair. In the ordered pair
Definition.
If
1.
Is the ordered pair
2.
Is the ordered pair
3.
Is the ordered pair
4.
Use the roster method to specify all the elements of
5.
Use the roster method to specify all of the elements of the set
6.
For any sets
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
then the ordered pair is not equal to the ordered pair That is,If
and then the ordered pair is an element of the set That is,If
and then the ordered pair is not an element of the set since That is,
Progress Check 5.30. Relationships between Cartesian Products.
Let
(a)
Use the roster method to list all of the elements (ordered pairs) in each of the following sets:
(i)
(ii)
(iii)
(iv)
(v)
(vi)
(vii)
(viii)
(ix)
(x)
(b)
List all the relationships between the sets in Task 5.30.a that you observe.
Subsection The Cartesian Plane
In Beginning Activity 1, we sketched the graph of the equationIf we write
then we are using to represent an ordered pair of real numbers.-
If we write
then we are interpreting as an open interval. We could write
Progress Check 5.32. Cartesian Products of Intervals.
We will use the following intervals that are subsets of
(a)
Draw a graph of each of the following subsets of the Cartesian plane and write each subset using set builder notation.
(i)
(ii)
(iii)
(iv)
(v)
(vi)
(vii)
(viii)
(ix)
(x)
(b)
List all the relationships between the sets in Task 5.32.a that you observe.
Theorem 5.33.
Let
If
thenIf
then
Theorem 5.34. Item 2 of Theorem 5.33.
Let
Proof.
Let
To prove that
In the case where
In both cases,
We must now prove that
In the case where
In both cases,
Exercises Exercises
1.
Let
(a)
(b)
(c)
(d)
(e)
(f)
(g)
(h)
2.
Sketch a graph of each of the following Cartesian products in the Cartesian plane.
(a)
(b)
(c)
(d)
(e)
(f)
(g)
(h)
3.
Prove Theorem 5.33, Item 1:
Let
Hence,and
4.
Prove Theorem 5.33, Item 4:
Let
5.
Prove Theorem 5.33, Item 5:
6.
Prove Theorem 5.33, Item 7: If
7.
Let
(a)
Explain why
(b)
Explain why
8.
Let
9.
Is the following proposition true or false? Justify your conclusion.
LetExplain where the assumption thatand be sets with If then
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
(a)
Explain how this definition allows us to distinguish between the ordered pairs
(b)
Let
An ordered triple can be thought of as a single triple of objects, denoted by
(c)
Let