Tensores
Prof. Daniel Soto
Universidad Nacional de Ingenierı́a
Escuela Profesional de Fı́sica
Contenido
1. Vectores
2. 1-Formas
3. Producto tensorial
4. Referencias
2/21
Vectores
Vector tangente
El movimiento de una partı́cula es visto como una secuencia de eventos en el
espacio-tiempo, es decir, una curva
γ : I → γ (I ) ⊂ M
donde I ⊂ R. De dicha curva, conocida como lı́nea de mundo, se desea conocer
cómo cambian las coordenadas a lo largo de esta. Y, en general como cambian
las funciones definidas en γ.
Sea la función C ∞ ,
f :M→R
Luego, se define el operador,
vp : F → R
el cual debe indicar la variación de f a lo largo de la curva.
4/21
5/21
Ası́, en la λ-parametrización y respecto al sistema coordenado local (Up , x), la
aplicación de vp sobre f ∈ F es,
d d
vp (f ) = f ◦ x −1 ◦ x ◦ γ (λ) , vp ≡ |p
dλ dλ
haciendo la identificación,
x ◦ γ (λ) = x (p) = x (λ)
de aquı́,
d
vp (f ) = f ◦ x −1 ◦ x (λ)
dλ
d
= f ◦ x −1 [x (λ)]
dλ
haciendo nuevamente la identificación,
f ◦ x −1 = f
y, como:
x (λ) = x 0 (λ) , x 1 (λ) , . . . , x n (λ)
se tendrá,
∂f dx µ
vp (f ) = |x(p)
∂x µ dλ
6/21
Espacio tangente
Por otro lado, en F se tiene el álgebra:
f + g ∈ F , αf ∈ F , f .g ∈ F
esto ∀f , g ∈ F y ∀α ∈ R, y donde [f .g ] (p) = f (p) .g (p).
Luego, se cumplirá:
vp (f + g ) = vp (f ) + vp (g )
vp (f .g ) = vp (f ) g (p) + f (p) vp (g ) ... regla de Leibnitz
Estas propiedades definen al operador vp , el cual es conocido como vector tan-
gente.
7/21
Espacio tangente
Si consideramos todas las posi-
ble curvas que pasan por un
punto p, obtendremos el espacio
de todos los vectores tangentes
respecto a dicho punto: Tp M.
Y, es claro que dicho espacio es
un espacio vectorial.
8/21
Base coordenada
Más aún, observemos que si consideramos a f como la ν-ésima coordenada, es
decir,
f = x ν → f ◦ x −1 [x (λ)] = x ν (λ)
Luego,
d ν
vp (x ν ) = x ◦ x −1 [x (λ)]
dλ
∂x ν dx µ
= |x(p)
∂x µ dλ
ν
dx
= |x(p)
dλ
De aquı́,
∂f
vp (f ) = vp (x µ ) |x(p)
∂x µ
y, se identifica:
∂ dx ν ∂
vp = vp (x µ ) | x(p) = |x(p) µ |x(p)
∂x µ dλ ∂x
9/21
En particular, es posible definir un oper-
ador vp tal que:
(
ν 1 , ν=µ
vp (x ) =
0 , ν 6= µ
∂
identificando vp = | .
∂x µ x(p)
Ası́, afirmamos que
∂
eµ = | x(p) = ∂µ | p , µ = 0, 1, . . . , n es una base de Tp M
∂x µ
conocida como base coordenada.
10/21
Si ahora consideramos los sistemas coordenados locales (Up , x) y Up0 , x 0 , re-
specto a este último se tendrá:
0
dx ν ∂
vp0 = |x 0 (p) ν 0 |x 0 (p)
dλ ∂x
0
dx ν ∂x µ ∂
= |x 0 (p) ν 0 |x 0 (p) µ |x(p)
dλ ∂x ∂x
dx µ ∂
= |x(p) µ |x(p)
dλ ∂x
es decir, el vector tangente es independiente de la base escogida. Además, si
vp0 = ∂x∂ν 0 |x 0 (p) ,
∂ ∂x µ ∂
0 |x 0 (p) = |x 0 (p) µ |x(p)
∂x ν ∂x ν 0 ∂x
es decir,
∂x µ
∂ν 0 = |p ∂µ
∂x ν 0
donde se identifica la matriz de cambio de base local,
∂x µ
M µν 0 = |p
∂x ν 0
análogamente, a inversa de esta será:
0
0 ∂x α
Mβ α = |p
∂x β
11/21
Ejemplo: En M = R2 consideremos
los sistemas coordenados (x, y ) y (r , θ),
relacionados como:
x = r cos θ , y = rsenθ
Luego,
∂r = cos θ∂x + senθ∂y
∂θ = −rsenθ∂x + r cos θ∂y
es decir,
" #
h i h i cos θ −rsenθ
∂r ∂θ = ∂x ∂y
senθ r cos θ
12/21
1-Formas
Push-forward
Sean las variedades diferencia-
bles M y N, y sea la función C ∞ ,
f :M→N
es decir, respecto a los sitemas
coordenados locales (Up , x) y
(Vq , y ) las funciones y ◦ f ◦ x −1
son C ∞ . Luego, a partir de f se
define la función push-forward,
f∗ : Tp M → Tq N
como:
[f∗ (vp )] (g ) = vp (g ◦ f )
donde se ha introducido la
función g : N → R.
14/21
Observemos que,
d
[f∗ (vp )] (g ) = g ◦ f ◦ x −1 ◦ x (λ)
dλ
dx µ ∂
= |p g ◦ f ◦ x −1 [x (λ)]
dλ ∂x µ
dx µ ∂
= |p g ◦ y −1 ◦ y ◦ f ◦ x −1 [x (λ)]
dλ ∂x µ
dx µ ∂
= |p g {y [x (λ)]}
dλ ∂x µ
µ α
dx ∂y ∂g
= |p |p |q
dλ ∂x µ ∂y α
es decir,
∂y α dx µ
∂g
[f∗ (vp )] (g ) = |q
∂x µ dλ p ∂y α
de aquı́,
∂y α dx µ
∂
f∗ (vp ) =
∂x µ dλ p ∂y α
15/21
Espacio cotangente
En particular, escojamos
N = R , g = id
y, entonces:
[f∗ (vp )] (id) = vp (id ◦ f )
df (vp ) = vp (f )
e introducimos la notación [f∗ (vp )] (id) = df (vp ),
df (vp ) = vp (f )
Luego, es claro que:
df ∈ Tp∗ M
16/21
Además, si f = x µ |p ,
dx µ
dx µ (vp ) = vp (x µ ) = |p
dλ
y, como
dx µ ∂f
vp (f ) = |p
dλ ∂x µ
se obtendrá que:
∂f
df (vp ) = dx µ (vp )
∂x µ
de aquı́,
∂f
df = dx µ
∂x µ
y podemos demostrar que
{e µ = dx µ |p , µ = 0, 1, . . . , n} es una base de Tp∗ M
17/21
Producto tensorial
Carta
Siendo M una variedad
topológica, tendremos que
para cualquier abierto que
contiene un evento arbitrario
p : Up , existe un abierto Vq en
Rn+1 tal que la función,
ϕp : Up → Vq
es un homeomorfismo, y,
ϕ (p) = q = xp0 , xp1 , . . . , xpn ∈ Vq
Es claro, que la relación es
válida cualquier otro evento en
el abierto considerado. Luego,
se dice que Up , ϕp es una carta
en la vecindad de p.
19/21
Referencias
Libros
Robert M. Wald, General Reativity. The University of Chicago Press
(1984).
21/21
