# 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!

## 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