Equivalence Relation - Comparing Equivalence Relations

Comparing Equivalence Relations

If ~ and ≈ are two equivalence relations on the same set S, and a~b implies ab for all a,bS, then ≈ is said to be a coarser relation than ~, and ~ is a finer relation than ≈. Equivalently,

  • ~ is finer than ≈ if every equivalence class of ~ is a subset of an equivalence class of ≈, and thus every equivalence class of ≈ is a union of equivalence classes of ~.
  • ~ is finer than ≈ if the partition created by ~ is a refinement of the partition created by ≈.

The equality equivalence relation is the finest equivalence relation on any set, while the trivial relation that makes all pairs of elements related is the coarsest.

The relation "~ is finer than ≈" on the collection of all equivalence relations on a fixed set is itself a partial order relation.

Read more about this topic:  Equivalence Relation

Famous quotes containing the words comparing and/or relations:

    There is no comparing the brutality and cynicism of today’s pop culture with that of forty years ago: from High Noon to Robocop is a long descent.
    Charles Krauthammer (b. 1950)

    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)