Aplicação equivariante
Este artigo não cita fontes confiáveis. (Junho de 2011) |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Disambig_grey.svg/20px-Disambig_grey.svg.png)
Em matemática, uma aplicação invariante é uma função entre dois conjuntos que comuta com a ação de um grupo. Especificamente, seja G um grupo e sejam X e Y os G-conjuntos associados. Uma função f : X → Y é dita equivariante se
- f(g·x) = g·f(x)
para todo g ∈ G e todo x em X. Note que se uma ou ambas as ações forem ações à direita a condição que define a equivariância deve ser modificada adequadamente:
- f(x·g) = f(x)·g ; (direita-direita)
- f(x·g) = g−1·f(x) ; (direita-esquerda)
- f(g·x) = f(x)·g−1 ; (esquerda-esquerda)
Aplicações equivariantes são homomorfismos na categoria dos G-conjuntos (para um G fixado). Assim, elas também são conhecidas como G-aplicações ou G-homomorphismos. Os isomorfismos de G-conjuntos são simplesmente as aplicações equivariantes bijetoras.
A condição de equivariância também pode ser entendida como por meio do seguinte diagrama comutativo. Observe que denota a aplicação que recebe um elemento e retorna .
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/06/Equivariant_commutative_diagram.png/175px-Equivariant_commutative_diagram.png)