Ir ao conteúdo principal

Seção 12.2 Simetría

Una isometría o movimiento rígido en \({\mathbb R}^n\) es una función \(f\) de \({\mathbb R}^n\) en \({\mathbb R}^n\) que preserva distancias. Esto quiere decir que \(f\) debe satisfacer

\begin{equation*} \| f({\mathbf x}) - f({\mathbf y}) \| =\|{\mathbf x} - {\mathbf y} \| \end{equation*}

para todo \({\mathbf x}, {\mathbf y} \in {\mathbb R}^n\text{.}\) No es difícil mostrar que \(f\) debe ser inyectiva. Por el Teorema 12.1.8, cualquier elemento en \(O(n)\) es una isometría en \({\mathbb R}^n\text{;}\) pero, \(O(n)\) no incluye todas las posibles isometrías en \({\mathbb R}^n\text{.}\) La traslación por un vector \({\mathbf x}\text{,}\) \(T_{\mathbf y}({\mathbf x}) = {\mathbf x} + {\mathbf y}\) también es una isometría (Figura 12.1.11); pero, \(T\) no puede estar en \(O(n)\) pues no es una función lineal.

Estamos fundamentalmente interesados en las isometrías en \({\mathbb R}^2\text{.}\) De hecho, las únicas isometrías en \({\mathbb R}^2\) son rotaciones en torno al origen, reflexiones respecto a rectas, traslaciones y combinaciones de estas. Por ejemplo, una reflexión deslizante es una traslación seguida de una reflexión (Figura 12.2.1). En \({\mathbb R}^n\) todas las isometrías están dadas de la misma forma. La demostrción se generaliza fácilmente.

\begin{tikzpicture}[scale=1.5] \draw [->] (0,-1.5) -- (0,1.5); \draw [->] (-1,0) -- (1.75,0); \node [right] at (0,2) {$y$}; \node [below] at (2,0) {$x$}; \draw [->, very thick, black] (0,0) -- (30:1.25) node [right] {$\mathbf x$}; \draw [->] (4,-1.5) -- (4,1.5); \draw [->] (3,0) -- (5.75,0); \node [right] at (4,2) {$y$}; \node [below] at (6,0) {$x$}; \draw [->, very thick, black] (4.5,0) -- +(330:1.25) node [right] {$T({\mathbf x})$}; \end{tikzpicture}
Figura 12.2.1. Reflexión deslizante

Sea \(f\) una isometría en \({\mathbb R}^2\) que fija el origen. Mostraremos primero que \(f\) preserva el producto interno. Como \(f(0) = 0\text{,}\) \(\| f({\mathbf x})\| = \| {\mathbf x} \|\text{;}\) por lo tanto,

\begin{align*} \| {\mathbf x} \|^2 - 2 \langle f({\mathbf x}), f({\mathbf y}) \rangle + \| {\mathbf y} \|^2 & = \| f({\mathbf x}) \|^2 - 2 \langle f({\mathbf x}), f({\mathbf y}) \rangle + \| f({\mathbf y}) \|^2\\ & = \langle f({\mathbf x}) - f({\mathbf y}), f({\mathbf x}) - f({\mathbf y}) \rangle\\ & = \| f({\mathbf x}) - f({\mathbf y}) \|^2\\ & = \| {\mathbf x} - {\mathbf y} \|^2\\ & = \langle {\mathbf x} - {\mathbf y}, {\mathbf x} - {\mathbf y} \rangle\\ & = \| {\mathbf x} \|^2 - 2 \langle {\mathbf x}, {\mathbf y} \rangle + \| {\mathbf y} \|^2. \end{align*}

Así,

\begin{equation*} \langle f({\mathbf x}), f({\mathbf y}) \rangle = \langle {\mathbf x}, {\mathbf y} \rangle. \end{equation*}

Sean \({\mathbf e}_1\) y \({\mathbf e_2}\) \((1, 0)^{\rm t}\) y \((0, 1)^{\rm t}\text{,}\) respectivamente. Si

\begin{equation*} {\mathbf x} = (x_1, x_2) = x_1 {\mathbf e}_1 + x_2 {\mathbf e}_2, \end{equation*}

entonces

\begin{equation*} f({\mathbf x}) = \langle f({\mathbf x}), f({\mathbf e}_1) \rangle f({\mathbf e}_1) + \langle f({\mathbf x}), f({\mathbf e}_2) \rangle f({\mathbf e}_2) = x_1 f({\mathbf e}_1)+x_2 f({\mathbf e}_2). \end{equation*}

La linealidad de \(f\) se deduce fácilmente.

Para una isometría arbitraria, \(f\text{,}\) \(T_{\mathbf x} f\) fijará el origen para algún vector \({\mathbf x}\) en \({\mathbb R}^2\text{;}\) luego, \(T_{\mathbf x} f({\mathbf y}) = A {\mathbf y}\) para alguna matriz \(A \in O(2)\text{.}\) Así, \(f({\mathbf y}) = A {\mathbf y} + {\mathbf x}\text{.}\) Dadas las isometrías

\begin{align*} f({\mathbf y}) & = A {\mathbf y} + {\mathbf x}_1\\ g({\mathbf y}) & = B {\mathbf y} + {\mathbf x}_2, \end{align*}

s composición es

\begin{equation*} f(g({\mathbf y})) = f(B {\mathbf y} + {\mathbf x}_2) = AB {\mathbf y} + A{\mathbf x}_2 + {\mathbf x}_1. \end{equation*}

Este último cálculo nos permite identificar el grupo de isometrías en \({\mathbb R}^2\) con \(E(2)\text{.}\)

Un grupo de simetría en \({\mathbb R}^n\) es un subgrupo del grupo de isometrías en \({\mathbb R}^n\) que fija un conjunto de puntos \(X \subset {\mathbb R}^n\text{.}\) Es importante darse cuenta que el grupo de simetría de \(X\) depende tanto de \({\mathbb R}^n\) como de \(X\text{.}\) Por ejemplo, el grupo de simetría del origen en \({\mathbb R}^1\) es \({\mathbb Z}_2\text{,}\) pero el grupo de simetría del origen en \({\mathbb R}^2\) es \(O(2)\text{.}\)

Sea \(G = \{ f_1, f_2, \ldots, f_n \}\) un grupo de simetría finito que fija un conjunto de puntos \(X \subset \mathbb R^2\text{.}\) Escoja un punto \(\mathbf x \in X\text{.}\) Este punto puede no ser un punto fijo—puede ser llevado por \(G\) a otro punto en \(X\text{.}\) Definamos un conjunto \(S =\{ \mathbf y_1, \mathbf y_2, \ldots \mathbf y_n\}\text{,}\) donde \(\mathbf y_i = f_i(\mathbf x)\text{.}\) Ahora, sea

\begin{equation*} \mathbf z = \frac{1}{n} \sum_{i=1}^n \mathbf x_i. \end{equation*}

Si bien el punto \(\mathbf z\) no necesariamente está en el conjunto \(X\text{,}\) queda fijo por todos los elementos del grupo de simetría. Sin pérdida de generalidad, podemos suponer que \(\mathbf z\) es el origen.

Un grupo de simetría finito \(G\) en \({\mathbb R}^2\) que fija el origen debe ser un subgrupo finito de \(O(2)\text{,}\) pues las traslaciones y traslaciones deslizantes tienen orden infinito. Por el Ejemplo 12.1.10, los elementos en \(O(2)\) son ya sea rotaciones de la forma

\begin{equation*} R_{\theta} = \begin{pmatrix} \cos \theta & - \sin \theta \\ \sin \theta & \cos \theta \end{pmatrix} \end{equation*}

o reflexiones de la forma

\begin{equation*} T_{\phi} = \begin{pmatrix} \cos \phi & - \sin \phi \\ \sin \phi & \cos \phi \end{pmatrix} \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} = \begin{pmatrix} \cos \phi & \sin \phi \\ \sin \phi & - \cos \phi \end{pmatrix}. \end{equation*}

Notemos que \(\det(R_{\theta})=1\text{,}\) \(\det(T_{\phi})=-1\text{,}\) y \(T_{\phi}^2=I\text{.}\) Podemos dividir la demostración en dos casos. En el primer caso, todos los elementos en \(G\) tienen determinante uno. En el segundo caso, existe al menos un elemento en \(G\) con determinante \(-1\text{.}\)

Caso 1. El determinante de cada elemento en \(G\) es uno. En este caso todo elemento en \(G\) debe ser una rotación. Como \(G\) es finito, existe un ángulo positivo mínimo, digamos \(\theta_0\text{,}\) tal que el correspondiente elemento \(R_{\theta_0}\) es la menor rotación en la dirección positiva. Afirmamos que \(R_{\theta_0}\) genera a \(G\text{.}\) Si no, para algún entero positivo \(n\) hay un ángulo \(\theta_1\) entre \(n \theta_0\) y \((n+1) \theta_0\text{.}\) Si es así, entonces \((n+1) \theta_0 - \theta_1\) corresponde a una rotación menor a \(\theta_0\text{,}\) lo que contradice la minimalidad de \(\theta_0\text{.}\)

Caso 2. El grupo \(G\) contiene una reflexión \(T\text{.}\) El núcleo del homomorfismo \(\phi : G \rightarrow \{-1, 1\}\) dado por \(A \mapsto \det(A)\) consiste de los elmentos cuyo determinante es 1. Por lo tanto, \(|G/ \ker \phi|=2\text{.}\) Sabemos que el núcleo es cíclico por el caso 1 y es un subgrupo de \(G\) de, digamos, orden \(n\text{.}\) Luego, \(|G| = 2n\text{.}\) Los elementos de \(G\) son

\begin{equation*} R_{\theta}, \ldots, R_{\theta}^{n-1}, TR_{\theta}, \ldots, TR_{\theta}^{n-1}. \end{equation*}

Estos elementos satisfacen la relación

\begin{equation*} TR_{\theta}T = R_{\theta}^{-1}. \end{equation*}

De manera que, \(G\) es isomorfo a \(D_n\) en este caso.

Subseção 12.2.1 Los Grupos Cristalográficos del Plano

Supongamos que queremos deseamos estudiar los patrones de empapelamiento del plano o los cristales en tres dimensiones. Los patrones de empapelamiento son simplemente patrones que se repiten en el plano (Figura 12.2.5). Los análogos de estos patrones en \({\mathbb R}^3\) son cristales, que podemos entender como patrones repetidos de moléculas en tres dimensiones (Figura 12.2.6). El equivalente matemático de un empapelamiento o patrón cristalográfico se llama reticulado.

\begin{tikzpicture}[scale=1] \draw (0,0) -- (1,-0.75) -- (2,0) -- (3,-0.75) -- (4, 0) -- (5,-0.75)-- (6, 0) -- (7,-0.75)-- (8, 0) -- (9,-0.75)-- (10, 0); \draw (0,0.5) -- (1,-0.25) -- (2,0.5) -- (3,-0.25) -- (4, 0.5) -- (5,-0.25)-- (6, 0.5) -- (7,-0.25)-- (8, 0.5) -- (9,-0.25)-- (10, 0.5) -- (11,-0.25); \draw (0,1) -- (1,0.25) -- (2,1) -- (3,0.25) -- (4, 1) -- (5,0.25)-- (6, 1) -- (7,0.25)-- (8, 1) -- (9,0.25)-- (10, 1) -- (11,0.25); \draw (0,1.5) -- (1,0.75) -- (2,1.5) -- (3,0.75) -- (4, 1.5) -- (5,0.75)-- (6, 1.5) -- (7,0.75)-- (8, 1.5) -- (9,0.75)-- (10, 1.5) -- (11,0.75); \draw (0,2) -- (1,1.25) -- (2,2) -- (3,1.25) -- (4, 2) -- (5,1.25)-- (6, 2) -- (7,1.25)-- (8, 2) -- (9,1.25)-- (10, 2) -- (11,1.25); \draw (0,2.5) -- (1,1.75) -- (2,2.5) -- (3,1.75) -- (4, 2.5) -- (5,1.75)-- (6, 2.5) -- (7,1.75)-- (8, 2.5) -- (9,1.75)-- (10, 2.5) -- (11,1.75); \draw (0,3) -- (1,2.25) -- (2,3) -- (3,2.25) -- (4, 3) -- (5,2.25)-- (6, 3) -- (7,2.25)-- (8, 3) -- (9,2.25)-- (10, 3) -- (11,2.25); \draw (0,3.5) -- (1,2.75) -- (2,3.5) -- (3,2.75) -- (4, 3.5) -- (5,2.75)-- (6, 3.5) -- (7,2.75)-- (8,3.5) -- (9,2.75)-- (10, 3.5); \draw (0,0) -- (0,0.5) (0,1) -- (0,1.5) (0,2) -- (0,2.5) (0,3) -- (0,3.5); \draw (2,0) -- (2,0.5) (2,1) -- (2,1.5) (2,2) -- (2,2.5) (2,3) -- (2,3.5); \draw (4,0) -- (4,0.5) (4,1) -- (4,1.5) (4,2) -- (4,2.5) (4,3) -- (4,3.5); \draw (6,0) -- (6,0.5) (6,1) -- (6,1.5) (6,2) -- (6,2.5) (6,3) -- (6,3.5); \draw (8,0) -- (8,0.5) (8,1) -- (8,1.5) (8,2) -- (8,2.5) (8,3) -- (8,3.5); \draw (10,0) -- (10,0.5) (10,1) -- (10,1.5) (10,2) -- (10,2.5) (10,3) -- (10,3.5); \draw (1,-0.25) -- (1,0.25) (1,0.75) -- (1,1.25) (1,1.75) -- (1,2.25); \draw (3,-0.25) -- (3,0.25) (3,0.75) -- (3,1.25) (3,1.75) -- (3,2.25); \draw (5,-0.25) -- (5,0.25) (5,0.75) -- (5,1.25) (5,1.75) -- (5,2.25); \draw (7,-0.25) -- (7,0.25) (7,0.75) --(7,1.25) (7,1.75) -- (7,2.25); \draw (9,-0.25) -- (9,0.25) (9,0.75) -- (9,1.25) (9,1.75) --(9,2.25); \draw (11,-0.25) -- (11,0.25) (11,0.75) -- (11,1.25) (11,1.75) -- (11,2.25); \end{tikzpicture}
Figura 12.2.5. Un patrón de empapelamiento en \(\mathbb R^2\)
\begin{tikzpicture}[scale=1.75] \draw (0,0) -- (2,0) (0.25,0.25) -- (2.25,0.25) (0.5,0.5) -- (2.5,0.5); \foreach \x in {0,1,2} \filldraw[fill=black, draw=black] (\x,0) circle (0.03); \foreach \x in {0.25,1.25,2.25} \filldraw[fill=black, draw=black] (\x,0.25) circle (0.03); \foreach \x in {0.5,1.5,2.5} \filldraw[fill=black, draw=black] (\x,0.5) circle (0.03); \draw (0.2,1) -- (2.2,1) (0.45,1.25) -- (2.45,1.25) (0.7,1.5) -- (2.7,1.5) ; \foreach \x in {0.2,1.2,2.2} \filldraw[fill=black, draw=black] (\x,1) circle (0.03); \foreach \x in {0.45,1.45,2.45} \filldraw[fill=black, draw=black] (\x,1.25) circle (0.03); \foreach \x in {0.7,1.7,2.7} \filldraw[fill=black, draw=black] (\x,1.5) circle (0.03); \draw (0.4,2) -- (2.4,2) (0.65,2.25) -- (2.65,2.25) (0.9,2.5) -- (2.9,2.5) ; \foreach \x in {0.4,1.4,2.4} \filldraw[fill=black, draw=black] (\x,2) circle (0.03); \foreach \x in {0.65,1.65,2.65} \filldraw[fill=black, draw=black] (\x,2.25) circle (0.03); \foreach \x in {0.9,1.9,2.9} \filldraw[fill=black, draw=black] (\x,2.5) circle (0.03); \draw (0,0) -- (0.4,2) (0.25,0.25) -- (0.65,2.25) (0.5,0.5) -- (0.9,2.5); \draw (1,0) -- (1.4,2) (1.25,0.25) -- (1.65,2.25) (1.5,0.5) -- (1.9,2.5); \draw (2,0) -- (2.4,2) (2.25,2.25) -- (2.65,2.25) (2.5,0.5) -- (2.9,2.5); \draw (0,0) -- (0.5,0.5) (1,0) -- (1.5,0.5) (2,0) -- (2.5,0.5); \draw (0.2,1) -- (0.7,1.5) (1.2,1) -- (1.7,1.5) (2.2,1) -- (2.7,1.5); \draw (0.4,2) -- (0.9,2.5) (1.4,2) -- (1.9,2.5) (2.4,2) -- (2.9,2.5); \end{tikzpicture}
Figura 12.2.6. Una estructura cristalina en \(\mathbb R^3\)

Examinemos los patrones en el plano con un poco más de detalle. Supongamos que \({\mathbf x}\) e \({\mathbf y}\) son vectores linealmente independientes en \({\mathbb R}^2\text{;}\) es decir, uno de ellos no puede ser un múltiplo escalar del otro. El reticulado de \({\mathbf x}\) e \({\mathbf y}\) es el conjunto de todas las combinaciones lineales \(m {\mathbf x} + n {\mathbf y}\text{,}\) donde \(m\) y \(n\) son enteros. Los vectores \({\mathbf x}\) e \({\mathbf y}\) se dice que son una base para el reticulado.

Note que un reticulado puede tener diferentes bases. Por ejemplo, los vectores \((1,1)^{\rm t}\) y \((2,0)^{\rm t}\) forman el mismo reticulado que los vectores \((-1, 1)^{\rm t}\) y \((-1, -1)^{\rm t}\) (Figura 12.2.7). Pero, cualquier reticulado está completamente determinado por una base. Dadas dos bases para el mismo reticulado, digamos \(\{ {\mathbf x}_1, {\mathbf x}_2 \}\) y \(\{ {\mathbf y}_1, {\mathbf y}_2 \}\text{,}\) podemos escribir

\begin{align*} {\mathbf y}_1 & = \alpha_1 {\mathbf x}_1 + \alpha_2 {\mathbf x}_2\\ {\mathbf y}_2 & = \beta_1 {\mathbf x}_1 + \beta_2 {\mathbf x}_2, \end{align*}

donde \(\alpha_1\text{,}\) \(\alpha_2\text{,}\) \(\beta_1\text{,}\) y \(\beta_2\) son enteros. La matriz correspondiente a esta transformación es

\begin{equation*} U = \begin{pmatrix} \alpha_1 & \alpha_2 \\ \beta_1 & \beta_2 \end{pmatrix}. \end{equation*}

Si queremos expresar \({\mathbf x}_1\) y \({\mathbf x}_2\) en términos de \({\mathbf y}_1\) e \({\mathbf y}_2\text{,}\) solo debemos calcular \(U^{-1}\text{;}\) es decir,

\begin{equation*} U^{-1} \begin{pmatrix} {\mathbf y}_1 \\ {\mathbf y}_2 \end{pmatrix} = \begin{pmatrix} {\mathbf x}_1 \\ {\mathbf x}_2 \end{pmatrix}. \end{equation*}

Como \(U\) tiene coeficientes enteros, \(U^{-1}\) también debe tener coeficientes enteros; luego los determinantes de \(U\) y \(U^{-1}\) deben ser enteros. Como \(U U^{-1} = I\text{,}\)

\begin{equation*} \det(U U^{-1}) =\det(U) \det( U^{-1}) = 1; \end{equation*}

de manera que, \(\det(U) = \pm 1\text{.}\) Una matriz con determinante \(\pm 1\) y coeficientes enteros se llama unimodular. Por ejemplo, la matriz

\begin{equation*} \begin{pmatrix} 3 & 1 \\ 5 & 2 \end{pmatrix} \end{equation*}

es unimodular. Debería ser claro que hay una longitud mínima para los vectores en un reticulado.

\begin{tikzpicture}[scale=1] \foreach \x in {-2, -1, 0, 1, 2} \draw (-6,\x) -- (6,\x); \draw (3.5,-2.5) -- (6,0); \draw (1.5,-2.5) -- (6,2); \draw (-0.5,-2.5) -- (4.5,2.5); \draw (-2.5,-2.5) -- (2.5,2.5); \draw (-4.5,-2.5) -- (0.5,2.5); \draw (-6,-2) -- (-1.5,2.5); \draw (-6,0) -- (-3.5,2.5); \draw [->, very thick, black] (0,0) -- (2,0); \draw [->, very thick, black] (0,0) -- (1,1); \draw [->, very thick, black] (0,0) -- (-1,1); \draw [->, very thick, black] (0,0) -- (-1,-1); \node [right] at (1.9,-0.3) {$(2,0)$}; \node [above] at (1.9,1) {$(1,1)$}; \node [above] at (-1.45,1) {$(-1,1)$}; \node [below] at (-0.4,-1) {$(-1,-1)$}; \end{tikzpicture}
Figura 12.2.7. Un reticulado en \(\mathbb R^2\)

Podemos clasificar los reticulados estudiando sus grupos de simetría. El grupo de simetría de un reticulado es el subgrupo de \(E(2)\) que envía el reticulado en sí mismo. Consideramos que dos reticulados en \({\mathbb R}^2\) son equivalentes si tienen el mismo grupo de simetría. De forma similar, la clasificación de cristales en \({\mathbb R}^3\) se obtiene asociando un grupo de simetría, llamado grupo espacial, con cada tipo de cristal. Dos reticulados se consideran diferentes si sus grupos espaciales no son iguales. La pregunta natural que surge ahora es cuántos grupos espaciales existen.

Un grupo espacial está compuesto de dos partes: un subgrupo de traslación y uno puntual. Un subgrupo de traslación es un subgrupo abeliano infinito del grupo espacial formado por las simetrias traslacionales del cristal; el grupo puntual es un grupo finito que consiste de rotaciones y reflexiones del cristal en torno a un punto. Más específicamente, un grupo espacial es un subgrupo \(G \subset E(2)\) cuyas traslaciones son un conjunto de la forma \(\{ (I, t) : t \in L \}\text{,}\) donde \(L\) es un reticulado. Los grupos espaciales son, por supuesto, infinitos. Usando argumentos geométricos, podemos demostrar el siguiente teorema (ver [5] o [6]).

El grupo puntual de \(G\) es \(G_0 = \{A : (A,b) \in G \text{ para algún } b \}\text{.}\) En particular, \(G_0\) es un subgrupo de \(O(2)\text{.}\) Supongamos que \({\mathbf x}\) es un vector en un reticulado \(L\) con grupo espacial \(G\text{,}\) grupo de traslación \(H\text{,}\) y grupo puntual \(G_0\text{.}\) Para cualquier elemento \((A, {\mathbf y})\) en \(G\text{,}\)

\begin{align*} (A, {\mathbf y}) (I, {\mathbf x}) (A, {\mathbf y})^{-1} & = (A,A {\mathbf x} + {\mathbf y}) (A^{-1},-A^{-1} {\mathbf y})\\ & = (A A^{-1},-A A^{-1} {\mathbf y} + A {\mathbf x} + {\mathbf y})\\ & = (I, A {\mathbf x}); \end{align*}

luego, \((I, A {\mathbf x})\) está en el grupo de traslación de \(G\text{.}\) Más específicamente, \(A {\mathbf x}\) debe estar en el reticulado \(L\text{.}\) Es importante notar que \(G_0\) no es usualmente un subgrupo del grupo espacial \(G\text{;}\) pero, si \(T\) es el grupo de traslación de \(G\text{,}\) entonces \(G/T \cong G_0\text{.}\) La demostración del siguiente teorema se puede encontrar en [2], [5], o [6].

Para contestar la pregunta de cómo los grupos puntuales y los grupos de trslación pueden ser combinados, debemos mirar los distintos tipos de reticulados. Los reticulados pueden ser clasificados por la estructura de una celda del reticulado. Las posibles formas de celda son paralelógramo, rectangular, cuadrada, rómbica y hexagonal (Figura 12.2.10). Los grupos cristalográficos planos pueden ahora ser clasificados de acuerdo a los tipos de reflexiones que ocurren en cada grupo: estas son reflexiones ordinarias, reflexiones deslizantes, ambas o ninguna.

\begin{tikzpicture}[scale=1] \node [above] at (0,7) {Rectangular}; \draw (-1,4) -- (1,4) -- (1,7) -- (-1,7) -- cycle; \draw (0,4) -- (0,7) (-1,5.5) -- (1,5.5); \draw [very thick] (-1,5.5) -- (-1,7) -- (0,7) -- (0,5.5) -- cycle; \foreach \x in {-1,0,1} \filldraw[fill=black, draw=black] (\x,4) circle (0.03); \foreach \x in {-1,0,1} \filldraw[fill=black, draw=black] (\x,5.5) circle (0.03); \foreach \x in {-1,0,1} \filldraw[fill=black, draw=black] (\x,7) circle (0.03); \node [above] at (-3.5,6.5) {Cuadrada}; \draw (-2,4.5) -- (-5,4.5) -- (-5,6.5) -- (-2,6.5) -- cycle; \draw (-2,5.5) -- (-5,5.5) (-3,4.5) -- (-3,6.5) (-4,4.5) -- (-4,6.5); \draw [very thick] (-5,5.5) -- (-5,6.5) -- (-4,6.5) -- (-4,5.5) -- cycle; \foreach \x in {-2, -3, -4, -5} \filldraw[fill=black, draw=black] (\x,4.5) circle (0.03); \foreach \x in {-2, -3, -4, -5} \filldraw[fill=black, draw=black] (\x,5.5) circle (0.03); \foreach \x in {-2, -3, -4, -5} \filldraw[fill=black, draw=black] (\x,6.5) circle (0.03); \node [above] at (3.8,6.5) {Rómbica}; \draw (3.5,4.5) -- (6.5,4.5) -- (5.3,6.5) -- (2.3,6.5) -- cycle; \draw (2.9,5.5) -- (5.9,5.5); \draw (4.5,4.5) -- (3.3,6.5); \draw (5.5,4.5) -- (4.3,6.5); \draw [very thick] (2.3,6.5) -- (3.3,6.5) -- (3.9,5.5) -- (2.9,5.5) -- cycle; \foreach \x in {3.5,4.5,5.5,6.5} \filldraw[fill=black, draw=black] (\x,4.5) circle (0.03); \foreach \x in {2.9,3.9,4.9,5.9} \filldraw[fill=black, draw=black] (\x,5.5) circle (0.03); \foreach \x in {2.3,3.3,4.3,5.3} \filldraw[fill=black, draw=black] (\x,6.5) circle (0.03); \node [above] at (-2.5,3) {Paralelógramo}; \draw (-1,0) -- (-3,0) -- (-3.5,3) -- (-1.5,3) -- cycle; \draw (-2,0) -- (-2.5,3) (-3.25,1.5) -- (-1.25,1.5); \draw [very thick] (-3.25,1.5) -- (-3.5,3) -- (-2.5,3) -- (-2.25,1.5) -- cycle; \foreach \x in {-1,-2,-3} \filldraw[fill=black, draw=black] (\x,0) circle (0.03); \foreach \x in {-1.25,-2.25,-3.25} \filldraw[fill=black, draw=black] (\x,1.5) circle (0.03); \foreach \x in {-1.5,-2.5,-3.5} \filldraw[fill=black, draw=black] (\x,3) circle (0.03); \node [above] at (2,2.6) {Hexagonal}; <!-- Couldn't figure out an elegant way to do the hexagonal lattice - TWJ 6/14/2010 --> \draw (2,0) -- (5,0); \draw (1.5,0.866) -- (4.5,0.866); \draw (1,1.732) -- (4,1.732); \draw (0.5,2.598) -- (3.5,2.598); \draw (2,0) -- (0.5,2.598); \draw (3,0) -- (1.5,2.598); \draw (4,0) -- (2.5,2.598); \draw (5,0) -- (3.5,2.598); \draw (2,0) -- (3.5,2.598); \draw (3,0) -- (4,1.732); \draw (4,0) -- (4.5,0.866); \draw (1.5,0.866) -- (2.5,2.598); \draw (1,1.732) -- (1.5,2.598); \draw [very thick] (1.5,0.866) -- (1,1.732) -- (1.5,2.598) -- (2.5,2.598) -- (3,1.732) -- (2.5,0.866) -- cycle; \foreach \x in {2,3,4,5} \filldraw[fill=black, draw=black] (\x,0) circle (0.03); \foreach \x in {1.5,2.5,3.5,4.5} \filldraw[fill=black, draw=black] (\x,0.866) circle (0.03); \foreach \x in {1,2,3,4} \filldraw[fill=black, draw=black] (\x,1.732) circle (0.03); \foreach \x in {0.5, 1.5,2.5,3.5} \filldraw[fill=black, draw=black] (\x,2.598) circle (0.03); \end{tikzpicture}
Figura 12.2.10. Tipos de reticulados en \(\mathbb R^2\)
Tabela 12.2.11.
Notación y Reflexiones o
Grupos Espaciales Grupo Puntual Tipo de Reticulado Reflexiones Deslizantes?
p1 \({\mathbb Z}_1\) paralelógramo ninguna
p2 \({\mathbb Z}_2\) paralelógramo ninguna
p3 \({\mathbb Z}_3\) hexagonal ninguna
p4 \({\mathbb Z}_4\) cuadrada ninguna
p6 \({\mathbb Z}_6\) hexagonal ninguna
pm \(D_1\) rectangular reflexiones
pg \(D_1\) rectangular reflexiones deslizantes
cm \(D_1\) rómbica ambas
pmm \(D_2\) rectangular reflexiones
pmg \(D_2\) rectangular reflexiones deslizantes
pgg \(D_2\) rectangular ambas
c2mm \(D_2\) rómbica ambas
p3m1, p31m \(D_3\) hexagonal ambas
p4m, p4g \(D_4\) cuadrada ambas
p6m \(D_6\) hexagonal ambas
\begin{tikzpicture}[scale=1] \draw[step=1] (-5,0) grid (-1,4); \node [below] at (-3,0) {$p4m$}; \draw[step=1] (1,0) grid (5,4); \node [below] at (3,0) {$p4g$}; \draw (1.25,0) -- (1.25,0.5) -- (1.75,0.5) -- (1.75,1.5) -- (1.25,1.5) -- (1.25,2.5) -- (1.75,2.5) -- (1.75,3.5) -- (1.25,3.5) -- (1.25,4); \draw (2.75,0) -- (2.75,0.5) -- (2.25,0.5) -- (2.25,1.5) -- (2.75,1.5) -- (2.75,2.5) -- (2.25,2.5) -- (2.25,3.5) -- (2.75,3.5) -- (2.75,4); \draw (3.25,0) -- (3.25,0.5) -- (3.75,0.5) -- (3.75,1.5) -- (3.25,1.5) -- (3.25,2.5) -- (3.75,2.5) -- (3.75,3.5) -- (3.25,3.5) -- (3.25,4); \draw (4.75,0) -- (4.75,0.5) -- (4.25,0.5) -- (4.25,1.5) -- (4.75,1.5) -- (4.75,2.5) -- (4.25,2.5) -- (4.25,3.5) -- (4.75,3.5) -- (4.75,4); \draw (1,0.75) -- (1.5,0.75) -- (1.5,0.25) -- (2.5,0.25) -- (2.5,0.75) -- (3.5,0.75) -- (3.5,0.25) -- (4.5,0.25) -- (4.5,0.75) -- (5, 0.75); \draw (1,1.25) -- (1.5,1.25) -- (1.5,1.75) -- (2.5,1.75) -- (2.5,1.25) -- (3.5,1.25) -- (3.5,1.75) -- (4.5,1.75) -- (4.5,1.25) -- (5, 1.25); \draw (1,2.75) -- (1.5,2.75) -- (1.5,2.25) -- (2.5,2.25) -- (2.5,2.75) -- (3.5,2.75) -- (3.5,2.25) -- (4.5,2.25) -- (4.5,2.75) -- (5, 2.75); \draw (1,3.25) -- (1.5,3.25) -- (1.5,3.75) -- (2.5,3.75) -- (2.5,3.25) -- (3.5,3.25) -- (3.5,3.75) -- (4.5,3.75) -- (4.5,3.25) -- (5, 3.25); \end{tikzpicture}
Figura 12.2.13. Los grupos cristalográficos p4m y p4g

Los 17 grupos critalográficos planos están listados en la Tabla 12.2.11. Los grupos p3m1 y p31m pueden ser distinguidos según si todos sus centros triples están en los ejes de reflexión: los de p3m1 deben estar, mientras los de p31m puede que no. Similarmente, los centros cuuádruples de p4m deben estar en los ejes de reflexión mientras los de p4g no necesariamente (Figura 12.2.13). La demostración completa de este teorema se puede encontar en varias de las referencias la final de este capítulo, incluyendo [5], [6], [10], y [11].

Sage.

Aún no hemos incluido material Sage para este capítulo.

Subseção 12.2.2 Nota Histórica

Los grupos de simetría han intrigado a matemáticos por mucho tiempo. Leonardo da Vinci fue probablemente la primera persona en conocer todos los grupos puntuales. En el Congreso Internacional de Matemáticos en 1900, David Hilbert dio una ahora famosa charla indicando los 23 problemas para guiar las matemáticas en el siglo XX. El problema 18 de Hilbert preguntaba si los grupos critalograficos en dimensión \(n\) serían siempre un número finito. En 1910, L. Bieberbach demostró que los grupos cristalográficos son un número finito en cada dimensión. Descubrir cuántos de estos grupos existen en cada dimensión es harina de otro costal. En \({\mathbb R}^3\) hay 230 grupos espaciales diferentes; en \({\mathbb R}^4\) hay 4783. Nadie ha sido capaz de calcular el número de grupos espaciales para \({\mathbb R}^5\) y más allá. Es interesante notar que los grupos cristalográficos fueron encontrados matemáticamente para \({\mathbb R}^3\) antes de que los 230 diferentes tipos de cristales hubieran sido descubiertos en la naturaleza.