Grupo de isometría

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

El grupo de isometría de un conjunto está formado por todas las transformaciones geométricas formado por traslaciones, rotaciones y reflexiones que no alteran las distancias de un conjunto.

En un grupo de isometría, la operación de grupo viene dada por la composición de isometrías, y el inverso de una transformación o operación de simetría es precisamente la operación de deshacer dicha operación.


Grupo de isometría del espacio euclídeo[editar]

En el espacio euclídeo \R^n podemos definir varias operaciones que no alteran las distancias. Así por ejemplo si consideramos un objeto dentro del espacio euclídeo podemos transportarlo a otra posición y cambiar su orientación. Así el grupo de isometría está formado por:

  • Las traslaciones o conjunto de aplicaciones de la forma:
  • Las rotaciones, que pueden representarse matemáticamente el conjunto de aplicaciones de la forma: \mathbf{y}=R\mathbf{x}, donde R\, es una matriz de determinante 1 que cumple R^{-1}=R^T\,

A estas transformaciones podemos sumarle una transformación más abstracta que no podemos realizar con objetos físicos reales pero sí abstractametne sobre conjuntos del espacio, formada por:

  • Las reflexiones y las composiciones de diversas reflexiones. Una reflexión puede representarse por una matriz de determinante -1.

El conjunto de todas las rotaciones y reflexiones forma un subgrupo muy importante del grupo de isometrías, llamado grupo ortonormal y designado como O(n)\,. Matricialmente el grupo de simetría del espacio euclídeo \R^n puede represetnarse por matrices cuadrdas M_{(n+1)\times(n+1)} del tipo:

 T_{\mathbf{R},\mathbf{v}} = 
\begin{bmatrix} \mathbf{R} & \mathbf{v}^T \\ 0 & 1 \end{bmatrix}
\in M_{(n+1)\times(n+1)}

donde \mathbf{R}\in O(n), \mathbf{v}\in \R^n.

Subconjunto[editar]

Dado un subconjunto del espacio euclídeo de dimensión n, su grupo de isometría G_{iso}\, es un subgrupo del grupo producto formado a partir del grupo ortogonal y el grupo de traslaciones:

G_{iso} \subseteq O(n)\times\R^n

Si el conjunto es acotado entonces se tiene necesariamente:

G_{iso} \subseteq O(n)

Grupo de isometría de figuras geométricas[editar]

Transformaciones que forman el grupo diédrico D4

Si una figura geométrica es finita, es decir, forma un conjunto acotado del espacio euclídeo, entonces el grupo de isometría no incluye ninguna traslación y por tanto su grupo de isometría es un subgrupo del espacio O(n)\,. Si la figura presenta sólo un número finito de (hiper)planos de simetría entonces el grupo de isometría será un grupo finito.

Grupo de isometría de un polígono regular[editar]

El grupo de isometría de un polígono regular de n lados está formado por n rotaciones y n reflexiones, llamado grupo diédrico D_{2n}\,, formado por 2n elementos expresables en forma matricial como:

\begin{bmatrix} \cos\left(\frac{\pi}{n}\right) & -\sin\left(\frac{\pi}{n}\right)\\
                       \sin\left(\frac{\pi}{n}\right) &  \cos\left(\frac{\pi}{n}\right) 
\end{bmatrix}\begin{bmatrix}
(-1)^\alpha & 0 \\ 0 & +1 \end{bmatrix}
\begin{bmatrix} \cos\left(\frac{\pi}{n}\right) & -\sin\left(\frac{\pi}{n}\right)\\
                \sin\left(\frac{\pi}{n}\right) &  \cos\left(\frac{\pi}{n}\right) 
\end{bmatrix}


Grupo de isometría de un círculo[editar]

El grupo de isometría de un círculo al existir infinitos planos de simetría es precisamente O(2,\R)\, y cualquier simetría de un círculo centrado en el origen puede ser representado por una matriz de la forma:

M = \begin{bmatrix} (-1)^\beta & 0 \\ 0 & 1 \end{bmatrix}
\begin{bmatrix} \cos \alpha & -\sin \alpha \\ \sin \alpha & \cos \alpha \end{bmatrix}
\begin{bmatrix} 1 & 0 \\ 0 & (-1)^\gamma \end{bmatrix}


Donde \beta, \gamma \in \{0,1\} y \alpha \in [0,2\pi) \subset \R.

Grupo de isometría de un rectángulo[editar]

El grupo de isometría de un rectángulo, que no sea un cuadrado, se llama grupo de Klein y está formado por cuatro elementos: rotación de 180º, reflexión según el eje de simetría vertical, reflexión el eje de simetría horizontal y la identidad (rotación de 0º).

Grupo de isometría de espacios con producto interno[editar]

La distancia en ciertos espacios métricos puede definirse a partir de la norma inducida por un producto interno o forma cuadrática métrica. Un ejemplo de esto son las variedades de Riemann.

De ese modo cualquier aplicación entre variedades de Riemann en sí misma que mantenga inalterado el producto interno de dos campos vectoriales es de hecho una isometría. Eso permite generalizar el concepto de isometría incluso a espacios que no tienen una distancia bien definida, como las variedades pseudoriemannianas. En una variedad pseudoriemanniana una isometría es una transformación o aplicación que mantiene el producto interno de dos vectores.

Grupo de isometría en teoría de la relatividad[editar]

En la teoría de la relatividad un espacio-tiempo se representa por una variedad pseudoriemanniana. Esta variedad en el caso de la teoría especial, puede tener un grupo de isometría continuo dado por un grupo de Lie de dimensión menor o igual que diez. La dimensión de este grupo de isometría coincide con el número de vectores de Killing linealmente independiente que admite el tensor métrico de la variedad pseudoriemanniana que define la forma y propiedades básicas del espacio-tiempo.

Véase también[editar]