В математике , когда элементы некоторого множества имеют понятие эквивалентности (формализованное как отношение эквивалентности ), то можно естественным образом разбить множество на классы эквивалентности . Эти классы эквивалентности построены таким образом, что элементы и принадлежат одному и тому же классу эквивалентности тогда и только тогда, когда они эквивалентны.
Формально, если задано множество и отношение эквивалентности на классе эквивалентности элемента в обозначается или, что то же самое, подчеркивается его отношение эквивалентности. Определение отношений эквивалентности подразумевает, что классы эквивалентности образуют смысловое разделение , что каждый элемент множества принадлежит ровно одному классу эквивалентности. Множество классов эквивалентности иногда называют фактормножеством или факторпространством by и обозначают
Класс эквивалентности элемента определяется как [2]
Слово «класс» в термине «класс эквивалентности» обычно можно рассматривать как синоним слова « множество », хотя некоторые классы эквивалентности являются не множествами, а собственными классами . Например, «быть изоморфным » — это отношение эквивалентности на группах , а классы эквивалентности, называемые классами изоморфизма , не являются множествами.
Множество всех классов эквивалентности по отношению к отношению эквивалентности обозначается как и называется по модулю (иличастное множество по).[3]Сюръективноеотображениенакотороеотображает каждый элемент в его класс эквивалентности, называетсяканоническая сюръекция иликаноническая проекция.
Каждый элемент класса эквивалентности характеризует этот класс и может использоваться для его представления . Когда такой элемент выбран, его называют представителем класса. Выбор представителя в каждом классе определяет инъекцию из в X. Поскольку его композиция с канонической сюръекцией является тождеством такой инъекции , в терминологии теории категорий она называется сечением .
Иногда есть раздел, который более «естественен», чем другие. В этом случае представители называются каноническими представителями . Например, в модульной арифметике для каждого целого числа m, большего 1 , сравнение по модулю m является отношением эквивалентности целых чисел, для которого два целых числа a и b эквивалентны (в этом случае говорят, что они конгруэнтны ), если m делит это Обозначается Каждый класс содержит уникальное неотрицательное целое число меньше, чем и эти целые числа являются каноническими представителями.
Использование представителей для представления классов позволяет избежать явного рассмотрения классов как множеств. В этом случае каноническая сюръекция, сопоставляющая элемент с его классом, заменяется функцией, сопоставляющей элемент с представителем его класса. В предыдущем примере эта функция обозначена и производит остаток евклидова деления a на m .
Характеристики
Каждый элемент является членом класса эквивалентности. Каждые два класса эквивалентности либо равны , либо не пересекаются . Следовательно, множество всех классов эквивалентности образует разбиение : каждый элемент принадлежит одному и только одному классу эквивалентности. [4] И наоборот, каждое разбиение происходит из отношения эквивалентности таким образом, согласно которому тогда и только тогда и принадлежат одному и тому же множеству разбиения. [5]
Из свойств предыдущего раздела следует, что if — отношение эквивалентности на множестве и и — два элемента следующих утверждений эквивалентны:
Примеры
Пусть - множество всех прямоугольников на плоскости и отношение эквивалентности «имеет ту же площадь, что и», тогда для каждого положительного действительного числа будет класс эквивалентности всех прямоугольников, имеющих площадь [6]
Рассмотрим отношение эквивалентности по модулю 2 на множестве целых чисел , такое, что тогда и только тогда, когда их разность является четным числом . Это отношение порождает ровно два класса эквивалентности: один класс состоит из всех четных чисел, а другой класс состоит из всех нечетных чисел. Использование квадратных скобок вокруг одного члена класса для обозначения класса эквивалентности в этом отношении, и все они представляют один и тот же элемент из [2]
Пусть - множество упорядоченных пар целых чисел с ненулевыми и определите отношение эквивалентности на таком, что тогда и только тогда, когда класс эквивалентности пары можно отождествить с рациональным числом и это отношение эквивалентности и его классы эквивалентности можно использовать. дать формальное определение множества рациональных чисел. [7] Эту же конструкцию можно обобщить на поле частных любой области целостности .
Неориентированный граф может быть связан с любым симметричным отношением на множестве , где вершины являются элементами двух вершин и соединены тогда и только тогда, когда среди этих графов есть графы отношений эквивалентности. Эти графы, называемые кластерными графами , характеризуются как графы, компоненты связности которых являются кликами . [2]
Инварианты
Если является отношением эквивалентности и является свойством таких элементов, что всякий раз, когда истинно, если истинно, то свойство называется инвариантом или четко определенным относительно отношения
Частый частный случай имеет место, когда функция переходит в другое множество ; если всякий раз , то говорят, что оно инвариантно относительно класса или просто инвариантно относительно. Это происходит, например, в теории характеров конечных групп. Некоторые авторы используют «совместимый с » или просто «уважает » вместо «инвариантный относительно ».
Любая функция является инвариантом класса, согласно которому класс эквивалентности представляет собой множество всех элементов, в которых отображается то есть, класс является обратным образом этого отношения эквивалентности известен как ядро
В более общем смысле, функция может отображать эквивалентные аргументы (в соответствии с отношением эквивалентности на ) в эквивалентные значения (в соответствии с отношением эквивалентности на ). Такая функция является морфизмом множеств, наделенным отношением эквивалентности.
Факторпространство в топологии
В топологии факторпространство — это топологическое пространство , сформированное на множестве классов эквивалентности отношения эквивалентности в топологическом пространстве с использованием топологии исходного пространства для создания топологии на множестве классов эквивалентности.
В абстрактной алгебре отношения сравнения на базовом множестве алгебры позволяют алгебре индуцировать алгебру на классах эквивалентности отношения, называемую факторалгеброй . В линейной алгебре фактор-пространство — это векторное пространство, образованное фактор-группой , где фактор-гомоморфизм является линейным отображением . В более широком смысле, в абстрактной алгебре термин фактор-пространство может использоваться для фактор-модулей , фактор-колец , фактор-групп или любой фактор-алгебры. Однако использование этого термина для более общих случаев часто можно проводить по аналогии с орбитами действия группы.
Орбиты действия группы на множестве можно назвать фактор-пространством действия на множестве, особенно когда орбиты действия группы являются правыми смежными классами подгруппы группы, которые возникают в результате действия подгруппы на множестве. группа по левым сдвигам или, соответственно, левые смежные классы как орбиты при правом сдвиге.
Нормальная подгруппа топологической группы, действующая на группу действием трансляции, представляет собой факторпространство в смысле топологии, абстрактной алгебры и групповых действий одновременно.
Хотя этот термин можно использовать для любого набора классов эквивалентности в отношении эквивалентности, возможно, с дополнительной структурой, цель использования этого термина обычно состоит в том, чтобы сравнить этот тип отношения эквивалентности на множестве либо с отношением эквивалентности, которое индуцирует некоторую структуру на множестве. классов эквивалентности от однотипной структуры на орбитах действия группы или на них. Как смысл структуры, сохраняемой отношением эквивалентности, так и изучение инвариантов относительно групповых действий приводят к приведенному выше определению инвариантов отношений эквивалентности.