II.

Algebra tensorial

2.1 Espacios de N dimensiones.

Las coordenadas son un conjunto de números que se utilizan para representar un punto en el espacio;
por ejemplo, en el espacio de dos dimensiones representamos un punto como un conjunto de dos
números, que se caracterizan como las coordenadas (x; y). Así la representación de un punto en
el espacio de tres dimensiones se caracteriza por un conjunto de tres números (x; y; z), los cuales
se pueden representar con diferentes tipos de coordenadas, como por ejemplo, el punto se puede
representar con las coordenadas polares, coordenadas cilíndricas, esféricas, etc. La representación
que nosotros usaremos es la siguiente:
Si nosotros en lugar de representar un sistema de coordenadas como (x; y; z) nombramos a x = x1 ,
y = x2 y z = x3 , entonces la representación nos queda de la forma (x; y; z) = (x1 ; x2 ; x3 ). De tal
manera, para representar un punto en un espacio de N dimensiones la representación se caracterizará
por un conjunto de N números, los cuales escribiremos como (x1 ; x2 ; x3 ; : : : xN ).

2.1.1 De…nición de un espacio vectorial

Se puede de…nir un espacio vectorial como un conjunto de vectores y escalares que cumplen las
propiedades elementales de los vectores, las cuales son: asociativa, conmutativa y distributiva.
Dicho de otra forma, tomemos la siguiente de…nición:
De…nición: Sea U un conjunto en el cual están de…nidas la suma y la multiplicación por un escalar.
Esto es, para todo A y B en U y para todo número a, la suma A+B esta en U ("U es cerrado bajo
la suma y la multiplicación por un escalar"). Supongamos que se satisfacen los siguientes axiomas
para todo A,B y C en U y para cualquier escalar a y b:
i) A + B = B + A.
ii) (A + B) +C = A + (B + C).
iii) Existe un elemento especial 0 ( llamado vector cero o nulo) de U tal que A + 0 = A para todo
A en U.
iv) Para cualquier elemento A de U existe un negativo -A en U tal que A + ( A) = 0.
v) a (A + B) = aA + aB.
vi) (a + b) A = aA + bA.

8
vii)(ab) A = a (bA).

viii) 1A = A.
Eentonces se dice que U es un espacio vectorial y sus miembros se denominan vectores.

2.2 Transformaciones de coordenadas

Vamos a escribir como se puede representar una transformación de coordenadas. Supongamos que
existe un suceso en un sistema de referencia de N dimensiones, (x1 ; x2 ; : : : xn ), y otro segundo sistema
de referencia en el cual también se mani…esta el suceso, (x01 ; x02 ; : : : ; x0n ), de modo que existirán N
relaciones independientes entre las coordenadas de ambos sistemas, de tal forma que estas relaciones
se pueden representar de la siguiente manera:

x01 = x01 x1 ; x2 ; : : : ; xN (10)

x02 = x02 x1 ; x2 ; : : : ; xN
.. ..
. = .

x0N = x0N x1 ; x2 ; : : : ; xN
de aquí podemos abreviar las expresiones anteriores de la forma:

x0k = x0k x1 ; x2 ; : : : ; xN con k = 1; 2; 3; : : : ; N (11)

donde todas las funciones se suponen uniformes, contínuas y con derivadas contínuas. Por tanto,
a cada conjunto de coordenadas primadas le corresponde un único conjunto de las coordenadas
primadas de manera que

xk = xk x01 ; x02 ; x0N (12)

Las relaciones (11) y (12) de…nen las fórmulas de transformación de coordenadas de un sistema de
referencia a otro.
Los escalares son tensores de orden cero y son invariantes ante toda transformación de coordenadas.
Supongamos que existe una función ' dada de las coordenadas xk y '0 la función correspondiente
en la transformación de un nuevo conjunto de coordenadas x0k ; la función deberá de cumplir con
que ' = '0 . La función ' se llama escalar o invariante respecto de la transformación de coordenadas
dada.

9
2.3 Campos tensoriales
Si a cada punto de una región de un espacio de N dimensiones se le puede asociar un tensor en
dicha región, entonces está de…nido un campo tensorial. Si el tensor correspondiente a cada uno
de los puntos es de orden cero o uno, el campo tensorial se reduce a un campo escalar o vectorial,
respectivamente.

2.3.1 Tensores simétricos y hermisimétricos

Antes de mencionar los tensores simétricos y hermisimétricos de…namos qué son los índices covari-
antes y contravariantes.
El concepto de covariancia y contravariancia está relacionado con la descripción de un elemento en
dos sistemas de coordenadas. Consideremos dos sistemas de coordenadas, los cuales se encuentran
relacionados por las ecuaciones (11) y (12). Se de…ne una magnitud en cierto sistema de coordenadas
como A, de modo que para el sistema de coordenadas (x1 ; x2 ; : : : ; xN ) sus magnitudes se representan
como A1 ; A2 ; : : : AN
/ y se encuentran relacionadas con las magnitudes del sistema de coordenadas

(x01 ; x02 ; : : : x0N ) mediante las fórmulas de transformación.

N
X
0 @x0p
Ap= Aq (13)
q=1
@xq
De igual manera tenemos

XN
@xq
A0p = Aq (14)
q=1
@x0p
con p = 1; 2; : : : ; N
Donde el subíndice y supraíndice p son las componentes de un vector o un tensor covariante y
contravariante.de primer orden respectivamente.El índice de arriba se llama índice contravariante
mientras que al de abajo se le llama índice covariante.
Un tensor se llama simétrico respecto de dos índices contravariantes, o covariantes, si sus compo-
nentes no varían al permutar dicho índice. Por consiguiente, si Ampr
qs = Apmr
qs , el tensor es simétrico

respecto de los índices m y p. Si un tensor es simétrico respecto de cualquier par de índices con-
travariantes y de cualquier par de índices covariantes, se denomina simétrico.
Un tensor se llama hermisimétrico respecto de dos índices contravariantes, o dos covariantes, si sus
componentes cambian de signo al permutar dichos índices. Por consiguiente, si Ampr
qs = Apmr
qs ,

el tensor es hermisimétrico respecto de los índices m y p. Si un tensor es hermisimétrico respecto

10
de cualquier par de índices contravariantes y de cualquier par de índices covariantes se denomina
hermisimétrico.

2.3.2 Elemento de línea y el tensor métrico

En 1854 Georg Friedrich Rernhar Riemann interpreta el espacio como un medio e introduce la noción
de distancia a través de una métrica.
Se puede expresar la distancia entre dos puntos, que son determinados por un espacio vectorial, en
un sistema de coordenadas rectangulares como el elemento de línea o diferencial de arco, de la forma

ds2 = dx2 + dy 2 + dz 2 (15)

Para el caso del espacio de Minkowski el elemento de linea es:

ds2 = dx dx (16)
Y tiene la propiedad de que es invariante en diferentes sistemas de referencia inerciales, por que
expresa matemáticamente la constancia de la velocidad de la luz en cualquier sistema de referencia
inercial.
Se puede generalizar a un espacio de N dimensiones de coordenadas del tipo x1 ; x2 ; : : : ; xN . El
elemento de línea en está generalización esta dado por una forma cuadrática que se le conoce como
métrica. La cual se puede escribir como:

N X
X N
ds2 = g dx dx (17)
=1 =1
usando el convenio de la suma sobre índices repetidos, nos queda:

ds2 = g dx dx (18)
donde el término g recibe el nombre de tensor métrico, este tensor métrico es simétrico y tiene la
forma
0 1
1 0 0
B 0 1 0 C
B C
g =B .. .. .. C (19)
@ . . . A
0 1
para un espacio de N dimensiones, y

11
 0 1
1 0 0 0
B 0 1 0 0 C
g =B
@ 0
C (20)
0 1 0 A
0 0 0 1
para el espacio de Minkowski
En el caso en que exista una transformación de coordenadas de xk a x0k tal que la forma métrica
2 2 2
se convierta en dx01 + dx02 + dx0N , el espacio recibe el nombre de N dimensiones de
Riemann.

2.3.3 Símbolos de Christo¤el

Los símbolos de Christo¤el reciben el nombre de coe…cientes de conexión y se demuestra que tienen
la siguiente forma

m1 mr
ik =
g (@i grk + @k gir @r gki ) (21)
2
Son portadores de la forma en que cambia la base de vectores que generan el espacio.

2.3.4 Líneas geodésicas y derivadas en espacios curvados

La distancia entre dos puntos t1 y t2 sobre una curva xr = xr (t) en un espacio de Riemann viene
dada por

Z t2
r
dx dx
s= dt g
t1 dt dt
La curva en el espacio que pasa por dos puntos con la mínima distancia entre ellos se llama línea
geodésica de dicho espacio. La ecuación diferencial de la línea geodésica tiene la forma

d2 x dxv dx
2
+ =0 (22)
ds ds ds
Donde s indica el parámetro de la longitud de línea. Por ejemplo, las geodésicas en el plano son rectas
y las correspondientes en una esfera son arcos de un círculo. Por lo tanto se denota el parámetro s
como la longitud de arco de una curva.
En el caso de espacios curvados, la derivada parcial no captura todos los cambios que tiene una
función de…nida en el espacio. Hace falta, además, agregar que la base de vectores que generan ese
espacio también cambia. Por eso se necesita la derivada covariante de un tensor, que de…nimos a
continuación:
La derivada covariante respecto de x , de un tensor representado en coordenadas covariantes: A ,

12
se denota como A ; , y se demuestra que tiene la forma

@A
A ; = s As (23)
@x
Además, la derivada covariante de un vector representado en coordenadas contravariantes: A re-
specto a x , se denota como A ; , las cuales se escriben de la siguiente forma

@A s
A ; = + sA (24)
@x
En los textos de Relatividad General ó de Algebra Tensorial se demuestra que las derivadas covari-
antes de diferentes tensores tienen la forma que sigue:

tipo de tensores Expresión

campo escalar ;a = @a
vector contravariante a a
;b = @b a + abc c
b
vector covariante a a;b = @b a ac c
ab ab ab a db
campo tensorial del tipo (2,0) c = @c + dc + bdc ad
d d
campo tensorial del tipo (0,2) ab ab;c = @c ab ac db + bc ad
a a a a d d a
campo tensorial del tipo (1,1) b b;c = @c b + dc b bc d
También se demuestra en los textos que en espacios curvados el gradiente, la divergencia y el rota-
cional tienen la forma que sigue:
Para el gradiente:

@
r = ; = (25)
@x
donde es una función escalar.
La divergencia de un tensor A tiene la forma siguiente:

1 @ p k
div A = A ; = p gA (26)
g @xk
y es la operación de contracción de su derivada covariante respecto a x .
El Laplaciano de la función escalar es la divergencia del gradiente, resulta:

1 @ p @
r2 = div ; = p gg jk (27)
g @xj @xk

13