logo
АТЧ_Моисеев_С

§ 4. Отношения эквивалентности. Отношения порядка

Отношения эквивалентности. Разбиения. Класс эквивалентности, порождённый элементом а. Ка или .

Теорема об эквивалентности.

1°. Всякое отношение эквивалентности на множестве А порождает разбиение этого множества классами эквивалентности.

2°. Всякое разбиение {Ai} множества А порождает отношение эквивалентности на этом множестве: отношение r = {(x, y)|x, yÎ Ai для некоторого Ai из разбиения} является отношением эквивалентности, причём классы эквивалентности по r совпадают с подмножествами Ai разбиения.

Граф отношения эквивалентности. Фактор-множество А/r.

Отношения порядка. Отношения строгого порядка. Отношения нестрогого порядка. Отношения линейного (строгого или нестрогого) порядка. Упорядоченные множества. Важнейшие примеры упорядоченных множеств: числовые множества, булеан с отношением включения, множество натуральных чисел с отношением делимости.

Наибольший и наименьший элементы. Максимальный и минимальный элементы. Верхняя и нижняя границы подмножества, верхняя и нижняя грани (sup и inf) подмножества.