Innalzamento e abbassamento degli indici

Da Wikipedia, l'enciclopedia libera.

In relatività, l'operazione di innalzamento e abbassamento degli indici è un'operazione che può essere eseguita su un tensore. Dato un tensore su una varietà , sul quale è definita una metrica non singolare è possibile innalzare o abbassare gli indici di un tensore di tipo , definito da:

ovvero un'applicazione multilineare su elementi dello spazio cotangente e su elementi dello spazio tangente in un punto della varietà in un campo . Si può indicare il prodotto cartesiano

L'operazione di innalzamento degli indici permette di passare da tensori di tipo a tensori di tipo , mentre l'operazione di abbassamento degli indici permette di passare da tensori di tipo a tensori di tipo .

L'innalzamento e l'abbassamento degli indici si ottengono moltiplicando il tensore metrico nella sua forma covariante o controvarianti e poi contraendo gli indici ripetuti, ovvero sommando sugli indici ripetuti come previsto dalla convenzione di Einstein.

Più precisamente, questa costruzione sulle componenti del tensore sfrutta la presenza della metrica grazie al cosiddetto Isomorfismo musicale, che permette di identificare in modo naturale spazio tangente e cotangente senza ricorrere ad una scelta della base.

Formalmente, dato un tensore di tipo , possiamo costruire un tensore di tipo in questo modo:

Dove è l'applicazione dell'operatore al covettore du. Per vedere come questa costruzione sia equivalente alla moltiplicazione per le componenti del tensore metrico(o del suo inverso), notiamo innanzitutto che il diesis di un covettore base è dato da , dove è un elemento della base dello spazio tangente. Dalla linearità dei tensori, segue immediatamente che

Per quanto riguarda l'abbassamento di un indice, la procedura è analoga sostituendo allo diesis di un covettore il bemolle di un vettore.

Un esempio è dato dalla definizione del Tensore di Riemann in forma completamente covariante. Ricordiamo che il tensore di Riemann in un punto p di una Varietà Riemanniana è un operatore lineare . Per dualità, otteniamo un operatore per il quale vale .

In questo caso, dobbiamo abbassare l'indice , perciò procediamo definendo un nuovo operatore in questo modo:

Per calcolare le componenti, notiamo che il bemolle di un vettore base è dato da . Sostituendo nelle componenti:

che è la trasformazione classica del tensore di Riemann in forma completamente covariante.

Voci correlate[modifica | modifica wikitesto]