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 leads us to note down in our psychological chart of the mass-man of today two fundamental traits: the free expansion of his vital desires, and, therefore, of his personality; and his radical ingratitude towards all that has made possible the ease of his existence. These traits together make up the well-known psychology of the spoilt child.”
—José Ortega Y Gasset (1883–1955)
“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)
“In the relations of a weak Government and a rebellious people there comes a time when every act of the authorities exasperates the masses, and every refusal to act excites their contempt.”
—John Reed (1887–1920)