Tarea 3

Relatividad
Departamento de Física
Universidad Nacional de Colombia

14 de mayo de 2019

Fecha de entrega: 27 de mayo de 2019. b) Determine las componentes de la métrica de Ki-

En los problemas 2 y 3, use su paquete de software fa- lling inversa, K ab . Por definición, éstas satisfacen
vorito∗ para hacer los cálculos. El código que escriba debe K ac Kc b = δ ab .
entregarse junto con la Tarea. c) Muestre que si escribimos A = Aa Ga para A ∈ L,
1. Use los generadores de rotaciones espaciales (repre- entonces las componentes Aa están dadas por
sentados como matrices de 3 × 3),
Aa = K ab 〈G b , A〉 . (7)
 
0 0 0
Jx =  0 0 1  , (1) 3. Calcule los conmutadores [A, B] = AB − BA entre todos
0 −1 0 los generadores del grupo de Lorentz. Escriba su re-
  sultado como una combinación lineal de elementos del
0 0 −1 álgebra de Lie L (ver problema 2). Ayuda: Por ejemplo,
Jy =  0 0 0  ,

(2) K x , K y = Jz .
1 0 0
  4. Demuestre las siguientes identidades vectoriales:
0 1 0
Jz =  −1 0 0  , a) a~ d~ · ~b × ~c + ~b d~ · ~c × a~ + ~c d~ · a~ × ~b =




(3)
0 0 0 = d~ a~ · ~b × ~c

 a~ · ~e a~ · f~ a~ · g~ 
 
para demostrar la fórmula de rotación de Rodrigues,
b) a~ · ~b × ~c ~e · f~ × g~ =  ~b · ~e ~b · f~ ~b · g~ 


 

2
R = exp θ ê · J~ = 1 + sin θ ê · J~ + (1 − cos θ ) ê · J~ ,  ~c · ~e ~c · f~ ~c · g~ 

(4) 2
c) a~ × ~b, ~b × ~c , ~c × a~ = a~, ~b, ~c 
  
donde ê es un vector unitario que representa el eje res-
pecto del cual se realiza la rotación, y θ es el ángulo
d) d~ × a~ × ~b · (~ a × ~c ) = a~, ~b, ~c  a~ · d~

 

de rotación.
donde
2. Los generadores del grupo de Lorentz, representados
(por ejemplo) como matrices de 4 × 4, sirven como a~, ~b, ~c  = a~ · ~b × ~c = a~ × ~b · ~c .
 


(8)
base para un espacio vectorial 6-dimensional, llamado
el álgebra de Lie del grupo de Lorentz y denotado por
L. Defina el producto interno entre elementos de este 5. Demuestre las siguientes identidades del cálculo vec-
espacio vectorial en la forma torial:

a) ∇ · a~ × ~b = ~b · ∇ × a~ − a~ · ∇ × ~b


1
〈A, B〉 = Tr (AB) . (5)
2 b) ∇× a~ × ~b = a~∇· ~b − ~b∇· a~ + ~b · ∇ a~ −(~ a · ∇) ~b

a) Calcule las componentes de la métrica de Killing

c) a~ × ~b · (∇ × ~c ) = ~b · (~
a · ∇) ~c − a~ · ~b · ∇ ~c

Kab = 〈Ga , G b 〉 , (6) d) ∇ × (∇ × a~) = ∇ (∇ · a~) − ∇2 a~

donde Ga denota un generador cualquiera del ~ son vectores, muestre que C~ = A~ × B
6. Si A~ y B ~ es un
grupo (a, b = 1, . . . , 6). Escriba su resultado co- pseudovector, i.e., muestre que su ley de transforma-
mo una matriz de 6 × 6. ción bajo rotaciones es
∗
Si no tiene un favorito, pruebe a utilizar un Jupyter notebook de Python
con la librería para álgebra lineal scipy.linalg. Ci0 = det (R) R i j C j . (9)

1
 7. Decimos que un operador lineal P es un proyector si
satisface la relación P 2 = P.

a) Si P es un proyector, demuestre que 1 − P, donde

1 es el operador identidad, también lo es.
b) Muestre que P (1 − P) = (1 − P) P = 0.
c) Si n̂ es un vector unitario, muestre que el tensor
k
Pi j = ni n j , entendido como un operador que ma-
k k
pea vectores en vectores de acuerdo a Ai = Pi j A j ,
es un proyector.
k
d) Dé una interpretación geométrica a Pi j y a Pi⊥j =
k
δi j − Pi j .

8. Muestre que si Sµν es un tensor simétrico y Aµν es un

tensor antisimétrico, entonces S µν Aµν = 0.

9. Demuestre que si Aµ es un vector y Fµν es un tensor

antisimétrico, entonces

Bµν = ∂µ Aν − ∂ν Aµ , (10)
Gλµν = ∂λ Fµν + ∂µ Fνλ + ∂ν Fλµ (11)

son tensores, incluso bajo transformaciones no linea-

les.

10. Visualice una transformación de Lorentz Λ como una

matriz de 4 × 4,

Λ 0 Λ0 j
 0 
Λ= . (12)
Λi 0 Λi j

Demuestre que la matriz inversa puede escribirse en la

forma
 
−1 0 −1 0 j



Λ Λ
– ™
−1 0 Λ00 −Λ 0
Λ =
i j

i  = j .
Λ−1 Λ−1 −Λ0i Λi
0 j
(13)

11. Considere el grupo de rotaciones ordinarias en el es-

pacio euclidiano tridimensional, O(3). Suplementadas
con la ecuación t 0 = t, estas rotaciones forman un sub-
grupo del grupo de Lorentz. Muestre que:

a) Si aplicamos una rotación al vector V µ , V 0 trans-

forma como un escalar, y V i transforma como un
vector de O(3).
b) Si aplicamos una rotación al tensor T µν , T 00
transforma como un escalar, T 0i y T i0 transfor-
man como vectores, T i j transforma como un ten-
sor, y εi jk T jk transforma como un pseudovector
de O(3).