Cartesian product
Cartesian product of two sets
The Cartesian product of the set A with the set B is called the set AxB of all the possible ordered pairs where the first coordinate is from the set A and the second from the set B.
We note: AxB = {(a,b) :a ∈ A$\displaystyle \wedge $b ∈ B}
Relation
We have seen that every relation of the set A with the set B is a connection that based on a specific rule the elements of the set A are paired with elements of the set B obtaining a subset G of the Cartesian product AxB.
1. The first set A, is called the domain of the relation.
2. The second set B is called the range of the relation.
3. The subset G of the Cartesian product AxB that contains all the ordered pairs (a,b) of the elements that are paired based on a specific rule.
Example 2: We have the relation R with the domain $\displaystyle A=\left\{ 6,5,3 \right\}$ and the range $\displaystyle B=\left\{ 2,3,4 \right\}$ with the rule “ the a is a multiple of b’’.
The Cartesian Product AxB = {(6, 2), (6, 3), (6, 4), (5, 2), (5, 3), (5, 4), (3, 2), (3, 3), (3, 4)}
In this relation, the element 6 ∈ A is paired with the element 2 ∈ B, also with the element 3 ∈ B. The element 5 ∈ A is not paired with any element from the B set. The element 3 ∈ A is paired with the element 3 ∈ B.
The subset G based on the relation we said above is: $\displaystyle G=\left\{ (6,2),(6,3),(3,3) \right\}$
The demonstration of the subset G in the OXY plan and with a diagram.
Example 3: The relation of the first set A = {1, 2, 3} with the second set B = {2, 4, 6, 7} with the rule that “a is half b“.
a) Write the set G with the given rule.
b) Demonstrate the G set on the Coordinative plan XOY.
c) Demonstrate the set with a diagram.
Solution: Firstly we write the Cartesian product of our two sets:
AxB = {(1, 2), (1, 4), (1, 6), (1, 7), (2, 2), (2, 4), (2, 6), (2, 7), (3, 2), (3, 4), (3, 6), (3, 7)}
a) G = {(1, 2), (2, 4), (3,6)}
b)
c)
Example 4: Demonstrate on the plan XOY the graph of the relation y = x² with starting set R and ending set R.
Solution: The Coordinative plan is: