Beruflich Dokumente
Kultur Dokumente
Equivalence relations
Definition:
A relation R is an equivalence relation if and only if it is reflexive,
symmetric and transitive.
Examples:
Let m and n be integers and let d be a positive integer. The notation
m n (mod d)
is read "m is congruent to n modulo d".
The meaning is: the integer division of d into m gives the same
remainder
as the integer division of d into n.
Consider the relation R = {(x,y)| x mod 3 = y mod 3}
For example, 4 mod 3 = 1, 7 mod 3 = 1, hence hence (4,7) R.
The relation is
reflexive: x mod 3 = x mod 3
symmetric: if x mod 3 = y mod 3, then y mod 3 = x mod 3
transitive: if x mod 3 = y mod 3, and y mod 3 = z mod 3, then x
mod 3 = z mod 3
Consider the sets [x]= {y | yRx}, where x is an integer, and R is the
relation above.
[0] = {0,3,6,9,12,.}
[1] = {1,4,7,10,13,.}
[2] = {2,5,8,11,14,}
From the definition of [x] it follows that
[0] = [3] = [6]
[1] = [4] =
[2] = [5] =
Thus the relation R produces three different sets [0], [1] and [2].
4. Consider the set of all people and the relation R having same
first name.
R is a relation of equivalence.
5. Consider the set of all English words and the relation
R = {(a,b)| a and b have same number of letters. R is a relation
of equivalence.
Partial and total orders
6. Consider the set W of all English words and the relation R =
{(a,b)| the first letter in b is alphabetically equal or greater than
the first letter in a}.
R is a total order on W:
1. Reflexivity: obviously aRa is true for all words.
2. Anti-symmetry: if aRb , a b, then (b,a) R
3. Transitivity: if aRb and bRc, then aRc.
R is a total order because any two words are comparable.
2. Consider the power set of a set A = {a, b, c} and the relation R
defined on the power set of A. R = {(Ai,Aj)| Ai. Aj}. R is a
partial order. It is not a total order.