Is R on S an Equivalence Relation?

  • Thread starter Thread starter knowLittle
  • Start date Start date
  • Tags Tags
    Symmetry
AI Thread Summary
The relation R on the set S = {1, 2, 3}, defined as R = {(1,1), (2,2), (3,3)}, is reflexive, symmetric, and transitive, making it an equivalence relation. Reflexivity is established as each element relates to itself, while symmetry holds because there are no pairs (x, y) without corresponding pairs (y, x). The relation can be interpreted as xRy if and only if x = y, confirming that R partitions the set into disjoint classes: [1], [2], and [3]. Therefore, R qualifies as an equivalence relation. The discussion clarifies the relationship between reflexivity and symmetry in this context.
knowLittle
Messages
307
Reaction score
3

Homework Statement


Is this relation, R, on ## S= \{ 1, 2, 3 \} \\ R = \{ (1,1), (2,2) , (3,3) \}##

Symmetric?
It is obvious that it is reflexive.
 
Physics news on Phys.org
Nevermind. I just read somewhere that reflexive statements don't count towards symmetry. Apparently, it involves something like a diagonal class; I guess they pair this combinations in a matrix like form.

Anyway. Thanks.
 
The relation R= {(1, 1), (2, 2), (3, 3), (1, 3)} is "reflexive" but not "symmetric" so reflexive does not "imply" symmetry. However, in this case there is no (x, y) in the relation without a corresponding (y, x) so this particular example is both reflexive and symmetric.
 
knowLittle said:

Homework Statement


Is this relation, R, on ## S= \{ 1, 2, 3 \} \\ R = \{ (1,1), (2,2) , (3,3) \}##

Symmetric?
It is obvious that it is reflexive.

The relation R can be described as "xRy if and only if x = y". Thus R is an equivalence relation because equality is an equivalence relation. Hence R is reflexive, symmetric and transitive.
 
  • Like
Likes 1 person
Wait, so my R is an equivalence relation then? Supposedly, it partitions the set into disjoint classes. I guess that my classes would be [1], [2], [3]?

HallsofIvy, thank you for the clarification. I should have stated that in this case, it means the same.
 
knowLittle said:
Wait, so my R is an equivalence relation then? Supposedly, it partitions the set into disjoint classes. I guess that my classes would be [1], [2], [3]?

Yes.
 
I picked up this problem from the Schaum's series book titled "College Mathematics" by Ayres/Schmidt. It is a solved problem in the book. But what surprised me was that the solution to this problem was given in one line without any explanation. I could, therefore, not understand how the given one-line solution was reached. The one-line solution in the book says: The equation is ##x \cos{\omega} +y \sin{\omega} - 5 = 0##, ##\omega## being the parameter. From my side, the only thing I could...
Back
Top