Discrete Math

posted by .

Consider the following relations on R, the set of real numbers

a. R1: x, y ∈ R if and only if x = y.
b. R2: x, y ∈ R if and only if x ≥ y.
c. R3 : x, y ∈ R if and only if xy < 0.

Determine whether or not each relation is flexible, symmetric, anti-symmetric, or transitive. For each property not possessed by the relation, provide a convincing example. Summarize the results in the table below. What of these are equivalence relations?

  • Discrete Math -

    Recall the definitions of the four properties:
    a ~ a. (Reflexivity)
    if a ~ b then b ~ a. (Symmetry)
    if a~b ∧ b~a -> a=b (antisymmetry)
    if a ~ b and b ~ c then a ~ c. (Transitivity)

    Example:

    R2: x, y ∈R iff x≥y
    reflexive: x≥x
    not symmetric: x≥y -> y≥x (false)
    antisymmetric: x≥y ∧ y≥x -> x=y
    transitive: x≥y ∧ y≥z -> x≥z

    I will leave R1 and R3 for you as an exercise

    Post if you need more detailed explanations.

  • Discrete Math -

    Thank you MathMate for your quick reply! I think I understand it a lot better after your post, but I still feel a little fuzzy. So for R1:

    Reflexive: x = x
    Symmetric: x = y, then y = x
    antisymmetric: x = y and y = x that implies x = y (?)
    Transitive: x = y and y = z, then x = z

    Am I semi-on the right track? Also, for R3 a little confused. Thanks so much for your help. I really appreciate it!

  • Discrete Math -

    All correct. It is possible that a relation is both symmetric AND antisymmetric. No worries.

    Continue with R3 and post if you are not sure. Keep up the good work.

  • Discrete Math -

    R3:

    Not Reflexive: x ⊀ x
    Symmetric:
    Antisymmetric:
    Not Transitive:

    I'm not sure how to justify. . . the xy and 0 is throwing me off. . .can you separate them? If that makes any sense. . .I'm lost.

    But R2 would be considered an equivalent relation because it is reflexive, transitive, and symmetric. Thanks again for all your help.

  • Discrete Math -

    Correct about the requirements for equivalent relations: reflexive, symmetric and transitive.

    However, R2 is not symmetric, so it is not an equivalent relation. Check R1 instead.

    For R3, this is how you would proceed:
    R2: x, y ∈R iff xy<0
    not reflexive: x*x<0 (false, x*x ≥0 ∀x)
    symmetric: if xy<0 -> yx<0
    not antisymmetric: if xy<0 & yx<0 -> x=y (false)
    not transitive: xy<0 and yz<0 -> xz<0 (false: for example, -1*2<0 and 2*(-3)<0 -> (-1)*(-3)<0 is false)

  • Discrete Math -

    Oh yea I meant to type R1, sorry it was a typo. Thank you for your help MathMate!

  • Discrete Math :) -

    You're welcome!

Respond to this Question

First Name
School Subject
Your Answer

Similar Questions

  1. Discrete Math

    In the questions below determine the size (i.e. cardinality) of the set. • {x|x ∈ N, x2 < 10} • P({a,b,c,d,e }) where P denotes the Power set • A × B where A = {1, 2, 3, 4, 5} and B = {1, 2, 3} • {x|x ∈ Z, 9x2 …
  2. math

    Given the following set, select the statement below that is true. V = {a, e, i, o, u} (Points : 2) v ∈ V a ∈ V y ∈ V o ∉ V V Ø
  3. Math

    Given the following set, select the statement below that is true. V = {a, e, i, o, u} s ∈ V o ∉ V e ∈ V V intersect Ø w ∈ V
  4. Computer Science

    Given an undirected graph G = (V,E), does there exist a set D ⊆ V of size k such that every v ∈ V is either in D or adjacent to at least one member of D. Show that DS∈NPC. You may only assume that VC is known to be …
  5. Probability

    Consider the following joint PMF of the random variables X and Y: pX,Y(x,y)={1/72⋅(x2+y2),if x∈{1,2,4} and y∈{1,3}, 0, otherwise}. 1. P(Y<X)= 2. P(Y=X)= 3. Find the marginal PMF pX(x). pX(1)= pX(2)= pX(3)= pX(4)= …
  6. Vectors

    can you please explain how to answer this: Which of the following is not a plane a) r=(1,3,4)+s(2,-1,2)+t(1,1,1), s,t∈R b) r=(2,4,2)+s(1,-2,3)+t(3,2,2), s,t∈R c) r=(3,2,3)+s(4,-4,2)+t(-2,2,-1), s,t∈R d) r=(-2,1,4)+s(2,2,-1)+t(2,2,1), …
  7. math(Discrete)

    Determine whether the statement ∀x ∈ Z, ∃y, z ∈ Z[x = 5y + 7z] is true or false. Explain.
  8. DISCRETE MATH

    We have a relation R on Z+ defined as follows: mRn if and only if m|n. a. Explain why the relation R is not a function. b. Determine the set A = {m ∈ Z|mR52} and give its cardinality |A|. c. Determine the set B = {n ∈ Z|52Rn}. …
  9. DISCRETE MATH

    We have a relation R on Z+ defined as follows: mRn if and only if m|n. Determine the set B = {n ∈ Z|52Rn}. Thanks
  10. Discrete Math

    Let A = {x ∈ R| cos x ∈ Z}, B = {x ∈ R| sin x ∈ Z}. Is A ⊆ B?

More Similar Questions