Equivalence relation

From Knowino
Jump to: navigation, search

In mathematics, an equivalence relation is a (binary) relation between objects that formalises the intuitive notion that related objects have some specific property in common. Examples include equality between numbers or other quantities; geometrical relations such as parallel, congruence, similarity; abstract algebraic concepts such as isomorphism. The equivalence may be expressed by formulae, geometric concepts or algorithms, but in keeping with the modern definition of mathematics, it is most convenient to identify an equvialence relation with the sets of objects for which it holds true.

A relation \sim\, on a set X is an equivalence relation if it satisfies the following three properties

An equivalence class for \sim\, is the set of elements of X all related to some particular element

[x]_\sim = \{ y \in X : x \sim y \} . \,

The equivalence classes form a partition of the set X, that is, two classes [x] and [y] are either equal (have the same members), which is the case when x \sim y\,, or are disjoint (have no members in common), which is the case when x \not\sim y.

[edit] Examples

[edit] Quotient classes

It will be seen in the examples that a common way of defining an equivalence relation is to state that elements have some common property. We can formalise this by saying that if f is a function defined on the set X, we define the relation \stackrel{f}{\equiv} by

x_1 \stackrel{f}{\equiv} x_2 \Leftrightarrow f(x_1) = f(x_2) . \,

This is an equivalence relation, the kernel of f. Every equivalence relation can be defined in this way for a suitable function f.

Information.svg Some content on this page may previously have appeared on Citizendium.
Personal tools
Variants
Actions
Navigation
Community
Toolbox