3.1
Relations

3.1.1 Introduction and the Cartesian Product

The idea of things being related enters our consciousness a dozen times a day. We talk about people being related in many way, such as gender, race, height, age, and so on. In mathematics, the word relation is used to show the relations between pairs of objects, as when we say

“is less than” “is a subset of”
“is perpendicular to” “divides”
“is greater than” “is congruent to”
“is parallel to” “is equivalent to”
“is homeomorphic to” “is isomorphic to?”

However, before defining a relation, it is necessary that we introduce the Cartesian product of two sets.

You are already familiar with one Cartesian product, namely the Cartesian plane, which is ℝ × ℝ, often denoted by ℝ2.

Graph of x versus y displaying solid circle markers on horizontal points 1 and 2 and vertical points 1, 3, and 4.

Figure 3.1 Graph of the {1, 2} × {1, 3, 4}.

Graph of x versus y displaying solid circle markers on horizontal points 1, 3, and 4 and vertical points 1 and 2.

Figure 3.2 Graph of {1, 3, 4} × {1, 2}.

Plane illustrating A × (B ∪ C) = (A × B) ∪ (A × C) displaying solid rectangles upper right and lower right quadrant with length and width indicated by parentheses labeled A, B, and C.

Figure 3.3 Visualization of A × (B ∪ C) = (A × B) ∪ (A × C).

Four Cartesian planes with specified markers and line for [0,1]×[0,1], ℤ×ℝ, ℤ×ℤ, and {1,2}×ℤ.

Figure 3.4 Typical Cartesian products.

3.1.2 Relations

A (binary) relation is a rule that assigns truth values (true or false) to two things, which normally are numbers, sets, functions, and so on. When the value assigned by the relation is true, we say the things are related. For example, the pair of numbers (2, 3) would be assigned “true” for the relation “is less than” since 2 < 3. The reader is well familiar with many relations, such as the equal relation “=,” which would assign a truth value to the pair (3, 3) but not to the pair (3, 4). What this chapter does is it provides a general theory behind many of the relations you already known, and some you do not know.

The following examples will familiarize you with some common relations.

Table 3.1 Relation “likes class” on {Students} × {Classes}.

Math x x
Literature x x x
Chemistry x x
Psychology x x x
Mary John Ann Sally Jim

3.1.3 Visualization of Relations with Directed Graphs

Another way to visualize a relation is with a directed graph, which consists of a collection of dots representing members of A, and arrows connecting the dots if members are related. For example, the relation

equation

on A = {1, 2, 3, 4, 5} can be visualized by the directed graph drawn in Figure 3.6.

Diagram displaying circles labeled 1, 2, 3, 4, and 5 connected by directional arrows.

Figure 3.6 Directed graph of a relation on {1, 2, 3, 4, 5}.

3.1.4 Domain and Range of a Relation

A relation R is a generalization of a function f in the sense that every function is also a relation, but not vice versa. When the relation is a function, the relation maps a single element x ∈ A into a single value f(x) ∈ B, whereas for a general relation, a single value of x ∈ A can be related to none or many values of y ∈ B. But like functions, relations also have domains and ranges.

In Plain English: The domain of a relation R from A to B is the set of first members of the ordered pairs in R and the range of R is the set of second members of the ordered pairs. By definition, we have

equation

For example, if A = {1, 2, 3, 4} and B = {2, 3, 4} with relation R from A to B, given by

equation

we have

equation

3.1.5 Inverses and Compositions

Two common ways of constructing new relations from old ones are inverse relations and compositions of relations.

Graph of x versus y displaying solid circle markers and solid square markers separated by a dotdashed line diagonally.

Figure 3.8 Graphs of R and R−1.

3.1.6 Composition of Relations

The composition of two (or more) relations is similar to the composition of functions that the reader might be familiar. Recall that the composition of functions f and g, written f ∘ g, is defined by

equation

for all x in the domain of g, where g(x) in the domain of f. The generalization of this definition to relations goes as follows.

In plain language, the composition is the collection of all “paths” from A to C as illustrated in Example 7.

Diagram of composition S ∘ R displaying lines labeled A, B, and C with arrows connecting markers with specified labels (left) linked to lines labeled A and C with arrows connecting markers with specified labels (right).

Figure 3.9 Composition S ∘ R.

Problems

  1. True or False

    Tell whether the following statements are true or false.

    1. ℚ × ℚ ⊆ ℝ × ℝ
    2. aRb ⇒ (a, b) ∈ R
    3. aRb ⇒ bRa
    4. aRa
    5. For any two sets A, B, A × B = B × A
    6. For some sets A, B, A × B = B × A
  2. Relations

    For the set A = {1, 2, 3, 4}, write out the ordered pairs in the relation R on A if

    1. xRy ⇔ x < y
    2. xRy ⇔ x = y
    3. xRy ⇔ x divides y
    4. xRy ⇔ x is a multiple of y
  3. Four Basic Cartesian Products

    Given A = {1, 2, 3}, B = {a, b}. Find the following Cartesian products.

    1. A × B
    2. B × A
    3. A × A
    4. B × B
  4. Cartesian Products

    For each of the following pair of sets A and B, find the Cartesian products A × B and B × A.

    1. A = {0, 2}, B = {−1, 0}
    2. A = {a, b}, B = {b, c}
    3. A = ℝ, B = ℕ
    4. A = ℤ, B = ℕ
    5. A = ℝ, B = {−1, 0, 1}
  5. Graphing a Relation

    Draw a sketch of the following relations.

    1. R = {(x, y) ∈ ℝ × ℝ : x2 + y2 = 1}
    2. R = {(x, y) ∈ ℝ × ℝ : y = sin x}
    3. R = {(x, y) ∈ ℝ × ℝ : x = y2}
    4. R = {(x, y) ∈ ℝ × ℝ : |x| ≤ 1, |y| ≥ 1}
    5. R = {(x, y) ∈ ℕ × ℕ : x ≡ 0(mod3), y ≡ 1(mod3)}
    6. R = {(x, y) ∈ ℕ × ℕ : x divides y}
  6. Algebra of Relations

    Given are the closed intervals

    equation

    on the real line ℝ. Sketch the following relations in the plane.

    1. R = (A ∪ B) × C ⊆ ℝ × ℝ
    2. R = (A ∩ B) × C ⊆ ℝ × ℝ
    3. R = (A × B) ∪ (A × C) ⊆ ℝ × ℝ
    4. R = A × (A ∪ C) ⊆ ℝ × ℝ
  7. Naming a Relation

    Give common names that describe the following relations on images. Then find the inverse relation. What is a name for the relation and inverse relation?

    1. R = {(1, 1), (2, 2), (3, 3)}
    2. R = {(1, 2), (1, 3), (2, 3)}
    3. R = {(1, 1), (1, 2), (1, 3), (2, 2), (2, 3), (3, 3)}
  8. Important Types of Relations

    Two important types of relations are injections (1–1) and surjections (onto), whose definitions we have seen in Section 2.4 in conjunction with the cardinality of sets. The definition of an injection and surjection defined especially for relations are as follows:

    • Surjective Relation: A relation R ⊆ X × Y is surjective if
      equation
    • Injective Relation: A relation R ⊆ X × Y is injective if
      equation

    For X = Y = {1, 2, 3}, give an example of an injective and surjective relation from X to Y.

  9. Meaning of Relations

    For each of the following, describe the members of the relation R.

    1. images
    2. R ⊆ ℚ × ℚ, R = Ø
    3. R ⊆ ℝ × ℝ, R = ℝ × ℝ
  10. Inverse Relation of Compositions

    Given A = {1, 2, 3} verify the following identity for the inverse of a composition:

    equation

    for relations

    equation
  11. Composition of Relations

    Find the composition of the relations S ∘ R given the sets

    equation

    and the relations

    equation
  12. Cartesian Product Identities

    Prove the identity

    equation
  13. Number of Relations

    If a set A has m elements and B has n elements, show that the number of relations from A to B is 2mn.

  14. Graphing Relations and Their Inverses

    Graph the following relations and their inverses.

    1. R ⊆ ℝ × ℝ, xRy ⇔ y = 1/x
    2. R ⊆ ℝ × ℝ, xRy ⇔ y = ex
    3. R ⊆ ℝ × ℝ, R = {(x, y) : |x| + |y| = 1}
  15. Counting Relations I

    What is the total number of relations that can be defined on the set A = {1, 2}?

  16. Counting Relations II

    What is the total number of relations that can be defined on the set A = {1, 2, 3}?

  17. Converse of a Binary Relation

    If R is a binary relation on a set A, then the converse relation images on A is defined by the relation images. State in English or write out in ordered pairs the converse of the following relations R.

    1. The relation “is the mother of.”
    2. The relation “is a uncle of.”
    3. The relation “<” on the real numbers.
    4. The relation “=” on the real numbers.
  18. Blood Typing

    There are four blood, types A, B, AB, and O.

    • Type A can receive blood from type A and O.
    • Type B can receive blood from type B and O.
    • Type AB can receive blood from all types.
    • Type O can receive blood from only type O.

    Given the set S = {A, B, AB, O}, define a binary relation R on S as follows:

    equation
    1. Write out the ordered pairs of R.
    2. Draw a directed graph of the relation R.
    3. Define the converse imagesof R by images. What is the interpretation of the converse?
  19. Internet Research

    There is a wealth of information related to topics introduced in this section just waiting for curious minds. Try aiming your favorite search engine toward important relations in mathematics, visualizing mathematical relations, and composition of relations.

Note

..................Content has been hidden....................

You can't read the all page of ebook, please click here login for view all page.
Reset
3.21.233.41