0

I have a similar question that is posted here:

finding different equivalence relations

But I don't understand the answers that people gave there.

I have seen some where that when you have the set S = {x,y,z} that the equivalence relation could be the following pairs: {(x,x), (y,y), (z,z)}

I don't see how to show that this is symmetric and transitive.

In the link one person stated that it is "vacuously" because we essentially can't test for symmetric and transitive. Well, if we need all of the 3 conditions to be met, and we can't apply 2 of them, then I am thinking that we hence can't call it an equivalence relation!

SO not sure how the logic of this goes! Hope someone can shed some light on this.

Palu
  • 841
  • 1
    The point is that we can "apply" all three conditions, and those conditions are satisfied. – Angina Seng Oct 12 '18 at 04:46
  • I still don't understand. I don't see how the other 2 conditions are applied. This is the problem with the Abstract Algebras, there is some subtle logic that is not really explained well in general. – Palu Oct 12 '18 at 04:47
  • 2
    There is no subtle logic whatsoever: for symmetry, just consider all pairs $(a,b)\in R$ and check that $(b,a)\in R$ for all of them. I mean, there are only three of them.... – Angina Seng Oct 12 '18 at 04:50
  • So for symmetry case : (a,b) relation to (b,a), can one show this by using similar elements, I assume that in this definition that a != b (means 'a' not equal to 'b') – Palu Oct 12 '18 at 04:56
  • So based on what you are saying one can show this by saying: (x,x) relation to (x,x). is this how to show symmetric? – Palu Oct 12 '18 at 04:58
  • Sorry, I can't make any sense of your latest sentence, especially the bit about the factorials. – Angina Seng Oct 12 '18 at 04:58
  • And hence for Transitive case of (a,b) to (b,c) is (a,c), Hence we would do this: (x,x) to (x,x) is (x,x). – Palu Oct 12 '18 at 04:58
  • 1
    If what i wrote is now correct, then it means that these work as "positional arguments". – Palu Oct 12 '18 at 05:00

0 Answers0