let r = 1.23 (or even 1.00000000000001)

let x = 0.23 (and 0.99999999999999) for that matter

|r| = 1

[x] = 1

are r and x 'equivalent'???

AW

Solved

Posted on 2006-04-06

R is the set of all positive real numbers. Define r @ x if and only if |r| = [x]. I don't have the correct symbols to use for it, but i do not mean absolute value. |r| represents the greatest integer less than or equal to r. [x] represents the smallest integer greater than or equal to x.

Is this relation an equivalence relation? I'm struggling in why some relations ARE equivalence relations and some are not (some are partial order relations, for example). Why is this or isn't it an equivalence relation?

Is this relation an equivalence relation? I'm struggling in why some relations ARE equivalence relations and some are not (some are partial order relations, for example). Why is this or isn't it an equivalence relation?

7 Comments

let r = 1.23 (or even 1.00000000000001)

let x = 0.23 (and 0.99999999999999) for that matter

|r| = 1

[x] = 1

are r and x 'equivalent'???

AW

A relation is said to be an equivalence relation if satisfies the following properties:

1) Reflexivity

2) Symmetry

3) Transitivity

http://en.wikipedia.org/wi

Reflexivity:

Let 0.5 be the number. Then, the greatest integer less than or equal to 0.5 is 0 and the smallest integer greater than or equal to 0.5 is 1

From this, you see that 0 <> 1 and hence, 0.5 cannot be a number in that set. So, your set should only consist of integers, and no real numbers.

And hence, reflexivity fails if the set contains real numbers. So, the given relation is not an equivalence relation under the set of reals.. however it is reflexive for set of integers and hence, the other two properties need to be checked..

Symmetry:

Now, consider 5 and 5 to be arbitrary elements in the set. 5 will be the greatest integer less than or equal to 5 and the smallest integer greater than or equal to 5. So they are same, and hence, it is symmetric.

Transitivity:

Let 5, 5 and 5 be the three elements, and 5 will be the result for all of them, and hence it is transitive too.

RESULT: The given relation is an equivalence relation under the set of integers

btw, the |x| and [y] functions you're referring to are usually referred to as floor(x) and ceil(y) when you don't have the notations available.

By clicking you are agreeing to Experts Exchange's Terms of Use.

Title | # Comments | Views | Activity |
---|---|---|---|

2.5Amp fast chargers to charge power banks & iPad 3 & phones | 3 | 76 | |

How to solve a trigonometry equation | 6 | 81 | |

Relative Frequency Assessment | 2 | 22 | |

coolers to wear for eyes in workplace (8-10 hours of computer starring!) | 10 | 81 |

Join the community of 500,000 technology professionals and ask your questions.

Connect with top rated Experts

**12** Experts available now in Live!