RELATIVIDAD GENERAL:

Vectores, formas diferenciales, tensores y

diferenciación absoluta. (I)

Cristian Rivera

Grupo de Fı́sica Teórica

Lima, Junio 27, 2016 FCF-UNMSM

Espacio-tiempo como una variedad diferenciable

◮ Galileo-Newton: Para observadores inerciales en movimiento

relativo un evento en el espacio y tiempo es:

(t, x, y, z)

que involucra un mismo punto para un observador en reposo,

mientras que para otro observador se establece una equivalencia
entre sus medidas dada por el grupo de transformaciones de
Galileo.
◮ Relatividad especial: Aquı́ el tiempo no es absoluto, se habla de
un sustrato espacio-tiempo (plano) donde las relaciones entre
observadores se dan por el grupo de Lorentz. (Paradoja de los
gemelos, etc.)
◮ Relatividad general: Espacios curvos. Cuál es el grupo de
transformaciones? Cómo definimos coordenadas?
Ejemplo. S2 que cubre la tierra:
→ Se necesitan dos sistemas de coordenadas para caracterizar la
superficie sin ambigüedad.(una relación de transformación puede
establecerse ya que se solapan)
Cómo usar el principio de equivalencia?
→ Los campos gravitatorios, en general, no son homogéneos (curvan
el espacio-tiempo de manera no trivial), por tanto se necesitan
diferentes transformaciones para todos los puntos asociados con
eventos en la variedad para eliminar sus efectos. (difeomorfismos)
Vectores y campos vectoriales

V = Vxi + Vyj + Vzk , V = Vr r̂ + Vθθ̂ + Vφφ̂

→ V = V iei
Podemos expresar igualmente para un espacio curvado
arbitrariamente:

→ V = V µeµ
Donde µ = 0, 1, 2, 3
Es necesario parametrizar e introducir el concepto de curva en una
variedad.
Una curva parametrizada no es más que un mapeamiento de R sobre
la variedad. El parámetro en R es λ.
Un punto P tiene coordenadas locales xµ (λ).
Supongamos una función f (xµ ) (mapeamiento desde la variedad a R).
f (xµ(λ) ) = g(λ)
 dg X dxµ ∂f
=
dλ µ
dλ ∂xµ

Que puede ser expresado como un operador:

d dxµ ∂
=
dλ dλ ∂xµ
Comparando podemos afirmar que dx
µ
dλ son las componentes del
∂ d
vector tangente a la curva, ∂xµ son las bases y dλ es el vector tangente
a la curva en P.
Esto es, un campo vectorial ya que depende de la posición de P.
vector → tangente a la curva
vector(geometrı́a) → derivada (análisis).
Los vectores definidos en P pertenecen al espacio tangente de la
variedad en el punto P.
Ademaás definir dos vectores en dos puntos distintos no tiene sentido,
solo se puede operar en el espacio tangente (localmente) situado en el
punto P.
Se puede discernir el tipo de bases de los campos vectoriales, hallando
el algebra con ayuda del corchete de Lie o conmutador. (bases
holonómicas(coordenadas) o bases no holonómicas(no coordenadas))
1-formas

Consideremos la esfera S2 : r = cte y hallemos el gradiente, normal a

la superficie:

Los gradientes son proporcionales a los vectores base, sin embargo

esto no coinciden. Conceptualmente estan asociados a los ejes
coordenados y a las direcciones de máxima variación de la función,
respectivamente.
Tratemos con un sistema no ortogonal para describir la misma
situación:

Con inversa:

Las bases son:

Claramente estos vectores base no son ortogonales.

Hallamos ahora el gradiente:

Corroboramos ahora que:

Es decir estos gradientes son duales a los vectores base.

A estas cantidades se les denomina 1-formas.
En una variedad hemos definido los campos vectoriales V en términos
de la base eµ

V = V µeµ
Y dual a esto hemos definido la 1-forma ω , que también estará en
términos de una base θ µ

ω = ωµ θ µ
Equivalentemente:

hθθµ , eν i = δνµ

ω , Vi = ων V µ hθθ ν , eµ i = ωµ V µ
hω
Ası́ como los vectores base eµ son bases del espacio tangente TP en el
punto P.
Las bases de las 1-formas θ µ son bases del espacio cotangente TP ∗
Otra notación usada es:

hω V ) = ωµ V µ
ω , Vi = ω (V
Los componentes de un vector y de una 1-forma pueden ser mapeados
por:

V µ = hθθµ , V i = θ µ (V
V)

ων = hω
ω , eν i = ω (eeν )
Haciendo uso de la dualidad entre vectores y 1-formas definimos:
 
∂
d x, =1
∂x
En forma general:
 
∂
d xµ , = δνµ
∂x′ nu
Reglas de transformación de vectores y 1-formas
Los vectores y las 1-formas definidos tienen la misma forma en
distintos sistemas de coordenadas.

Invariante 1-forma:
Esto es equivalente a las transformaciones contravariantes y
covariantes de un campo vectorial:
Dual de Hodge
Las 1-formas son duales con respecto a vectores.
Pero también son duales con respecto a lı́neas.
En R3 :

ω1 = a1d x + a2d y + a3d z

Sobre c1 (lı́nea), podemos integrar esta 1-forma:
Z
w1 = nro.
c1

Se define entonces:

c0 : 0-cadena (punto)
c1 : 1-cadena (lı́nea)
c2 : 2-cadena (área)
c3 : 3-cadena (volumen)
etc.
Una 2-forma ω2 es dual a una 2-cadena.
Z
w2 = nro.
c2

ω2 6= ωa ⊗ ωb
→ ω2 es antisimétrico.
Porqué?
A = |~v × w
~|, A>0
Con:
~v × w
~ = −~
w × ~v
En dos dimensiones (plano XY, área)
   
 vx vy   v1 v2 
A = vx wy − vy wx = 
  =  
wx wy  w1 w2 

vi = d xi (vv), d xi es 1-forma.
Ahora definimos la 2-forma como:

d xi ∧ d xk = d xi ⊗ d xk − d xk ⊗ d xi
Este producto antisimétrico es llamado producto wedge. (o cuña)
Entonces:

d xi ∧ d xk (vv, w ) = d xi (vv)dd xk (w
w) − d xk (vv)dd xi (w
w)
= vi wk − vk wi
 i 
 v vk 
= i
 
w wk 

d xi ∧ d xk es una área 2-forma.

En general para R3 la 2-forma en coordenadas cartesianas (locales) es:

ω2 = aikd xi ∧ d xk
Z
w2 = nro.
c2

d x1 ∧ d x2 = −dd x2 ∧ d x1 , d x1 ∧ d x1 = 0, etc
Tenemos:

ω2 = (a12 − a21 )dd x1 ∧dd x2 + (a23 − a32 )dd x2 ∧dd x3 + (a31 − a13 )dd x3 ∧dd x1

→ ω2 = Pdd x2 ∧ d x3 + Qdd x3 ∧ d x1 + Rdd x1 ∧ d x2

Existen tres 2-formas en R3 .
El volumen 3-forma en R3 es:

d x1 ∧ d x2 ∧ d x3
Luego de forma general:

d xi ∧ d xj ∧ d xk = ǫijkd x1 ∧ d x2 ∧ d x3

→ ω3 = F(x, y, z)dd x1 ∧ d x2 ∧ d x3
Z
w3 = nro.
c3

No hay 4-formas o más (5-formas, etc) en R3 .

Ejemplo: (4-forma en R3 )

F(x, y, z)dd x1 ∧ d x2 ∧ d x3 ∧ d x2 = 0
En un espacio n-dimensional el # de p-formas independientes es el
mismo # de (n-p)-formas independientes. → Mapeo entre espacios
de p-formas y (n-p)-formas: operador de Hodge (operador estrella ∗)

∗(p − forma) = (n − p) − forma

1 i ...ip
∗(dd xi1 ∧ d xi2 ∧ ... ∧ d xip ) = ǫi1p+1 ...i d xip+1 ∧ ... ∧ d xin
(n − p)! n

ǫ0123 = 1 = −ǫ0123 (Minkowski)

ǫ123 = ǫ123 = 1 (Métrica positiva, R3 )
Ejemplo: (R3 )
La 2-forma y la 1-forma tienen la misma dimensionalidad.(3)
La 0-forma y la 3-forma tienen la misma dimensionalidad.(1)
Álgebra de las p-formas
Sean ω y σ , 1-formas:

ω = aiθ i , σ = bkθ k
La 2-forma:

ω ∧ σ = ai bkθ i ∧ θ k

1
= (ai bk − ak bi )θθ i ∧ θ k
2

= cikθ i ∧ θ k

1
cik = −cki = (cik − cki ) = c[ik]
2

→ ω ∧ σ = −σ
σ ∧ω
Para n=2 (R2 ):

ǫij i 1
∗1 = d x ∧ d xj = (ǫ12d x1 ∧ d x2 + ǫ21d x2 ∧ d x1 )
2! 2
1
= (ǫ12d x1 ∧ d x2 − ǫ12d x2 ∧ d x1 )
2
1
= (ǫ12d x1 ∧ d x2 + ǫ12d x1 ∧ d x2 ) = d x ∧ d y
2

∗dd x = ǫ1i d xi = ǫ1id xi = d y

∗dd y = ǫ2i d xi = ǫ2id xi = −dd x

∗dd x ∧ d y = ǫ12 · 1 = 1
Operando nuevamente con ∗, tenemos:

∗∗1 =1

∗ ∗ d x = −dd x

∗ ∗ d y = −dd y

∗ ∗ dx ∧ dy = dx ∧ dy
De forma general para métricas positivas:

∗ ∗ ωp = (−1)p(n−p)ωp
Y para Minkowski:

∗ ∗ ωp = (−1)(p−1)ωp
Derivada exterior
Motivación:
Z Z
A · ds = ∇ × A · dΣ

→ ω = a1,...,p (x)dd x1 ∧ ... ∧ d xp

Se define la derivada exterior como:

∂aii1 ...ip k
dω = d x ∧ d xi1 ∧ ... ∧ d xip
∂xk
Ejemplo: 1-forma (R3 )

θ = axd x + ayd y + azd z

∂ax ∂ax ∂ay

dθ = dy ∧ dx + dz ∧ dx + d x ∧ d y + ...
∂y ∂z ∂x
 ∂ay ∂ax ∂az ∂ay ∂ax ∂az
=( − )dd x ∧ d y + ( − )dd y ∧ d z + ( − )dd z ∧ d x
∂x ∂y ∂y ∂z ∂z ∂x
Coeficientes son componentes de ∇ × a
Para una 2-forma en R3 :

ω = bxd y ∧ d z + byd z ∧ d x + bzd x ∧ d y

∂bx ∂by ∂bz

dω = ( + + )dd x ∧ d y ∧ d z
∂x ∂y ∂z
El coeficiente es ∇ · b
Se puede probar que de forma general:

d2 θ = d (dθ
dθ) = 0
dθ
Con: d2 = 0 , llamado lema de Poincaré
Teorema de Stokes generalizado

Sea ω una p-forma y c una (p+1)-cadena.

Se define el operador ∂ sobre cadenas, entonces ∂c es el contorno de
c.
El contorno de ∂c no existe, ya que es cerrado.

∂(∂c) = ∂ 2 c = 0

→ ∂2 = 0
Esta expresión es dual a la derivada exterior.
Podemos escribir entonces el teorema de Stokes generalizado.
Z Z
ω = dω
∂c c

En R3 :
Si p=1 : Se obtiene el teorema de Stokes.
Si p=2 : Se obtiene el teorema de Gauss.
Tensores
 
r
Un tensor es un objeto geométrico con componentes en el
s
espacio, producto cartesiano de r bases vectoriales y s bases de
1-formas:

α...β
T = Tλ...µ eα ⊗ ... ⊗ eβ ⊗ θ λ ⊗ ... ⊗ θ µ
Sus componentes pueden expresarse según la convención ya tratada:
α...β
Tλ...µ = T (θθα , ..., θβ , eλ , ..., eµ )
Los tensores se transforman de manera homogénea, ya que:

′
α ...β′ ∂x′ α ∂x′ β ∂xκ ∂xν ρ...σ
Tλ...µ (x) = (x)... (x) (x)... (x)Tκ...ν (x)
∂xρ ∂xσ ∂x′ λ ∂x′ µ