Un grupo de papel tapiz (o grupo de simetría plana o grupo cristalográfico plano ) es una clasificación matemática de un patrón repetitivo bidimensional, basada en las simetrías del patrón. Dichos patrones aparecen con frecuencia en la arquitectura y el arte decorativo , especialmente en textiles , azulejos y papel tapiz .
El grupo de papel tapiz más simple, el grupo p 1, se aplica cuando no hay simetría más allá de la simple traslación de un patrón en dos dimensiones. Los siguientes patrones tienen más formas de simetría, incluidas algunas simetrías rotacionales y reflexivas:
Los ejemplos A y B tienen el mismo grupo de papel tapiz; se denomina p4m en la notación IUCr y *442 en la notación orbifold . El ejemplo C tiene un grupo de papel tapiz diferente, llamado p4g o 4*2. El hecho de que A y B tengan el mismo grupo de papel tapiz significa que tienen las mismas simetrías, independientemente de los detalles superficiales de los diseños; mientras que C tiene un conjunto diferente de simetrías.
El número de grupos de simetría depende del número de dimensiones de los patrones. Los grupos de papel tapiz se aplican al caso bidimensional, de complejidad intermedia entre los grupos de frisos más simples y los grupos espaciales tridimensionales .
La primera prueba de que existen sólo 17 grupos distintos de tales simetrías planares fue realizada por Evgraf Fedorov en 1891 [1] y luego derivada independientemente por George Pólya en 1924. [2] La prueba de que la lista de grupos de papel tapiz está completa llegó sólo después de que se hubiera realizado el caso mucho más difícil de los grupos espaciales . Los diecisiete grupos de papel tapiz se enumeran a continuación; consulte § Los diecisiete grupos.
La simetría de un patrón es, en términos generales, una forma de transformar el patrón para que parezca exactamente igual después de la transformación. Por ejemplo, la simetría traslacional está presente cuando el patrón se puede trasladar (en otras palabras, desplazar) una distancia finita y parece inalterado. Pensemos en desplazar horizontalmente una franja de un conjunto de rayas verticales. El patrón no cambia. Estrictamente hablando, una verdadera simetría solo existe en patrones que se repiten exactamente y continúan indefinidamente. Un conjunto de, digamos, solo cinco rayas no tiene simetría traslacional: cuando se desplaza, la franja de un extremo "desaparece" y se "agrega" una nueva franja en el otro extremo. En la práctica, sin embargo, la clasificación se aplica a patrones finitos y se pueden ignorar las pequeñas imperfecciones.
Los tipos de transformaciones que son relevantes aquí se denominan isometrías del plano euclidiano . Por ejemplo:
Sin embargo, el ejemplo C es diferente . Solo tiene reflejos en direcciones horizontales y verticales, no a través de ejes diagonales. Si uno voltea a través de una línea diagonal, no se obtiene el mismo patrón de vuelta, sino el patrón original desplazado una cierta distancia. Esta es parte de la razón por la que el grupo de papel tapiz de A y B es diferente del grupo de papel tapiz de C.
Otra transformación es “Glide”, una combinación de reflexión y traslación paralela a la línea de reflexión.
Matemáticamente, un grupo de papel tapiz o grupo cristalográfico plano es un tipo de grupo topológicamente discreto de isometrías del plano euclidiano que contiene dos traslaciones linealmente independientes .
Dos de estos grupos de isometría son del mismo tipo (del mismo grupo de papel tapiz) si son iguales hasta una transformación afín del plano . Así, por ejemplo, una traslación del plano (y por lo tanto una traslación de los espejos y centros de rotación) no afecta al grupo de papel tapiz. Lo mismo se aplica para un cambio de ángulo entre vectores de traslación, siempre que no agregue ni elimine ninguna simetría (esto solo es el caso si no hay espejos ni reflexiones de deslizamiento , y la simetría rotacional es como máximo de orden 2).
A diferencia del caso tridimensional , se pueden restringir de forma equivalente las transformaciones afines a aquellas que preservan la orientación .
Del teorema de Bieberbach se desprende que todos los grupos de papeles pintados son diferentes, incluso como grupos abstractos (a diferencia de, por ejemplo, los grupos de frisos , de los cuales dos son isomorfos con Z ).
Los patrones 2D con doble simetría traslacional se pueden clasificar según su tipo de grupo de simetría .
Las isometrías del plano euclidiano se dividen en cuatro categorías (consulte el artículo Isometría del plano euclidiano para obtener más información).
La condición de traslaciones linealmente independientes significa que existen vectores linealmente independientes v y w (en R 2 ) tales que el grupo contiene tanto a T v como a T w .
El propósito de esta condición es distinguir los grupos de papel tapiz de los grupos de frisos , que poseen una traslación pero no dos linealmente independientes, y de los grupos puntuales discretos bidimensionales , que no tienen ninguna traslación. En otras palabras, los grupos de papel tapiz representan patrones que se repiten en dos direcciones distintas, en contraste con los grupos de frisos, que solo se repiten a lo largo de un solo eje.
(Es posible generalizar esta situación. Se podrían, por ejemplo, estudiar grupos discretos de isometrías de R n con m traslaciones linealmente independientes, donde m es cualquier entero en el rango 0 ≤ m ≤ n .)
La condición de discreta significa que hay algún número real positivo ε, tal que para cada traslación T v en el grupo, el vector v tiene una longitud al menos ε (excepto, por supuesto, en el caso de que v sea el vector cero, pero la condición de traslaciones independientes lo impide, ya que cualquier conjunto que contenga el vector cero es linealmente dependiente por definición y, por lo tanto, no está permitido).
El propósito de esta condición es asegurar que el grupo tenga un dominio fundamental compacto, o en otras palabras, una "celda" de área finita distinta de cero, que se repita a través del plano. Sin esta condición, se podría tener, por ejemplo, un grupo que contenga la traslación T x para cada número racional x , lo que no correspondería a ningún patrón de papel tapiz razonable.
Una consecuencia importante y no trivial de la condición de discreción en combinación con la condición de traslaciones independientes es que el grupo solo puede contener rotaciones de orden 2, 3, 4 o 6; es decir, cada rotación en el grupo debe ser una rotación de 180°, 120°, 90° o 60°. Este hecho se conoce como el teorema de restricción cristalográfica [3] y se puede generalizar a casos de dimensiones superiores.
La cristalografía tiene 230 grupos espaciales para distinguir, muchos más que los 17 grupos de papel tapiz, pero muchas de las simetrías en los grupos son las mismas. Por lo tanto, se puede utilizar una notación similar para ambos tipos de grupos, la de Carl Hermann y la de Charles-Victor Mauguin . Un ejemplo de un nombre de papel tapiz completo en el estilo Hermann-Mauguin (también llamado notación IUCr ) es p31m, con cuatro letras o dígitos; lo más habitual es un nombre abreviado como cmm o pg.
Para los grupos de papel tapiz, la notación completa comienza con p o c , para una celda primitiva o una celda centrada en la cara ; estas se explican a continuación. A esto le sigue un dígito, n , que indica el orden más alto de simetría rotacional: 1-fold (ninguno), 2-fold, 3-fold, 4-fold o 6-fold. Los siguientes dos símbolos indican simetrías relativas a un eje de traslación del patrón, denominado "principal"; si hay un espejo perpendicular a un eje de traslación, ese es el principal (o si hay dos, uno de ellos). Los símbolos son m , g o 1 , para espejo, reflexión deslizante o ninguno. El eje del espejo o reflexión deslizante es perpendicular al eje principal para la primera letra, y paralelo o inclinado 180°/ n (cuando n > 2) para la segunda letra. Muchos grupos incluyen otras simetrías implícitas en las dadas. La notación corta omite dígitos o una m que se pueda deducir, siempre que eso no genere confusión con otro grupo.
Una celda primitiva es una región mínima repetida por traslaciones de red. Todos los grupos de simetría de papel tapiz, excepto dos, se describen con respecto a los ejes de la celda primitiva, una base de coordenadas que utiliza los vectores de traslación de la red. En los dos casos restantes, la descripción de la simetría se realiza con respecto a celdas centradas que son más grandes que la celda primitiva y, por lo tanto, tienen repetición interna; las direcciones de sus lados son diferentes de las de los vectores de traslación que abarcan una celda primitiva. La notación de Hermann-Mauguin para los grupos del espacio cristalino utiliza tipos de celdas adicionales.
Aquí están todos los nombres que difieren en notación corta y completa.
Los nombres restantes son p1 , p2 , p3 , p3m1 , p31m , p4 y p6 .
La notación orbifold para grupos de papel tapiz, propuesta por John Horton Conway (Conway, 1992) (Conway 2008), no se basa en la cristalografía, sino en la topología. Se puede plegar el mosaico periódico infinito del plano en su esencia, un orbifold , y luego describirlo con unos pocos símbolos.
El grupo denotado en notación cristalográfica por cmm será, en la notación de Conway, 2*22 . El 2 antes del * indica que hay un centro de rotación doble sin espejo que lo atraviese. El * en sí mismo indica que hay un espejo. El primer 2 después del * indica que hay un centro de rotación doble en un espejo. El 2 final indica que hay un segundo centro de rotación doble independiente en un espejo, que no es un duplicado del primero bajo simetrías.
El grupo denotado por pgg será 22× . Hay dos centros de rotación puros de doble pliegue y un eje de reflexión de deslizamiento. Contraste esto con pmg, Conway 22* , donde la notación cristalográfica menciona un deslizamiento, pero uno que está implícito en las otras simetrías del orbifold.
También se incluye la notación de corchetes de Coxeter , basada en grupos de Coxeter reflexivos , y modificada con superíndices más que tienen en cuenta rotaciones, rotaciones impropias y traslaciones.
Un orbifold puede verse como un polígono con cara, aristas y vértices que se puede desplegar para formar un conjunto posiblemente infinito de polígonos que forman mosaicos en la esfera , el plano o el plano hiperbólico . Cuando forma mosaicos en el plano, dará un grupo de papel tapiz y cuando forma mosaicos en la esfera o el plano hiperbólico, dará un grupo de simetría esférico o un grupo de simetría hiperbólica . El tipo de espacio que forman mosaicos los polígonos se puede encontrar calculando la característica de Euler , χ = V − E + F , donde V es el número de esquinas (vértices), E es el número de aristas y F es el número de caras. Si la característica de Euler es positiva, entonces el orbifold tiene una estructura elíptica (esférica); si es cero, entonces tiene una estructura parabólica, es decir, un grupo de papel tapiz; y si es negativa, tendrá una estructura hiperbólica. Cuando se enumera el conjunto completo de posibles orbifolds, se encuentra que solo 17 tienen una característica de Euler 0.
Cuando un orbifold se replica por simetría para llenar el plano, sus características crean una estructura de vértices, aristas y caras poligonales, que deben ser consistentes con la característica de Euler. Invirtiendo el proceso, se pueden asignar números a las características del orbifold, pero fracciones, en lugar de números enteros. Debido a que el orbifold en sí es un cociente de la superficie completa por el grupo de simetría, la característica de Euler del orbifold es un cociente de la característica de Euler de la superficie por el orden del grupo de simetría.
La característica de Euler orbifold es 2 menos la suma de los valores de las características, asignados de la siguiente manera:
Para un grupo de fondos de pantalla, la suma de las características debe ser cero; por lo tanto, la suma de las características debe ser 2.
Ahora la enumeración de todos los grupos de fondos de pantalla se convierte en una cuestión de aritmética, de enumerar todas las cadenas de características con valores que suman 2.
Las cadenas de características con otras sumas no son una tontería; implican teselados no planares, que no se analizan aquí. (Cuando la característica de Euler orbifold es negativa, el teselado es hiperbólico ; cuando es positivo, esférico o malo ).
Para determinar qué grupo de papel pintado corresponde a un diseño determinado, se puede utilizar la siguiente tabla. [4]
Vea también este resumen con diagramas.
Cada uno de los grupos de esta sección tiene dos diagramas de estructura celular, que deben interpretarse de la siguiente manera (lo importante es la forma, no el color):
En los diagramas del lado derecho, las diferentes clases de equivalencia de elementos de simetría están coloreadas (y rotadas) de manera diferente.
El área marrón o amarilla indica un dominio fundamental , es decir, la parte más pequeña del patrón que se repite.
Los diagramas de la derecha muestran la celda de la red correspondiente a las traslaciones más pequeñas; los de la izquierda a veces muestran un área mayor.
Las dos traducciones (lados de la celda) pueden tener longitudes diferentes y pueden formar cualquier ángulo.
(Los primeros tres tienen un eje de simetría vertical y los dos últimos tienen cada uno un eje diagonal diferente).
![Una de las coloraciones del mosaico de cuadrados chatos; las líneas de reflexión de deslizamiento están en la dirección superior izquierda / inferior derecha; ignorando los colores, hay mucha más simetría que solo pg, entonces es p4g (vea allí esta imagen con triángulos de colores iguales)[5]](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c3/Tile_33434.svg/1280px-Tile_33434.svg.png)
Sin los detalles dentro de las bandas en zigzag el tapete es pmg; con los detalles pero sin la distinción entre marrón y negro es pgg.
Ignorando los bordes ondulados de las baldosas, el pavimento es pgg.
La simetría rotacional de orden 2 con centros de rotación en los centros de los lados del rombo es una consecuencia de las otras propiedades.
El patrón corresponde a cada uno de los siguientes:
Un patrón p 4 puede considerarse como una repetición en filas y columnas de piezas cuadradas iguales con simetría rotacional cuádruple. También puede considerarse como un patrón de tablero de ajedrez de dos de esas piezas, un factor √ 2 más pequeño y rotado 45°.
Esto corresponde a una cuadrícula sencilla de filas y columnas de cuadrados iguales con los cuatro ejes de reflexión. También corresponde a un patrón de tablero de ajedrez de dos de esos cuadrados.
Ejemplos mostrados con las traducciones más pequeñas horizontales y verticales (como en el diagrama):
Ejemplos mostrados con la diagonal de traducción más pequeña:
Un patrón p 4 g puede considerarse como un patrón de tablero de ajedrez de copias de una pieza cuadrada con simetría rotacional cuádruple y su imagen reflejada. Alternativamente, puede considerarse (desplazando la mitad de una pieza) como un patrón de tablero de ajedrez de copias de una pieza simétrica horizontal y verticalmente y su versión rotada 90°. Nótese que ninguna de estas dos opciones se aplica a un patrón de tablero de ajedrez simple de piezas blancas y negras, este es el grupo p4m (con celdas de traslación diagonal).
Imagine a tessellation of the plane with equilateral triangles of equal size, with the sides corresponding to the smallest translations. Then half of the triangles are in one orientation, and the other half upside down. This wallpaper group corresponds to the case that all triangles of the same orientation are equal, while both types have rotational symmetry of order three, but the two are not equal, not each other's mirror image, and not both symmetric (if the two are equal it is p6, if they are each other's mirror image it is p31m, if they are both symmetric it is p3m1; if two of the three apply then the third also, and it is p6m). For a given image, three of these tessellations are possible, each with rotation centres as vertices, i.e. for any tessellation two shifts are possible. In terms of the image: the vertices can be the red, the blue or the green triangles.
Equivalently, imagine a tessellation of the plane with regular hexagons, with sides equal to the smallest translation distance divided by √3. Then this wallpaper group corresponds to the case that all hexagons are equal (and in the same orientation) and have rotational symmetry of order three, while they have no mirror image symmetry (if they have rotational symmetry of order six it is p6, if they are symmetric with respect to the main diagonals it is p31m, if they are symmetric with respect to lines perpendicular to the sides it is p3m1; if two of the three apply then the third also, it is p6m). For a given image, three of these tessellations are possible, each with one third of the rotation centres as centres of the hexagons. In terms of the image: the centres of the hexagons can be the red, the blue or the green triangles.
Like for p3, imagine a tessellation of the plane with equilateral triangles of equal size, with the sides corresponding to the smallest translations. Then half of the triangles are in one orientation, and the other half upside down. This wallpaper group corresponds to the case that all triangles of the same orientation are equal, while both types have rotational symmetry of order three, and both are symmetric, but the two are not equal, and not each other's mirror image. For a given image, three of these tessellations are possible, each with rotation centres as vertices. In terms of the image: the vertices can be the red, the blue or the green triangles.
Like for p3 and p3m1, imagine a tessellation of the plane with equilateral triangles of equal size, with the sides corresponding to the smallest translations. Then half of the triangles are in one orientation, and the other half upside down. This wallpaper group corresponds to the case that all triangles of the same orientation are equal, while both types have rotational symmetry of order three and are each other's mirror image, but not symmetric themselves, and not equal. For a given image, only one such tessellation is possible. In terms of the image: the vertices must be the red triangles, not the blue triangles.
A pattern with this symmetry can be looked upon as a tessellation of the plane with equal triangular tiles with C3 symmetry, or equivalently, a tessellation of the plane with equal hexagonal tiles with C6 symmetry (with the edges of the tiles not necessarily part of the pattern).
A pattern with this symmetry can be looked upon as a tessellation of the plane with equal triangular tiles with D3 symmetry, or equivalently, a tessellation of the plane with equal hexagonal tiles with D6 symmetry (with the edges of the tiles not necessarily part of the pattern). Thus the simplest examples are a triangular lattice with or without connecting lines, and a hexagonal tiling with one color for outlining the hexagons and one for the background.
There are five lattice types or Bravais lattices, corresponding to the five possible wallpaper groups of the lattice itself. The wallpaper group of a pattern with this lattice of translational symmetry cannot have more, but may have less symmetry than the lattice itself.
The actual symmetry group should be distinguished from the wallpaper group. Wallpaper groups are collections of symmetry groups. There are 17 of these collections, but for each collection there are infinitely many symmetry groups, in the sense of actual groups of isometries. These depend, apart from the wallpaper group, on a number of parameters for the translation vectors, the orientation and position of the reflection axes and rotation centers.
The numbers of degrees of freedom are:
However, within each wallpaper group, all symmetry groups are algebraically isomorphic.
Some symmetry group isomorphisms:
Note that when a transformation decreases symmetry, a transformation of the same kind (the inverse) obviously for some patterns increases the symmetry. Such a special property of a pattern (e.g. expansion in one direction produces a pattern with 4-fold symmetry) is not counted as a form of extra symmetry.
Change of colors does not affect the wallpaper group if any two points that have the same color before the change, also have the same color after the change, and any two points that have different colors before the change, also have different colors after the change.
If the former applies, but not the latter, such as when converting a color image to one in black and white, then symmetries are preserved, but they may increase, so that the wallpaper group can change.
Several software graphic tools will let you create 2D patterns using wallpaper symmetry groups. Usually you can edit the original tile and its copies in the entire pattern are updated automatically.
