Пример 1.3.5 . Продолжим пример 1.3.4.
1) Классы эквивалентности по отношению равенства на множестве
вещественных чисел состоят из единственного элемента: [x] = x.
2) Класс эквивалентности по отношению подобия треугольников
состоит из всех треугольников, подобных порождающему класс.
3) Класс эквивалентности для отношения сравнимости по модулю
n на множестве целых чисел Z, порожденный элементом a, имеет
вид {a + kn | k ∈ Z}. Очевидно, что числа 0, 1, 2, ..., n − 1
порождают различные классы. С другой стороны, для любого числа
t ∈ Z оно представимо в виде t = a + kn, где k ∈ Z, а a ∈
{0, 1, ..., n−1}. Значит, для любого целого числа порожденный им класс
эквивалентности совпадает с одним из указанных. Таким образом,
отношение сравнимости по модулю n порождает n различных классов
эквивалентности: [0], [1], ..., [n − 1].
Утверждение 1.3.6 . Пусть ρ — отношение эквивалентности на
множестве X. Тогда 1) для любого x ∈ X верно, что x ∈ [x];
2) для любых x, y ∈ X, если xρy, то [x] = [y] (класс эквивалентности
порождается любым своим элементом).
Доказательство. Доказательство пункта 1) следует из рефлексивности
отношения ρ.
Докажем 2). Пусть yρz. Тогда в силу транзитивности отношения ρ
имеем xρz и z ∈ [x]. Следовательно [y] ⊆ [x]. В силу симметричности
отношения ρ получим [x] ⊆ [y], что и требовалось доказать.
¤
Определение 1.3.8 . Разбиением множества A называется
совокупность его попарно непересекающихся непустых подмножеств
A
i
таких, что каждый элемент x ∈ A принадлежит одному из этих
подмножеств:
{A
1
∪ A
2
∪ ... ∪ A
k
}, A
i
6= ∅, i = 1, k,
A
i
∩ A
j
= ∅, i, j = 1, k, i 6= j,
A = A
1
∪ A
2
∪ ... ∪ A
k
.
28