Propiedad anticonmutativa

En matemáticas , la anticonmutatividad es una propiedad específica de algunas operaciones matemáticas no conmutativas . Intercambiar la posición de dos argumentos de una operación antisimétrica produce un resultado que es el inverso del resultado con argumentos no intercambiados. La noción de inverso se refiere a una estructura de grupo en el codominio de la operación , posiblemente con otra operación. La resta es una operación anticonmutativa porque conmutar los operandos de a − b da b − a = −( a − b ); por ejemplo, 2 − 10 = −(10 − 2) = −8. Otro ejemplo destacado de una operación anticonmutativa es el corchete de Lie .

En física matemática , donde la simetría es de importancia central, o incluso solo en álgebra multilineal, estas operaciones se denominan en su mayoría operaciones antisimétricas (multilineales con respecto a algunas estructuras vectoriales y luego) , y cuando no son ya de aridad mayor que dos, se extienden en un entorno asociativo para cubrir más de dos argumentos .

Si son dos grupos abelianos , una función bilineal es anticonmutativa si para todo tenemos${\estilo de visualización A,B}$ ${\displaystyle f\colon A^{2}\to B}$${\displaystyle x,y\en A}$

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

De manera más general, un mapa multilineal es anticonmutativo si, por todo lo que tenemos,${\displaystyle g:A^{n}\to B}$${\displaystyle x_{1},\puntos x_{n}\en A}$

${\displaystyle g(x_{1},x_{2},\puntos x_{n})={\text{sgn}}(\sigma )g(x_{\sigma (1)},x_{\sigma (2)},\puntos x_{\sigma (n)})}$

¿Dónde está el signo de la permutación ?${\displaystyle {\text{sgn}}(\sigma )}$ ${\estilo de visualización \sigma}$

Si el grupo abeliano no tiene torsión 2 , lo que implica que si entonces , entonces cualquier mapa bilineal anticomutativo satisface${\estilo de visualización B}$${\displaystyle x=-x}$${\displaystyle x=0}$${\displaystyle f\colon A^{2}\to B}$

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

De manera más general, al transponer dos elementos, cualquier mapa multilineal anticonmutativo satisface${\displaystyle g\colon A^{n}\to B}$

${\displaystyle g(x_{1},x_{2},\puntos x_{n})=0}$

si cualquiera de las son iguales; se dice que dicha función es alternada . Por el contrario, utilizando la multilinealidad, cualquier función alternada es anticonmutativa. En el caso binario, esto funciona de la siguiente manera: si es alternada, entonces por bilinealidad tenemos$Estilo de visualización x_{i}}$${\displaystyle f\colon A^{2}\to B}$

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

y la prueba en el caso multilineal es la misma pero sólo en dos de las entradas.

Algunos ejemplos de operaciones binarias anticonmutativas incluyen:

• Producto vectorial
• Corchete de Lie de un álgebra de Lie
• Soporte de Lie de un anillo de Lie
• Sustracción

• Conmutatividad
• Conmutador
• Álgebra exterior
• Anillo conmutativo graduado
• Operación (matemáticas)
• Simetría en matemáticas
• Estadística de partículas (para anticomutatividad en física).

• Bourbaki, Nicolas (1989), "Capítulo III. Álgebras tensoriales , álgebras exteriores , álgebras simétricas ", Álgebra. Capítulos 1–3 , Elementos de matemáticas (2.ª edición), Berlín - Heidelberg - Nueva York : Springer-Verlag , ISBN 3-540-64243-9, MR  0979982, Zbl  0904.00001.

Busque propiedad anticomutativa en Wikcionario, el diccionario libre.

• Gainov, AT (2001) [1994], "Álgebra anticonmutativa", Enciclopedia de Matemáticas , EMS Press. Que hace referencia a la obra original rusa
• Weisstein, Eric W. "Anticonmutativo". MathWorld .