1

Tema 2. Secci on 1. Espacio vectorial de Minkowski.

Manuel Guti errez. Departamento de Algebra, Geometr a y Topolog a. Universidad de M alaga. 29071-M alaga. Spain. Abril de 2010. En este cap tulo se recordar a las propiedades del espacio de Minkowski y el grupo de Lorentz. Lo haremos para dimensi on 4 aunque todo vale en realidad para dimensi on arbitraria n 2. Sea R4 y consideremos la base can onica {e0 , e1 , e2 , e3 }. Sea x = (x0 , x1 , x2 , x3 ) , y = (y0 , y1 , y2 , y3 ) R4 , entonces se dene la m etrica de Minkowski como x, y = x0 y0 + x1 y1 + x2 y2 + x3 y3 . Es f acil ver que verica 1. Es sim etrica. 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 m etrica de Minkowski se llama espacio de Minkowski. Sea E = {e0 , e1 , e2 , e3 } la base can onica. Los elementos ei , ej forman la matriz que representa la m etrica de Minkowski en la base can onica y que es 1 0 0 0 0 1 0 0 = 0 0 1 0 0 0 0 1 esto permite escribir la m etrica 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 m etrica de Minkowski en la base B. Conviene conocer la relaci on entre las matrices de la m etrica en dos bases distintas. Sea B = (v0 , v1 , v2 , v3 ) otra base de R4 respecto a la cual la m etrica est a dada por A . Llamemos P a la matriz del cambio de base de B

2 a B , es decir, las columnas de P est an formadas por las componentes de los vectores de B en la base B . Esto signica que si un vector tiene componentes x = (x0 , x1 , x2 , x3 ) en la base B y x = (x 0 , 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. Denici 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. Denici 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 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 R4 se dene el subespacio ortogonal como el subconjunto S = {v R4 / v, x = 0 x S }. Es f acil 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 condici on v, u = 0 se escribe en la base can onica v0 u0 + v1 u1 + v2 u2 + v3 u3 = 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 dimensi on 3. Una soluci on no nula es x = (v1 , v0 , 0, 0). Ahora buscamos las soluciones de v, u = 0 x, u = 0 que en la base can onica se escribe v0 u0 + v1 u1 + v2 u2 + v3 u3 = 0 v1 u0 + v0 u1 = 0 por la misma raz on de antes las soluciones forman un subespacio de dimensi on dos. Una soluci on no nula es
2 2 , 0). v1 y = (v0 v2 , v1 v2 , v0

Por u ltimo, las soluciones de v, u = 0 x, u = 0 y, u = 0 forman un subespacio de dimensi on uno y una soluci on no nula es
2 2 2 ). v2 v1 z = (v0 v3 , v1 v3 , v2 v3 , v0

El conjunto {v, x, y, z } forma una base ortogonal por construcci on. Dividi endo por su norma obtendremos la base ortonormal buscada. Es f acil ver que los tres vectores x, y, z son espaciales y puesto que tambi en forman una base de v , podemos concluir que los vectores de v son espaciales. Obs ervese que la segunda armaci on de este teorema nos dice que la restricci on de la m etrica de Minkowski sobre el subespacio v es la m etrica eucl dea, esto es (v , <, > ) es un espacio eucl deo. 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 m etrica <, > . La m etrica euclidea tiene signatura 0, mientras que la de Minkowski tiene signatura 1. Dado un subespacio vectorial V de R4 , si la restricci on de la m etrica a V tiene signatura 1, se dice que V es temporal. Si la restricci on 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.

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 est a en el mismo cono para todo t [0, 1]. Esto equivale a que toda combinaci on lineal de vectores de uno de los conos, con coecientes positivos, est a en el mismo cono. La frontera del cono temporal est a formada por {0} y los vectores luz. El conjunto de los vectores luz tambi en 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 descomposici on 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 v, w = a2 v, v = v, v (w, w w, w ) v, v w, w = |v | |w| . Adem as la igualdad se da si y s olo si w, w = 0 , es decir cuando v y w son proporcionales.
2 2 2 2

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 est an 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| = |v | + |w| + 2 |v, w| |v | + |w| + 2 |v | |w| = (|v | + |w|)2 . Adem as la igualdad se da si y s olo 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 +
3 i=1 2 2 2 2 2

ai ei = e0 + u,

v = e0 +

3 i=1

bi ei = e0 + v.

Entonces basta probar que u = v . De las relaciones u, v = u, u = v, v = 0 se tiene

2 2 2 2 2 1 = a1 b1 + a2 b2 + a3 b3 = a2 1 + a2 + a3 = b1 + b2 + b3

pero vistos u = (a1 , a2 , a3 ) y v = (b1 , b2 , b3 ) como vectores de R3 con la m etrica eucl dea, la desigualdad de Cauchy-Schwarz cl asica 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 adem as son ortogonales, la proposici on anterior nos dice que son proporcionales.

Ejercicios.

Manuel Gutirrez. Universidad de Mlaga.

6 Ejercicio 1 Probar que la m etrica de Minkowski es sim etrica, 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 m etrica 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.