Grup de simetria

De Viquipèdia
Dreceres ràpides: navegació, cerca
Un tetràedre es pot col·locar en 12 posicions diferents aplicant-li una sola rotació. Aquestes s'il·lustren al damunt en el format d'un graf de dels cicles, amb rotacions de 180° entorn d'una aresta (fletxes blaves) i de 120° entorn d'un vèrtex (fletxes vermelles) que permuten el tetraèdre a través de les diverses posicions. Les 12 rotacions formen el grup (de simetria) de rotació de la figura.

El grup de simetria d'un objecte (imatge, senyal, etcètera) és el grup de totes les isometries sota les quals és invariant amb l'operació de composició de funcions. És un subgrup del grup d'isometries de l'espai en qüestió. Si no es diu el contrari, en l'article es considerarà els grups de simetria en la geometria euclidiana, però el concepte també es pot estudiar en contexts més amplis, vegeu més avall.

Els "objectes" poden ser figures geomètriques, imatges i patrons repetitius, com ara els dibuixos de paper d'empaperar. La definició es pot fer més precisa especificant què és el que s'entén per imatge o dibuix, per exemple, una funció de posició amb valors en un conjunt de colors. Per a la simetria d'objectes físics, també es pot voler tenir en compte la composició física. El grup d'isometries de l'espai provoquen una acció de grup sobre els objectes de l'espai.

El grup de simetria també s'anomena a vegades grup de simetria complet per emfatitzar que inclou les isometries que inverteixen orientació (com reflexions, reflexions amb lliscament i les rotacions impròpies) sota les quals la figura queda invariable. El subgrup les isometries que conserven l'orientació (és a dir translacions, rotacions, i composicions d'aquests) s'anomena el grup de simetria propi. El grup de simetria propi d'un objecte és igual al seu grup de simetria complet si i només si l'objecte és quiral (i per tant no hi ha cap isometria que inverteixi l'orientació sota la qual l'objecte sigui invariable).

Tot grup de simetria tal que els seus elements tenen un punt fix comú (lo qual es compleix per a tots els grups de simetria finits i també per als grups de simetria de figures afitades) es pot representar com a subgrup del grup ortogonal O(n) escollint l'origen de forma que sigui el punt fix. Llavors, el grup de simetria propi és un subgrup del grup ortogonal especial SO(n), i per això també s'anomena grup de rotació de la figura.

Els grups de simetria discrets són de tres tipus: (1) grups de punts de simetria finits, que inclouen només les rotacions, les reflexions, les inversions i les roto-inversions - són de fet només els subgrups finits de O(n), (2) grups reticulats infinits, que inclouen només les translacions, i (3) grups espacials infinits els elements dels quals combinen els dos tipus precedents, i també poden incloure transformacions extres. Hi ha també grups de simetria continus, que contenen rotacions d'angles arbitràriament petits o translacions de distàncies arbitràriament petites. El grup de totes les simetries d'una esfera O(3) és un exemple d'aquest tipus, i en general aquests grups de simetria continus s'estudien com grups de Lie. A una categorització dels subgrups del grup euclidià li correspon una categorització dels grups de simetria.

Es considera que dues figures geomètriques tenen el mateix tipus de simetria si els seus grups de simetria són subgrups conjugats del grup euclidià E(n) (el grup d'isometria de Rn), on dos subgrups H1, H2 d'un grup G són conjugats, si existeix gG tal que H1=g-1H2g. Per exemple:

  • Dues figures 3D que tinguin simetria especular però respecte de diferents plans especulars.
  • Dues figures 3D que tinguin simetria rotacional d'ordre 3 però respecte d'eixos de rotació diferents.
  • Patrons 2D amb simetria de translació, cada un en una direcció; els dos vectors translació tenen la mateixa longitud, però cada un una direcció diferent.

En estudiar els grups d'isometria, es pot restringir a aquells on per a tots els punts el conjunt d'imatges sota les isometries són tancades topològicament. Això exclou per exemple en 1 D el grup de translacions d'una distància igual a un nombre racional. Amb aquest grup de simetria és impossible dissenyar una "figura" que sigui homogènia amb un nivell de detall arbitràriament fi, sense que sigui realment homogènia.

Una dimensió[modifica | modifica el codi]

Els grups d'isometries en una dimensió per a les quals el conjunt de les imatges és tancat són:

  • el grup trivial C1
  • els grups de dos elements generats per reflexió d'un punt; són isomorfs amb C2
  • els grups discrets finits generats per una translació; són isomorfs amb Z
  • els grups discrets finits generats per una translació i una reflexió en un punt; són isomorfs amb el grups díedric generalitzat de Z, Dih(Z), notat també D (que és un producte semidirecte de Z i C2).
  • El grup generat per totes les translacions (isomorf amb R); aquest grup no pot ser el grup de simetria d'un patró repetitiu, ja que serà homogeni i per tant també admetrà les reflexions. En canvi un cos de vectors unidimensional uniforma té aquest grup de simetria.
  • El grup generat per totes les translacions i reflexions en punts; són isomorfes amb el grup díedric generalitzat de R, Dih(R).

Dues dimensions[modifica | modifica el codi]

Els grups de simetria de punts discrets en un espai bidimensional són els següents (tret d'equivalències per conjugació):

  • Els grups cíclics C1, C2, C3, C4,... on Cn està constituït per totes les rotacions entorn d'un punt fix un angle múltiple de 360°/n
  • Els grups dièdrics D1, D2, D3, D4,... on Dn (d'ordre 2n) està constituït per les rotacions entorn Cn i les reflexions de n eixos que passen pel punt fixat.

C1 és el grup trivial que conté només l'operació identitat, que apareix quant la figura no té cap simetria, per exemple la lletra F. C2 és el grup de simetria de la lletra Z, C3, el d'un Triskell, C4 el d'una esvàstica i C5, C6 etc. són els grups de simetria de les figures similars a l'esvàstica amb cinc, sis braços en comptes de quatre.

D1 és el grup amb dos elements que conté l'operació identitat i una única reflexió, el que passa quant la figura té només un únic eix de simetria bilateral, per exemple la lletra A. D2, que és isomorf al grup de Klein, és el grup de simetria d'un rectangle no equilàter, i D3, D4 etc. són els grups de simetria dels polígons regulars.

Els grups de simetria concrets en cada un d'aquests dos casos tenen dos graus de llibertat per definir la posició del centre de rotació, i en el cas del grups díedrics, un més per a les posicions dels miralls.

La resta de grups d'isometria en 2D amb un punt fix, on per a tots els punts, el conjunt de les imatges per les isometries és topològicament tancat, són:

  • El grup ortogonal especial SO(2) consisteix en totes les rotacions entorn d'un punt fix, per tant s'anomena el grup circular S1, el grup multiplicatiu dels nombres complexos de mòdul 1. És el grup de simetria "propi" d'una circumferència i l'equivalent continu de Cn. No hi ha cap figura que tingui un grup de simetria circular "complet", perè es pot aplicar a un camp vectorial (vegeu el cas de 3D més avall).
  • El grup ortogonal O(2) constituït per totes les rotacions al voltant d'un punt fixat i les reflexions respecte d'un eix qualsevol per passi a través d'aquest punt fixat. És el grup de simetria d'un cercle. També s'anomena Dih(S1) com és el grup diédral generalitzat de S1.

Per a les figures no limitades, els grups d'isometria suplementaris poden incloure les translacions; els que són tancats són:

  • els 7 grups de fris
  • els 17 grups de paper d'empaperar
  • per a cada grup de simetria en 1D, la combinació de totes les simetries en aquest grup en una direcció, i el grup de totes les translacions en la direcció perpendicular.

Tres dimensions[modifica | modifica el codi]

Tret de equivalències per conjugació, el conjunt dels grups de punts 3D està constituït per 7 sèries infinites i unes altres 7 de separades. En cristal·lografia, es restringeixen per que siguin compatibles amb les simetries discretes de translació d'una xarxa cristal·lina. Aquesta cristal·logràfica de les famílies infinites dels grups generals de punts dóna com a resultat 32 grups de punts cristal·logràfics (27 a partir de les 7 sèries infinites i 5 dels 7 altres). Els grups de simetria contínua amb un punt fix inclouen:

  • simetria cilíndrica sense cap pla de simetria perpendicular a l'eix, això sovint s'aplica per exemple al cas d'una ampolla.
  • la simetria cilíndrica amb una simetria plana perpendicular a l'eix
  • la simetria esfèrica

Per als objectes i els camps escalars, la simetria cilíndrica plans verticals de reflexió. Però aquest no és pas el cas per als camps de vectors: en coordenades cilíndriques respecte a un cert eix, \mathbf{A} = A_\rho\boldsymbol{\hat \rho} + A_\phi\boldsymbol{\hat \phi} + A_z\boldsymbol{\hat z} té una simetria cilíndrica que conserva l'eix si i només si A_\rho, A_\phi, i  A_z tenen aquesta simetria, és a dir si no depenen pas de φ. A més, existeix una simetria de reflexió si i només si A_\phi = 0.

Per a la simetria esfèrica no hi ha aquesta distinció implica sempre els plans de reflexió. Els grups de simetria continua sense un punt fix inclouen aquelles que tenen un eix helicoidal, com ara una hèlix infinita. Vegeu també subgrups del grup euclidià.

Grups de simetria en general[modifica | modifica el codi]

En contexts més amplis, un grup de simetria pot ser tota mena de grup de transformació, o agrup d'automorfismes. Una vegada es coneix quina mena de estructura matemàtica es té, cal ser capaç de determinar quines funcions conserven l'estructura. Inversament, precisant la simetria, es pot definir l'estructura (o almenys aclarir el que s'entén per un invariant) del llenguatge geomètric amb el qual es parla; és una manera de veure el programa d'Erlangen.

Per exemple, els grups d'automorfismes de certs models de geometries finites no són "grups de simetria" en el sentit usual, encara que conservin la simetria. Ho fan conservant les famílies de punts més que no pas els punts o els "objectes" mateixos.[1]

Com abans, el grup d'automorfismes de l'espai indueix una Acció de grup sobre els objectes que conté.

Per a una figura geomètrica donada en un espai geomètric donat, es planteja la relació d'equivalència següent: dos automorfismes de l'espai són equivalents si i només si les dues imatges de la figura són les mateixes (aquí "al mateix" no vol dir quelcom semblan com per exemple "el mateix tret d'una rotació i una translació", sinó que significa "exactament el mateix"). Llavors, la classe d'equivalència de la identitat és el grup de simetria de la figura i cada classe d'equivalència correspon a una versió isomorfa de la figura.

Existeix una bijecció entre cada parell de classes d'equivalència: l'invers d'un representant de la primera classe d'equivalència compost amb un representant de la segona.

En el cas d'un grup d'automorfismes finit de tot l'espai, el seu ordre és l'ordre del grup de simetria de la figura multiplicat pel nombre de versions isomorfes de la figura.

Dans le cas d'un groupe d'automorphisme fini d'un espace entier, son ordre est l'ordre du groupe de symétrie de la figure multiplié par le nombre de versions isomorphes de la figure.

Exemples :

  • Isometries del pla euclidià, la figura és un rectangle: existeix una infinitat de classes d'equivalència; cadascuna conté 4 isometries.
  • L'espai és un cub amb una mètrica euclidiana; les figures inclouen els cubs de la mateixa mida que l'espai, amb colors o patrons repetitius sobre les cares; els automorfismes de l'espai són les 48 isometries; la figura és un cub una cara del qual té un color diferent; la figura té un grup de simetria de 8 isometries, existeixen 6 classes d'equivalència de 8 isometries, per a 6 versions isomorfes de la figura. Compareu el Teorema de Lagrange i la seva demostració.

Notes[modifica | modifica el codi]

  1. [enllaç sense format] http://finitegeometry.org/sc/gen/patt.html

Vegeu també[modifica | modifica el codi]

Enllaços externs[modifica | modifica el codi]

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Grup de simetria Modifica l'enllaç a Wikidata