Mostrar código-fonte de Grupo de simetria

[[Ficheiro:Tetrahedral_group_2.svg|direita|miniaturadaimagem|408x408px| Um [[tetraedro]] é invariante sob 12 [[Rotação (matemática)|rotações]] distintas, excluídas as reflexões. Elas são ilustradas aqui no formato de grafo de ciclos, conjuntamente com as [[Rotação (matemática)|rotações]] de 180° (setas azuis) e 120° de vértice (setas avermelhadas) que [[Permutação|permutam]] o tetraedro através das posições. As 12 rotações formam o '''grupo (de simetrias) de rotação''' da figura.]]
Na [[teoria dos grupos]], o '''grupo de simetria''' de um objeto geométrico é o [[Grupo (matemática)|grupo]] de todas as [[Transformação geométrica|transformações]] sob as quais o objeto é [[invariante]], tendo como operação do grupo a  [[Composição de funções|composição]]. Tal transformação é um mapeamento invertível do [[espaço ambiente]] que leva o objeto em si mesmo e que preserva toda a estrutura relevante do objeto. Uma notação frequente para o grupo de simetrias de um objeto ''X'' é ''G'' = Sym(''X'').

Para um objeto em um [[Métrica (matemática)|espaço métrico]], suas simetrias formam um [[subgrupo]] do [[grupo de isometria]] do espaço ambiente. Este artigo considera principalmente grupos de [[simetria]] na [[geometria euclidiana]], mas o conceito também pode ser estudado para tipos mais gerais de estrutura geométrica.

== Introdução ==
Consideramos os "objetos" que possuem simetria como formas geométricas, imagens e padrões, tais como um [[padrão de papel de parede]]. Para a simetria de objetos físicos, pode-se também considerar sua composição física como parte do padrão. (Um padrão pode ser especificado formalmente como um [[campo escalar]], uma função da posição com valores em um conjunto de cores ou substâncias; como um [[campo vetorial]]; ou como uma função mais geral no objeto.) O grupo de isometrias de espaço induz uma [[Ação (matemática)|ação de grupo]] em seus objetos, e o grupo de simetria Sym(''X'') consiste naquelas isometrias que mapeiam ''X'' para si mesmo (da mesma forma que mapeiam qualquer outro padrão em si mesmo). Dizemos que ''X'' é ''invariante'' sob tal mapeamento, e o mapeamento é uma ''simetria'' de ''X.''

O que foi descrito acima é às vezes chamado de grupo de '''simetria completo''' de ''X'' para enfatizar que ele inclui isometrias que invertem a orientação (reflexões, [[Reflexão com deslizamento|reflexões de deslizamento]] e [[rotação imprópria|rotações impróprias]]), contanto que essas isometrias mapeiem este ''X'' particular para si mesmo. O subgrupo de simetrias que preservam a orientação (translações, rotações e composições delas) é chamado de '''grupo de simetria próprio'''. Um objeto é [[Quiralidade (matemática)|quiral]] quando não tem simetrias que invertem a orientação, de modo que seu grupo de simetria próprio é igual ao seu grupo de simetria completo.

Qualquer grupo de simetria cujos elementos têm um [[ponto fixo]] comum, o que é verdadeiro se o grupo for finito ou a figura for limitada, pode ser representado como um subgrupo do [[grupo ortogonal]] O(''n'') escolhendo a origem como um ponto fixo. O grupo de simetria próprio é então um subgrupo do grupo ortogonal especial SO(''n'') e é chamado de '''grupo de rotação''' da figura.

Em um '''[[grupo discreto|grupo de simetria discreto]]''', os pontos simétricos a um determinado ponto não se [[Ponto limite|acumulam]] em direção a um ponto limite. Em outras palavras, cada [[Ação (matemática)|órbita]] do grupo (as imagens de um determinado ponto sob todos os elementos do grupo) forma um [[Ponto isolado|conjunto discreto]]. Todos os grupos de simetria finitos são discretos.

Os grupos de simetria discretos são de três tipos: (1) '''[[Grupo pontual|grupos pontuais]]''' finitos, que incluem apenas rotações, reflexões, inversões e rotoinversões - isto é, os subgrupos finitos de O(''n''); (2) '''grupos de''' '''[[Rede diagonal|rede]]''' infinitos, que incluem apenas translações; e (3) '''[[Grupo de espaço|grupos de espaço]]''' infinitos contendo elementos de ambos os tipos anteriores, e talvez também transformações extras como [[deslocamento helicoidal|deslocamentos helicoidais]] e reflexões de deslizamento. Existem também grupos de simetria contínua (grupos de [[Grupo de Lie|Lie]]), que contêm rotações de ângulos arbitrariamente pequenos ou translações de distâncias arbitrariamente pequenas. Um exemplo é [[Grupo ortogonal|O(3)]], o grupo de simetria de uma esfera. Os grupos de simetria de objetos euclidianos podem ser completamente classificados como [[Grupo euclidiano|subgrupos do grupo euclidiano]] E(''n'') (o grupo de isometrias de '''R'''<sup>''n''</sup>).

Duas figuras geométricas têm o mesmo ''tipo de simetria'' quando seus grupos de simetria são subgrupos ''[[Classe de conjugação|conjugados]]'' do grupo euclidiano: isto é, quando os subgrupos ''H''<sub>1</sub>, ''H''<sub>2</sub> são relacionados por {{Nowrap|1=''H''<sub>1</sub> = ''g''<sup>−1</sup>''H''<sub>2</sub>''g''}} para algum ''g'' em E(''n'') Por exemplo:

* duas figuras 3D têm simetria de espelhamento, mas em relação a diferentes planos de espelhamento.
* duas figuras 3D têm [[Simetria de rotação|simetria rotacional]] de ordem 3, mas com relação a eixos diferentes.
* dois padrões 2D têm simetria translacional, cada um em uma direção; os dois vetores de translação têm o mesmo comprimento, mas uma direção diferente.

Nas seções a seguir, consideramos apenas grupos de isometria cujas [[Ação (matemática)|órbitas]] são [[Conjunto fechado|topologicamente fechadas]], incluindo todos os grupos de isometria discretos e contínuos. No entanto, isso exclui, por exemplo, o grupo 1D de translações por um [[número racional]]; tal figura não fechada não pode ser desenhada com precisão razoável devido aos seus detalhes arbitrariamente finos.

== Uma dimensão ==
Os grupos de isometria em uma dimensão são:

* o [[grupo cíclico]] trivial C<sub>1</sub>
* os grupos de dois elementos gerados por uma reflexão; eles são isomorfos a C<sub>2</sub>
* os grupos discretos infinitos gerados por uma translação; eles são isomorfos a '''Z''', o grupo aditivo dos inteiros
* os infinitos grupos discretos gerados por uma tradução e uma reflexão; eles são isomórficos com o [[Grupo diedral|grupo diédrico generalizado]] de '''Z''', Dih ( '''Z''' ), também denotado por D <sub>∞</sub> (que é um [[produto semidireto]] de '''Z''' e C <sub>2</sub> ).
* o grupo gerado por todas as traduções (isomórfico com o grupo aditivo dos números reais '''R''' ); este grupo não pode ser o grupo de simetria de uma figura euclidiana, mesmo dotada de um padrão: tal padrão seria homogêneo, portanto, também poderia ser refletido. No entanto, um campo vetorial unidimensional constante tem esse grupo de simetria.
* o grupo gerado por todas as traduções e reflexões em pontos; eles são isomórficos com o grupo diédrico generalizado Dih ( '''R''' ).

Ver também [[grupos de simetria em uma dimensão]].

== Duas dimensões ==
[[Salvo (matemática)|A menos de]] conjugação, os grupos de pontos discretos no [[espaço bidimensional]] são as seguintes classes:

* grupos cíclicos C<sub>1</sub>, C<sub>2</sub>, C<sub>3</sub>, C<sub>4</sub>, ... em que C<sub>''n''</sub> consiste em todas as rotações em torno de um ponto fixo por múltiplos do ângulo 360°/''n''
* [[Grupo diedral|grupos diedrais]] D<sub>1</sub>, D<sub>2</sub>, D<sub>3</sub>, D<sub>4</sub>, ..., em que D<sub>''n''</sub> (de ordem 2''n'') consiste nas rotações em C<sub>''n''</sub> juntamente com as reflexões em ''n'' eixos que passam pelo ponto fixo.

C<sub>1</sub> é o [[grupo trivial]] que contém apenas a operação identidade, que ocorre quando a figura é assimétrica como, por exemplo, a letra "F". C<sub>2</sub> é o grupo de simetria da letra "Z", C<sub>3</sub> de um [[tríscele]], C<sub>4</sub> de uma [[suástica]] e C<sub>5</sub>, C<sub>6</sub>, etc. são os grupos de simetria de figuras semelhantes a uma suástica com cinco, seis, etc braços em vez de quatro.

D<sub>1</sub> é o grupo de 2 elementos que contém a operação identidade e uma única reflexão, que ocorre quando a figura tem apenas um único eixo de [[Simetria de reflexão|simetria bilateral]] como, por exemplo, a letra “A”.

D<sub>2</sub>, que é isomorfo ao [[Klein 4|grupo Klein 4]], é o grupo de simetria de um retângulo não equilátero. Esta figura tem quatro operações de simetria: a operação identidade, um eixo duplo de rotação e dois planos de espelhamento não equivalentes.

D<sub>3</sub>, D<sub>4</sub> etc. são os grupos de simetria dos [[Polígono regular|polígonos regulares]].

Dentro de cada um destes tipos de simetria, existem dois [[Graus de liberdade (física)|graus de liberdade]] para o centro de rotação e, no caso dos grupos diedrais, mais um para as posições dos espelhos.

Os demais grupos de isometria em duas dimensões com um ponto fixo são:

* o grupo ortogonal especial SO(2) consistindo em todas as rotações em torno de um ponto fixo; também é chamado de [[grupo do círculo]] S<sup>1</sup>, o grupo multiplicativo dos [[Número complexo|números complexos]] de [[Função modular|valor absoluto]] 1. É o ''grupo de simetria próprio'' de um círculo e o equivalente contínuo de C<sub>''n''</sub>. Não existe uma figura geométrica que tenha como ''grupo de simetria total o'' grupo do círculo, mas para um campo vetorial isso pode se aplicar (veja o caso tridimensional abaixo).
* o grupo ortogonal O(2) consistindo em todas as rotações em torno de um ponto fixo e reflexos em qualquer eixo através desse ponto fixo. Este é o grupo de simetria de um círculo. É também chamado de Dih(S<sup>1</sup>), pois é o grupo diédrico generalizado de S<sup>1</sup>.

Figuras não limitadas podem ter grupos de isometria que incluem translações; estes são:

* os 7 [[grupos de friso|grupos de frisos]]
* os 17 [[grupo de papel de parede|grupos de papéis de parede]]
* para cada um dos grupos de simetria em uma dimensão, a combinação de todas as simetrias nesse grupo em uma direção e o grupo de todas as translações na direção perpendicular
* idem incluindo também reflexos em uma reta na primeira direção.

== Três dimensões ==
[[Salvo (matemática)|A menos de]] conjugação, o conjunto de grupos de pontos tridimensionais consiste em 7 séries infinitas e 7 outros grupos individuais. Na [[cristalografia]], são considerados apenas aqueles grupos de pontos que preservam alguma estrutura de reticulado (então suas rotações podem ter apenas ordem 1, 2, 3, 4 ou 6). Essa [[Teorema de restrição cristalográfica|restrição cristalográfica]] das famílias infinitas de grupos de pontos gerais resulta em 32 [[grupo pontual cristalográfico|grupos de pontos cristalográficos]] (27 grupos individuais das 7 séries e 5 dos 7 outros individuais).

Os grupos de simetria contínua com um ponto fixo incluem aqueles de:

* simetria cilíndrica sem um plano de simetria perpendicular ao eixo, isto se aplica, por exemplo, a uma [[Garrafa|garrafa de cerveja]] ou um cone.
* simetria cilíndrica com um plano de simetria perpendicular ao eixo
* simetria esférica

Para objetos com padrões de [[campo escalar]], a simetria cilíndrica implica também simetria de reflexão vertical. No entanto, isso não é verdade para padrões de [[campo vetorial]]: por exemplo, em [[coordenadas cilíndricas]] em relação a algum eixo, o campo vetorial <math>\mathbf{A} = A_\rho\boldsymbol{\hat \rho} + A_\phi\boldsymbol{\hat \phi} + A_z\boldsymbol{\hat z}</math> tem simetria cilíndrica em relação ao eixo sempre que <math>A_\rho, A_\phi,</math> e <math> A_z</math> tem essa simetria (sem dependência de <math>\phi</math>); e tem simetria reflexiva apenas quando <math>A_\phi = 0</math> .

Para a simetria esférica, não existe essa distinção: qualquer objeto com padrão tem planos de simetria de reflexão.

Os grupos de simetria contínua sem um ponto fixo incluem aqueles com um [[eixo de parafuso]], como uma [[Hélice (geometria)|hélice]] infinita. Ver também [[Grupo euclidiano|subgrupos do grupo Euclidiano]] .

== Grupos de simetria em geral ==
{{VT|Automorfismo|Grupo de automorfismos}}
 
Em contextos mais amplos, um '''grupo de simetria''' pode ser qualquer tipo de '''grupo de transformações''' ou grupo de [[automorfismo]]s. Cada tipo de [[estrutura matemática]] tem [[Função bijectiva|aplicações invertíveis]] que preservam a estrutura. Por outro lado, especificar o grupo de simetria pode definir a estrutura, ou pelo menos esclarecer o significado de congruência ou invariância geométrica; esta é uma forma de encarar o [[programa de Erlangen]].

Por exemplo, objetos em uma [[geometria não euclidiana]] hiperbólica têm [[Grupo fuchsiano|grupos de simetria fuchsianos]], que são os subgrupos discretos do grupo de isometria do plano hiperbólico, preservando a distância hiperbólica em vez da euclidiana (alguns são retratados em desenhos de [[Maurits Cornelis Escher|Escher]]). Da mesma forma, grupos de automorfismo de [[Geometria finita|geometrias finitas]] preservam famílias de conjuntos de pontos (subespaços discretos) em vez de subespaços, distâncias ou produtos internos euclidianos. Assim como para as figuras euclidianas, os objetos em qualquer espaço geométrico têm grupos de simetria que são subgrupos das simetrias do espaço ambiente.

Outro exemplo de grupo de simetria é o de um [[Grafo|grafo combinatório]]: uma simetria de um grafo é uma permutação dos vértices que leva arestas a arestas. Qualquer [[grupo finitamente apresentado]] é o grupo de simetria de seu [[grafo de Cayley]]; o [[grupo livre]] é o grupo de simetria de um [[Árvore (grafo)|grafo de árvore]] infinito.

== Estrutura de grupo em termos de simetrias ==
O [[teorema de Cayley]] afirma que qualquer grupo abstrato é um subgrupo das permutações de algum conjunto ''X'' e, portanto, pode ser considerado como o grupo de simetria de ''X'' com alguma estrutura extra. Além disso, muitas características abstratas do grupo (definidas puramente em termos da operação do grupo) podem ser interpretadas em termos de simetrias.

Por exemplo, seja ''G'' = Sym(''X'') o grupo de simetria finita de uma figura ''X'' em um [[espaço euclidiano]], e seja ''H'' &#x2282; ''G'' um subgrupo. Então ''H'' pode ser interpretado como o grupo de simetria de ''X''<sup>+</sup>, uma versão "decorada" de ''X.'' Essa decoração pode ser construída da seguinte forma. Adicione alguns padrões como setas ou cores a ''X'' para quebrar toda a simetria, obtendo uma figura ''X''<sup>#</sup> com Sym(''X''<sup>#</sup>) = {1}, o subgrupo trivial; isto é, ''gX''<sup>#</sup> &#x2260; ''X''<sup>#</sup> para todos os ''g'' &#x2208; ''G'' não triviais. Agora temos:

: <math>
X^+ \ = \ \bigcup_{h\in H} hX^{\#} \quad\text{satisfies}\quad
H = \mathrm{Sym}(X^+).
</math>

Os [[Subgrupo normal|subgrupos normais]] também podem ser caracterizados nesta estrutura. O grupo de simetria da translação ''gX''<sup>+</sup> é o subgrupo conjugado ''gHg''<sup>&#x2212;1</sup>. Assim, ''H'' é normal sempre que:

: <math>
\mathrm{Sym}(gX^+) = \mathrm{Sym}(X^+) \ \ \text{for all} \ g\in G;
</math>

isto é, sempre que a decoração de ''X''<sup>+</sup> pode ser desenhada em qualquer orientação, com respeito a qualquer lado ou característica de ''X'', e ainda produzir o mesmo grupo de simetria ''gHg''<sup>&#x2212;1</sup> = ''H.''

Como exemplo, considere o grupo diedral ''G'' = ''D''<sub>3</sub> = Sym(''X''), em que ''X'' é um [[triângulo equilátero]]. Podemos decorar isso com uma flecha em uma das pontas, obtendo uma figura assimétrica ''X''<sup>#</sup>. Supondo que &#x3C4; &#x2208; ''G'' seja o reflexo da aresta com seta, a figura composta ''X''<sup>+</sup> = ''X''<sup>#</sup> &#x222A; &#x3C4;''X''<sup>#</sup> tem uma seta bidirecional nessa aresta e seu grupo de simetria é ''H'' = {1, &#x3C4;}. Este subgrupo não é normal, pois ''gX''<sup>+</sup> pode ter a seta dupla em uma borda diferente, dando um grupo de simetria de reflexão diferente.

No entanto, sendo H = {1, &#x3C1;, &#x3C1;<sup>2</sup> } &#x2282; ''D''<sub>3</sub> o subgrupo cíclico gerado por uma rotação, a figura decorada ''X''<sup>+</sup> consiste em um ciclo de 3 flechas com orientação consistente. Então ''H'' é normal, visto que desenhar tal ciclo com qualquer orientação produz o mesmo grupo de simetria ''H.''

== Ver também ==

* [[Sistema cristalino]]
* [[Isometria plana euclidiana]]
* [[Pontos fixos de grupos de isometria no espaço euclidiano]]
* [[Simetria molecular]]
* [[Grupo de permutação]]
* [[Grupo simétrico]]
* [[Simetria (mecânica quântica)]]

== Leitura complementar ==

* {{Citar livro|url=https://archive.org/details/spacegroupsforso0000burn|título=Space Groups for Scientists and Engineers|ultimo=Burns|primeiro=G.|ultimo2=Glazer|primeiro2=A. M.|editora=Academic Press, Inc|ano=1990|localização=Boston|isbn=0-12-145761-3|edição=2nd}}
* {{Citar livro|título=Crystal Structure Determination (Oxford Chemistry Primer)|ultimo=Clegg|primeiro=W|editora=[[Oxford University Press]]|ano=1998|localização=Oxford|isbn=0-19-855901-1}}
* {{Citar livro|título=Crystal Structures; I. Patterns and Symmetry|ultimo=O'Keeffe|primeiro=M.|ultimo2=Hyde|primeiro2=B. G.|editora=Mineralogical Society of America, Monograph Series|ano=1996|localização=Washington, DC|isbn=0-939950-40-5}}
* {{Citar livro|url=http://www.ima.umn.edu/~miller/symmetrygroups.html|título=Symmetry Groups and Their Applications|ultimo=Miller|primeiro=Willard Jr.|editora=Academic Press|ano=1972|localização=New York|oclc=589081|acessodata=2009-09-28|arquivourl=https://web.archive.org/web/20100217091244/http://www.ima.umn.edu/~miller/symmetrygroups.html|arquivodata=2010-02-17}}

== Ligações externas ==

* {{MathWorld|urlname=SymmetryGroup|title=Symmetry Group}}
* {{MathWorld|urlname=TetrahedralGroup|title=Tetrahedral Group}}
* [http://newton.ex.ac.uk/research/qsystems/people/goss/symmetry/Solids.html Visão geral dos 32 grupos de pontos cristalográficos] - forma as primeiras partes (exceto por pular ''n'' = 5) das 7 séries infinitas e 5 dos 7 grupos separados de pontos 3D

[[Categoria:Teoria dos grupos]]
[[Categoria:Simetria]]
[[Categoria:Geometria]]