Размеўения и перестановки с повторениями и без повторений. Сочетания без повторений и их свойства

Пример 1.14. а. На множестве целых чисел определим отношение равенства по модулю , где . Положим , если и только если делится на .
Легко проверяется, что это отношение эквивалентности. Действительно, рефлексивность следует из того, что для любо и делится на ; симметричность — из того, что если делится на , то и делится на . Для доказательства транзитивности заметим, что если делится на и делится на , то и их сумма делится на . Другими словами, для любых целых из и следует , что доказывает транзитивность отношения .
Равенство чисел и по модулю означает, что при делении на эти числа дают одинаковые остатки. Действительно, для каждого имеем , где — остаток от деления на . Следовательно, , то есть . Таким образом, каждое число попадает в тот же класс эквивалентности по отношению , что и остаток от деления его на . Поскольку всего различных остатков может быть ровно , получаем ровно попарно различных классов эквивалентности по данному отношению: где класс состоит из всех целых чисел, дающих при делении на остаток .
Отметим, что мы установили взаимно однозначное соответствие между фактор-множеством и множеством , состоящим из чисел .
Второе множество дает нам как бы wнаглядный образ" построенного фактор-множества. Нельзя считать, что фактор-множество равно множеству . Нет, указанное фактор-множество состоит из элементов, каждый из которых есть не число, а множество всех целых чисел, при делении на дающих фиксированный остаток. Но каждому такому классу эквивалентности однозначно сопоставляется целое число от 0 до , и, наоборот, каждому целому числу от 0 до соответствует единственный класс эквивалентности по отношению . Заметим, что в математике часто используется прием сопоставления фактор-множеству такого находящегося с ним во взаимно однозначном соответствии множества, которое легко представить и описать.
б. На множестве действительных чисел зададим отношение , полагая, что числа и равны по модулю 1 тогда и только тогда, когда число является целым. Из определения следует, что каждое число по модулю 1 равно своей дробной части.