1

Tema 2. Seccin 1. o Espacio vectorial de Minkowski.

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

2 a B , es decir, las columnas de P estn formadas por las componentes de los a 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 , x , x , x ) en la base B , entonces 0 1 2 3 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. Denicin 1 Dado un vector v R4 se dice que es unitario cuando v, v = 1 . o Dos vectores x, y R4 se dicen ortogonales cuando x, y = 0 . Una base se dice ortogonal cuando sus vectores son ortogonales. Si adems los vectores son a unitarios, se llama base ortonormal. Denicin 2 Un vector v R4 se dice que es temporal cuando v, v < 0 , luz o 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 fcil ver que S es un subespacio vectorial de R4 . a Teorema 3 Todo vector v R4 con v, v = 1 se puede completar a una base ortonormal. Adems los vectores de v son todos espaciales. a

Manuel Gutirrez. Universidad de Mlaga.

3 Dem. La condicin o v, u = 0 se escribe en la base cannica o 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 dimensin 3. Una solucin no nula es o o x = (v1 , v0 , 0, 0). Ahora buscamos las soluciones de v, u = 0 x, u = 0 que en la base cannica se escribe o v0 u0 + v1 u1 + v2 u2 + v3 u3 = 0 v1 u0 + v0 u1 = 0 por la misma razn de antes las soluciones forman un subespacio de dimensin o o dos. Una solucin no nula es o
2 2 y = (v0 v2 , v1 v2 , v0 v1 , 0).

Por ultimo, las soluciones de v, u = 0 x, u = 0 y, u = 0 forman un subespacio de dimensin uno y una solucin no nula es o o
2 2 2 z = (v0 v3 , v1 v3 , v2 v3 , v0 v1 v2 ).

El conjunto {v, x, y, z} forma una base ortogonal por construccin. Divio dindo por su norma obtendremos la base ortonormal buscada. Es fcil ver que e a los tres vectores x, y, z son espaciales y puesto que tambin forman una base de e v , podemos concluir que los vectores de v son espaciales. Obsrvese que la segunda armacin de este teorema nos dice que la restrice o cin de la mtrica de Minkowski sobre el subespacio v es la mtrica eucl o e e dea, esto es (v , <, > ) es un espacio eucl deo. El n mero de 1 que aparecen en la diagonal de , es decir, de la matriz de u <, > en cualquier base ortonormal, se llama signatura de la mtrica <, > . La e mtrica euclidea tiene signatura 0, mientras que la de Minkowski tiene signatura e 1. Dado un subespacio vectorial V de R4 , si la restriccin de la mtrica a V tiene o e signatura 1, se dice que V es temporal. Si la restriccin es degenerada, V se o 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 futuro y otro pasado. Cada uno de ellos es un conjunto convexo, es decir, a dados dos vectores v, w en uno de los conos, el segmento (1 t)v + tw est en a el mismo cono para todo t [0, 1]. Esto equivale a que toda combinacin lineal o de vectores de uno de los conos, con coecientes positivos, est en el mismo a cono. La frontera del cono temporal est formada por {0} y los vectores luz. El a conjunto de los vectores luz tambin forman dos conos aunque no son convexos. e 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 estn en el mismo cono si y a slo si u, v < 0. o 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 descomposicin en suma directa ortogonal o 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 slo si v y w son proporcionales. o Dem. Puesto que R4 = L(v) v , se tiene que w = av + w con w v . En tonces 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| . Adems la igualdad se da si y slo si w, w = 0 , es decir cuando v y w son a o proporcionales.
2 2 2 2

Manuel Gutirrez. Universidad de Mlaga.

5 Teorema 6 (Desigualdad triangular invertida). Sean v, w dos vectores temporales que estn en el mismo cono temporal. Entonces a |v + w| |v| + |w| , y la igualdad se da si y slo si v y w son proporcionales. o Dem. Puesto que estn en el mismo cono temporal se tiene a 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 . Adems la igualdad se da si y slo si |v, w| = |v| |w| , es decir, cuando v y a o w son proporcionales. Proposicin 7 Sean u, v R4 dos vectores luminosos. Entonces u y v son o proporcionales si y slo si u, v = 0 . o 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 1 = a1 b1 + a2 b2 + a3 b3 = a2 + a2 + a2 = b2 + b2 + b2 3 2 1 3 2 1 pero vistos u = (a1 , a2 , a3 ) y v = (b1 , b2 , b3 ) como vectores de R3 con la mtrica e eucl dea, la desigualdad de Cauchy-Schwarz clsica nos dice que son propora cionales u = cv. Pero como |u| = |v| = 1 y u, v = 0, necesariamente c = 1, y por tanto u = v. Proposicin 8 Si u, v R4 son vectores causales con u, v = 0 , entonces son o 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 y ser espacial. a 0 Contradiccin. o Luego ambos vectores son luz. Puesto que adems son ortogonales, la proposia cin anterior nos dice que son proporcionales. o

Ejercicios.

Manuel Gutirrez. Universidad de Mlaga.

6 Ejercicio 1 Probar que la mtrica de Minkowski es simtrica, bilineal y no e e degenerada. Ejercicio 2 Probar que los vectores x, y, z de la demostracin del Teorema 3 o son espaciales. Ejercicio 3 Probar que la matriz de la mtrica de Minkowski en cualquier base e 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.