Grupos de Simetrías. Mosaicos (Tema 2)

2
Grupos de simetras. Mosaicos

Estas notas deben entenderse como un guin de lo que se expondr en el aula. En ningn caso
pretenden sustituir ni la asistencia a clase ni las necesarias consultas bibliogrficas. El contenido
de este captulo puede seguirse a travs de [2].
El objetivo de este captulo es estudiar y clasificar todas las posibles formas de cubrir el plano con copias
idnticas de una ficha o pieza (tesela) de manera peridica; es decir, los mosaicos o teselaciones peridicas (al final del captulo veremos tambin algunas teselaciones aperidicas). La herramienta para esta
clasificacin es el estudio de qu movimientos del plano (aplicaciones biyectivas del plano que respetan la
distancia entre puntos, es decir, isometras) preservan la teselacin, es decir, el estudio de las simetras de
la teselacin. A su vez, para este estudio, es fundamental el hecho de que las simetras de una figura plana
tienen una estructura algebraica de grupo. Por tanto deberemos estudiar algunas nociones de teora de grupos, aplicarla al grupo de los movimientos del plano y sus subgrupos, aplicar a su vez estos resultados al
estudio de los retculos, y podremos entonces encontrar los 17 grupos cristalogrficos planos, que son todos
los posibles grupos de simetras de un mosaico del plano y, por tanto, clasifican todas las formas posibles
de teselar un plano de forma peridica. La consecuencia es una primera mirada sobre la realizacin de las
estructuras algebraicas en la geometra a travs del concepto central de simetra.
2.1
Las simetras rotacionales de un tetraedro
Cuntas simetras rotacionales tiene un tetraedro regular? Es decir, cuntos movimientos rgidos del espacio llevan el tetraedro sobre s mismo? Contemos los ejes y las rotaciones por cada eje:
a) Hay un eje de rotacin que pasa por el centro de cada cara y el vrtice opuesto (en total, 4 ejes), y las
4
rotaciones de ngulos 2
3 y 3 dejan invariante el tetraedro.
b) Otro eje de rotacin es el que une los puntos medios de aristas no concurrentes (otros 3 ejes). En ese
caso, hay que girar un ngulo .
c) Si aadimos la identidad, que es trivialmente una simetra, el total es de 8 + 3 + 1 = 12.
Un prisma hexagonal y una pirmide dodecagonal tienen tambin 12 simetras rotacionales. En efecto,
a) En el primer caso, las cinco rotaciones cuyo eje es el que une el centro de ambas bases y de ngulo
k
3 , k = 1, 2, . . . , 5; las tres rotaciones de ngulo cuyos ejes unen los puntos medios de las seis caras
rectangulares opuestas; las tres rotaciones de ngulo cuyos ejes unen los puntos medios de las aristas
opuestas que no delimitan las bases; y la identidad.
b) En el segundo, las 11 rotaciones cuyo eje une el vrtice de la pirmide con el punto medio de la base, de
ngulos k
6 , k = 1, 2, . . . , 11, y la identidad.
Tienen entonces estas tres figuras el mismo comportamiento en lo que a las simetras rotacionales
se refiere? Tienen la misma simetra? La respuesta es no. Aunque el nmero de simetras coincida,
las relaciones entre ellas son diferentes. Por ejemplo, el orden sucesivo en el que se apliquen varias las
simetras de la pirmide no influye en el resultado final (que es la rotacin cuyo ngulo es la suma total
de los ngulos de las rotaciones aplicadas). Sin embargo, esto no se aplica a los otros dos casos (vase la
Figura 2.1). Adems, en el caso del tetraedro, hay tres rotaciones (no triviales) distintas que, aplicadas dos
veces, dejan al tetraedro en la posicin de partida (es decir, que al componerse con ellas mismas dan como
resultado la identidad): son las que tienen ejes que unen puntos medios de aristas. Sin embargo, para el
prisma hexagonal, hay siete de estas rotaciones (todas las de ngulo ). (Y, en el caso de la pirmide, slo
hay una).
Elementos de Matemticas y aplicaciones
26
(a) Tetraedro.
(b) Prisma hexagonal.
Figura 2.1: Simetras en un tetraedro y en un prisma hexagonal.
2.2 Grupos. Isomorfismos y homomorfismos de grupos

2.2.1 Definicin axiomtica de grupo
Parece claro, pues, que las tres figuras consideradas en el apartado anterior exhiben un comportamiento
diferente en lo que a sus simetras se refiere. Dicho de otra forma, en el conjunto de las simetras de una
figura hay una estructura ms profunda y ms rica que la puramente conjuntista, es decir, hay ms informacin que la simplemente numrica. De hecho, en los tres casos las simetras de cada figura tienen en sus
relaciones rasgos comunes, aunque dichas relaciones acaben mostrando comportamientos distintos. As, la
identidad es siempre una simetra de una figura; la composicin de dos simetras es una simetra; la composicin con la identidad no tiene ningn efecto; la composicin es asociativa (es decir, dadas tres simetras
1 , 2 y 3 tales que 1 2 = 1 y 2 3 = 2 , entonces al aplicar sucesivamente las tres simetras es
1 2 3 = 1 3 = 1 2 ); y toda simetra tiene otra simetra que deshace sus efectos, una inversa.
Aislando estas propiedades, podemos dar una definicin axiomtica de una estructura que se comporta,
genricamente, como las simetras de una figura:
Grupos. Isomorfismos y homomorfismos de grupos
27
Definicin 2.2.1 Un grupo es un par (G, ) formado por un conjunto G y una aplicacin
: G G G
(a, b) 7 (a, b) = a b
que verifican las siguientes propiedades:
1) Propiedad asociativa: (a b) c = a (b c) para todo a, b, c G.
2) Existencia de elemento neutro: Existe e G tal que a e = e a = a para todo a G.
3) Existencia de inverso: Para todo a G existe a1 G tal que a a1 = a1 a = e.
Si adems de las tres propiedades anteriores, se verifica
4) Propiedad conmutativa: a b = b a para todo a, b G,
se dice que el grupo es conmutativo (o abeliano1 ).
Ejemplo 2.2.2
a) Las simetras del tetraedro, el prisma hexagonal, la pirmide dodecagonal,. . . forman grupos.
b) Los nmeros enteros Z, racionales Q, o reales R, con la suma, constituyen grupos abelianos. Tambin
lo son nmeros racionales (o reales) no nulos con el producto (debemos quitar el cero pues ste carece
de inverso), as como los nmeros complejos C con la suma, o los complejos no nulos con el producto.
c) Las aplicaciones biyectivas del conjunto {1, 2, . . . , n} en s mismo, con la composicin de aplicaciones, forman un grupo (no abeliano). A este grupo se le llama el grupo simtrico, Sn , o el grupo de
permutaciones de n elementos.
d) Las matrices 2 2, con la suma de matrices, son un grupo abeliano. Las matrices 2 2 con determinante
no nulo, con el producto de matrices, son un grupo no abeliano. A este grupo se le llama el grupo general
lineal de orden 2, GL(2, R) o, simplemente, GL(2) (obviamente, en vez de 2, se puede usar cualquier
otro nmero natural n). Tambin son grupo con el producto:
i) las matrices de determinante 1 (el grupo especial lineal, SL(n)).
ii) las matrices ortogonales, es decir, aquellas que verifican AT = A1 (el grupo ortogonal, O(n)).
iii) las matrices ortogonales con determinante 1 (el grupo especial ortogonal, SO(n)).
e) Las clases de restos mdulo n N, Zn , son un grupo con la suma. Para p primo, Zp \{0} es tambin
grupo con el producto.
f) El grupo de Klein
Z2 Z2 = {(0, 0), (1, 0), (0, 1), (1, 1)}
es un grupo con la suma, definida componente a componente (es un caso particular de suma directa de
grupos abelianos 2 ). 2
Todos estos ejemplos se acomodan a la definicin que hemos obtenido destilando el comportamiento
de las simetras respecto a la composicin. Cul es la ventaja de dar una definicin axiomtica, en vez
de estudiar especficamente el caso que nos interese? Pues que, a partir de los axiomas de la definicin, se
puede demostrar con una sola demostracin que ciertas propiedades se verifican en todos los casos en que
se cumpla la definicin, ya sean simetras de figuras espaciales, matrices, nmeros, permutaciones o clases
de restos. Por ejemplo:
Proposicin 2.2.3 Sea (G, ) un grupo. Entonces:
1 Por
el matemtico noruego Niels Henrik Abel (18021829).
2 Sean (G, +) y (H, +) dos grupos abelianos. La suma directa de G y H, que representaremos como GH, es el grupo constituido
por el conjunto G H con la operacin (g1 , h1 ) + (g2 , h2 ) = (g1 + g2 , h1 + h2 ) para todo g1 , g2 G y h1 , h2 H.
28
a) El elemento neutro e de G es nico.

b) Cada elemento de G tiene un nico inverso. (Esto permite definir, para cada a G su inverso, que
denotaremos por a1 ).
c) Sea a G. Si existe b G tal que a b = e entonces b = a1 .
D EMOSTRACIN.
a) Supongamos que e y e0 son dos elementos neutros. Entonces, por ser e neutro, se verifica que
e e0 = e0 .
(2.1)
Pero, por ser e0 tambin elemento neutro, se tiene que

e e0 = e.
(2.2)
Por tanto, de (2.1) y (2.2), se concluye que e = e0 .

b) Sea a G y supongamos que b, c G son dos inversos de a. Entonces, por definicin, se verifica que
b = b e = b (a c) = (b a) c = e c = c.
c) Basta probar que b a = e. Como b G, existe b1 G. Entonces,
b a = b a (b b1 ) = b (a b) b1 = b e b1 = b b1 = e.
2.2.2 Subgrupos. Grupos finitos. Orden

El grupo de rotaciones del espacio que dejan invariante un prisma ngonal se denomina grupo didrico
nsimo, y se denota por Dn . Normalmente, se visualiza ms bien como el grupo de transformaciones del
plano que deja invariante un polgono regular de n lados, y as lo definiremos ms adelante. La visualizacin se puede hacer intuitivamente, haciendo que la altura del prisma tienda hacia 0. Las bases coinciden
entonces en un polgono plano regular de n lados. De este modo, las rotaciones alrededor del eje que une
el centro de las bases se convierten en rotaciones planas alrededor del centro del polgono; y las rotaciones
de ngulo respecto a ejes paralelos a las bases tienen el efecto de voltear"el polgono alrededor de dicho
eje: es decir, el mismo efecto que una reflexin (que es una transformacin del plano) respecto a ese eje.
Vimos, al principio de este captulo, que D6 tiene 12 elementos. Visualicemos D6 como las rotaciones
y reflexiones planas que dejan invariante un hexgono regular, e imaginemos ahora que incrustamos un
tringulo equiltero en el hexgono, uniendo vrtices alternos, como se muestra en la Figura 2.2.
Figura 2.2: Tringulo incrustado en un hexgono.
Entonces, parte de las simetras del hexgono tambin son simetras del tringulo: las rotaciones al4
rededor del centro de ambos, y ngulos 2
3 y 3 , y las reflexiones con respecto a las rectas que unen los
vrtices del tringulo con los puntos medios de los lados opuestos. En total, seis simetras. De este modo,
visualizamos D3 como subconjunto de D6 , pero de forma que D3 , con la operacin de D6 restringida a sus
elementos, es tambin grupo. Decimos que D3 es subgrupo de D6 . En general,
29
Definicin 2.2.4 Sea (G, ) un grupo. Un subconjunto H G es un subgrupo de G (y se escribe H G)

si (H, ) es grupo. 2
Ejemplo 2.2.5
a) (2Z, +) (Z, +) (Q, +) (R, +) (C, +).
b) SO(n) SL(n) GL(n).
Notacin 2.2.6 Sea (G, ) un grupo. Si x G y n Z, vamos a denotar por xn a
x .(n)
. . x,
si n > 0
n
e,
si n = 0
x =
1 (n) 1
x ... x
si n < 0. 2
Definicin 2.2.7 Sea (G, ) un grupo y x G. El conjunto
hxi = {xn : n Z}
es, trivialmente, un subgrupo abeliano de G, y se llama el subgrupo generado por el elemento x. Si existe
un elemento y G tal que
G = hyi
se dice que G es un grupo cclico.
Definicin 2.2.8 Si G es un grupo con una cantidad finita de elementos, se llama orden de G, y lo denotaremos por |G|, al cardinal de G (en el caso de que G no sea un conjunto finito, diremos que tiene orden
infinito). Si x G, llamaremos orden de x a
ord(x) = |hxi|.
Observacin 2.2.9 El orden de un elemento x es el menor entero positivo n tal que xn = e.
Ejemplo 2.2.10 El orden de D6 es 12. De sus elementos, la identidad tiene orden 1, las rotaciones de
2k
ngulo tienen orden 2, las de ngulo k
3 (k = 1, 5) tienen orden 6, y las de ngulo 3 (k = 1, 2) tienen
orden 3. 2
Ejemplo 2.2.11 El orden de todos los elementos del grupo de Klein es 2 (excepto el elemento neutro,
(0, 0), que tiene orden 1). 2
Acerca de los subgrupos, nos ser til saber que:
Proposicin 2.2.12 Sea (G, ) un grupo y H un subconjunto no vaco de G. Se verifica que:
H G x y 1 H para todo x, y H.
D EMOSTRACIN.
Evidente.
Veamos que H es un subgrupo de G:
1) La propiedad asociativa se verifica automticamente por ser G grupo.
2) El elemento neutro e G est, de hecho, en H, pues dado cualquier x H (y hay alguno, pues
H 6= ) se tiene que e = x x1 H.
3) El inverso de cualquier x H tambin est en H, ya que e, x H x1 = e x1 H.
4) Pero, adems, para que (H, ) sea un grupo, debe ser : H H H. En efecto, x, y H
x, y 1 H x(y 1 )1 = xy H. 2
Proposicin 2.2.13 Sea G un grupo y H1 , H2 G. Si H1 G y H2 G entonces H1 H2 G.
D EMOSTRACIN. Usando la Proposicin 2.2.12, basta probar que
x, y H1 H2 xy 1 H1 H2 .
Si x, y H1 H2 , entonces x, y H1 y, por ser H1 un grupo, se verifica que xy 1 H1 ; anlogamente,
xy 1 H2 . As pues, xy 1 H1 H2 . 2
30
2.2.3 Isomorfismos: cundo dos grupos son iguales

Ejemplo 2.2.14 Consideremos el conjunto formado por las rotaciones en el plano alrededor del origen, de
ngulos 0, 2 , y 3
2 , que denotamos 0 , 1 , 2 y 3 , respectivamente. Este conjunto, con el producto de
composicin, constituye un grupo G1 . La tabla de multiplicar de este grupo sera
0
0
1
2
3
0
1
2
3
1
1
2
3
0
2
2
3
0
1
3
3
0
1
2
Por otra parte, llamamos G2 al grupo formado por el conjunto de nmeros complejos {1, i, 1, i} dotado
de la multiplicacin habitual; la tabla de multiplicar del grupo sera
1
i
1
i
1
i
1
i
i 1
1 i
i
1
1 i
1 i
i
1
1
i
i 1
Finalmente, la tabla de multiplicacin de Z4 (esto es, el conjunto {0, 1, 2, 3} con la suma mdulo 4) es
0
1
2
3
0
0
1
2
3
1
1
2
3
0
2
2
3
0
1
3
3
0
1
2
Ntese la completa analoga existente entre las tres tablas. Si definimos una aplicacin f : G1 G2
mediante
0 7 1, 1 7 i, 2 7 1, 3 7 i,
entonces esta aplicacin es biyectiva y verifica que
f (xy) = f (x)f (y),
ya que las tablas de multiplicar en ambos grupos son idnticas a travs de f . (Esto no es extrao, pues
multiplicar por un nmero complejo de mdulo 1 equivale a realizar un giro de ngulo igual al argumento
del nmero). Igualmente, la aplicacin g : G2 G3 definida mediante
1 7 0, i 7 1, 1 7 2, i 7 3,
es biyectiva y verifica
g(xy) = g(x)g(y).
(Nuevamente, no hay sorpresas: basta pensar que G2 = {i0 , i1 , i2 , i3 } y que al multiplicar dos potencias de
la misma base se suman los exponentes). Es decir que, para nosotros, los tres grupos son el mismo a todos
los efectos. Ms precisamente, diremos que f y g son isomorfismos y G1 , G2 y G3 son isomorfos. 2
En general,
Definicin 2.2.15 Sean (G, ) y (G0 , ) grupos. Una aplicacin f : G G0 es un isomorfismo (de grupos)
si es biyectiva y verifica que
f (x y) = f (x) f (y)
para todo x, y G. En ese caso, los grupos G y G0 se dicen isomorfos y se escribe G
= G0 .
Ejemplo 2.2.16 Son isomorfismos:
31
a) La aplicacin (R, +) (R+ , ) dada por x 7 exp(x).

b) La aplicacin D3 S3 que a cada simetra le hace corresponder el efecto de la simetra sobre los
vrtices del tringulo. 2
Proposicin 2.2.17 Si G y G0 son isomorfos entonces |G| = |G0 |.
D EMOSTRACIN. Trivial (pues todo isomorfismo es una biyeccin).
Proposicin 2.2.18 Si f : G G0 es un isomorfismo, se verifica que

f (e) = e0 y f (x1 ) = (f (x))1 .
D EMOSTRACIN. Para todo x G se tiene
f (x) = f (xe) = f (x)f (e),
as que
e0 = (f (x))1 f (x) = (f (x))1 f (x)f (e) = e0 f (e) = f (e),
de modo que f (e) es el elemento neutro de G0 . En cuanto al inverso, se tiene que
f (x)f (x1 ) = f (xx1 ) = f (e) = e0
(y, anlogamente, por la izquierda), por lo que f (x1 ) es el inverso de f (x).
Proposicin 2.2.19 Los isomorfismos llevan subgrupos a subgrupos.

D EMOSTRACIN. Sea H G. Basta observar que para todo f (x), f (y) f (H) se verifica que
f (x)f (y)1 = f (xy 1 ) f (H),
ya que xy 1 H.
Proposicin 2.2.20 Los isomorfismos preservan el orden de los elementos.

D EMOSTRACIN. En efecto, puesto que f (hxi) es un subgrupo y se verifica que
f (xn ) = (f (x))n ,
se tiene que
f (hxi) = hf (x)i.
Consecuentemente,
ord(x) = |hxi| = |f (hxi)| = |hf (x)i| = ord(f (x)).
Proposicin 2.2.21 Si G
= G0 y G es un grupo abeliano entonces G0 es grupo abeliano.
D EMOSTRACIN. Basta tener en cuenta que para todo x0 = f (x) e y 0 = f (y) se verifica que
x0 y 0 = f (x)f (y) = f (xy) = f (yx) = y 0 x0 .
Observacin 2.2.22 Con las dos ltimas proposiciones podemos formalizar que los tres grupos de simetras
de la Seccin 2.1 son distintos en el sentido de que no pueden ser isomorfos. 2
32
2.2.4 Homomorfismos de grupos. Ncleo e imagen

Definicin 2.2.23 Una aplicacin f : G G0 es un homomorfismo de grupos si se verifica que
f (xy) = f (x)f (y)
para todo x, y G.
Observacin 2.2.24 Las Proposiciones 2.2.18 y 2.2.19 se verifican para homomorfismos, pues su demostracin no usa que la aplicacin en cuestin sea biyeccin. 2
Definicin 2.2.25 Sea f : G G0 un homomorfismo de grupos.
a) ker(f ) = {x G : f (x) = e0 } es el ncleo de f.
b) im(f ) = f (G) = {f (x) : x G} es la imagen de f.
Proposicin 2.2.26 Si f : G G0 es un homomorfismo de grupos se tiene que ker(f ) G e im(f ) G0 .

D EMOSTRACIN.
a) Si x, y ker(f ) entonces
f (xy 1 ) = f (x)(f (y))1 = e0 ,
por lo que xy 1 ker(f ).
b) Si f (x), f (y) im(f ) se tiene que
f (x)(f (y))1 = f (xy 1 ) im(f ).
Observacin 2.2.27 Sea f : G G0 un homomorfismo de grupos.

a) La aplicacin f es inyectiva ker(f ) = {e}.
b) La aplicacin f es sobreyectiva im(f ) = G0 .
2.2.5 Subgrupos normales. El grupo cociente

Dado H G, consideremos la relacin de equivalencia dada por
xH y xy 1 H.
La clase de equivalencia de x sera
Hx = {hx : h H},
pues
x(hx)1 = xx1 h1 = h1 H.
Cada una de estas clases de equivalencia tiene exactamente |H| elementos. En efecto, la aplicacin
H
Hx
7 hx
es, por una parte, trivialmente sobreyectiva; por otra parte, si hx = h0 x, entonces (hx)x1 = (h0 x)x1 , y
por tanto, h = h0 .
Puesto que G es la unin disjunta de sus clases de equivalencia, obtenemos el siguiente resultado:
Teorema 2.2.28 (Teorema de Lagrange) Sea G un grupo finito, y H un subgrupo suyo. Entonces, |H|
divide a |G|.
Isometras del plano y matrices ortogonales
33
D EMOSTRACIN. Si llamamos G/H al conjunto cociente de G por la relacin de equivalencia H ,

G/H = {Hx : x G},
como los Hx son una particin de G, cada Hx tiene |H| elementos, y hay G/H de ellas, tenemos que
|G| = |G/H||H|. 2
Definicin 2.2.29 H G se llama subgrupo normal (y se escribe H C G) si se verifica que
ghg 1 H para todo g G, h H.
Observacin 2.2.30 Lo interesante es que si H C G, entonces la operacin de G le da estructura de grupo

a G/H. En efecto, podemos definir el producto de dos clases mediante
(Hx)(Hy) = Hxy
sin que la definicin dependa del representante elegido, ya que
(hxh0 y)(xy)1 = hxh0 yy 1 x1 = hxh0 x1 = h(xh0 x1 ) H,
por ser H normal.
Proposicin 2.2.31 Si f : G G0 es un homomorfismo, entonces ker(f ) C G.

D EMOSTRACIN. Para todo x ker(f ) y z G se verifica que
f (zxz 1 ) = f (z)f (x)f (z)1 = f (z)f (z)1 = e0 ,
luego zxz 1 ker(f ).
2.3
Definicin 2.3.1 Una isometra del plano es una aplicacin biyectiva f : R2 R2 tal que
d(f (x), f (y)) = d(x, y)
o, equivalentemente,
||f (x) f (y)|| = ||x y||.
(2.3)
Observacin 2.3.2
c como los tringulos abc y f (a)f (b)f (c) son
a) Las isometras preservan ngulos: dado un ngulo abc,
iguales (por coincidir la longitud de sus tres lados), se verifica que
\
c
f (a)f
(b)f (c) = abc.
b) En la definicin anterior no es necesario pedir que la aplicacin f sea biyectiva, pues esta propiedad se
puede deducir de (2.3). En efecto, la inyectividad se deduce trivialmente pues
f (x) = f (y) 0 = ||f (x) f (y)|| = ||x y|| x = y.
Para ver la sobreyectividad, observemos que cada punto del plano est determinado por las distancias a
tres puntos no alineados, a, b y c: en efecto, las circunferencias de centros a, b y c y radios ||x a||,
||x b|| y ||x c|| son tres circunferencias cuyos centros no estn alineados y, por tanto, se cortan como
mximo en un punto. Como el punto x est en las tres circunferencias, es el nico, y est determinado
por las distancias a a, b y c (vase la Figura 2.3).
El tringulo abc se transforma por f en el tringulo f (a)f (b)f (c). Dado y R2 consideramos las tres
distancias
d1 = ||y f (a)|| , d2 = ||y f (b)|| y d3 = ||y f (c)|| .
Sea x el nico punto de R2 que dista d1 de a, d2 de b y d3 de c. Entonces, puesto que f (x) debe distar
d1 de f (a), d2 de f (b) y d3 de f (c), se concluye que f (x) = y. 2
34
Figura 2.3: Circunferencias de centros a, b y c y radios ||x a||, ||x b|| y ||x c||.
Proposicin 2.3.3 Las isometras del plano, con la composicin, forman un grupo que denotamos E2 .
D EMOSTRACIN. Veamos que E2 cumple las propiedades de grupo:
a) Por la definicin es muy fcil comprobar que la composicin de isometras es isometra
g isom
f isom
||(g f )(x) (g f )(y)|| = ||g(f (x)) g(f (y))|| = ||f (x) f (y)|| = ||x y||,
y la propiedad asociativa se verifica automticamente.
b) Ntese que la identidad es, trivialmente, una isometra.
c) Por otra parte, dada una isometra f , su inversa cumple que
||f 1 (x) f 1 (y)|| = ||f (f 1 (x)) f (f 1 (y))|| = ||x y||.
Ejemplo 2.3.4 Son isometras:

a) La traslacin de vector v, tv : R2 R2 dada por tv (x) = v + x. En efecto, en la Figura 2.4 se
Figura 2.4: Traslacin de vector v.
observa que, dados dos puntos p y q, los puntos p, q, tv (p) y tv (q) forman un paralelogramo, de donde
d(tv (p), tv (q)) = d = d(p, q).
35
Figura 2.5: Rotacin r de ngulo alrededor de c.
b) Las rotaciones. Observamos en la Figura 2.5, por un lado, que d(c, x) = d(c, r (x)), y que d(c, y) =
d(c, r (y)). Adems, se tiene que
\
\
\
\
xcr
d
cy + ycr
(x) + r (x)cr (y) = xcr (y) = x
(y).
\
\
\ (y). De este modo los tringulos cxy y
Como xcr
d
cy = r (x)cr
(x) = ycr (y) = , se deduce que x
cr (x)r (y) son iguales y, por tanto, d(x, y) = d(r (x), r (y)).
c) Las reflexiones respecto a una recta. En la Figura 2.6 se observa que los tringulos opx y opr (x)
Figura 2.6: Reflexin r respecto a la recta r.
comparten el lado oq y los dos ngulos que lo inscriben (uno es y el otro es un ngulo recto). Por
tanto, sus tres lados son iguales. Se puede razonar anlogamente con los tringulos oqy y oqr (y). Se
concluye que d(r (x), r (y)) = d(o, r (y)) d(o, r (x)) = d(o, y) d(o, x) = d(x, y). 2
Definicin 2.3.5 Una aplicacin f : R2 R2 es lineal si verifica:
1) f (x + y) = f (x) + f (y) para todo x, y R2 .
2) f (x) = f (x) para todo x R2 y R.
Observacin 2.3.6 Toda aplicacin lineal f : R2 R2 viene determinada por las imgenes de una base.
En efecto, si escribimos los elementos de R2 en forma de vectores columna y escogemos la base cannica

1
0
B = e1 =
, e2 =
,
0
1
36
denotando las imgenes por f de e1 y e2 por

a
0
b
1
f
=
y f
=
,
0
c
1
d
se verifica que

x
1
0
1
0
f
=f x
+y
= xf
+ yf
y
0
1
0
1

a
b
a b
x
x
=x
+y
=
=M
.
c
d
c d
y
y
Por tanto, f queda determinada por la matriz
M=
a b
c d
que se denomina matriz asociada a la aplicacin lineal f.
Proposicin 2.3.7 Las isometras del plano que dejan fijo el origen son aplicaciones lineales.
D EMOSTRACIN. Sea f : R2 R2 una isometra verificando f (0) = 0.
a) Veamos que f (x) = f (x) para todo x R2 y R. Obviamente, la propiedad es cierta si x = 0.
En otro caso, puesto que f conserva la alineacin de tres puntos, se verifica que 0, f (x) y f (x) estn
alineados. Por tanto, f (x) = f (x) para algn R. Como, por otra parte,
|| ||x|| = || ||f (x)|| = ||f (x)|| = ||f (x) f (0)|| = ||x 0|| = || ||x|| = || ||f (x)|| = || ||x|| ,
se tiene que = . Pero si f (x) = f (x) se llegara a que
| + 1| ||x|| = ||( 1)f (x)|| = ||f (x) f (x)|| = ||x x|| = | 1| ||x|| ,
por lo que | + 1| = | 1|, igualdad que slo se verifica para = 0 (valor para el que la propiedad es
trivial).
b) Veamos f (x + y) = f (x) + f (y) para todo x, y R2 . Si los puntos x, 0 e y estn alineados entonces
y = x y basta aplicar el apartado anterior. En otro caso, los puntos anteriores forman el tringulo x0y,
el cual se transforma por f en el tringulo f (x)0f (y); asimismo, el tringulo x(x + y)y se transforma en
el tringulo f (x)pf (y) siendo p = f (x+y). Por ser f una isometra y ser 0, x, x+y, y un paralelogramo,
el cuadriltero 0, f (x), p, f (y) es tambin un paralelogramo (igual al anterior). Por tanto, p = f (x) +
f (y) (vase la Figura 2.7). 2
Figura 2.7: Linealidad de las isometras.
37
Proposicin 2.3.8 Las nicas isometras del plano que dejan fijo el origen son las rotaciones en torno al
origen y las reflexiones con eje por el origen. Las primeras vienen dadas por matrices de la forma
cos sen
A =
sen
cos
(cuyo determinante vale 1) siendo el ngulo de rotacin y, las segundas, por matrices del tipo
cos
sen
B =
sen cos
(de determinante 1) siendo
el ngulo que forma el eje con la horizontal.
D EMOSTRACIN. Por la Proposicin 2.3.7, las isometras que dejan fijo el origen son aplicaciones lineales
y vienen, por tanto, dadas por una matriz M . Puesto que deben preservar la norma, M debe verificar que
M T M = I2
(esta propiedad se demuestra usando
2
xT x = ||x||2 = ||M x||2 = xT M T M x, x R2

1
0
1
aplicada a los vectores x =
,x =
yx=
).
0
1
1
Por ser GL(2) un grupo, se tiene que
M T = M 1 M M T = I2 .
Consecuentemente, si
entonces
a
M=
c
1
0
0
1
a
=
c
b
d
b
a c
a + b2 ac + bd
=
.
d
b d
ac + bd c2 + d2
Por una parte, la relacin

a2 + b2 = c2 + d2 = 1
implica que existen y tales que
a = cos , b = sen , d = cos y c = sen .
pero, por otra parte, la relacin
ac + bd = 0
implica que
0 = cos sen + sen cos = sen( + ),
es decir,
+ = 0 + = .
a) En el primer caso, + = 0 cos = cos y sen = sen , por lo que
cos sen
M=
sen
cos
es la matriz de una rotacin de ngulo alrededor del origen (vase la Figura 2.8). Ntese que det(M ) =
1, por lo que M SO(2).
38
(a) Rotacin (det(M ) = 1).
(b) Reflexin (det(M ) = 1).
Figura 2.8: Rotacin y reflexin.
b) En el segundo caso, + = cos = cos y sen = sen , por lo que la matriz
cos
sen
M=
sen cos
es la matriz de una reflexin respecto al eje por el origen de ngulo
la Figura 2.8). En este caso, det(M ) = 1. 2
con la horizontal (vase, de nuevo,
Observacin 2.3.9 De la Proposicin 2.3.8 se deduce que toda matriz M O(2) verifica
det(M ) = 1
y, en el caso de que
det(M ) = 1 M 2 = I2 .
Ntese que, en general el recproco no es cierto (pues M podra ser la identidad o una rotacin de ngulo
= ). 2
Proposicin 2.3.10 Las nicas isometras del plano son las rotaciones en torno al origen compuestas con
las traslaciones y las reflexiones con eje por el origen compuestas con traslaciones.
39
D EMOSTRACIN. Supongamos que f es una isometra y que f (0) = v. Si denotamos por tv la traslacin
de vector v, se tiene que la isometra
tv1 f = g
fija el origen. El resultado se sigue aplicando la Proposicin 2.3.8.
Observacin 2.3.11 As pues, lo que tenemos es una descripcin de cualquier isometra del plano, f , en
trminos de una traslacin tv ,
tv (x) = v + x,
y una transformacin ortogonal fM ,
fM (x) = M x,
mediante f = (v, M ) si
f = tv fM ,
es decir, si
f (x) = v + M x.
Si det(M ) = 1 se habla de isometras directas y, si no, de isometras inversas.
Observacin 2.3.12 Para calcular la expresin de la composicin de (v, M ) con (u, N ) basta observar que
(tv fM ) (tu fN )(p) = v + M (u + N p) = (v + M u) + M N p = tv+M u fM N (p),
luego
(v, M )(u, N ) = (v + M u, M N ).
Observacin 2.3.13 Toda isometra f se corresponde de forma nica con un par (v, M ). En efecto, si
v + M x = f (x) = u + N x con v, u R2 y M, N O(2)
entonces
v = f (0) = u y M x = N x, x R2 M = N.
Clasificamos entonces las isometras del plano en funcin de la descomposicin propuesta:

Teorema 2.3.14 Los casos posibles de isometras del plano se reducen a:
a) Traslaciones de vector v. Son de la forma (v, I2 ).
b) Rotaciones de centro c y ngulo . Son de la forma (v, A ) con
cos sen
v = c A c y A =
sen
cos
c) Reflexiones con eje una recta ` que forma un ngulo
v = 2a y B =
con la horizontal. Son de la forma (v, B ) con
cos
sen
sen
cos
siendo a el punto de ` ms cercano al origen.

d) Reflexiones con deslizamiento con eje una recta ` que forma un ngulo 2 con la horizontal y con vector
de deslizamiento b (paralelo a `). Son de la forma (v, B ) con
cos
sen
v = 2a + b y B =
sen cos
siendo a el punto de ` ms cercano al origen.
40
D EMOSTRACIN.
a) Trivial.
b) Si f es una rotacin de centro c y ngulo , entonces f se construye como una traslacin de c al origen,
el giro de ngulo respecto a ste y, finalmente, la traslacin del origen a c, es decir,
f (x) = c + A (x c),
por lo que
f (x) = (c A c) + A x.
Recprocamente, toda isometra f = (v, A ) con 6= 0 se corresponde con una rotacin. En efecto, de
ser f una rotacin tendra un punto fijo c (el centro de rotacin) que debera verificar
f (c) = c (f I)(c) = 0 (A I2 )c + v = 0.
As c es solucin del sistema lineal
cos 1
sen
x
v1
=
.
y
v2
sen
cos 1
Como el determinante de la matriz del sistema es

(cos 1)2 + sen2 = cos2 2 cos + 1 + sen2 = 2 2 cos = 2(1 cos ) 6= 0
(ya que 6= 0), se tendra que
c = (A I2 )1 (v).
Si llamamos g a la rotacin de centro este valor de c y ngulo entonces f g pues, como hemos visto
antes, se tiene que
g(p) = (c A c) + A p = (A I2 )(c) + A p
= (A I2 )((A I2 )1 (v)) + A p
= v + A p = f (p), p R2 .
d) (y c)) Sea m la recta paralela a ` por el origen y fB la reflexin respecto a m. Para construir la reflexin
sobre ` con deslizamiento b, basta trasladar ` hasta m, reflejar en m mediante fB , sumar el vector b y,
finalmente, volver a trasladar hasta `, es decir,
f (x) = a + B (x a) + b = a + B x B a + b = a + B x + a + b = 2a + b + B x,
ya que B a = a.
Recprocamente, si f es una isometra del tipo f = (v, B ), consideramos
b=
v B v
v + B v
y a=
.
2
4
Puesto que B = BT = B1 , en primer lugar se tiene que

B b =
B v + B2 v
B v + v
=
= b.
2
2
Distinguimos dos casos:
(2.4)
Grupo didrico e isometras del plano
41
i) Si b 6= 0, la ecuacin (2.4) indica que el vector b queda invariante por B y, por tanto, es un vector
director del eje de la reflexin B (esto es, la recta que pasa por el origen y forma un ngulo 2 con
la horizontal). Como B a = a, se verifica que a es perpendicular a dicho eje. (Esto puede verse
directamente:
1
1 T
(v B v)T (v + B v) =
v v v T BT v + v T B v v T BT B v
8
8
1 T
T
T
=
v v v B v + v B v v T I2 v = 0).
8
aT b =
As pues, la recta ` de direccin b que pasa por el punto a tiene la propiedad de que a es el punto de
` ms cercano al origen. Si llamamos g a la reflexin respecto a ` con deslizamiento b, por lo visto
anteriormente, se tiene que
g(p) = 2a + b + B p =
v B v v + B v
+
+ B p = v + B p = f (p), p R2 ,
2
2
por lo que f g, es decir, f es una reflexin con deslizamiento.

v
ii) Si b = 0, entonces B v = v y a = . As pues, el vector v (y, por tanto, a) es perpendicular
2
al eje de reflexin de B . Razonando como antes, la recta ` paralela al eje de B que pasa por el
punto a tiene la propiedad de que a es el punto de ` ms cercano al origen. Ahora, si llamamos g a
la reflexin respecto a `, se verifica que
g(p) = 2a + B p = v + B p = f (p), p R2 ,
por lo que f g, es decir, f es una reflexin.
2.4
En la Definicin 2.2.7 se introdujo el concepto de grupo cclico como el generado por un elemento. Esta
nocin puede extenderse a dos elementos de la siguiente forma:
Definicin 2.4.1 Si un grupo G tiene ciertos elementos x, y tales que
G = hx, yi = {xj1 y k1 xj2 y k2 xjn y kn : n 0, ji , ki Z}
= {e, x, y, x2 , x3 , x1 , y 2 , xy, yx3 y, x2 y 3 xy 3 x1 y 2 , . . . }
se dice que G est generado por x e y (o que x e y generan G).
Vamos a buscar elementos que generen el grupo didrico, que introdujimos en la Seccin 2.2.2. Para
ello, comencemos por dar su definicin de manera formal, y estudiar algunas de sus propiedades.
Definicin 2.4.2 Llamaremos grupo didrico Dn al grupo formado por las simetras de un ngono regular.
Observacin 2.4.3 El orden de Dn es 2n puesto que un ngono regular tiene 2n simetras. En efecto:
una simetra f lleva vrtices en vrtices por lo que, fijado uno de ellos, por ejemplo el p1 , slo tenemos
n posibles imgenes para l. Por otra parte, como los transformados de dos vrtices vecinos son tambin
vecinos entre s, si f (p1 ) = pk , hay dos posibilidades:
a) f (p2 ) = pk+1 (y, por tanto, f (pn ) = pk1 ). f es entonces una rotacin.
b) f (p2 ) = pk1 (y, por tanto, f (pn ) = pk+1 ). Ahora f es una reflexin.
As pues, tenemos un total de 2n simetras.
42
Figura 2.9: Los generadores de D5 .
Ejemplo 2.4.4 El grupo didrico D5 de simetras de un pentgono regular est generado por la rotacin
de ngulo 2
5 alrededor del centro del pentgono, y por una reflexin respecto a cualquier eje que une un
vrtice con el punto medio del lado opuesto, es decir,
D5 = h, i.
En efecto, las simetras del pentgono son los giros alrededor de su centro, de ngulos 2k
5 , k = 1, 2, 3, 4
(pero estos son k ), la identidad I = 0 = 5 , y las reflexiones respecto a los ejes que unen cada vrtice
con el punto medio del lado opuesto. Una de estas reflexiones es . Si numeramos los vrtices del pentgono
como p1 , p2 , p3 , p4 , p5 , siendo p1 el vrtice que queda fijo por (ver Figura 2.9), la accin de sobre los
vrtices es
: p1
7 p1
p2 p5
p3 p4 .
Si ahora giramos mediante , tenemos que se comporta as:
: p1
p2
p3
p4
p5
7 p1
7 p5
7 p4
7 p3
7 p2
7 p2
7 p1
7 p5
7 p4
7 p3
es decir, = es la reflexin cuyo eje pasa por p4 y el punto medio de p1 p2 . De modo anlogo, se ve
que 2 es la reflexin cuyo eje pasa por p2 , 3 aquella cuyo eje pasa por p5 y 4 la que tiene el eje por
p3 . As pues, tenemos 10 elementos distintos de D5 y, por tanto,
D5 = {I2 , , 2 , 3 , 4 , , , 2 , 3 , 4 }.
Veamos que = 4 probando que y 4 tienen el mismo efecto sobre los vrtices. En efecto,
4
4 : p1 7 p5 7 p2
p2
7 p1
7 p1
p3
7 p2
7 p5
p4
7 p3
7 p4
p5
7 p4
7 p3
43
De manera ms general, se puede probar que

k = 5k , k = 1, 2, 3, 4.
Ntese que esta propiedad no es ms que la formalizacin de la idea de que reflejar en un eje y luego rotar
el polgono es como rotar el polgono en direccin contraria y luego reflejar. 2
Observacin 2.4.5 En el caso general, puede demostrarse que el grupo didrico Dn est generado por dos
elementos, y (es decir, Dn = h, i) que verifican
n = I2 , 2 = I2 y k = nk , k = 1, 2, . . . , n 1,
donde I2 denota la identidad, es una rotacin de ngulo 2
n y es una reflexin (aunque la demostracin
en el caso n par es ligeramente distinta a la que hemos indicado para D5 ). 2
Observacin 2.4.6 Se puede probar que todo grupo generado por dos elementos a y b que verifiquen que
an = e, b2 = e y ab = ban1 (= ba1 )
es isomorfo a Dn .
El resultado fundamental de esta seccin clasifica los subgrupos finitos de las isometras del plano que
fijan el origen:
Proposicin 2.4.7 Todo subgrupo finito G O(2) es cclico o didrico.
D EMOSTRACIN. Distinguimos dos casos:
a) Supongamos primero que G SO(2) y veamos que G es cclico. En esta situacin todos los elementos
de G son rotaciones y, como hay un nmero finito, existe tal que es el menor ngulo no nulo de las
rotaciones de G. Veamos que existe n N tal que
=
2
n
En efecto, A debe tener orden finito, digamos m, por tenerlo G. Como

Am
= I2 existe k {0, 1, . . . , m 1} tal que m = 2k =
2k
.
m
Haciendo la divisin entera de m entre k, existen n N y 0 r < k tales que

m = kn + r.
As pues,
(n + 1) = (n + 1)
2k
= 2(kn + k) = 2(m + k r) = 2 + 2(k r) ,
m
m
m
m
por lo que
.
m
G sera menor que (lo que contradice la hiptesis). En
An+1
= A siendo = 2(k r)
Si r 6= 0 el ngulo de la rotacin A
conclusin,
r = 0 m = kn =
2
2k
=
.
m
n
Finalmente, es obvio que G = hA i pues, si no, existira en G una rotacin A con (k, (k + 1))
para algn k y, por tanto, Ak estara en G, lo que no es posible al ser k < .
44
b) Supongamos ahora que G no es subgrupo de SO(2). Consideramos

H = G SO(2)
que es un subgrupo de SO(2) que, por a)), es cclico: H = hi con n = I2 . El conjunto cociente G/H
tiene, exactamente, dos elementos: H y H para algn G\H (en efecto, si 0 G\H, entonces
01 = 0 H, por ser su determinante 1, y as H = H 0 ). Por lo tanto, todo elemento de G est
en una de las dos clases de equivalencia anteriores y, as, usando que H = hi, podemos afirmar que
G = {I2 , , 2 , . . . , n1 , , , 2 , . . . , n1 }.
Adems, al ser G un grupo, se tiene que G = h, i. Para ver que G
= Dn , como sabemos que 2 = I2
n
y = I2 , gracias a la Observacin 2.4.6, slo nos resta comprobar que
= n1 .
Como det( n1 ) = 1 entonces existe k {0, 1, . . . , n 1} tal que n1 = k . Por tanto,
I2 = ( k )2 = ( k )( n1 ) = n+k1 = k1 .
Consecuentemente, k 1 debe ser un mltiplo de n pero, como k {0, 1, . . . , n 1}, este mltiplo
slo puede ser 0. As se concluye que k = 1. 2
2.5 Grupos cristalogrficos planos

Pretendemos ahora realizar o identificar ciertos subgrupos del grupo de isometras de todo el plano como
los grupos de simetra de un patrn o configuracin infinita (pero discreta) de puntos del plano (infinita,
para que tenga sentido que las traslaciones sean simetras de la configuracin; si no, estaramos hablando,
directamente, de subgrupos de O(2); discreta, para que haya un dominio fundamental compacto, es decir,
que las teselas con las que vamos a recubrir el plano tengan un rea finita y no nula). Como veremos, a esos
patrones de puntos los llamaremos retculos.
Notacin 2.5.1 Denotamos por el homomorfismo : E2 O(2) dado por
(g) = M
para
g = (v, M ) = tv fM .
Observacin 2.5.2 es, en efecto, un homomorfismo, pues

((v1 , M1 )(v2 , M2 )) = (v1 + M1 v2 , M1 M2 ) = M1 M2 = (v1 , M1 )(v2 , M2 )
(vase la Observacin 2.3.12).
Definicin 2.5.3 Dado un subgrupo G E2 , definimos su subgrupo de traslaciones como

T = G ker() = ker(|G ),
y el grupo puntual de G como
J = (G) O(2).
Ejemplo 2.5.4 Consideremos el conjunto de puntos del plano formado por un panal de celdas hexagonales
como las de la Figura 2.10, donde los vectores u y v unen centros de hexgonos contiguos y son linealmente independientes. Sea G el grupo de las simetras de este conjunto, es decir, el formado por todas las
traslaciones de vector nu + mv con n, m Z, las rotaciones alrededor del centro de algn hexgono de
ngulo k
3 con k = 0, 1, . . . , 5, las reflexiones respecto a ejes que pasan por vrtices opuestos o puntos
medios de lados opuestos de un hexgono, y sus composiciones. En este caso, pues, no es difcil ver que
T = htu , tv i y J = D6 .
Retculos y su clasificacin
45
Figura 2.10: Panal de celdas hexagonales.
Definicin 2.5.5 Los grupos cristalogrficos planos son aquellos subgrupos de E2 cuyos subgrupos de
traslaciones tienen dos generadores independientes y cuyo grupo puntual es finito. 2
Observacin 2.5.6
a) La primera condicin asegura que el grupo est formado por las simetras de una configuracin autnticamente bidimensional, y no unidimensional. Es decir, que tratamos con grupos realmente del plano, y
no extensiones triviales al plano de grupos de simetras de la recta (los cuales conducen a los denominados frisos).
b) La segunda condicin tiene que ver con la condicin discreta (no continua) del retculo; implica que hay
un subconjunto del plano (una celda del retculo) que se va a repetir indefinidamente hasta cubrir todo
el plano. Sin esta condicin, los puntos del retculo podran estar infinitamente cerca, y la tesela con la
que cubrimos el plano podra ser infinitamente pequea. . . 2
Para obtener la clasificacin de estos grupos (que nos van a dar todos los posibles grupos de simetras de
mosaicos del plano), necesitamos algunos resultados acerca de los subgrupos de traslaciones y los grupos
puntuales.
2.6
Nota: En lo que resta de este captulo supondremos que G es un grupo cristalogrfico plano.
Definicin 2.6.1 Un retculo (plano) es un subconjunto R de R2 para el que existen dos vectores u, v R2
de modo que
R = {mu + nv : m, n Z}. 2
Observacin 2.6.2 Ntese que R es el subgrupo de (R2 , +) generado por los vectores u y v.
Proposicin 2.6.3 Sean G E2 y T el subgrupo de traslaciones de G. Entonces, el conjunto
L = {t(0) : t T }
es el retculo generado por a y b, siendo:
i) a un elemento de norma minimal de L.
ii) b un elemento de L no alineado con a, de longitud mnima.
Diremos que L es el retculo asociado al grupo cristalogrfico plano G.
46
D EMOSTRACIN. Por ser G cristalogrfico plano, T = htu , tv i para ciertos vectores u, v. Adems, como
L es isomorfo a T mediante el isomorfismo tw 7 w = tw (0), se verifica que L es el subgrupo de (R2 , +)
generado por los vectores u y v, es decir, L es el retculo asociado a esos mismos vectores.
Por lo tanto, si escogemos a y b en L como indica el enunciado, el retculo L0 generado por a y b est
contenido en L ya que las combinaciones enteras de a y b son, en particular, combinaciones enteras de
u y v (por serlo a y b). El retculo L0 genera una divisin del plano en paralelogramos como se ve en la
Figura 2.11.
Figura 2.11: Divisin del plano en paralelogramos.
Veamos que L0 = L argumentando por reduccin al absurdo: supongamos que existe x L tal que
x 6 L0 ; entonces, escogemos el paralelogramo que contiene a x y llamamos c a la esquina del paralelogramo
ms cercana a x (vase, nuevamente, la Figura 2.11). Veamos que
||x c|| < ||b||.
(2.5)
En efecto, el punto del paralelogramo ms distante de su esquina ms cercana (y, por tanto, de todas las
esquinas) es su centro, y la distancia del centro del paralelogramo a su esquina ms cercana es

a + b a b
< ||a|| + ||b|| ||b||
min
,
2 2
2
donde se ha usado que, por definicin, a y b no estn alineados y ||a|| ||b||.
Por otra parte, como x c L y c L0 , tenemos que
x c L\L0 .
Esta propiedad, junto con la desigualdad (2.5), implica que x c es un vector que se encuentra en el
paralelogramo de vrtices a + b, b a, a b y a b y que
x c 6 {a, a}.
Por tanto, el vector x c de L no est alineado con a y tiene longitud menor que b, lo cual es una contradiccin. Deducimos, en consecuencia, que no hay ningn elemento en L\L0 . 2
Observacin 2.6.4 Los retculos se pueden clasificar en funcin del ngulo y magnitud relativa de a y b.
La forma en que se han elegido a y b asegura que ||a|| ||b|| ||a b||. Sustituyendo, en caso de que sea
necesario, b por b para asegurar que ||a b|| ||a + b||, se tiene la siguiente cadena de desigualdades:
||a|| ||b|| ||a b|| ||a + b||
El teorema de Pitgoras descarta la posibilidad de que
||b|| = ||a b|| = ||a + b||
por lo que los casos posibles son (vase la Figura 2.12):
47
a) Oblicuo: ||a|| < ||b|| < ||a b|| < ||a + b||.
b) Rectangular: ||a|| < ||b|| < ||a b|| = ||a + b||.
c) Rectangular centrado: ||a|| < ||b|| = ||a b|| < ||a + b||. En este caso, las direcciones a y 2b a son
perpendiculares.
d) Cuadrado: ||a|| = ||b|| < ||a b|| = ||a + b||.
e) Hexagonal: ||a|| = ||b|| = ||a b|| < ||a + b||.
Ntese que el caso restante (denominado rmbico)
||a|| = ||b|| < ||a b|| < ||a + b||,
puede asimilarse al rectangular centrado con a0 = a b y b0 = a. En este caso, el generador a0 del retculo
ya no sera el elemento de norma mnima pero, an as, lo asociamos al caso rectangular centrado porque el
hecho caracterstico de este caso es que las direcciones a y 2b a son perpendiculares. 2
Figura 2.12: Clasificacin de los retculos.
Observacin 2.6.5 A pesar de que J = (G) O(2), en general, J no es un subgrupo de G. De hecho,

los elementos de J no tienen por qu
estar en G. Por ejemplo, si tomamos como G el grupo generado por
1
la traslacin tv = (v, I2 ) con v =
y la reflexin con deslizamiento = (w, B ) con
0

0
1 0
w=
y B =
1
0 1
entonces el grupo puntual de G es
J = {I2 , B } .
Sin embargo, B 6 G. En efecto, si B G entonces la traslacin tw = fB debera estar en G. Pero
esto no ocurre, dado que el grupo de traslaciones de G es el generado por tv y t2w = 2 y los vectores v
y 2w son perpendiculares (de hecho, en G slo hay traslaciones y reflexiones con deslizamiento, todas de
orden infinito). 2
No obstante, el siguiente resultado nos asegura que los elementos de J son simetras del retculo L:
Proposicin 2.6.6 Para todo A J y p L se verifica que
fA (p) = Ap L.
Dicho de otro modo, fA (L) = L, por lo que fA es una simetra de L.
48
D EMOSTRACIN. Sea A J. Entonces existe tv T tal que

tv fA G.
Queremos ver que para todo p = tw (0) L se verifica que
fA (p) L.
Como T = ker( |G ) se verifica que T C G y, por tanto,
(tv fA ) tw (tv fA )1 T
y
(tv fA ) tw (tv fA )1 (0) L.
Pero
(tv fA ) tw (tv fA )1 (0) = v + A(w + A1 (0 v)) = v + Aw v
= Aw = A(tw (0)) = Ap = fA (p). 2
Proposicin 2.6.7 (Restriccin cristalogrfica) Toda rotacin de un grupo cristalogrfico plano tiene orden 2, 3, 4 6.
D EMOSTRACIN. Las rotaciones de orden n 7 tienen una potencia suya que es una rotacin de ngulo
2
n < 3 . Sea A la matriz de esta rotacin; supongamos que A J y lleguemos a una contradiccin. En
efecto, por la Proposicin 2.6.6, se tendra que fA (a) L y
fA (a) a L,
siendo a el generador de L de norma mnima; pero entonces se tendra la contradiccin
||fA (a) a|| < ||a||,
por ser ||fA (a)|| = ||a|| y el ngulo de rotacin menor que
(vase la Figura 2.13).
(a) Rotacin de orden n 7.
(b) Rotacin de orden 5.
Figura 2.13: Rotaciones.
En cuanto a las rotaciones de orden 5, todas ellas poseen una potencia que es una rotacin de ngulo
En ese caso, si A es la matriz de esta rotacin, se llegara a que
2
5 .
||fA2 (a) + a|| < ||a||

(vase, de nuevo, la Figura 2.13) lo cual constituye, de nuevo, una contradiccin.
Para finalizar, enunciamos los siguientes resultados:

Proposicin 2.6.8 Un isomorfismo entre grupos cristalogrficos planos respeta traslaciones, rotaciones,
reflexiones y reflexiones con deslizamiento.
D EMOSTRACIN. Vase [2, Teorema 25.5, pg. 152].
Proposicin 2.6.9 Dos grupos cristalogrficos planos isomorfos tienen grupos puntuales isomorfos.
D EMOSTRACIN. Vase [2, Corolario 25.6, pg. 153].
2.7
Aplicacin: Clasificacin de los modelos de mosaicos del plano
49
Aplicacin: Clasificacin de los modelos de mosaicos del

plano
En esta seccin se da una clasificacin (salvo isomorfismo) de los grupos cristalogrficos planos. Para ello,
para cada uno de los 5 tipos de retculo, se estudia cules son las distintas posibilidades para el grupo puntual
correspondiente, teniendo en cuenta la restriccin cristalogrfica y, tambin, que el grupo puntual debe
dejar fijo el retculo. De alguna forma, pretendemos as eliminar las traslaciones, que corresponderan
a la repeticin peridica de la baldosa hasta cubrir el plano, para centrarnos en las simetras de la baldosa
misma. No obstante, en algunos casos, el mismo retculo puede tener un mismo grupo puntual que provenga
de grupos de simetra distintos: en ese caso hay que analizar si las reflexiones que aparecen en el grupo
puntual provienen de reflexiones de G o de reflexiones con deslizamiento, y considerar el ngulo que forman
los ejes de las dichas reflexiones con los generadores del retculo.
Una vez clasificados los grupos cristalogrficos planos, tenemos una clasificacin, por sus grupos de
simetra, de todas las configuraciones de puntos del plano que estn creadas por la repeticin peridica por
traslaciones de una regin finita del plano (que se corresponde con la tesela o baldosa), es decir, habremos
dado un modelo de clasificacin de los mosaicos o pavimentos peridicos del plano. Como veremos, hay
exactamente 17 modelos (todos los cuales pueden encontrarse en la decoracin del palacio de la Alhambra,
en Granada).
Para denominar a cada uno de los tipos de grupos cristalogrficos planos, introducimos una de las
notaciones estndar, la cual est formada por cuatro caracteres (que, a veces, se abrevian a tres o a dos):
a) En lo referente al retculo (Primer carcter: p o c):
i) p si se usa una celda primitiva del retculo (una copia del paralelogramo bsico generado por a y b,
sin puntos del retculo en su interior).
ii) c si se usa como unidad bsica un conjunto de varias celdas primitivas, junto con su centro (que es
un punto del retculo).
b) En lo referente al grupo puntual:
i) Segundo carcter: 1, 2, 3, 4 6 indica la existencia de una rotacin del orden correspondiente (1
indicara la ausencia de rotaciones, i.e., que la nica rotacin presente es la identidad).
ii) Tercer y cuarto caracteres (m, g o 1):
m indica que hay una reflexin (mirror).
g indica que hay una reflexin con deslizamiento (glide).
1 indica que no hay ninguna de ambas.
El tercer carcter se refiere a reflexiones o deslizamientos con eje perpendicular a alguna de las
direcciones del retculo (eje principal). El cuarto carcter, con respecto a un eje (eje secundario)
que o bien es perpendicular al anterior (en los casos rectangular o rectangular centrado), o bien
forma con l un ngulo de /4 (en el caso cuadrado) o /6 (en el caso hexagonal).
A menudo, cuando no aportan informacin relevante, se utiliza la notacin abreviada, en la que se
omite alguno de los caracteres anteriores. As, por ejemplo, p2 p211 o cmm c2mm.
Como ya se ha dicho, vamos a realizar una clasificacin mediante los 5 tipos posibles de retculo estudiando, en cada caso, cules son las distintas posibilidades para el grupo puntual correspondiente, teniendo
en cuenta que ste debe actuar sobre el retculo. Tenemos los siguientes casos:
a) L es oblicuo. En este caso, slo I2 y A = I2 preservan el retculo. Por tanto, hay dos posibilidades:
50
(p1) = (p111) Si J = {I2 }, en cuyo caso G est generado por las dos traslaciones.
(p2) = (p211) Si J = {I2 , I2 }. Entonces, de hecho, en G slo hay traslaciones y giros de ngulo
.
b) L es rectangular. Las transformaciones ortogonales que preservan L son

{I2 , I2 , B0 , B }
y J es un subgrupo de este grupo. Si J = {I2 } J = {I2 , I2 } volvemos a obtener los casos p1 y p2
(ya que el retculo rectangular es un caso particular del retculo oblicuo). Por tanto, los nuevos casos que
aparecen son:
(pm) = (p1m1) Si J = {I2 , B0 } y G contiene una reflexin de eje horizontal (en el caso J =
{I2 , B }, el eje es vertical).
(pg) = (p1g1) Si con el mismo J = {I2 , B0 }, G no contiene una reflexin. En ese caso G debe
contener una reflexin con deslizamiento (v, B0 ) con v horizontal (de forma anloga, si cambiamos
B0 por B , la reflexin con deslizamiento es vertical).
(pmm) = (p2mm) Si J = {I2 , I2 , B0 , B } y G contiene una reflexin de eje horizontal y otra

de eje vertical. Dado que la composicin de estas reflexiones es una rotacin de ngulo (pues
B0 B = I2 ), la existencia de mm implica que debe haber un 2. Es por ello que con la notacin
51
no abreviada, se le denomina p2mm.
(pmg) = (p2mg) Si con el mismo J = {I2 , I2 , B0 , B }, G tiene una reflexin horizontal pero
no una vertical (o viceversa). Entonces B debe provenir de una reflexin con deslizamiento de
eje vertical (respectivamente, horizontal).
(pgg) = (p2gg) Si, con el mismo J = {I2 , I2 , B0 , B }, G no contiene reflexiones (y, por tanto,
G contiene reflexiones con deslizamiento con ejes horizontales y verticales).
c) L es rectangular centrado. Las transformaciones que respetan el retculo coinciden con el caso anterior.
En los casos J = {I2 } o J = {I2 , I2 } volvemos a obtener, como en el caso oblicuo y rectangular,
grupos del tipo p1 y p2. Sin embargo, las otras posibilidades para el grupo puntual nos proporcionan
dos nuevos grupos (pues el hecho de que el retculo sea distinto hace que el mismo J produzca un G
diferente al del caso rectangular):
(cm) = (c1m1) Si J = {I2 , B0 } (anlogamente, si J = {I2 , B }) entonces B0 provendr de
una reflexin o de una reflexin con deslizamiento. Pero en este ltimo caso, se fabrica a partir de
dicha reflexin con deslizamiento una reflexin. Es decir, para este grupo puntual, siempre existe
una reflexin de eje perpendicular a uno de los lados del rectngulo centrado.
(cmm) = (c2mm) Si J = {I2 , I2 , B0 , B } y, como antes, B0 y B provienen de reflexiones
52
en las direcciones de los lados del rectngulo centrado.
d) L es cuadrado. El grupo de transformaciones ortogonales que lo preservan es
D4 = A 2 , B0 ,
del cual J es un subgrupo. Los nicos casos nuevos son los que incluyen A 2 en J (puesto que un retculo
cuadrado es un caso particular de un retculo rectangular, el resto de casos vuelve a proporcionarnos los
ya conocidos p1, p2, pm, pg, pmm, pmg y pgg):

(p4) = (p411) Si J = A 2 . No aparecen reflexiones ni reflexiones con deslizamiento.
(p4m) = (p4mm) Si J = A 2 , B0 = D4 y B0 proviene de una reflexin en G. Existen tambin,

como composicin de reflexiones y rotaciones, reflexiones en ejes que que forman ngulos de /4
con los generadores del retculo, por lo que su notacin no abreviada es p4mm.
(p4g) = (p4gm) Si J = A 2 , B0 = D4 y B0 no proviene de ninguna reflexin en G. Por lo

tanto, G contiene una reflexin con deslizamiento de eje perpendicular a un lado del retculo. El
anlisis de este caso demuestra que en G existen reflexiones en ejes que forman ngulos de /4
con las direcciones del retculo; por eso la notacin completa es p4gm.
e) L es hexagonal. Entonces J es un subgrupo de D6 y los nicos casos nuevos surgen cuando J incluye a
o A 3 . Las otras posibles elecciones de J vuelven a arrojar como resultado grupos de simetra del
A 2
3
tipo p1, p2, cm y cmm, ya que ste es un caso particular de retculo rectangular centrado (en el sentido
de que 2b a es perpendicular a a). Analizando los nuevos casos:
53
D
E
(p3) = (p311) Si J = A 2
. No aparecen reflexiones ni reflexiones con deslizamiento.
3
D
E
(p31m) Si J = A 2
,
B
. Se demuestra entonces que B0 procede necesariamente de una refle0
3
xin (y su eje es paralelo a una direccin del retculo, por lo que no es perpendicular a ella, sino que
forma con la perpendicular a una direccin del retculo un ngulo de /6). Se puede comprobar
que no hay reflexiones ni reflexiones con deslizamiento que tengan ejes perpendiculares a a o b (de
ah el 1 en p31m).
D
E
(p3m1) Si J = A 2
,
B
. De nuevo, se comprueba que B 3 procede necesariamente de una
3
3
reflexin cuyo eje forma un ngulo de 6 con a y, en consecuencia, es perpendicular a b. El anlisis
detallado posterior muestra que no hay reflexiones ni reflexiones con deslizamiento con un eje
paralelo a a o b, lo que explica el nombre de este caso.
Una nota importante es que en parte de la literatura, y en particular, en [2], los nombres de los
casos p3m1 y p31m estn permutados respecto a los que hemos presentado aqu.

(p6) = (p611) Si J = A 3 . No aparecen reflexiones ni reflexiones con deslizamiento.
(p6m) = (p6mm) Si J = A 3 , B0 = D6 . Se demuestra que B0 proviene obligatoriamente de

una reflexin.
54
Quedara por demostrar que los 17 grupos son genuinamente diferentes, i.e., que no pueden ser isomorfos entre s. Es claro que si los grupos puntuales correspondientes no son isomorfos, tampoco pueden
serlo los grupos cristalogrficos. En cuanto a los grupos que tienen grupos puntuales isomorfos, hay que
encontrar diferencias en G, como la existencia, nmero u orientacin de los ejes de reflexiones o reflexiones
con deslizamiento.
Cerramos el captulo con una breve mencin, mediante un ejemplo, de teselaciones o pavimentos aperidicos. La idea es comparar con la situacin desarrollada hasta ahora:
Definicin 2.7.1 Un conjunto de polgonos se llama aperidico si puede usarse para recubrir el plano,
pero todos los mosaicos que se forman son no peridicos, es decir, ninguna traslacin es una simetra del
mosaico. 2
Observacin 2.7.2 Las tcnicas que deben utilizarse para demostrar que ningn pavimento del plano formado por un conjunto determinado de polgonos puede ser peridico son muy complicadas. Hay muchos
problemas que permanecen abiertos (sin resolver) en este mbito. 2
Ejemplo 2.7.3 Penrose propone varios ejemplos, el ms famoso de los cuales tiene slo dos polgonos,
llamados dardos y cometas (darts and kites)
Bibliografa bsica
[1] T. S. Blyth and E. F. Robertson: Sets and mappings. Essential Student Algebra, vol. 1, Chapman and
Hall, Londres y Nueva York, 1986.
[2] M. A. Armstrong: Groups and symmetry. SpringerVerlag, Nueva York, 1988.
[3] M. Berrocoso, M. E. Ramrez, J. M. EnrquezSalamanca y A. PrezPea: Notas y apuntes de trigonometra esfrica y astronoma de posicin. Universidad de Cdiz, 2003.
[4] J. T. Sandefur: Discrete Dynamical Systems. Theory and Applications. Clarendon Press, Oxford, 1990.
[5] K. H. Rosen: Matemtica discreta y sus aplicaciones. McGrawHill, Madrid, 2004.

Grupos de Simetrías. Mosaicos (Tema 2)

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Grupos de Simetrías. Mosaicos (Tema 2)

Uploaded by

Copyright:

Available Formats

2

Grupos de simetras. Mosaicos

Las simetras rotacionales de un tetraedro

Elementos de Matemticas y aplicaciones

Grupos de simetras. Mosaicos

Elementos de Matemticas y aplicaciones

(b) Prisma hexagonal.

Figura 2.1: Simetras en un tetraedro y en un prisma hexagonal.

2.2 Grupos. Isomorfismos y homomorfismos de grupos

Elementos de Matemticas y aplicaciones

Elementos de Matemticas y aplicaciones

Grupos. Isomorfismos y homomorfismos de grupos

el matemtico noruego Niels Henrik Abel (18021829).

por el conjunto G H con la operacin (g1 , h1 ) + (g2 , h2 ) = (g1 + g2 , h1 + h2 ) para todo g1 , g2 G y h1 , h2 H.

Elementos de Matemticas y aplicaciones

Grupos de simetras. Mosaicos

Elementos de Matemticas y aplicaciones

a) El elemento neutro e de G es nico.

Pero, por ser e0 tambin elemento neutro, se tiene que

Por tanto, de (2.1) y (2.2), se concluye que e = e0 .

2.2.2 Subgrupos. Grupos finitos. Orden

Figura 2.2: Tringulo incrustado en un hexgono.

Elementos de Matemticas y aplicaciones

Elementos de Matemticas y aplicaciones

Grupos. Isomorfismos y homomorfismos de grupos

Definicin 2.2.4 Sea (G, ) un grupo. Un subconjunto H G es un subgrupo de G (y se escribe H G)

Notacin 2.2.6 Sea (G, ) un grupo. Si x G y n Z, vamos a denotar por xn a

Observacin 2.2.9 El orden de un elemento x es el menor entero positivo n tal que xn = e.

Elementos de Matemticas y aplicaciones

Grupos de simetras. Mosaicos

Elementos de Matemticas y aplicaciones

2.2.3 Isomorfismos: cundo dos grupos son iguales

Elementos de Matemticas y aplicaciones

Elementos de Matemticas y aplicaciones

Grupos. Isomorfismos y homomorfismos de grupos

a) La aplicacin (R, +) (R+ , ) dada por x 7 exp(x).

Proposicin 2.2.18 Si f : G G0 es un isomorfismo, se verifica que

Proposicin 2.2.19 Los isomorfismos llevan subgrupos a subgrupos.

Proposicin 2.2.20 Los isomorfismos preservan el orden de los elementos.

Elementos de Matemticas y aplicaciones

Grupos de simetras. Mosaicos

Elementos de Matemticas y aplicaciones

2.2.4 Homomorfismos de grupos. Ncleo e imagen

Proposicin 2.2.26 Si f : G G0 es un homomorfismo de grupos se tiene que ker(f ) G e im(f ) G0 .

Observacin 2.2.27 Sea f : G G0 un homomorfismo de grupos.

2.2.5 Subgrupos normales. El grupo cociente

Elementos de Matemticas y aplicaciones

Elementos de Matemticas y aplicaciones

Isometras del plano y matrices ortogonales

D EMOSTRACIN. Si llamamos G/H al conjunto cociente de G por la relacin de equivalencia H ,

Observacin 2.2.30 Lo interesante es que si H C G, entonces la operacin de G le da estructura de grupo

Proposicin 2.2.31 Si f : G G0 es un homomorfismo, entonces ker(f ) C G.

Isometras del plano y matrices ortogonales

Elementos de Matemticas y aplicaciones

Grupos de simetras. Mosaicos

Elementos de Matemticas y aplicaciones

Ejemplo 2.3.4 Son isometras:

Figura 2.4: Traslacin de vector v.

Elementos de Matemticas y aplicaciones

Elementos de Matemticas y aplicaciones

Isometras del plano y matrices ortogonales

Figura 2.5: Rotacin r de ngulo alrededor de c.

Figura 2.6: Reflexin r respecto a la recta r.

Elementos de Matemticas y aplicaciones