I am reviewing the foundation course I took in year 1 and I found out that I still don't fully understand it.
I understand foundamental theorem of equivalence relations, i.e if there is an equivalence relation on a set S, then the set {Ex} of all equivalence classes with respect to the equivalence classes is a partition of set S.
Basically, we can show that (i) if x is related to y, then {Ex}={Can by using the symmetry and transitivity of equivalence relations. We can also show that (ii) if {Ex} and {Ey} have element other than the empty set in common, then {Ex}={Ey} by using the symmetry, the transitivity and (i). Hence, we can show that each of element x of set S belongs to one equivalence class. If two equivalence classes have the element x other than the empty set in common, they are the same. Therefore, each element x of set S belongs to one and only one equivalence class which means the set of all equivalence classes is a partition of set S.
The part that I don't understand is when I start with partition of a set S. We can define a relation on A set S that "x~y" means "x and y belong to a subset of set S". The reflexivity is trivial. The symmetry is also consistent since "x and y belong to a subset of set S" means exactly the same as "y and x...". The transitivity is also true here because partition decides x,y,z belong to one and the only subset of set S if x~y, y~z. Equivalence classes are subsets of set S and each element x of set S belongs to one and only one equivalence class which is also a unique subset of set S because of (ii).
I have skipped quite a few details in the proof of the theorem I know.
As for the second proof, I feel like this is the best I can do but I am not certain about the last part of proof I have written. Is there anything else that I can add into my proof to make it flawless?
Thank you so much!
Regards,