Francisco Cabrera Relatividad General

Tarea 1 March 28, 2019

Problema 1
La demostración del teorema 2.2.1 se basa en hallar n vectores linealmente independientes
que cubran el espacio tangente Vp . Para ello se define µ = 1, ..., n y una función Xµ : F → R
tal que 
∂ −1 

Xµ (f )= µ (f ◦ ψ ) (1)
∂x ψ(p)

donde los (x1 , ..., xn ) son los ejes Cartesianos de Rn y debido a que Xµ son una derivada
direccional, entonces son vectores tangentes.
Luego a partir del teorema fundamental del cálculo, se tiene que cualquier función suave
F : Rn → R puede ser escrita de la forma
n
X
F (x) = F (a) + (xµ − aµ )Hµ (x) (2)
µ=1

Y 
∂F 
Hµ (a) =  (3)
∂xµ x=a
Para generalizar esta ecuación en las n dimensiones, se define que para todo q ∈ O siendo O
subconjunto del manif old M y para p igual a una constante
n
X
f (q) = f (p) + [xµ ◦ ψ(q) − xµ ◦ ψ(p)]Hµ (ψ(q)) (4)
µ=1

A continuación se aplica la regla de Leibnitz a la ecuación anterior

n
X
 n
X

µ µ
  µ µ
v(f ) = v[f (p)]+ [x ◦ ψ(q) − x ◦ ψ(p)]
 v(Hµ ◦ψ)+ (Hµ ◦ψ)
 v[x ◦ ψ − x ◦ ψ(p)]
µ=1 q=p µ=1 p
(5)
De esta ecuación v[f (p)] es igual a cero porque f (p) es una constante, la primera sumatoria
es cero porque q = p y los términos restantes son
n
X n
X
µ
v(f ) = [Hµ ◦ ψ(p)]v(x ◦ ψ) − [Hµ ◦ ψ(p)]v(xµ ◦ ψ(p)) (6)
µ=1 µ=1

En la ecuación anterior el último término es cero porque ψ(p) es una constante y xµ ◦ ψ(p)
serı́a el valor ψ(p) proyectado en la coordenada xµ
Por lo cual queda
n
X
v(f ) = [Hµ ◦ ψ(p)]v(xµ ◦ ψ) (7)
µ=1

1
Francisco Cabrera Relatividad General
Tarea 1 March 28, 2019

Y al reemplazar en la acuación 3 que F = f ◦ ψ −1 enonces se obtiene

n
X
v(f ) = v µ Xµ (f ) (8)
µ=1
µ
Los valores v son componentes del vector v, por lo cual se puede expresar un vector tangente
arbitrario como una suma de las funciones Xµ
n
X
v(f ) = v µ Xµ (9)
µ=1