Notación de índices abstracta

sistema de representación matemático usado con tensores y espinores

La notación de índices abstracta (también conocida como notación de índices de nombrado de ranuras)[1]​ es un tipo de notación matemática utilizada en los campos de los tensores y de los espinores, que utiliza índices para indicar sus tipos, en lugar de sus componentes en una base particular.[2]​ Los índices son meros marcadores de posición, no están relacionados con ninguna base y, en particular, no son numéricos. Por tanto, no deben confundirse con los índices utilizados en el cálculo de Ricci. La notación fue introducida por Roger Penrose como una forma de utilizar los aspectos formales del convenio de suma de Einstein para compensar la dificultad de describir contracción de índices y la diferenciación covariante en la notación tensorial abstracta moderna, preservando al mismo tiempo la covarianza explícita de las expresiones involucradas.[3]

Definición

editar

Sea   un espacio vectorial y   su espacio dual. Considérese, por ejemplo, un tensor covariante de orden 2  . Entonces,   se puede identificar con una forma bilineal en  . En otras palabras, es una función de dos argumentos en   que se pueden representar como un par de ranuras:

 

La notación de índice abstracta es simplemente un etiquetado de las ranuras con letras latinas, que no tienen ningún significado aparte de su designación como etiquetas de las ranuras (es decir, no son numéricas):

 

Una contracción tensorial (o traza) entre dos tensores se representa mediante la repetición de una etiqueta de índice, donde una etiqueta es contravariante (un "superíndice" correspondiente al factor  ) y una etiqueta es covariante (un "subíndice" correspondiente al factor  ). Así, por ejemplo,

 

es la traza de un tensor   sobre sus dos últimas ranuras. Esta forma de representar las contracciones tensoriales mediante índices repetidos es formalmente similar al convenio de suma de Einstein. Sin embargo, como los índices no son numéricos, no implican una suma. Más bien corresponden a la operación de seguimiento abstracta independiente de la base (o emparejamiento natural) entre factores tensoriales de tipo   y los de tipo  .

Índices abstractos y espacios tensoriales

editar

Un tensor homogéneo general es un elemento de un producto tensorial de copias de   y de  , como

 

Ahora, se etiqueta cada factor en este producto tensorial con una letra latina en una posición elevada (superíndice) para cada factor   contravariante y en una posición baja (subíndice) para cada posición   covariante. De esta manera, se escribe el producto como

 

o simplemente

 

Las dos últimas expresiones denotan el mismo objeto que la primera. Los tensores de este tipo se denotan mediante una notación similar, como por ejemplo:

 

Contracción

editar

En general, siempre que se presentan un factor contravariante y un factor covariante en un producto tensorial de espacios, se produce una aplicación de "contracción" (o "traza") asociado. Por ejemplo,

 

es la traza en los dos primeros espacios del producto tensorial y

 

es la traza del primer y del último espacio.

Estas operaciones de traza se indican en los tensores mediante la repetición de un índice. Así, la primera aplicación de trazas viene dada por

 

y la segunda por

 

Trenzado

editar

Para cualquier producto tensorial en un solo espacio vectorial, existen aplicaciones de trenzado asociadas. Por ejemplo, la aplicación de trenzado

 

intercambia los dos factores tensoriales (de modo que su acción sobre tensores simples viene dada por  ). En general, las aplicaciones de trenzado están en correspondencia uno a uno con elementos del grupo simétrico, y actúan permutando los factores tensoriales. Aquí, se usa   para denotar la aplicación de trenzado asociada a la permutación   (representada como un producto de permutaciones cíclicas disjuntas).

Las aplicaciones de trenzado son importantes en geometría diferencial, por ejemplo, para expresar la identidad de Bianchi. Aquí se denota por   el tensor de Riemann, considerado como un tensor en  . La primera identidad de Bianchi afirma entonces que

 

La notación de índices abstracta maneja el trenzado de la siguiente manera. En un producto tensorial particular, se fija un orden de los índices abstractos (normalmente se trata de un orden lexicográfico). Entonces, el trenzado se representa en la notación permutando las etiquetas de los índices. Así, por ejemplo, con el tensor de Riemann

 

la identidad de Bianchi se convierte en

 

Antisimetrización y simetrización

editar

Un tensor general puede estar antisimetrizado o simetrizado, y existe una notación correspondiente.

La notación se puede mostrar con un ejemplo. Se antisimetriza el tensor de tipo (0,3)  , donde   es el grupo simétrico de tres elementos.

 

De manera similar, se puede simetrizar

 

Véase también

editar

Referencias

editar
  1. Kip S. Thorne and Roger D. Blandford (2017). Modern Classical Physics: Optics, Fluids, Plasmas, Elasticity, Relativity, and Statistical Physics. Princeton University Press. ISBN 978-0-69115902-7. 
  2. Roger Penrose (2007). The Road to Reality: A Complete Guide to the Laws of the Universe. Vintage. ISBN 978-0-67977631-4. 
  3. Roger Penrose and Wolfgang Rindler (1984). Spinors and Space-Time, Volume 1: Two-Spinor Calculus and Relativistic Fields. Cambridge University Press. ISBN 978-0-52133707-6.