Бинарное отношение называется отношением эквивалентности если оно рефлксивно симметрично транзитивно. Если R – отношение эквивалентности то вместо aRb пишут a~Rb (а эквивалентно b относительно R). Если на А задано отношение эквивалентности R, то элементы множ А можно разбить на попарно не пересекающиеся классы эквивалентных друг другу относительно R элементов. Эти классы называются классами эквивалентности а произвольный элемент называется его представителем. Если а – какой либо представитель некоторого класса эквивалентности то класс обозначают [a]R. Множ всех классов эквивалентности множества А относительно R называется фактор-множестом множества А относительно R и обозначается A/R. Пересечение отношений эквивалентности заданных на множестве А также является отношением эквивалентности на А.
Опубликовал Kest
January 26 2011 21:22:01 ·
0 Комментариев ·
3880 Прочтений ·
Комментарии
Нет комментариев.
Добавить комментарий
Пожалуйста залогиньтесь для добавления комментария.
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
