В математике эквивариантность — это форма симметрии для функций из одного пространства с симметрией в другое (например, симметричные пространства ). Функция называется эквивариантным отображением , когда на ее область определения и кодомен действует одна и та же группа симметрии , и когда функция коммутирует с действием группы. То есть, применение преобразования симметрии и последующее вычисление функции дает тот же результат, что и вычисление функции и последующее применение преобразования.
Эквивариантные отображения обобщают концепцию инвариантов , функций, значение которых не изменяется при преобразовании симметрии их аргумента. Значение эквивариантного отображения часто (неточно) называют инвариантом.
В статистическом выводе эквивариантность при статистических преобразованиях данных является важным свойством различных методов оценки; см. подробности в разделе инвариантная оценка . В чистой математике эквивариантность является центральным объектом изучения в эквивариантной топологии и ее подразделах эквивариантные когомологии и эквивариантная стабильная гомотопическая теория .
В геометрии треугольников площадь и периметр треугольника являются инвариантами относительно евклидовых преобразований : перенос, поворот или отражение треугольника не изменяют его площадь или периметр. Однако центры треугольников , такие как центроид , центр описанной окружности , инцентр и ортоцентр, не являются инвариантами, поскольку перемещение треугольника также приведет к перемещению его центров. Вместо этого эти центры являются эквивариантными: применение любой евклидовой конгруэнции (комбинации переноса и поворота) к треугольнику, а затем построение его центра, дает ту же точку, что и построение центра, а затем применение той же конгруэнции к центру. В более общем смысле, все центры треугольников также эквивариантны относительно преобразований подобия (комбинации переноса, поворота, отражения и масштабирования), [1] а центроид является эквивариантным относительно аффинных преобразований . [2]
Одна и та же функция может быть инвариантной для одной группы симметрий и эквивариантной для другой группы симметрий. Например, при преобразованиях подобия вместо конгруэнтности площадь и периметр больше не инвариантны: масштабирование треугольника также изменяет его площадь и периметр. Однако эти изменения происходят предсказуемым образом: если треугольник масштабируется в s раз , периметр также масштабируется в s , а площадь масштабируется в s 2 . Таким образом, функция, отображающая каждый треугольник в его площадь или периметр, может рассматриваться как эквивариантная для мультипликативного группового действия масштабирующих преобразований на положительных действительных числах.
Другой класс простых примеров исходит из статистической оценки . Среднее значение выборки (набора действительных чисел) обычно используется в качестве центральной тенденции выборки. Оно эквивариантно относительно линейных преобразований действительных чисел, поэтому, например, на него не влияет выбор единиц, используемых для представления чисел. Напротив, среднее значение не эквивариантно относительно нелинейных преобразований, таких как экспоненциальные.
Медиана выборки является эквивариантной для гораздо большей группы преобразований, (строго) монотонных функций действительных чисел. Этот анализ показывает, что медиана более устойчива к определенным видам изменений в наборе данных, и что (в отличие от среднего) она имеет смысл для порядковых данных . [3]
Для формализации этого стиля анализа были использованы концепции инвариантной оценки и эквивариантной оценки.
В теории представлений конечных групп векторное пространство, снабженное группой, которая действует линейными преобразованиями пространства, называется линейным представлением группы. Линейное отображение , которое коммутирует с действием, называется интертвинером . То есть интертвинер — это просто эквивариантное линейное отображение между двумя представлениями. С другой стороны, интертвинер для представлений группы G над полем K — это то же самое, что и гомоморфизм модулей K [ G ] - модулей , где K [ G ] — групповое кольцо группы G . [4]
При некоторых условиях, если X и Y являются неприводимыми представлениями , то переплетчик (отличный от нулевого отображения ) существует только в том случае, если два представления эквивалентны (то есть изоморфны как модули ). Тогда этот переплетчик уникален с точностью до мультипликативного множителя (ненулевого скаляра из K ). Эти свойства выполняются, когда образ K [ G ] является простой алгеброй с центром K (по так называемой лемме Шура : см. простой модуль ). Как следствие, в важных случаях построения переплетчика достаточно, чтобы показать, что представления фактически одинаковы. [5]
Эквивариантность можно формализовать с помощью концепции G -множества для группы G. Это математический объект, состоящий из математического множества S и группового действия (слева) G на S. Если X и Y оба являются G -множествами для одной и той же группы G , то функция f : X → Y называется эквивариантной, если
для всех g ∈ G и всех x в X. [6 ]
Если одно или оба действия являются правильными, условие эквивариантности может быть соответствующим образом изменено:
Эквивариантные отображения являются гомоморфизмами в категории G -множеств (для фиксированного G ). [7] Поэтому они также известны как G -морфизмы , [7] G -отображения , [8] или G -гомоморфизмы . [9] Изоморфизмы G -множеств являются просто биективными эквивариантными отображениями . [7]
Условие эквивариантности можно также понимать как следующую коммутативную диаграмму . Обратите внимание, что обозначает отображение, которое берет элемент и возвращает .
Эквивариантные отображения могут быть обобщены на произвольные категории простым способом. Каждую группу G можно рассматривать как категорию с одним объектом ( морфизмы в этой категории являются просто элементами G ). Если задана произвольная категория C , представление G в категории C является функтором из G в C. Такой функтор выбирает объект C и подгруппу автоморфизмов этого объекта . Например, G - множество эквивалентно функтору из G в категорию множеств Set , а линейное представление эквивалентно функтору в категорию векторных пространств над полем Vect K.
Если даны два представления, ρ и σ, группы G в C , то эквивариантное отображение между этими представлениями — это просто естественное преобразование из ρ в σ. Используя естественные преобразования в качестве морфизмов, можно сформировать категорию всех представлений группы G в C . Это просто категория функторов C G .
В качестве другого примера возьмем C = Top , категорию топологических пространств . Представление G в Top — это топологическое пространство, на котором G действует непрерывно . Тогда эквивариантное отображение — это непрерывное отображение f : X → Y между представлениями, которое коммутирует с действием G .
