Is R on S an Equivalence Relation?

  • Thread starter knowLittle
  • Start date
  • Tags
    Symmetry
In summary, the relation R on set S={1,2,3} is reflexive and symmetric. It is also an equivalence relation, which means it partitions the set into disjoint classes [1], [2], and [3].
  • #1
knowLittle
312
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
  • #2
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.
 
  • #3
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.
 
  • #4
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
  • #5
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.
 
  • #6
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.
 

Related to Is R on S an Equivalence Relation?

1. What is reflexivity and how does it relate to symmetry?

Reflexivity is a concept in mathematics and logic that refers to the property of a relation or operation being applied to itself. In other words, an element is related to itself. Symmetry, on the other hand, refers to a property of a relation or operation where it remains unchanged when the elements are swapped. Reflexivity implies symmetry because if every element is related to itself, then swapping the elements will not change the relation.

2. Can you provide an example of reflexivity implying symmetry?

One example is the equality relation in mathematics. If we consider the relation "equal to" and apply it to any element, say 5, then it is reflexive because 5 is equal to itself. Now, if we swap the elements and compare 5 to another number, say 7, the relation is still true because 5 and 7 are not equal. Thus, reflexivity implies symmetry in this case.

3. What are some real-world applications of reflexivity implying symmetry?

Reflexivity and symmetry are commonly used in the fields of mathematics, computer science, and physics. In mathematics, these concepts are important in the study of abstract algebra, graph theory, and topology. In computer science, they are used in the development of algorithms and data structures. In physics, they are applied in the study of symmetry in physical laws and principles.

4. Is reflexivity always a necessary condition for symmetry?

No, reflexivity is not always a necessary condition for symmetry. There are cases where a relation can be symmetric without being reflexive. For example, the relation "greater than" is symmetric, but it is not reflexive because a number cannot be greater than itself.

5. How does reflexivity imply transitivity?

Reflexivity implies transitivity because if a relation is reflexive, then every element is related to itself. And if a relation is transitive, then if two elements are related and the second element is related to a third element, then the first element is also related to the third element. This can be seen as a chain of reflexivity, where each element is related to itself and to the next element, ultimately leading to transitivity.

Similar threads

  • Precalculus Mathematics Homework Help
Replies
6
Views
2K
  • Precalculus Mathematics Homework Help
Replies
7
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
2
Views
1K
  • Precalculus Mathematics Homework Help
Replies
13
Views
1K
  • Precalculus Mathematics Homework Help
Replies
1
Views
931
  • Precalculus Mathematics Homework Help
Replies
5
Views
1K
  • Precalculus Mathematics Homework Help
Replies
3
Views
295
  • Precalculus Mathematics Homework Help
Replies
6
Views
699
  • Set Theory, Logic, Probability, Statistics
Replies
7
Views
1K
  • Precalculus Mathematics Homework Help
Replies
1
Views
1K
Back
Top