Representação de grupo
No campo matemático da teoria da representação, representações de grupos descrevem grupos abstratos em termos de transformações lineares de espaços vetoriais; em particular, eles podem ser usados para representar elementos de grupo como matrizes assim como a operação do grupo pode ser representada por multiplicação de matrizes. Representações de grupos são importantes porque elas permitem que muitos problemas teóricos de grupos serem reduzidos a problemas em álgebra linear, a qual é bem compreendida. Elas são importantes em física porque, por exemplo, elas descrevem como o grupo de simetria de um sistema físico afeta as soluções de equações descrevendo este sistema.
O termo representação de um grupo é também usado em sentido mais geral significando qualquer "descrição" de um grupo como um grupo de transformações de algum objeto matemático. Mais formalmente, uma "representação" significa um homomorfismo do grupo ao grupo de automorfismo de um objeto. Se o objeto é um espaço vetorial nós temos uma representação linear. Algumas pessoas usam realização para a noção geral e reservam o termo representação para o caso especial de representações lineares.
Exemplos |
Considere o número complexo u = e2πi / 3 que tem a propriedade de que u3 = 1. O grupo cíclico C3 = {1, u, u2} tem uma representação ρ em C2 dada por:
- ρ(1)=[1001]ρ(u)=[100u]ρ(u2)=[100u2].{displaystyle rho left(1right)={begin{bmatrix}1&0\0&1\end{bmatrix}}qquad rho left(uright)={begin{bmatrix}1&0\0&u\end{bmatrix}}qquad rho left(u^{2}right)={begin{bmatrix}1&0\0&u^{2}\end{bmatrix}}.}
Esta representação é fiel pois ρ é uma aplicação bijetiva.
Uma representação equivalente para C3 é
- ρ(1)=[1001]ρ(u)=[u001]ρ(u2)=[u2001].{displaystyle rho left(1right)={begin{bmatrix}1&0\0&1\end{bmatrix}}qquad rho left(uright)={begin{bmatrix}u&0\0&1\end{bmatrix}}qquad rho left(u^{2}right)={begin{bmatrix}u^{2}&0\0&1\end{bmatrix}}.}
O grupo C3 também pode ser representado fielmente em R2 por
- ρ(1)=[1001]ρ(u)=[a−bba]ρ(u2)=[ab−ba]{displaystyle rho left(1right)={begin{bmatrix}1&0\0&1\end{bmatrix}}qquad rho left(uright)={begin{bmatrix}a&-b\b&a\end{bmatrix}}qquad rho left(u^{2}right)={begin{bmatrix}a&b\-b&a\end{bmatrix}}}
em que a=ℜ(u)=−1/2{displaystyle a=Re (u)=-1/2}
Referências |
Fulton, William; Harris, Joe (1991), Representation theory. A first course, Graduate Texts in Mathematics, Readings in Mathematics, 129, New York: Springer-Verlag, MR1153249, ISBN 978-0-387-97527-6, ISBN 978-0-387-97495-8 . Introdução a teoria da representação com ênfase em grupos de Lie.
