Simetría en matemáticas

La simetría no sólo se da en geometría , sino también en otras ramas de las matemáticas. La simetría es un tipo de invariancia : la propiedad de que un objeto matemático permanece invariable ante un conjunto de operaciones o transformaciones . ^[1]

Dado un objeto estructurado X de cualquier tipo, una simetría es una aplicación del objeto sobre sí mismo que preserva la estructura. Esto puede ocurrir de muchas maneras; por ejemplo, si X es un conjunto sin estructura adicional, una simetría es una aplicación biyectiva del conjunto sobre sí mismo, dando lugar a grupos de permutación . Si el objeto X es un conjunto de puntos en el plano con su estructura métrica o cualquier otro espacio métrico , una simetría es una biyección del conjunto sobre sí mismo que preserva la distancia entre cada par de puntos (es decir, una isometría ).

En general, cada tipo de estructura en matemáticas tendrá su propio tipo de simetría, muchos de los cuales se enumeran en los puntos mencionados anteriormente.

Los tipos de simetría considerados en geometría básica incluyen simetría reflexiva , simetría rotacional , simetría traslacional y simetría de reflexión de deslizamiento , que se describen con más detalle en el artículo principal Simetría (geometría) .

Sea f ( x ) una función de valor real de una variable real, entonces f es par si la siguiente ecuación se cumple para todos los x y -x en el dominio de f :

${\displaystyle f(x)=f(-x)}$

Geométricamente hablando, la cara gráfica de una función par es simétrica con respecto al eje y , lo que significa que su gráfica permanece inalterada después de la reflexión sobre el eje y . Algunos ejemplos de funciones pares son | x | , x ² , x ⁴ , cos ( x ) y cosh ( x ).

Nuevamente, sea f una función de valor real de una variable real, entonces f es impar si la siguiente ecuación se cumple para todos los x y -x en el dominio de f :

${\displaystyle -f(x)=f(-x)}$

Eso es,

${\displaystyle f(x)+f(-x)=0\,.}$

Geométricamente, la gráfica de una función impar tiene simetría rotacional con respecto al origen , lo que significa que su gráfica permanece inalterada después de una rotación de 180 grados sobre el origen. Ejemplos de funciones impares son x , x ³ , sen ( x ), senh ( x ) y erf ( x ).

La integral de una función impar de − A a + A es cero, siempre que A sea finito y que la función sea integrable (por ejemplo, no tenga asíntotas verticales entre − A y A ). ^[3]

La integral de una función par de − A a + A es el doble de la integral de 0 a + A , siempre que A sea finito y la función sea integrable (por ejemplo, no tenga asíntotas verticales entre − A y A ). ^[3] Esto también es válido cuando A es infinito, pero solo si la integral converge.

• La serie de Maclaurin de una función par incluye sólo potencias pares.
• La serie de Maclaurin de una función impar incluye sólo potencias impares.
• La serie de Fourier de una función periódica par incluye sólo términos coseno .
• La serie de Fourier de una función periódica impar incluye sólo términos seno .

En álgebra lineal , una matriz simétrica es una matriz cuadrada que es igual a su transpuesta (es decir, es invariante ante la transposición de matrices). Formalmente, la matriz A es simétrica si

${\displaystyle A=A^{T}.}$

Según la definición de igualdad de matrices, que exige que las entradas en todas las posiciones correspondientes sean iguales, las matrices iguales deben tener las mismas dimensiones (ya que las matrices de diferentes tamaños o formas no pueden ser iguales). En consecuencia, solo las matrices cuadradas pueden ser simétricas.

Las entradas de una matriz simétrica son simétricas respecto de la diagonal principal . Por lo tanto, si las entradas se escriben como A = ( a _ij ), entonces a _ij = a _ji , para todos los índices i y j .

Por ejemplo, la siguiente matriz 3×3 es simétrica:

${\displaystyle {\begin{bmatrix}1&7&3\\7&4&-5\\3&-5&6\end{bmatrix}}}$

Toda matriz diagonal cuadrada es simétrica, ya que todos los elementos fuera de la diagonal son cero. De manera similar, cada elemento diagonal de una matriz antisimétrica debe ser cero, ya que cada uno es su propio negativo.

En álgebra lineal, una matriz simétrica real representa un operador autoadjunto sobre un espacio de producto interno real . El objeto correspondiente para un espacio de producto interno complejo es una matriz hermítica con entradas de valor complejo, que es igual a su transpuesta conjugada . Por lo tanto, en álgebra lineal sobre números complejos, a menudo se supone que una matriz simétrica se refiere a una que tiene entradas de valor real. Las matrices simétricas aparecen de forma natural en una variedad de aplicaciones, y el software de álgebra lineal numérica típico hace adaptaciones especiales para ellas.

El grupo simétrico S _n (en un conjunto finito de n símbolos) es el grupo cuyos elementos son todas las permutaciones de los n símbolos, y cuya operación de grupo es la composición de tales permutaciones, que se tratan como funciones biyectivas del conjunto de símbolos hacia sí mismo. ^[4] Puesto que hay n ! ( n factorial ) permutaciones posibles de un conjunto de n símbolos, se deduce que el orden (es decir, el número de elementos) del grupo simétrico S _n es n !.

Un polinomio simétrico es un polinomio P ( X ₁ , X ₂ , ..., X _n ) en n variables, tal que si se intercambia cualquiera de las variables, se obtiene el mismo polinomio. Formalmente, P es un polinomio simétrico si para cualquier permutación σ de los subíndices 1, 2, ..., n , se tiene P ( X _σ(1) , X _σ(2) , ..., X _{σ( n )} ) =  P ( X ₁ , X ₂ , ..., X _n ).

Los polinomios simétricos surgen de manera natural en el estudio de la relación entre las raíces de un polinomio en una variable y sus coeficientes, ya que los coeficientes pueden darse mediante expresiones polinómicas en las raíces, y todas las raíces desempeñan un papel similar en este contexto. Desde este punto de vista, los polinomios simétricos elementales son los polinomios simétricos más fundamentales. Un teorema establece que cualquier polinomio simétrico puede expresarse en términos de polinomios simétricos elementales, lo que implica que cada expresión polinómica simétrica en las raíces de un polinomio mónico puede darse alternativamente como una expresión polinómica en los coeficientes del polinomio.

En dos variables X ₁ y X ₂ , se tienen polinomios simétricos como:

• $Estilo de visualización X_{1}^{3}+X_{2}^{3}-7}$
• ${\displaystyle 4X_{1}^{2}X_{2}^{2}+X_{1}^{3}X_{2}+X_{1}X_{2}^{3}+(X_{1}+X_{2})^{4}}$

y en tres variables X ₁ , X ₂ y X ₃ , se tiene como polinomio simétrico:

• ${\displaystyle X_{1}X_{2}X_{3}-2X_{1}X_{2}-2X_{1}X_{3}-2X_{2}X_{3}\,}$

En matemáticas , un tensor simétrico es un tensor que es invariante bajo una permutación de sus argumentos vectoriales:

${\displaystyle T(v_{1},v_{2},\dots ,v_{r})=T(v_{\sigma 1},v_{\sigma 2},\dots ,v_{\sigma r}) }$

para cada permutación σ de los símbolos {1,2,..., r }. Alternativamente, un tensor simétrico de ^orden r representado en coordenadas como una cantidad con índices r satisface

${\displaystyle T_{i_{1}i_{2}\puntos i_{r}}=T_{i_{\sigma 1}i_{\sigma 2}\puntos i_{\sigma r}}.}$

El espacio de tensores simétricos de rango r en un espacio vectorial de dimensión finita es naturalmente isomorfo al dual del espacio de polinomios homogéneos de grado r en V . Sobre cuerpos de característica cero , el espacio vectorial graduado de todos los tensores simétricos puede identificarse naturalmente con el álgebra simétrica en V . Un concepto relacionado es el de tensor antisimétrico o forma alternada . Los tensores simétricos se encuentran ampliamente en ingeniería , física y matemáticas .

Dado un polinomio, puede ser que algunas de las raíces estén conectadas por varias ecuaciones algebraicas . Por ejemplo, puede ser que para dos de las raíces, digamos A y B , que A ² + 5 B ³ = 7. La idea central de la teoría de Galois es considerar aquellas permutaciones (o reordenamientos) de las raíces que tienen la propiedad de que cualquier ecuación algebraica satisfecha por las raíces sigue satisfecha después de que las raíces hayan sido permutadas. Una condición importante es que nos limitamos a ecuaciones algebraicas cuyos coeficientes son números racionales . Por lo tanto, la teoría de Galois estudia las simetrías inherentes a las ecuaciones algebraicas.

En álgebra abstracta , un automorfismo es un isomorfismo de un objeto matemático a sí mismo. Es, en cierto sentido, una simetría del objeto y una forma de mapear el objeto a sí mismo mientras se preserva toda su estructura. El conjunto de todos los automorfismos de un objeto forma un grupo , llamado grupo de automorfismos . Es, en términos generales, el grupo de simetría del objeto.

• En teoría de conjuntos , una permutación arbitraria de los elementos de un conjunto X es un automorfismo. El grupo de automorfismos de X también se denomina grupo simétrico de X.
• En aritmética elemental , el conjunto de los números enteros , Z , considerado como un grupo bajo adición, tiene un único automorfismo no trivial: la negación. Considerado como un anillo , sin embargo, tiene solo el automorfismo trivial. En términos generales, la negación es un automorfismo de cualquier grupo abeliano , pero no de un anillo o cuerpo.
• Un automorfismo de grupo es un isomorfismo de grupo de un grupo a sí mismo. Informalmente, es una permutación de los elementos del grupo tal que la estructura permanece inalterada. Para cada grupo G existe un homomorfismo de grupo natural G → Aut( G ) cuya imagen es el grupo Inn( G ) de automorfismos internos y cuyo núcleo es el centro de G . Por lo tanto, si G tiene centro trivial puede ser incluido en su propio grupo de automorfismos. ^[5]
• En álgebra lineal , un endomorfismo de un espacio vectorial V es un operador lineal V → V . Un automorfismo es un operador lineal invertible en V . Cuando el espacio vectorial es de dimensión finita, el grupo de automorfismos de V es el mismo que el grupo lineal general , GL( V ).
• Un automorfismo de cuerpo es un homomorfismo de anillo biyectivo de un cuerpo a sí mismo. En los casos de los números racionales ( Q ) y los números reales ( R ) no hay automorfismos de cuerpo no triviales. Algunos subcuerpos de R tienen automorfismos de cuerpo no triviales, que sin embargo no se extienden a todo R (porque no pueden preservar la propiedad de un número que tiene una raíz cuadrada en R ). En el caso de los números complejos , C , hay un automorfismo no trivial único que envía R a R : conjugación compleja , pero hay infinitos ( incontables ) automorfismos "salvajes" (asumiendo el axioma de elección ). ^[6] Los automorfismos de cuerpo son importantes para la teoría de extensiones de cuerpo , en particular extensiones de Galois . En el caso de una extensión de Galois L / K el subgrupo de todos los automorfismos de L que fijan K puntualmente se llama el grupo de Galois de la extensión.

En mecánica cuántica, los bosones tienen representantes que son simétricos bajo los operadores de permutación, y los fermiones tienen representantes antisimétricos.

Esto implica el principio de exclusión de Pauli para los fermiones. De hecho, el principio de exclusión de Pauli con una función de onda de múltiples partículas de un solo valor es equivalente a exigir que la función de onda sea antisimétrica. Un estado antisimétrico de dos partículas se representa como una suma de estados en los que una partícula está en estado y la otra en estado :${\displaystyle \scriptstyle |x\rangle }$${\displaystyle \scriptstyle |y\rangle }$

${\displaystyle |\psi \rangle =\sum _{x,y}A(x,y)|x,y\rangle }$

y la antisimetría bajo intercambio significa que A ( x , y ) = − A ( y , x ) . Esto implica que A ( x , x ) = 0 , que es exclusión de Pauli. Es cierto en cualquier base, ya que los cambios unitarios de base mantienen a las matrices antisimétricas antisimétricas, aunque estrictamente hablando, la cantidad A ( x , y ) no es una matriz sino un tensor antisimétrico de rango dos .

Por el contrario, si las cantidades diagonales A ( x , x ) son cero en cada base , entonces el componente de la función de onda:

${\displaystyle A(x,y)=\langle \psi |x,y\rangle =\langle \psi |(|x\rangle \otimes |y\rangle )}$

es necesariamente antisimétrica. Para demostrarlo, considere el elemento de matriz:

${\displaystyle \langle \psi |((|x\rangle +|y\rangle )\otimes (|x\rangle +|y\rangle ))\,}$

Esto es cero, porque las dos partículas tienen probabilidad cero de estar ambas en el estado de superposición . Pero esto es igual a${\displaystyle \scriptstyle |x\rangle +|y\rangle }$

${\displaystyle \langle \psi |x,x\rangle +\langle \psi |x,y\rangle +\langle \psi |y,x\rangle +\langle \psi |y,y\rangle \,}$

El primer y el último término del lado derecho son elementos diagonales y son cero, y la suma total es igual a cero. Por lo tanto, los elementos de la matriz de función de onda obedecen a:

${\displaystyle \langle \psi |x,y\rangle +\langle \psi |y,x\rangle =0\,}$.

o

${\displaystyle A(x,y)=-A(y,x)\,}$

Llamamos a una relación simétrica si cada vez que la relación va de A a B, también va de B a A. Nótese que la simetría no es el opuesto exacto de la antisimetría .

Una isometría es una función que preserva la distancia entre espacios métricos . Dado un espacio métrico, o un conjunto y un esquema para asignar distancias entre elementos del conjunto, una isometría es una transformación que asigna elementos a otro espacio métrico de modo que la distancia entre los elementos en el nuevo espacio métrico sea igual a la distancia entre los elementos en el espacio métrico original. En un espacio bidimensional o tridimensional, dos figuras geométricas son congruentes si están relacionadas por una isometría: relacionadas por un  movimiento rígido o por una  composición de un movimiento rígido y una  reflexión . Hasta una relación por un movimiento rígido, son iguales si están relacionadas por una isometría directa .

Las isometrías se han utilizado para unificar la definición de trabajo de simetría en geometría y para funciones, distribuciones de probabilidad, matrices, cadenas, gráficos, etc. ^[7]

Una simetría de una ecuación diferencial es una transformación que deja la ecuación diferencial invariable. El conocimiento de dichas simetrías puede ayudar a resolver la ecuación diferencial.

La simetría lineal de un sistema de ecuaciones diferenciales es una simetría continua del sistema de ecuaciones diferenciales. El conocimiento de la simetría lineal se puede utilizar para simplificar una ecuación diferencial ordinaria mediante la reducción de orden . ^[8]

Para las ecuaciones diferenciales ordinarias , el conocimiento de un conjunto apropiado de simetrías de Lie permite calcular explícitamente un conjunto de primeras integrales, produciendo una solución completa sin integración.

Las simetrías se pueden encontrar resolviendo un conjunto relacionado de ecuaciones diferenciales ordinarias. ^[8] Resolver estas ecuaciones suele ser mucho más simple que resolver las ecuaciones diferenciales originales.

En el caso de un número finito de resultados posibles, la simetría con respecto a las permutaciones (reetiquetados) implica una distribución uniforme discreta .

En el caso de un intervalo real de resultados posibles, la simetría con respecto a los subintervalos intercambiables de igual longitud corresponde a una distribución uniforme continua .

En otros casos, como "tomar un entero aleatorio" o "tomar un número real aleatorio", no hay distribuciones de probabilidad simétricas en absoluto con respecto a los reetiquetados o al intercambio de subintervalos de igual longitud. Otras simetrías razonables no distinguen una distribución en particular o, en otras palabras, no hay una distribución de probabilidad única que proporcione la máxima simetría.

Hay un tipo de isometría en una dimensión que puede dejar la distribución de probabilidad sin cambios, es decir la reflexión en un punto, por ejemplo el cero.

Una posible simetría para la aleatoriedad con resultados positivos es que la primera se aplica al logaritmo, es decir, el resultado y su recíproco tienen la misma distribución. Sin embargo, esta simetría no distingue de forma única ninguna distribución en particular.

Para un "punto aleatorio" en un plano o en el espacio, se puede elegir un origen y considerar una distribución de probabilidad con simetría circular o esférica, respectivamente.

• Uso de la simetría en la integración
• Invariancia (matemáticas)

• Weyl, Hermann (1989) [1952]. Simetría . Biblioteca de Ciencias de Princeton. Prensa de la Universidad de Princeton. ISBN 0-691-02374-3.
• Ronan, Mark (2006). La simetría y el monstruo . Oxford University Press. ISBN 978-0-19-280723-6.(Introducción breve para el lector común)
• du Sautoy, Marcus (2012). En busca de la luz de la luna: el viaje de un matemático a través de la simetría. Harper Collins. ISBN 978-0-00-738087-9.