Equivalence Principle: A hint on how to start

  • Thread starter dpa
  • Start date
  • #1
dpa
147
0
Equivalence Principle: A hint on how to start!!

Hi, I have no idea where to start.

1. Statement Problem
Let X be a non empty set with a equivalence relation ~ on it. Prove that for all x,y[itex]\in[/itex]X,
[x]=[y] if and only if x~y.


Homework Equations


For the Equivalence Relation to exist, it must be transitive, reflexive and symmetric.


The Attempt at a Solution


I have no idea where to start. May be,
~ exists means that, x=y. But is self evident.
How do I prove the "only If" part as well?

Thank You.
 

Answers and Replies

  • #2
6,054
391


What do the square brackets mean in [x] = [y]?
 
  • #3
dpa
147
0


Hi voko,

I did not understand that either. That is the exact statement in the Homework question. I assumed it simply meant x=y.
Can you help me if it is x=y?

Thank You.
 
  • #4
6,054
391


This cannot be proven for simple equality, because I can easily give you a counter-example.

Can the square brackets mean the "equivalence class" of x?
 
  • #5
dpa
147
0


Yes, that is it. Still, I have no idea how to prove equivalent classes as equal.
 
  • #6
dpa
147
0


I will try it now.
Thank You.
dpa
 
  • #7
6,054
391


Start by proving the "if" part. Use the definition of the equivalence class and the properties of equivalence.
 
  • #8
dpa
147
0


Here is my solution,

From the definition of equivalence class, we suppose any z such that,
[x]={z[itex]\in[/itex]Xlx~z} holds. - - - - - - - - - - - - - - - - -(i)

for every such z,
since,
x~y and x~z=z~x [property of symmetry]
we write from law of transitivity,
z~y exists.
Thus,
we can now define,
[y]={z[itex]\in[/itex]Xly~z}, which is true.
can also be written as
[y]={z[itex]\in[/itex]Xlx~z} - - - - - - - - - - - - - - - - - - - - - - - - -(ii)
Thus from i and ii, we can write that
[x]=[y]

Now we show that it holds true only when x~y by method of contradiction (how???).
Suppose there exists w such that x~w, but x~y is false,
but what next?

Do I say since x~y does not exist,
we cannot write,
[y]={z[itex]\in[/itex]Xly~z} exists for every
[x]={z[itex]\in[/itex]Xlx~z}
??
Any more hints?
 
  • #9
dpa
147
0


I got it. I have to prove if a=>b and then if b=>a.
Is first part correct then?
 
  • #10
6,054
391


The first part seems OK. The second part, prove by contradiction. Suppose there are x and y such that [x] = [y], but x not ~y.
 
  • #11
dpa
147
0


is it better now?

To Prove [x]=[y] iff x~y
Here, First we take x~y and prove [x]=[y]. Then we take x is not ~y but [x]=[y] and arrive at x~y.

Firstly,
For any element zEX and zE[x] we know there exists a relation z~x
Sincem z~x and x~y, we can write from law of transitivity,
z~y which implies zE[y].

Thus we can write from zE[x] and zE[y] that [x]=[y].

Next, we assume x is not ~y but [x]=[y] exists.
Here, [x]=[y] implies there exists an element z where zE[x] and z~x.
There also exists zE[y] for which z~y exists.
Thus from law of transitivity, and from z~y and z~x, we can write,
x~y.

Thus Prooved.
 
  • #12
6,054
391


In the second part of the proof, instead of saying "there also exists zE[y]" you should say "because [x] = [y], zE[y]".

Otherwise the proof is good.
 
  • #13
dpa
147
0


Someone said zE[x] and zE[y] cannot imply [x]=[y]. It is indeed true if equivalent relation does not exist.
What happens when the equivalence relation x~y does exist as in above example. So, is the first part of proof correct in the light of this comment?
I am totally new and just had one/two class on this topic.
Thank You.
 
  • #14
6,054
391


The first part of the proof is correct. You take ANY element from [x] and show that it also exists in [y]. You could equally take ANY element for [y] and likewise show it is in [x]. So each contains all the elements of the other.
 

Related Threads on Equivalence Principle: A hint on how to start

  • Last Post
Replies
5
Views
2K
Replies
1
Views
754
Replies
2
Views
795
  • Last Post
Replies
4
Views
852
Replies
7
Views
1K
  • Last Post
Replies
7
Views
743
  • Last Post
Replies
0
Views
863
Replies
4
Views
2K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
3
Views
1K
Top