This preview shows page 1. Sign up to view the full content.
Unformatted text preview: X . The equivalence classes of are nonempty and have union equal to X , since for each x 2 X , x 2 x . Furthermore, the equivalence classes are mutually disjoint ; this means that any two distinct equivalence classes have empty intersection. So the collection of equivalence classes is a partition of the set X . Any equivalence relation on a set X gives rise to a partition of X by equivalence classes. On the other hand, given a partition P of X , we can dene an relation on X by x P y if, and only if, x and y are in the same subset of the partition. Lets check that this is an equivalence relation. Write the partition P as f X i W i 2 I g . We have X i ; for all i 2 I , X i \ X j D ; if i j , and [ i 2 I X i D X . Our denition of the relation is x P y if, and only if, there exists i 2 I such that both x and y are elements of X i ....
View
Full
Document
 Fall '08
 EVERAGE
 Algebra, Sets

Click to edit the document details