1

Tema 2. Seccion 1.
Espacio vectorial de Minkowski.
Manuel Gutierrez.
Departamento de

Algebra, Geometra y Topologa.
Universidad de Malaga. 29071-Malaga. Spain.
Abril de 2010.
En este captulo se recordara las propiedades del espacio de Minkowski y
el grupo de Lorentz. Lo haremos para dimension 4 aunque todo vale en reali-
dad para dimension arbitraria n 2. Sea R
4
y consideremos la base canonica
{e
0
, e
1
, e
2
, e
3
}. Sea x = (x
0
, x
1
, x
2
, x
3
) , y = (y
0
, y
1
, y
2
, y
3
) R
4
, entonces se de-
ne la metrica de Minkowski como
x, y = x
0
y
0
+x
1
y
1
+x
2
y
2
+x
3
y
3
.
Es facil ver que verica
1. Es simetrica. x, y = y, x para todo x, y R
4
.
2. Es bilineal. Para todo x, y, z R
4
y todo a, b R
ax +by, z = a x, z +b y, z
x, ay +bz = a x, y +b x, z .
}
3. Es no degenerada. Si x, y = 0 para todo y R
4
, entonces x = 0.
El par (R
4
, , ) formado por el espacio vectorial R
4
y la metrica de Minkowski
se llama espacio de Minkowski.
Sea E = {e
0
, e
1
, e
2
, e
3
} la base canonica. Los elementos e
i
, e
j
forman la
matriz que representa la metrica de Minkowski en la base canonica y que es
=

1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1

esto permite escribir la metrica matricialmente,

x, y = x
t
y
para todo x, y R
4
, donde en la escritura matricial siempre se interpretan los
vectores escritos como sus componentes en columnas.
Sea B = (v
0
, v
1
, v
2
, v
3
) otra base de R
4
. Al igual que antes los elementos
v
i
, v
j
forman una matriz A regular que representa la metrica de Minkowski
en la base B. Conviene conocer la relacion entre las matrices de la metrica en
dos bases distintas. Sea B

= (v

0
, v

1
, v

2
, v

3
) otra base de R
4
respecto a la cual
la metrica esta dada por A

. Llamemos P a la matriz del cambio de base de B

2
a B

, es decir, las columnas de P estan formadas por las componentes de los

vectores de B

en la base B. Esto signica que si un vector tiene componentes

x = (x
0
, x
1
, x
2
, x
3
) en la base B y x

= (x

0
, x

1
, x

2
, x

3
) en la base B

, entonces
se tiene
x

= Px.
Entonces
x
t
Ay = x
t
A

= x
t
P
t
A

Py
para todo par de vectores x, y R
4
, de donde se obtiene
A = P
t
A

P.
En particular tomando determinantes se ve que |A| y |A

| tienen el mismo
signo.
Denicion 1 Dado un vector v R
4
se dice que es unitario cuando v, v = 1.
Dos vectores x, y R
4
se dicen ortogonales cuando x, y = 0. Una base se
dice ortogonal cuando sus vectores son ortogonales. Si ademas los vectores son
unitarios, se llama base ortonormal.
Denicion 2 Un vector v R
4
se dice que es temporal cuando v, v < 0, luz
cuando no es cero y v, v = 0, y espacial cuando es cero o bien v, v > 0. Si
es temporal o luz se dice que es causal.
La norma de un vector se dene como |v| =

|v, v| que siempre existe y

es mayor o igual a cero, pero los vectores luz no son nulos y tienen norma cero.
Dado un subconjunto S R
4
se dene el subespacio ortogonal como el
subconjunto
S

= {v R
4
/ v, x = 0 x S}.
Es facil ver que S

es un subespacio vectorial de R
4
.
Teorema 3 Todo vector v R
4
con v, v = 1 se puede completar a una base
ortonormal. Ademas los vectores de v

son todos espaciales.

Manuel Gutirrez. Universidad de Mlaga.
3
Dem. La condicion
v, u = 0
se escribe en la base canonica
v
0
u
0
+v
1
u
1
+v
2
u
2
+v
3
u
3
= 0
y el hecho de ser v temporal asegura que la matriz de los coecientes tiene rango
1. Aplicando la regla de Kramer las soluciones forman un subespacio vectorial
de dimension 3. Una solucion no nula es
x = (v
1
, v
0
, 0, 0).
Ahora buscamos las soluciones de
v, u = 0
x, u = 0
que en la base canonica se escribe
v
0
u
0
+v
1
u
1
+v
2
u
2
+v
3
u
3
= 0
v
1
u
0
+v
0
u
1
= 0
por la misma razon de antes las soluciones forman un subespacio de dimension
dos. Una solucion no nula es
y = (v
0
v
2
, v
1
v
2
, v
2
0
v
2
1
, 0).
Por ultimo, las soluciones de
v, u = 0
x, u = 0
y, u = 0
forman un subespacio de dimension uno y una solucion no nula es
z = (v
0
v
3
, v
1
v
3
, v
2
v
3
, v
2
0
v
2
1
v
2
2
).
El conjunto {v, x, y, z} forma una base ortogonal por construccion. Divi-
diendo por su norma obtendremos la base ortonormal buscada. Es facil ver que
los tres vectores x, y, z son espaciales y puesto que tambien forman una base de
v

, podemos concluir que los vectores de v

son espaciales.
Observese que la segunda armacion de este teorema nos dice que la restric-
cion de la metrica de Minkowski sobre el subespacio v

es la metrica eucldea,
esto es (v

, <, >) es un espacio eucldeo.

El n umero de 1 que aparecen en la diagonal de , es decir, de la matriz de
<, > en cualquier base ortonormal, se llama signatura de la metrica <, >. La
metrica euclidea tiene signatura 0, mientras que la de Minkowski tiene signatura
1. Dado un subespacio vectorial V de R
4
, si la restriccion de la metrica a V tiene
signatura 1, se dice que V es temporal. Si la restriccion es degenerada, V se
dice luz o degenerado, y si es denida positiva, se dice que V es espacial. El
el teorema anterior, el espacio v

es espacial.
Manuel Gutirrez. Universidad de Mlaga.
4
El conjunto de vectores temporales forman dos conos temporales, uno se
llamara futuro y otro pasado. Cada uno de ellos es un conjunto convexo, es decir,
dados dos vectores v, w en uno de los conos, el segmento (1 t)v + tw esta en
el mismo cono para todo t [0, 1]. Esto equivale a que toda combinacion lineal
de vectores de uno de los conos, con coecientes positivos, esta en el mismo
cono. La frontera del cono temporal esta formada por {0} y los vectores luz. El
conjunto de los vectores luz tambien forman dos conos aunque no son convexos.
Se llaman cono de luz futuro y pasado.
Orientar temporalmente el espacio de Minkowski es elegir uno de los dos
conos temporales.
Lema 4 Si u es temporal y v es causal, entonces estan en el mismo cono si y
solo si u, v < 0.
Dado un vector temporal v R
4
, se ve que L(v) y v

generan todo R
4
, y
como L(v) v

= {0}, se tiene la descomposicion en suma directa ortogonal

R
4
= L(v) v

.
Teorema 5 (Desigualdad de Cauchy-Schwarz invertida). Sean v, w dos vectores
temporales, entonces
|v, w| |v| |w| ,
y la igualdad se da si y solo si v y w son proporcionales.
Dem. Puesto que R
4
= L(v) v

, se tiene que w = av + w con w v

. En-
tonces
w, w = a
2
v, v + w, w .
Por otra parte
v, w
2
= a
2
v, v
2
= v, v (w, w w, w)
v, v w, w = |v|
2
|w|
2
.
Ademas la igualdad se da si y solo si w, w = 0, es decir cuando v y w son
proporcionales.
Manuel Gutirrez. Universidad de Mlaga.
5
Teorema 6 (Desigualdad triangular invertida). Sean v, w dos vectores tempo-
rales que estan en el mismo cono temporal. Entonces
|v +w| |v| +|w| ,
y la igualdad se da si y solo si v y w son proporcionales.
Dem. Puesto que estan en el mismo cono temporal se tiene
v +w, v +w = v, v +w, w + 2 v, w < 0.
Los tres sumandos son negativos, por tanto cambiando de signo tenemos
|v +w|
2
= |v|
2
+|w|
2
+ 2 |v, w| |v|
2
+|w|
2
+ 2 |v| |w| = (|v| +|w|)
2
.
Ademas la igualdad se da si y solo si |v, w| = |v| |w| , es decir, cuando v y
w son proporcionales.
Proposicion 7 Sean u, v R
4
dos vectores luminosos. Entonces u y v son
proporcionales si y solo si u, v = 0.
Dem. () Obvio.
() Puesto que el enuciado es igualmente cierto o falso para otros vectores
proporcionales a los anteriores, podemos suponer que en una base ortonormal
{e
0
, e
1
, e
2
, e
3
} los vectores u y v se escriben
u = e
0
+
3

i=1
a
i
e
i
= e
0
+u, v = e
0
+
3

i=1
b
i
e
i
= e
0
+v.
Entonces basta probar que u = v.
De las relaciones
u, v = u, u = v, v = 0
se tiene
1 = a
1
b
1
+a
2
b
2
+a
3
b
3
= a
2
1
+a
2
2
+a
2
3
= b
2
1
+b
2
2
+b
2
3
pero vistos u = (a
1
, a
2
, a
3
) y v = (b
1
, b
2
, b
3
) como vectores de R
3
con la metrica
eucldea, la desigualdad de Cauchy-Schwarz clasica nos dice que son propor-
cionales u = cv. Pero como |u| = |v| = 1 y u, v = 0, necesariamente c = 1, y
por tanto u = v.
Proposicion 8 Si u, v R
4
son vectores causales con u, v = 0, entonces son
luz y proporcionales.
Dem. Si u fuera temporal, entonces e
0
=
u
|u|
se puede ampliar a una base
ortonormal. Pero v, e
0
=
1
|u|
v, u = 0, de modo que v e

0
y sera espacial.
Contradiccion.
Luego ambos vectores son luz. Puesto que ademas son ortogonales, la proposi-
cion anterior nos dice que son proporcionales.
Ejercicios.
Manuel Gutirrez. Universidad de Mlaga.
6
Ejercicio 1 Probar que la metrica de Minkowski es simetrica, bilineal y no
degenerada.
Ejercicio 2 Probar que los vectores x, y, z de la demostracion del Teorema 3
son espaciales.
Ejercicio 3 Probar que la matriz de la metrica de Minkowski en cualquier base
ortonormal es .
Ejercicio 4 Probar que el cono temporal futuro es convexo.
Ejercicio 5 Dada una base ortonormal B = (v
0
, v
1
, v
2
, v
3
) de R
4
, probar la
siguiente identidad:
x = x, v
0
v
0
+x, v
1
v
1
+x, v
2
v
2
+x, v
3
v
3
para todo x R
4
.
Manuel Gutirrez. Universidad de Mlaga.