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 realidad para dimension arbitraria n 2. Sea R4 y consideremos la base canonica
{e0 , e1 , e2 , e3 }. Sea x = (x0 , x1 , x2 , x3 ) , y = (y0 , y1 , y2 , y3 ) R4 , entonces se define la m
etrica de Minkowski como
x, y = x0 y0 + x1 y1 + x2 y2 + x3 y3 .
Es facil ver que verifica
1. Es simetrica. x, y = y, x para todo x, y R4 .
2. Es bilineal. Para todo x, y, z R4 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 R4 , entonces x = 0.

El par (R4 , , ) formado por el espacio vectorial R4 y la metrica de Minkowski
se llama espacio de Minkowski.
Sea E = {e0 , e1 , e2 , e3 } la base canonica. Los elementos ei , ej 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 = xt y
para todo x, y R4 , donde en la escritura matricial siempre se interpretan los
vectores escritos como sus componentes en columnas.
Sea B = (v0 , v1 , v2 , v3 ) otra base de R4 . Al igual que antes los elementos
vi , vj 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 = (v0 , v1 , v2 , v3 ) otra base de R4 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 significa que si un vector tiene componentes
x = (x0 , x1 , x2 , x3 ) en la base B y x = (x0 , x1 , x2 , x3 ) en la base B , entonces
se tiene
x = P x.
Entonces

xt Ay = xt A y = xt P t A P y

para todo par de vectores x, y R4 , de donde se obtiene

A = P t A P.
En particular tomando determinantes se ve que |A| y |A | tienen el mismo
signo.
Definici
on 1 Dado un vector v R4 se dice que es unitario cuando v, v = 1 .
Dos vectores x, y R4 se dicen ortogonales cuando x, y = 0 . Una base se
dice ortogonal cuando sus vectores son ortogonales. Si adem
as los vectores son
unitarios, se llama base ortonormal.
Definici
on 2 Un vector v R4 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 define 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 R4 se define el subespacio ortogonal como el

subconjunto
S = {v R4 / v, x = 0 x S}.
Es facil ver que S es un subespacio vectorial de R4 .
Teorema 3 Todo vector v R4 con v, v = 1 se puede completar a una base
ortonormal. Adem
as 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
v0 u0 + v1 u1 + v2 u2 + v3 u3 = 0
y el hecho de ser v temporal asegura que la matriz de los coeficientes tiene rango
1. Aplicando la regla de Kramer las soluciones forman un subespacio vectorial
de dimension 3. Una solucion no nula es
x = (v1 , v0 , 0, 0).
Ahora buscamos las soluciones de
v, u = 0
x, u = 0
que en la base canonica se escribe
v0 u0 + v1 u1 + v2 u2 + v3 u3 = 0
v1 u0 + v0 u1 = 0
por la misma razon de antes las soluciones forman un subespacio de dimension
dos. Una solucion no nula es
y = (v0 v2 , v1 v2 , v02 v12 , 0).
Por u
ltimo, 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 = (v0 v3 , v1 v3 , v2 v3 , v02 v12 v22 ).
El conjunto {v, x, y, z} forma una base ortogonal por construccion. Dividiendo 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 afirmacion de este teorema nos dice que la restriccion 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 R4 , 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 definida positiva, se dice que V es espacial. El
el teorema anterior, el espacio v es espacial.

Manuel Gutirrez. Universidad de Mlaga.

El conjunto de vectores temporales forman dos conos temporales, uno se

llamar
a 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 coeficientes 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 est
an en el mismo cono si y
s
olo si u, v < 0.
Dado un vector temporal v R4 , se ve que L(v) y v generan todo R4 , y
como L(v) v = {0} , se tiene la descomposicion en suma directa ortogonal
R4 = 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 s
olo si v y w son proporcionales.
Dem. Puesto que R4 = L(v) v , se tiene que w = av + w
con w
v . Entonces
w, w = a2 v, v + w,
w
.
Por otra parte
2

v, w = a2 v, v = v, v (w, w w,
w)

v, v w, w = |v| |w| .
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 temporales que est
an en el mismo cono temporal. Entonces
|v + w| |v| + |w| ,
y la igualdad se da si y s
olo 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
2

|v + w| = |v| + |w| + 2 |v, w| |v| + |w| + 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.
Proposici
on 7 Sean u, v R4 dos vectores luminosos. Entonces u y v son
proporcionales si y s
olo 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
{e0 , e1 , e2 , e3 } los vectores u y v se escriben
u = e0 +

ai ei = e0 + u,

v = e0 +

i=1

bi ei = e0 + v.

i=1

Entonces basta probar que u = v.

De las relaciones
u, v = u, u = v, v = 0
se tiene
1 = a1 b1 + a2 b2 + a3 b3 = a21 + a22 + a23 = b21 + b22 + b23
pero vistos u = (a1 , a2 , a3 ) y v = (b1 , b2 , b3 ) como vectores de R3 con la metrica
eucldea, la desigualdad de Cauchy-Schwarz clasica nos dice que son proporcionales u = cv. Pero como |u| = |v| = 1 y u, v = 0, necesariamente c = 1, y
por tanto u = v.
Proposici
on 8 Si u, v R4 son vectores causales con u, v = 0 , entonces son
luz y proporcionales.
u
Dem. Si u fuera temporal, entonces e0 = |u|
se puede ampliar a una base
1
ortonormal. Pero v, e0 = |u| v, u = 0, de modo que v e
a espacial.
0 y ser
Contradicci
on.
Luego ambos vectores son luz. Puesto que ademas son ortogonales, la proposicion 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 demostraci
on 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 = (v0 , v1 , v2 , v3 ) de R4 , probar la
siguiente identidad:
x = x, v0 v0 + x, v1 v1 + x, v2 v2 + x, v3 v3
para todo x R4 .

Manuel Gutirrez. Universidad de Mlaga.