Articulo de referencia

tensor antisimétrico

En matemáticas y física teórica , un tensor es antisimétrico o alternante en (o con respecto a ) un subconjunto de índices si alterna signo (+/−) cuando se intercambian cualesqu...

En matemáticas y física teórica , un tensor es antisimétrico o alternante en (o con respecto a ) un subconjunto de índices si alterna signo (+/−) cuando se intercambian cualesquiera dos índices del subconjunto. [ 1 ] [ 2 ] El subconjunto de índices generalmente debe ser completamente covariante o completamente contravariante .

Por ejemplo, Tijk=Tjik=Tjki=Tkji=Tkij=Tikj{\displaystyle T_{ijk\dots }=-T_{jik\dots }=T_{jki\dots }=-T_{kji\dots }=T_{kij\dots }=-T_{ikj\dots }} Se cumple cuando el tensor es antisimétrico con respecto a sus tres primeros índices.

Si un tensor cambia de signo al intercambiar cada par de sus índices, entonces el tensor es completamente (o totalmente ) antisimétrico . Un campo tensorial covariante completamente antisimétrico de ordenk{\displaystyle k}puede denominarse diferencialk{\displaystyle k}-forma , y un campo tensorial contravariante completamente antisimétrico puede denominarse unk{\displaystyle k}-campo vectorial .

Tensores antisimétricos y simétricos

Un tensor A que es antisimétrico en los índicesi{\displaystyle i}yj{\displaystyle j}tiene la propiedad de que la contracción con un tensor B que es simétrico en los índicesi{\displaystyle i}yj{\displaystyle j}es idénticamente 0.

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

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 Uijk=U(ij)k+U[ij]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 mediante un par de corchetes. Por ejemplo, en dimensiones arbitrarias, para un tensor covariante de orden 2 M , METRO[ab]=12¡(METROabMETROba),{\displaystyle M_{[ab]}={\frac {1}{2!}}(M_{ab}-M_{ba}),} y para un tensor covariante de orden 3 T , T[abdo]=13¡(TabdoTadob+TbdoaTbado+TdoabTdoba).{\displaystyle T_{[abc]}={\frac {1}{3!}}(T_{abc}-T_{acb}+T_{bca}-T_{bac}+T_{cab}-T_{cba}).}

En cualquier 2 o 3 dimensiones, se pueden escribir como METRO[ab]=12¡δabdodMETROdod,T[abdo]=13¡δabdodmiFTdmiF.{\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}}} dóndeδabdod{\displaystyle \delta _{ab\dots }^{cd\dots }}es la delta de Kronecker generalizada , y se utiliza la convención de suma de Einstein .

De manera más general, independientemente del número de dimensiones, la antisimetrización sobrepag{\displaystyle p}Los índices pueden expresarse como T[a1apag]=1pag¡δa1apagb1bpagTb1bpag.{\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 de la siguiente manera: Tij=12(Tij+Tji)+12(TijTji).{\displaystyle T_{ij}={\frac {1}{2}}(T_{ij}+T_{ji})+{\frac {1}{2}}(T_{ij}-T_{ji}).}

Esta descomposición no es válida en general para tensores de rango 3 o superior, que presentan simetrías más complejas.

Ejemplos

Los tensores totalmente antisimétricos incluyen:

Véase también

Notas

  1. KF Riley; MP Hobson; SJ Bence (2010). Métodos matemáticos para la física y la ingeniería . Cambridge University Press. ISBN 978-0-521-86153-3.
  2. Juan Ramón Ruíz-Tolosa; Enrique Castillo (2005). De vectores a tensores . Saltador. pag. 225.ISBN  978-3-540-22887-5.Sección §7.

Referencias

  • Tensor antisimétrico – mathworld.wolfram.com