Tensores de orden superior

Prof. Daniel Eduardo Soto Barrientos

Facultad de Ciencias de la Universidad Nacional de Ingeniería (FC-UNI)

Abstract
En este trabajo se se encontrará ...

Contents
1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2 Vectores covariantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
3 Tensores de rango arbitrario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
4 Producto tensorial y bases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
5 Contracción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
6 Subida y bajada de índices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

1 Introducción
La descripción

2 Vectores covariantes
Sea Sea M el espacio dual del espacio lorentziano M , es decir, es el espacio vectorial real
formado por las funcionales lineales:
~:M !R
!
En particular, si se …ja en M la base fe g, en M se tienen las funcionales lineales -ésima
componentes:
e :M !R
es decir, aplicado sobre el vector v = e v se obtiene la -ésima componente:

e (v) = v

Además, podemos demostrar que el conjunto:

e0 ; e1 ; : : : ; en

forma una base del espacio dual M . Y, se dice que esta base es la dual de la base fe g.

Por otro lado, si en M se considera el cambio de base:

e = e0
dsotob@uni.edu.pe

1
Y, si la base dual de e0 es denotada como:

fe00 ; e01 ; : : : ; e0n g

entonces, esta es relacionada a la anterior, según:

e = e0

donde = [ 1 ] ; . Además, esta transformación representará una isometría en M , si en

esta la base dual es una base ortonormal:

e e = = diag ( 1; 1 : : : ; 1)

Así, desde el punto de vista activo las coordenadas de un vector z = z e se transforman como:

z0 = z

y, dichos vectores son llamados vectores covariantes.

Por último, las componentes de un vector en M y su dual en M se relacionan como:

z = z
z = z

Ejemplo: La derivada,
@
@ =
@x
se transforma como un vector covariante.

3 Tensores de rango arbitrario

Sea el espacio lorentziano 1 + n-dimensional M , y sea M su dual. Luego, sobre el espacio de
los productos cartesianos de estos, se de…nen las transformaciones de la forma:
r
sT :M
| {z M} | {z M} ! R
M
r-veces s-veces

tal que esta es una funcional multilineal, es decir se cumplen las relaciones:
r
sT u1 ; : : : ; v + !; : : : ; ur ; v1 ; : : : ; vn = r 1 r
s T u ; : : : ; v; : : : ; u ; v1 ; : : : ; vn
r 1 r
+ s T u ; : : : ; !; : : : ; u ; v1 ; : : : ; vn

2
y,
r
sT u1 ; : : : ; ; ur ; v1 ; : : : ; r + t; : : : vn = r 1 r
s T u ; : : : ; ; u ; v1 ; : : : ; r; : : : vn
r 1 r
+ s T u ; : : : ; ; u ; v1 ; : : : ; t; : : : vn

r r
luego, decimos que sT es un tensor de rango s
. Además, podemos demostar que

[rs T + r
sW ] ! 1 ; : : : ! r ; v1 ; : : : ; v s = r 1 r
s T ! ; : : : ! ; v1 ; : : : ; v s
+ rs W ! 1 ; : : : ! r ; v1 ; : : : ; vs
r
[ sT ] ! 1 ; : : : ! r ; v1 ; : : : ; v s = r 1 r
s T ! ; : : : ! ; v1 ; : : : ; v s

es decir, el conjunto de estos tensores forman un espacio vectorial, denotado como:

r
sT (M ) = M
| {z M} M
| {z M}
r-veces s-veces

4 Producto tensorial y bases

Podemos de…nir el espacio de todos los tensores de todos los rangos posibles como:
M
1
r
T (M ) = sT (M )
r;s=0

Para encontrar tensores de cualquier orden, de…namos producto tensorial de los tensores rs T y
p
q W como:

r p
sT qW ! 1 ; : : : ! r ; t1 ; : : : tp ; v1 ; : : : ; vs ; u1 ; : : : ; uq = r 1 r
s T ! ; : : : ! ; v1 ; : : : ; v s ;
p 1 p
q W t ; : : : t ; u1 ; : : : ; u q

r+p
Luego, es claro que rs T p
qW es un tensor de rango s+q
y se cumplen las propiedades:

[rs T + r
sU ]
p
qW = r
sT
p r
q W + sU
p
qW
r p p r p r p
sT qW + qU = sT q W + sT qU
r p r p r p
[ sT ] qW = sT qW = sT qW

Así, podemos demostrar que el conjunto:

e 1
e r
e 1
e s

r r
es una base de sT (M ). Luego, un tensor de rango s
se escribirá como:

T =T 1 r
1 s
e 1
e r
e 1
e s

y, este se transformará como:

T0 1 r
1 s
= 1
1
r
r 1
1
s
s T 1 r
1 s

Ejemplo: Sean u~; v~ dos vectores covariantes, luego, el producto tensorial de estos será el mapeo,

u~ v~ = M M !R

3
de…nido como:
[~
u v~] (!; t) = u~ (!) v~ (t) , !; t 2 M
0
Entonces, producto tensorial u~ v~ es un tensor covariante de rango 2
.

Ejemplo: Sean t; r dos vectores contravariantes, luego, el producto tensorial de estos será el
mapeo,
t r=M M !R
de…nido como:
[t r] (~
u; v~) t (~ v ) = u~ (t) v~ (r) , u~; v~ 2 M
u) r (~
2
Entonces, el producto tensorial t r es un tensor contravariante de rango 0
.

Ejemplo: Sea fe0 ; e1 ; : : : ; en g una base de M . Luego, el conjunto de productos tensoriales,

fe e , ; = 0; 1; : : : ; ng
0
forma una base para 2T (M ).

Ejemplo: Sea fe0 ; e1 ; : : : ; en g una base de M . Luego, el conjunto de productos tensoriales,

fe e , ; = 0; 1; : : : ; ng
2
forma una base para 0T (M ).

4
5 Contracción
En T (M ) se establece la operación contracción:
i r r 1
jC : s Tp M ! s 1 Tp M

como
i r
j C ( sT ) ! 1 ; : : : ; ! i 1 ; ! i+1 ; : : : ; ! r ; v1 ; : : : ; vj 1 ; vj+1 ; : : : ; vs
r 1 i 1
= sT ! ; : : : ; ! ; e ; ! i+1 ; : : : ; ! r ; v1 ; : : : ; vj 1 ; e ; vj+1 ; : : : ; vs

en particular,
i r
j C ( sT ) e 1 ; : : : ; e i 1 ; e i+1 ; : : : ; e r ; e 1 ; : : : ; e j 1 ; e j+1
;:::;e s
r
= sT e ; : : : ; e
1 i 1 ; e ; e i+1 ; : : : ; e r ; e
1; : : : ; e j 1; e ; e j+1
;:::;e s
1 i 1 i+1 r
= T 1 j 1 j+1 s

Por ejemplo:
1 C 1 C
1 1
T 1 2
1 2
@ 1
@ 2
dx 1
dx 2
!T 2
2
@ 2
dx 2
!T

también,
2 C 1 C
1 1
T 1 2
1 2
e 1
e 2
e 1
e 2
!T 1
2
e 1
e 2
!T
Además, podemos probar que la contracción ij C (rs T ) es independiente de la base escogida y,
se cumple las propiedad:
i r r i r i r
jC ( sT + sU ) = j C ( sT ) + j C ( sU )

6 Subida y bajada de índices

La transformación de las de las cordenadas del vector contravariante al covariante, es dada
según

x = x
x = x

Igualmente, los tensores en T (M ) se relacionarán via la métrica. Por ejemplo,

T 1 r
2 s
= 1
T 1 r
1 2 s

T 1 r
3 s
= 1 2
T 1 r
1 2 3 s
1 r 1 1 r 1 r
T 1 s = r
T 1 2 s

1 r 2 1 r 2 r 1 r
T 1 s
= r r 1
T 1 2 s

References
[1] Anadijiban Das, Tensors: The Mathematics of Relativity Theory and Continuum Mechan-
ics. Springer (2007).