Se denomina simetría especular, simetría lineal, simetría de reflexión, simetría respecto a un espejo o simetría bilateral, a la simetría generada mediante una reflexión.[5]​.

En una dimensión, hay un punto de simetría sobre el que tiene lugar la reflexión; en dos dimensiones la simetría se refiere a un eje; y en tres dimensiones, se habla de un plano de simetría.[6]​ Una figura para la que cada uno de sus puntos se aplican uno a uno sobre otro punto de la figura, equidistantes y en lados opuestos de un plano común, se dice que posee simetría especular (véase imagen especular).

El eje de simetría de una figura bidimensional es una línea tal que, si se construye una recta perpendicular, cualquiera de los dos puntos que se encuentran en la perpendicular a distancias iguales del eje de simetría son idénticos entre sí. Otra forma de pensarlo es que si la forma se doblara por la mitad sobre el eje, las dos mitades serían idénticas: cada mitad es la imagen reflejada de la otra. Por lo tanto, un cuadrado tiene cuatro ejes de simetría, porque hay cuatro formas diferentes de doblarlo y hacer que todos sus lados coincidan. Por el mismo motivo, una circunferencia tiene infinitos ejes de simetría que pasan por su centro.[7]​.

Si la letra "T" se refleja respecto a un eje vertical, conserva exactamente la misma forma. Esto a veces se llama simetría vertical. Se puede utilizar una formalización más precisa, como por ejemplo afirmando que "T tiene un eje de simetría vertical" o que "T tiene simetría de izquierda a derecha".

Los triángulos con simetría de reflexión son triángulos isósceles, los cuadrilátero con esta simetría son el deltoide y los trapecios isósceles "Trapecio (geometría)").[8]​.

Para cada línea o plano de reflexión, el grupo de simetría es isomorfo con C (véase grupo puntual en tres dimensiones), uno de los tres tipos de orden dos (involuciones "Involución (matemática)")), y por lo tanto algebraicamente isomorfo a C. Su dominio fundamental es un semiespacio.[9]​.

La simetría de reflexión se puede generalizar a otras isometrías de un espacio -dimensional, resultando las correspondientes involuciones "Involución (matemática)"), como.

en un determinado sistema de coordenadas cartesianas. Este cambio de signo de una coordenada implica la reflexión en un espacio afín -dimensional.[10]​ Si = , dicha transformación se conoce como simetría central, o una inversión a través de un punto. En el plano "Plano (geometría)") ( = 2) un punto de reflexión es lo mismo que una rotación de media vuelta "Vuelta (ángulo)") (180°). La simetría antípoda es un nombre alternativo para una simetría de reflexión puntual a través del origen.[11]​.

Dicha "reflexión" conserva la orientación "Orientación (espacio vectorial)") si y solo si es un número par.[12]​ Esto implica que para = 3 (así como para otros impares) un punto de reflexión cambia la orientación del espacio, como lo hace una simetría especular. Por eso, en física, el término "P-simetría" se usa tanto para la reflexión puntual como para la simetría especular (P significa paridad "Paridad (física)")). Como un punto de reflexión en tres dimensiones convierte sistemas de coordenadas cartesianas con orientación horaria en sistemas de coordenadas cartesianas con orientación antihoraria, la simetría bajo un punto de reflexión también se denomina simetría izquierda-derecha.[13]​.

La simetría rotacional se verifica con respecto a algunas o a todas las rotaciones en el espacio euclídeo -dimensional. Las rotaciones son isometrías directas; es decir, isometrías que preservan la orientación "Orientación (espacio vectorial)").[14]​ Por lo tanto, un grupo de simetría rotacional es un subgrupo del grupo euclídeo especial E().

La simetría con respecto a todas las rotaciones sobre todos los puntos implica la simetría traslacional (porque las traslaciones son composiciones de rotaciones sobre puntos distintos),[15]​ y el grupo de simetría es todo el E(). Esto no se aplica a los objetos, porque hace que el espacio sea homogéneo, pero puede aplicarse a las leyes físicas.

Para la simetría de las rotaciones respecto a un punto, se puede tomar ese punto como origen. Estas rotaciones forman el grupo ortogonal SO(), que puede representarse por el grupo de matrices ortogonales de orden con determinante "Determinante (matemática)") 1. Para = 3 este es el grupo de rotación SO(3) "Grupo de rotación SO(3)").[16]​.

En otras palabras, el grupo de rotación de un objeto es el grupo de sus simetrías dentro de E(); es decir, el grupo de movimientos rígidos;[17]​ o lo que es lo mismo, la intersección del grupo de simetría completo con el grupo de movimientos rígidos. Para los objetos quirales (que no poseen simetría alguna), coincide con el grupo de simetría completo.

Las leyes de la física son invariantes con respecto a SO(3) si no se distinguen las diferentes direcciones del espacio. Debido al teorema de Noether, la simetría rotacional de un sistema físico es equivalente a la ley de conservación del momento angular.[18]​ Véase también el artículo dedicado a la invarianza rotacional").

La simetría traslacional deja un objeto invariante en un grupo discreto o continuo de traslaciones "Traslación (geometría)") .[19]​ La ilustración de la derecha muestra cuatro triángulos congruentes generados por las traslaciones en el sentido de la flecha. Si la línea de triángulos se extendiera hasta el infinito en ambas direcciones, se tendría una simetría traslacional discreta; cualquier traslación que asigne un triángulo a otro dejaría la línea entera sin cambios.

En 2D, una simetría de reflexión deslizada (en 3D se llama simetría respecto a un plano de deslizamiento"), o en general, una transflexión) significa que una reflexión respecto a una línea o plano combinada con una traslación paralela a la línea o plano de simetría, da como resultado el mismo objeto.[20]​ La composición de dos reflexiones planas da como resultado una simetría de traslación con el vector de traslación duplicado. El grupo de simetría que comprende reflexiones de deslizamiento y traslaciones asociadas es el friso "Friso (matemáticas)") p11g, y es isomorfo con el grupo cíclico infinito Z.

En 3D, una reflexión giratoria, rotorreflexión o rotación impropia, consiste en una rotación sobre un eje combinada con la reflexión en un plano perpendicular a ese eje.[21]​ Los grupos de simetría asociados con las rotorreflexiones incluyen:.

En geometría 3D y superior, un eje helicoidal (o traslación rotativa) es la combinación de una rotación y de una traslación en el sentido del eje de rotación.[22]​.

La simetría helicoidal "Hélice (geometría)") es el tipo de simetría que se ve en objetos cotidianos como resortes, sacacorchos, brocas o barrenas. El concepto de simetría helicoidal se puede visualizar como el trazado en el espacio tridimensional que resulta de rotar un objeto a una velocidad angular constante mientras se desplaza simultáneamente a una velocidad lineal constante paralelamente a su eje de rotación. En cualquier instante, estos dos movimientos se combinan para dar un "ángulo de arrollamiento" que ayuda a definir las propiedades de la hélice recorrida.[23]​ Cuando el objeto gira rápidamente y se traslada lentamente, el ángulo de enrollamiento estará cerca de 0°. A la inversa, si la rotación es lenta y la traslación es rápida, el ángulo de enrollamiento se aproximará a 90°.

Se pueden distinguir tres clases principales de simetría helicoidal, en función de la interacción del ángulo de las simetrías de enrollado y de traslación respecto al eje:.

En 4D, se puede generar una simetría de doble rotación, como la compuesta de dos rotaciones ortogonales.[26]​ Es similar al eje helicoidal en 3D, compuesto por una rotación y una traslación ortogonal.

Una definición más amplia de la simetría geométrica permite considerar operaciones incluidas en un grupo más amplio que el grupo euclídeo de isometrías. Ejemplos de grupos de simetría geométrica más grandes son:.

En el Programa de Erlangen, propuesto por el matemático Felix Klein en el siglo , cada grupo posible de simetrías define una geometría en la que los objetos que están relacionados por un miembro del grupo de simetría se consideran equivalentes.[29]​ Por ejemplo, el grupo euclídeo define la geometría euclídea, mientras que el grupo de transformaciones de Möbius define la geometría proyectiva.

La simetría de escala significa que si un objeto se amplía o reduce de tamaño, el nuevo objeto tiene las mismas propiedades que el original.[30]​ Esto no es cierto en la mayoría de los sistemas físicos, como atestigua la diferencia en la forma de las patas de un elefante y de un ratón (denominada alometría). De manera similar, si una vela de cera se ampliara al tamaño de un árbol alto, inmediatamente colapsaría bajo su propio peso.

Una forma más sutil de simetría de escala esconde en los fractales. Tal como fueron concebidos por Benoît Mandelbrot, los fractales son un concepto matemático en el que la estructura de una forma compleja parece similar independientemente del grado de grado de aumento con el que se contemplen,[31]​ como es evidente en el conjunto de Mandelbrot. Una línea costera es un ejemplo de un fractal que se produce de forma natural, ya que conserva una complejidad de apariencia similar en todos los niveles, desde la vista de un satélite hasta un examen microscópico de cómo el agua salta contra los granos individuales de arena. La ramificación de los árboles, que permite que las pequeñas ramitas se conviertan en árboles completos en un diorama a escala, es otro ejemplo.

Debido a que los fractales pueden generar la apariencia de patrones en la naturaleza, tienen una belleza y una familiaridad que no se ven normalmente en las funciones generadas matemáticamente. Los fractales también han encontrado un lugar en la generación de efectos visuales digitales, donde su capacidad para crear curvas complejas con simetrías fractales da como resultado un mundo virtual más realista.

Criterio de Klein

Con cada geometría, Felix Klein asociaba un grupo de simetrías subyacente. La jerarquía de geometrías se representa matemáticamente como una ordenación de estos grupos "Grupo (matemática)"), y de sus invariantes. Por ejemplo, las longitudes, los ángulos y las áreas se conservan con respecto al grupo euclídeo de las simetrías, mientras que solo la estructura incidente") y la razón anarmónica se conservan bajo las transformaciones proyectivas con carácter general. El concepto de paralelismo "Paralelismo (matemática)"), que se conserva en la geometría afín, no es significativo en la geometría proyectiva. Luego, al abstraer los grupos "Grupo (matemática)") subyacentes a las simetrías de las distintas geometrías, las relaciones entre ellas se pueden restablecer desde el punto de vista algebraico. Dado que el grupo de geometría afín es un subgrupo del grupo de la geometría proyectiva, cualquier noción invariante en geometría proyectiva es "a priori" propia de la geometría afín; pero no al revés. Si se agregan las simetrías requeridas, se obtiene una teoría más poderosa pero menos conceptos y teoremas (que, eso sí, serán más profundos y más generales).

Criterio de Thurston

William Thurston introdujo una versión similar de simetrías en geometría. Una geometría de modelo es una variedad diferenciable simplemente conexa X junto con una acción transitiva de un Grupo de Lie G en X, con estabilizadores compactos. El Grupo de Lie se puede considerar como el grupo de simetrías de la geometría.

Una geometría de modelo se llama máxima si G es máxima entre los grupos que actúan sin problemas y de forma transitiva en X con estabilizadores compactos, es decir, si es el grupo máximo de simetrías. A veces, esta condición se incluye en la definición de una geometría de modelo.

Una estructura geométrica sobre una variedad M es un difeomorfismo de M a X/Γ para alguna geometría de modelo X, donde Γ es un subgrupo discreto de G actuando libremente sobre X. Si una variedad dada admite una estructura geométrica, entonces admite una cuyo modelo es máximo.

Una geometría modelo tridimensional X es relevante para la conjetura de geometrización si es máxima y si hay al menos una variedad compacta con una estructura geométrica modelada en X. Thurston clasificó las 8 geometrías modelo que satisfacen estas condiciones; se enumeran a continuación y, en ocasiones, se denominan "geometrías de Thurston" (también hay innumerables otras geometrías modelo sin cocientes compactos).

Se denomina simetría especular, simetría lineal, simetría de reflexión, simetría respecto a un espejo o simetría bilateral, a la simetría generada mediante una reflexión.[5]​.

En una dimensión, hay un punto de simetría sobre el que tiene lugar la reflexión; en dos dimensiones la simetría se refiere a un eje; y en tres dimensiones, se habla de un plano de simetría.[6]​ Una figura para la que cada uno de sus puntos se aplican uno a uno sobre otro punto de la figura, equidistantes y en lados opuestos de un plano común, se dice que posee simetría especular (véase imagen especular).

El eje de simetría de una figura bidimensional es una línea tal que, si se construye una recta perpendicular, cualquiera de los dos puntos que se encuentran en la perpendicular a distancias iguales del eje de simetría son idénticos entre sí. Otra forma de pensarlo es que si la forma se doblara por la mitad sobre el eje, las dos mitades serían idénticas: cada mitad es la imagen reflejada de la otra. Por lo tanto, un cuadrado tiene cuatro ejes de simetría, porque hay cuatro formas diferentes de doblarlo y hacer que todos sus lados coincidan. Por el mismo motivo, una circunferencia tiene infinitos ejes de simetría que pasan por su centro.[7]​.

Si la letra "T" se refleja respecto a un eje vertical, conserva exactamente la misma forma. Esto a veces se llama simetría vertical. Se puede utilizar una formalización más precisa, como por ejemplo afirmando que "T tiene un eje de simetría vertical" o que "T tiene simetría de izquierda a derecha".

Los triángulos con simetría de reflexión son triángulos isósceles, los cuadrilátero con esta simetría son el deltoide y los trapecios isósceles "Trapecio (geometría)").[8]​.

Para cada línea o plano de reflexión, el grupo de simetría es isomorfo con C (véase grupo puntual en tres dimensiones), uno de los tres tipos de orden dos (involuciones "Involución (matemática)")), y por lo tanto algebraicamente isomorfo a C. Su dominio fundamental es un semiespacio.[9]​.

La simetría de reflexión se puede generalizar a otras isometrías de un espacio -dimensional, resultando las correspondientes involuciones "Involución (matemática)"), como.

en un determinado sistema de coordenadas cartesianas. Este cambio de signo de una coordenada implica la reflexión en un espacio afín -dimensional.[10]​ Si = , dicha transformación se conoce como simetría central, o una inversión a través de un punto. En el plano "Plano (geometría)") ( = 2) un punto de reflexión es lo mismo que una rotación de media vuelta "Vuelta (ángulo)") (180°). La simetría antípoda es un nombre alternativo para una simetría de reflexión puntual a través del origen.[11]​.

Dicha "reflexión" conserva la orientación "Orientación (espacio vectorial)") si y solo si es un número par.[12]​ Esto implica que para = 3 (así como para otros impares) un punto de reflexión cambia la orientación del espacio, como lo hace una simetría especular. Por eso, en física, el término "P-simetría" se usa tanto para la reflexión puntual como para la simetría especular (P significa paridad "Paridad (física)")). Como un punto de reflexión en tres dimensiones convierte sistemas de coordenadas cartesianas con orientación horaria en sistemas de coordenadas cartesianas con orientación antihoraria, la simetría bajo un punto de reflexión también se denomina simetría izquierda-derecha.[13]​.

La simetría rotacional se verifica con respecto a algunas o a todas las rotaciones en el espacio euclídeo -dimensional. Las rotaciones son isometrías directas; es decir, isometrías que preservan la orientación "Orientación (espacio vectorial)").[14]​ Por lo tanto, un grupo de simetría rotacional es un subgrupo del grupo euclídeo especial E().

La simetría con respecto a todas las rotaciones sobre todos los puntos implica la simetría traslacional (porque las traslaciones son composiciones de rotaciones sobre puntos distintos),[15]​ y el grupo de simetría es todo el E(). Esto no se aplica a los objetos, porque hace que el espacio sea homogéneo, pero puede aplicarse a las leyes físicas.

Para la simetría de las rotaciones respecto a un punto, se puede tomar ese punto como origen. Estas rotaciones forman el grupo ortogonal SO(), que puede representarse por el grupo de matrices ortogonales de orden con determinante "Determinante (matemática)") 1. Para = 3 este es el grupo de rotación SO(3) "Grupo de rotación SO(3)").[16]​.

En otras palabras, el grupo de rotación de un objeto es el grupo de sus simetrías dentro de E(); es decir, el grupo de movimientos rígidos;[17]​ o lo que es lo mismo, la intersección del grupo de simetría completo con el grupo de movimientos rígidos. Para los objetos quirales (que no poseen simetría alguna), coincide con el grupo de simetría completo.

Las leyes de la física son invariantes con respecto a SO(3) si no se distinguen las diferentes direcciones del espacio. Debido al teorema de Noether, la simetría rotacional de un sistema físico es equivalente a la ley de conservación del momento angular.[18]​ Véase también el artículo dedicado a la invarianza rotacional").

La simetría traslacional deja un objeto invariante en un grupo discreto o continuo de traslaciones "Traslación (geometría)") .[19]​ La ilustración de la derecha muestra cuatro triángulos congruentes generados por las traslaciones en el sentido de la flecha. Si la línea de triángulos se extendiera hasta el infinito en ambas direcciones, se tendría una simetría traslacional discreta; cualquier traslación que asigne un triángulo a otro dejaría la línea entera sin cambios.

En 2D, una simetría de reflexión deslizada (en 3D se llama simetría respecto a un plano de deslizamiento"), o en general, una transflexión) significa que una reflexión respecto a una línea o plano combinada con una traslación paralela a la línea o plano de simetría, da como resultado el mismo objeto.[20]​ La composición de dos reflexiones planas da como resultado una simetría de traslación con el vector de traslación duplicado. El grupo de simetría que comprende reflexiones de deslizamiento y traslaciones asociadas es el friso "Friso (matemáticas)") p11g, y es isomorfo con el grupo cíclico infinito Z.

En 3D, una reflexión giratoria, rotorreflexión o rotación impropia, consiste en una rotación sobre un eje combinada con la reflexión en un plano perpendicular a ese eje.[21]​ Los grupos de simetría asociados con las rotorreflexiones incluyen:.

En geometría 3D y superior, un eje helicoidal (o traslación rotativa) es la combinación de una rotación y de una traslación en el sentido del eje de rotación.[22]​.

La simetría helicoidal "Hélice (geometría)") es el tipo de simetría que se ve en objetos cotidianos como resortes, sacacorchos, brocas o barrenas. El concepto de simetría helicoidal se puede visualizar como el trazado en el espacio tridimensional que resulta de rotar un objeto a una velocidad angular constante mientras se desplaza simultáneamente a una velocidad lineal constante paralelamente a su eje de rotación. En cualquier instante, estos dos movimientos se combinan para dar un "ángulo de arrollamiento" que ayuda a definir las propiedades de la hélice recorrida.[23]​ Cuando el objeto gira rápidamente y se traslada lentamente, el ángulo de enrollamiento estará cerca de 0°. A la inversa, si la rotación es lenta y la traslación es rápida, el ángulo de enrollamiento se aproximará a 90°.

Se pueden distinguir tres clases principales de simetría helicoidal, en función de la interacción del ángulo de las simetrías de enrollado y de traslación respecto al eje:.

En 4D, se puede generar una simetría de doble rotación, como la compuesta de dos rotaciones ortogonales.[26]​ Es similar al eje helicoidal en 3D, compuesto por una rotación y una traslación ortogonal.

Una definición más amplia de la simetría geométrica permite considerar operaciones incluidas en un grupo más amplio que el grupo euclídeo de isometrías. Ejemplos de grupos de simetría geométrica más grandes son:.

En el Programa de Erlangen, propuesto por el matemático Felix Klein en el siglo , cada grupo posible de simetrías define una geometría en la que los objetos que están relacionados por un miembro del grupo de simetría se consideran equivalentes.[29]​ Por ejemplo, el grupo euclídeo define la geometría euclídea, mientras que el grupo de transformaciones de Möbius define la geometría proyectiva.

La simetría de escala significa que si un objeto se amplía o reduce de tamaño, el nuevo objeto tiene las mismas propiedades que el original.[30]​ Esto no es cierto en la mayoría de los sistemas físicos, como atestigua la diferencia en la forma de las patas de un elefante y de un ratón (denominada alometría). De manera similar, si una vela de cera se ampliara al tamaño de un árbol alto, inmediatamente colapsaría bajo su propio peso.

Una forma más sutil de simetría de escala esconde en los fractales. Tal como fueron concebidos por Benoît Mandelbrot, los fractales son un concepto matemático en el que la estructura de una forma compleja parece similar independientemente del grado de grado de aumento con el que se contemplen,[31]​ como es evidente en el conjunto de Mandelbrot. Una línea costera es un ejemplo de un fractal que se produce de forma natural, ya que conserva una complejidad de apariencia similar en todos los niveles, desde la vista de un satélite hasta un examen microscópico de cómo el agua salta contra los granos individuales de arena. La ramificación de los árboles, que permite que las pequeñas ramitas se conviertan en árboles completos en un diorama a escala, es otro ejemplo.

Debido a que los fractales pueden generar la apariencia de patrones en la naturaleza, tienen una belleza y una familiaridad que no se ven normalmente en las funciones generadas matemáticamente. Los fractales también han encontrado un lugar en la generación de efectos visuales digitales, donde su capacidad para crear curvas complejas con simetrías fractales da como resultado un mundo virtual más realista.

Criterio de Klein

Con cada geometría, Felix Klein asociaba un grupo de simetrías subyacente. La jerarquía de geometrías se representa matemáticamente como una ordenación de estos grupos "Grupo (matemática)"), y de sus invariantes. Por ejemplo, las longitudes, los ángulos y las áreas se conservan con respecto al grupo euclídeo de las simetrías, mientras que solo la estructura incidente") y la razón anarmónica se conservan bajo las transformaciones proyectivas con carácter general. El concepto de paralelismo "Paralelismo (matemática)"), que se conserva en la geometría afín, no es significativo en la geometría proyectiva. Luego, al abstraer los grupos "Grupo (matemática)") subyacentes a las simetrías de las distintas geometrías, las relaciones entre ellas se pueden restablecer desde el punto de vista algebraico. Dado que el grupo de geometría afín es un subgrupo del grupo de la geometría proyectiva, cualquier noción invariante en geometría proyectiva es "a priori" propia de la geometría afín; pero no al revés. Si se agregan las simetrías requeridas, se obtiene una teoría más poderosa pero menos conceptos y teoremas (que, eso sí, serán más profundos y más generales).

Criterio de Thurston

William Thurston introdujo una versión similar de simetrías en geometría. Una geometría de modelo es una variedad diferenciable simplemente conexa X junto con una acción transitiva de un Grupo de Lie G en X, con estabilizadores compactos. El Grupo de Lie se puede considerar como el grupo de simetrías de la geometría.

Una geometría de modelo se llama máxima si G es máxima entre los grupos que actúan sin problemas y de forma transitiva en X con estabilizadores compactos, es decir, si es el grupo máximo de simetrías. A veces, esta condición se incluye en la definición de una geometría de modelo.

Una estructura geométrica sobre una variedad M es un difeomorfismo de M a X/Γ para alguna geometría de modelo X, donde Γ es un subgrupo discreto de G actuando libremente sobre X. Si una variedad dada admite una estructura geométrica, entonces admite una cuyo modelo es máximo.

Una geometría modelo tridimensional X es relevante para la conjetura de geometrización si es máxima y si hay al menos una variedad compacta con una estructura geométrica modelada en X. Thurston clasificó las 8 geometrías modelo que satisfacen estas condiciones; se enumeran a continuación y, en ocasiones, se denominan "geometrías de Thurston" (también hay innumerables otras geometrías modelo sin cocientes compactos).