Equivalence Relation - Fundamental Theorem of Equivalence Relations

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:

    Our species successfully raised children for tens of thousands of years before the first person wrote down the word “psychology.” The fundamental skills needed to be a parent are within us. All we’re really doing is fine-tuning a process that’s already remarkably successful.
    Lawrence Kutner (20th century)

    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 today’s world parents find themselves at the mercy of a society which imposes pressures and priorities that allow neither time nor place for meaningful activities and relations between children and adults, which downgrade the role of parents and the functions of parenthood, and which prevent the parent from doing things he wants to do as a guide, friend, and companion to his children.
    Urie Bronfenbrenner (b. 1917)