Fundamental Theorem of Equivalence Relations
A key result links equivalence relations and partitions:
- An equivalence relation ~ on a set X partitions X.
- Conversely, corresponding to any partition of X, there exists an equivalence relation ~ on X.
In both cases, the cells of the partition of X are the equivalence classes of X by ~. Since each element of X belongs to a unique cell of any partition of X, and since each cell of the partition is identical to an equivalence class of X by ~, each element of X belongs to a unique equivalence class of X by ~. Thus there is a natural bijection from the set of all possible equivalence relations on X and the set of all partitions of X.
Read more about this topic: Equivalence Relation
Famous quotes containing the words fundamental, theorem and/or relations:
“No democracy can long survive which does not accept as fundamental to its very existence the recognition of the rights of minorities.”
—Franklin D. Roosevelt (1882–1945)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)
“I only desire sincere relations with the worthiest of my acquaintance, that they may give me an opportunity once in a year to speak the truth.”
—Henry David Thoreau (1817–1862)