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:
“This declared indifference, but as I must think, covert real zeal for the spread of slavery, I can not but hate. I hate it because of the monstrous injustice of slavery itself. I hate it because it deprives our republican example of its just influence in the world ... and especially because it forces so many really good men amongst ourselves into an open war with the very fundamental principles of civil liberty.”
—Abraham Lincoln (1809–1865)
“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)