Tensor antisimétrico

En matemáticas, un tensor antisimétrico o antisimétrico con respecto a un subconjunto de índices es un tensor que alterna signo (+/-) cuando se intercambian dos índices cualesquiera del subconjunto.[1][2]​ Cuando un tensor es antisimétrico respecto a todos sus índices se llama tensor completamente antisimétrico o simplemente tensor anstisimétrico. Por ejemplo:

T i j k = T j i k = T j k i = T k j i = T k i j = T i k j {\displaystyle T_{ijk\dots }=-T_{jik\dots }=T_{jki\dots }=-T_{kji\dots }=T_{kij\dots }=-T_{ikj\dots }}

Son condiciones que satisface un tensor antisimétrico con respecto a sus primeros tres índices.

Es importante destacar que la condición de antisimetría requiere que en el subconjunto de índices respecto a los que existe antisimetría, todos los índices sean covariantes o contravariantes, ya que los tensores subconjuntos mixtos están excluidos de la condición de antisimetría. Un campo tensorial covariante completamente antisimétrico de orden k {\displaystyle k} puede denominarse forma diferencial k {\displaystyle k} , y un campo tensorial contravariante completamente antisimétrico puede denominarse k {\displaystyle k} -vector.

Tensores antisimétricos y simétricos

Un tensor A = A i j {\displaystyle \mathbf {A} =A_{ij}} que es antisimétrico en los índices i {\displaystyle i} y j {\displaystyle j} tiene la propiedad de que la contracción con un tensor B = B i j {\displaystyle \mathbf {B} =B^{ij}} que es simétrico en los índices i {\displaystyle i} y j {\displaystyle j} es idénticamente 0:

cont ( A B ) = A i j B i j = 0 {\displaystyle \operatorname {cont} (\mathbf {A} \mathbf {B} )=A_{ij}B^{ij}=0}

Para un tensor general U con componentes U i j k {\displaystyle U_{ijk\dots }} y un par de índices i {\displaystyle i} y j , {\displaystyle j,} U tiene partes simétricas y antisimétricas definidas como:

U ( i j ) k = 1 2 ( U i j k + U j i k ) {\displaystyle U_{(ij)k\dots }={\frac {1}{2}}(U_{ijk\dots }+U_{jik\dots })} | || (parte simétrica) U [ i j ] k = 1 2 ( U i j k U j i k ) {\displaystyle U_{[ij]k\dots }={\frac {1}{2}}(U_{ijk\dots }-U_{jik\dots })} || ||(parte antisimétrica).

Se pueden dar definiciones similares para otros pares de índices. Como sugiere el término "parte", un tensor es la suma de su parte simétrica y su parte antisimétrica para un par de índices dado, como en U i j k = U ( i j ) k + U [ i j ] k . {\displaystyle U_{ijk\dots }=U_{(ij)k\dots }+U_{[ij]k\dots }.}

Notación

Una notación abreviada para la antisimetrización se denota con un par de corchetes. Por ejemplo, en dimensiones arbitrarias, para un tensor covariante de orden 2 M, M [ a b ] = 1 2 ! ( M a b M b a ) , {\displaystyle M_{[ab]}={\frac {1}{2!}}(M_{ab}-M_{ba}),} y para un tensor covariante de orden 3 T T [ a b c ] = 1 3 ! ( T a b c T a c b + T b c a T b a c + T c a b T c b a ) . {\displaystyle T_{[abc]}={\frac {1}{3!}}(T_{abc}-T_{acb}+T_{bca}-T_{bac}+T_{cab}-T_{cba}).}

En 2 y 3 dimensiones cualesquiera, se pueden escribir como M [ a b ] = 1 2 ! δ a b c d M c d , T [ a b c ] = 1 3 ! δ a b c d e f T d e f . {\displaystyle {\begin{aligned}M_{[ab]}&={\frac {1}{2!}}\,\delta _{ab}^{cd}M_{cd},\\[2pt]T_{[abc]}&={\frac {1}{3!}}\,\delta _{abc}^{def}T_{def}.\end{aligned}}} donde δ a b c d {\displaystyle \delta _{ab\dots }^{cd\dots }} es el delta de Kronecker generalizado, y utilizamos la notación de Einstein para sumar sobre índices similares. De forma más general, independientemente del número de dimensiones, la antisimetrización sobre índices p {\displaystyle p} puede expresarse como T [ a 1 a p ] = 1 p ! δ a 1 a p b 1 b p T b 1 b p . {\displaystyle T_{[a_{1}\dots a_{p}]}={\frac {1}{p!}}\delta _{a_{1}\dots a_{p}}^{b_{1}\dots b_{p}}T_{b_{1}\dots b_{p}}.}

En general, todo tensor de rango 2 puede descomponerse en un par simétrico y antisimétrico como: T i j = 1 2 ( T i j + T j i ) + 1 2 ( T i j T j i ) . {\displaystyle T_{ij}={\frac {1}{2}}(T_{ij}+T_{ji})+{\frac {1}{2}}(T_{ij}-T_{ji}).}

Esta descomposición no es en general cierta para los tensores de rango 3 o más, que tienen simetrías más complejas.

Ejemplos

Los tensores totalmente antisimétricos incluyen:

  • Trivialmente, todos los escalares y vectores (tensores de orden 0 y 1) son totalmente antisimétricos (además de ser totalmente simétricos).
  • El tensor campo electromagnético, F μ ν {\displaystyle F_{\mu \nu }} en electromagnetismo.
  • La forma volumétrica riemanniana en una métrica pseudo-riemanniana.

Véase también

  • Álgebra exterior

Referencias y notas

  1. K.F. Riley; M.P. Hobson; S.J. Bence (2010). Mathematical methods for physics and engineering. Cambridge University Press. ISBN 978-0-521-86153-3. (requiere registro). 
  2. Juan Ramón Ruíz-Tolosa; Enrique Castillo (2005). From Vectors to Tensors. Springer. p. 225. ISBN 978-3-540-22887-5.  section §7.

Bibliografía

  • Penrose, Roger (2007). The Road to Reality. Vintage books. ISBN 0-679-77631-1. 
  • J.A. Wheeler; C. Misner; K.S. Thorne (1973). Gravitation. W.H. Freeman & Co. pp. 85-86, §3.5. ISBN 0-7167-0344-0. 

Enlaces externos

  • Antisymmetric Tensor – mathworld.wolfram.com
Control de autoridades
  • Proyectos Wikimedia
  • Wd Datos: Q1325769
  • Ontologías
  • Número IEV: 102-03-43
  • Wd Datos: Q1325769