Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Para definir, por consiguiente, un Espacio de Riemann, hemos de procurar que sus
magnitudes y propiedades coincidan con las de los espacios euclidianos, inclusive
en lo que respecta al tensor de curvatura. Así, se ha de cumplir la simetría e
inversibilidad de la métrica y la expresión contravariante del elemento diferencial
de longitud.
Una variedad n-dimensional Vn es un conjunto de n variables x1, ..., xn, que pueden
representar longitudes, ángulos, etc., y que están definidas en correspondientes
intervalos de números reales I1, ..., In.
{
Vn = x i / x i ∈ I i , i = 1,..., n}
g11 ... g1n
... ... ...
(gik )n =
... ... ...
g ... g
n1 nn
(
Espacio de Riemann: Rn = Vn , ( g ik )n )
La métrica nos indica la forma de representación de la variedad n-dimensional, esto
es, para cada métrica hay una forma de representación. La distancia entre dos
puntos infinitamente próximos, o elemento diferencial de longitud, ds, podemos
expresarla, como en los espacios euclidianos por:
r2 r r
(r r
) r r
dx = (dx , dx ) = dx i ei , dx k ek = dx i dx k (ei , ek ) = g ik dx i dx k
o sea
ds 2 = gik dx i dx k
g ij = g ji , g jk = (g jk ) , ds 2 = g jk dx j dx k
−1
1 ∂g jk ∂g ik ∂g ij
de primera especie: (ij , k ) = + −
2 ∂x i ∂x j ∂x k
Veremos que todos estos símbolos verifican en el Espacio de Riemann las mismas
propiedades de simetría, tensorialidad, etc., que en los Espacios Euclidianos.
Ejemplo:
1 1
V2 = x1 , x 2 / x1 ∈ (0,2π ) ⊂ R, x 2 ∈ (− π ,+ π ) ⊂ R
2 2
o bien, si llamamos por comodidad u y v a las variables:
1 1
V2 = u , v / u ∈ (0,2π ) ⊂ R, v ∈ (− π ,+ π ) ⊂ R
2 2
veamos las tres formas diferentes de representación de esta variedad, cada una de
ellos con su correspondiente métrica gik:
u = x, v = y
ds 2 = dx 2 + dy 2 + dz 2 = du 2 + dv 2 + 0 =
1 0 du
= (du , dv )
0 1 dv
Métrica de la representación:
(gik )2 =
1 0
0 1
u = ϕ, v = φ
ds 2 = dx 2 + dy 2 + dz 2 = [d (r cos φ . cos ϕ )] +
2
O sea:
r 2 cos 2 v 0 du
ds 2 = (du , dv )
0 r 2 dv
Métrica de la representación:
x = r cos φ . cos ϕ
y = r cos φ .senϕ r 2 cos 2 v 0
(g ik )2 =
z = rsenϕ 0 r 2
u = ϕ, v = h
ds 2 = dx 2 + dy 2 + dz 2 = [d (r cos ϕ )] +
2
+ [d (rsenϕ )] + [dh] =
2 2
O sea:
r2 0 du
ds 2 = (du, dv )
0 1 dv
Métrica de la representación:
x = r cos φ
r2 0
y = r cos φ (gik )2 =
0 1
z=h
Puesto que pretendemos que estos espacios sean una generalización de los
espacios euclidianos, hemos de exigirle a la métrica las condiciones de simetría e
inversibilidad necesarias para ello.
g ik = g ki , g jj > 0
2) Inversión de la métrica:
g jk g ik = δ ij
v k = g jk v j , v j = g jk v k
4) Producto interior:
(ur, vr ) = g jk u j v k
5) Elemento diferencial de longitud:
ds 2 = g jk du j du k = duk du k = g jk duk du j
(ij, k ) = 1 (∂ i g jk + ∂ j g ik − ∂ k g ij )
2
siendo:
r r ∂x i r r ∂x'k r
e 'k = Aki ei = k ei , k = 1,..., n ei = Bik e'k = e 'k , i = 1,..., n
∂x' ∂x'i
Veamos que definiendo estas magnitudes del modo expuesto, se verifican las
mismas propiedades básicas para la métrica y símbolos de Christoffel que se
verifican en un espacio euclidiano. Sin embargo, al variar la métrica en cada punto,
varían también los símbolos que dependen de ella. Esto quiere decir que para un
sistema de coordenadas dado, los símbolos de Christoffel que definamos varían en
cada punto de la variedad.
Teorema:
Los símbolos de Christoffel son simétricos y solo tienen carácter tensorial si los
cambios de variables o coordenadas en la variedad son lineales.
En efecto:
Simetría:
(ij, k ) = 1 (∂ i g jk + ∂ j g ik − ∂ k g ij ) = 1 (∂ j g ik + ∂ i g jk − ∂ k g ji ) = ( ji, k )
2 2
∂ s g ' pq = Aip Aqj ∂ s g ij + Aips Aqj g ij + Aip Asqj g ij = Aip Aqj Ask ∂ k g ij + Aips Aqj g ij + Aip Asqj g ij
∂ p g 'qs = Asi Aqj Apk ∂ k g ij + Aips Aqj g ij + Asi Apqj g ij = Ask Aqj Aip ∂ i g kj + Aips Aqj g ij + Asi Apq
s
g ij
∂ q g ' ps = Ap As Aq ∂ k g ij + Apq As g ij + Ap Asq g ij = Ap Aq As ∂ j g ki + Apq As g ij + Ap Asq g ij
i j k i j i j i j k i j i j
( pq, s )' = 1 (∂g ' qs +∂g ' ps −∂g ' pq ) = 1 Aip Ask Aqj .(∂ i g kj + ∂ j g ki − ∂ k g ij ) + 1 2 Aipq Asj g ij =
2 2 2
= A p As Aq .(ij , k ) + A pq As g ij
i k j i j
En definitiva:
Simetría:
Γijk = (ij , s ).g ks = ( ji, s ).g ks = Γ jik
Γ'rpq = ( pq, s )'.g 'rs = Aip Aqj Ask (ij , k )Bkr Bhs g kh + Aipq Asj g ij g kh Bkr Bhs =
= Aip Aqj Bhr (ij , k )g kh + Aipq Bkr = Aip Aqj Bhr Γijh + Apq
k
Bkr
y queda finalmente:
[01.3_1]
Esto nos indica que si es A pq = 0 , esto es, si los cambios de coordenadas son
i
Teorema:
En efecto:
a) La Identidad de Ricci:
(ij, k ) + (ik , j ) = ∂ i g kj
En efecto:
b) La Identidad de Christoffel:
k
Apq = Ark Γ'rpq − Aip Aqj Γijk
En efecto:
k
multiplicar ambos miembros por Ar :
Γ'rpq Ark = Aip Aqj Bhr Ark Γijh + Apq
k
Bkr Ark
y queda:
Teorema:
k r
Las transformaciones de variables x ( x ' ) que transforman una métrica de
coeficientes constantes en otra métrica también de coeficientes constantes han de
ser lineales:
En efecto:
g ik = cte ⇒ ∂ j g ik = ∂ k g ij = ∂ i g jk = 0 ⇒ (ij , k ) = 0 ⇒ Γijk = 0
∂ k
k
Apq = Ark Γ'rpq − Aip Aqj Γijk = 0 ⇒ Apq
k
=0⇒ Ap = 0 ⇒ Apk = cte = F
∂q
O sea:
∂x k
= F ⇒ x k = F . x 'r + G
∂x' p
( )
Para un espacio de Riemann Rn = Vn , ( g ik )n , sabemos que la métrica varía en cada
punto de la variedad. Si consideramos el valor de la métrica [(g ) ] en un punto
ij n 0
∂ k g ij(1) = ∂ k g ij( 2)
Sea una variedad V(yk), de variables yk, k=1,...,n, y métrica (gik)n. Consideremos la
función escalar U=U(yk). Derivando con respecto a las n variables se obtienen n
funciones escalares:
∂U
Uk = = ∂ kU (k = 1,..., n)
∂y k
∂U ∂U ∂y k
U p' = = k ' p = ApkU k
∂y 'p
∂y ∂y
∂v i ∂ ∂ i r ∂y '
( ) ( ) ( )
p
v = A v' ⇒ k = k Ar v' =
i i
r
r i r
Ar v' = Arpi v'r + Ari ∂ 'p v'r Bkp
∂y ∂y ∂y ' p
∂y k
o sea:
∂ k v i = Arpi Bkp v'r + Ari Bkp ∂ 'p v'r [02.2_1]
Arpi Bkp v' r = Aai Bkp Γ' arp v' r − Arm A pn Bkp Γmn
i
v' r = Aai Bkp Γ' arp v' r − Armδ nk Γmn
i
v' r =
= Aai Bkp Γ' arp v' r − Arm Γmk
i
v' r = Aai Bkp Γ' arp v' r −Γmk
i
vm
∂ k v i + Γmk
i
(
v m = Aai Bkp ∂ 'p v'a + Γ'arp v'r )
Dk vi = ∂ k vi − vm Γkim
también:
Aspj Ari tij = Γ'asp t ar' − Asm Apn Arj Γmn
i
tij
∂ 'p t rs' = Γ'arp t as' + Γ'asp t ar' + Ari Asj Apk ∂ k tij − Arm Apn Asj Γmn
i
tij − Asm Apn Arj Γmn
i
tij
ordenando:
∂ 'p t rs' − Γ'arp t as' − Γ'asp t ar' = Ari Asj Apk ∂ k tij − Arm Apn Asj Γmn
i
tij − Asm Apn Arj Γmn
i
tij
o bien:
(
∂ 'ptrs' − Γ'arp tas' − Γ'asp tar' = Ari Asj Apk ∂ k tij − Γikb tbj − Γ bjk tbi )
usando la notación Dk tij = ∂ k tij − Γik tbj − Γ jk tbi
b b
se tiene en definitiva que D p' trs' = Ari Asj Apk Dk tij , por lo que la derivada absoluta
resulta ser un tensor 3-covariante.
se tiene obviamente:
Dk g ij = 0
Así, si son {y }
k
0 los valores de las coordenadas {y }en
k
el punto M0, y
representamos la métrica y símbolos de Christoffel en dicho punto por
(g ik )0 , ( )
(ij , k ) 0 , Γijk 0
verifique que la métrica sea tal que los símbolos de Christoffel se anulen:
( )
(ij , k )' 0 = 0, Γ'ijk 0
=0
Teorema:
y 'k = y k − y0k +
1 k
2
( ) (y
Γij 0
i
)(
− y0i y j − y0j , ) k = 1,...n
k
es localmente inercial en el punto M 0 ( y 0 ) .
En efecto:
(
y 'k = y k − y0k + Cijk y i − y0i y j − y0j , )( ) k = 1,...n [03.1_1]
k
donde las Cij son constantes. Derivamos:
∂y 'k
∂y ' r
(
= δ rk = Ark + Cijk Ari y j − y0j + Cijk Arj y i − yoi ) ( ) [03.1_2]
k
en el punto M 0 ( y 0 ) es: δ rk = (Ark )0 + Cijk (Ari )0 .0 + Cijk (Arj )0 .0 ⇒ (Ark )0 = δ rk
(A ) .(B )
k
r 0
r
h 0 = δ rk . Bhr ( ) 0
= δ hk ⇒ Bhk ( ) 0
= δ hk
s
Derivando ahora la expresión [04.1_2] con respecto a y' :
( )
0 = Arsk + Cijk Arsi y j − y0j + Cijk . Ari . Asj + Cijk Arsj y i − y0i + Cijk . Arj . Asi ( )
en el punto M0:
( )
0 = Arsk 0 + 0 + Cijk . Ari ( ) (A ) 0
j
s 0 + 0 + Cijk . Arj ( ) (A ) = (A )
0
i
s 0
k
rs 0 + Cijk .δ ri .δ sj + Cijk .δ rj .δ si
o sea:
( )
0 = Arsk 0 + Crsk + Csrk
por lo cual:
(A ) k
rs 0 (
= − Crsk + Csrk ) [03.1_3]
para relacionar estas constantes con los símbolos de Christoffel podemos utilizar la
propiedad [01.3_1]: Γ' pq = Ap Aq Bh Γij + Apq Bk . Y podemos escribir en el punto M0:
r i j r h k r
(Γ' )r
pq 0 = δ pi .δ qj .δ hr . Γijh ( ) + (A ) .δ0
k
pq 0
r
k ( ) − (C
= Γ pq
h
0
r
pq + C qpr )
puesto que ha de ser nulo el símbolo de Christoffel de las y’k tendremos que hacer:
(Γ' ) = (Γ ) − (C
r
pq 0
h
pq 0
r
pq )
+ C qpr = 0 ⇒ Γ pq
r
( ) = (C 0
r
pq + C qpr )
y la solución más sencilla es
r
C pq = C qpr =
1 r
2
( )
Γ pq 0
esto quiere decir que una solución del cambio de coordenadas propuesto en
[03.1_1] es la transformación:
y 'k = y k − y0k +
1 k
2
( ) (y
Γij 0
i
)(
− y0i y j − y0j , ) k = 1,...n
Corolario:
k
localmente inercial en M 0 ( y 0 ) .
Efectivamente:
No hay que hacer otra cosa que expresar que las matrices de transformación son
realmente la delta de cronecker:
k
en el punto M 0 ( y 0 ) será:
(t ' i1...iq
)
j1... jp 0 (
= δ jk11...δ jpkp .δ hi11...δ hqiq .t kh11......kphq = t ij11......iqjp )
0
k
Si queremos determinar un sistema localmente inercial en un punto M 0 ( y 0 ) de
1 n
una variedad Vn ( y ,..., y ) procederemos mediante los siguientes pasos:
[(g ) ]
ik n 0
1 ∂g jk ∂g ik ∂g ij
(ij , k ) 0 =
2 ∂x i
+ j − k
(Γ ) = (ij, k ) .(g )
k
ij 0 0
kh
0
0 ∂x 0 ∂x 0
y 'k = y k − y0k +
2
( ) (y
1 k
Γij 0
i
)(
− y0i y j − y0j , ) k = 1,...n
( )
D jp v q = D j D p v q = D j t qp , (habiendo llamado t qp = D p v q )
de lo cual, se tiene:
( ) ( )
D jp v q = D j t qp = ∂ j t qp + t mp Γmjq − t mq Γpjm = ∂ j ∂ p v q + v h Γhpq + ∂ p v m + v h Γhpm Γmjq − ∂ m v q + v r Γrm
q
Γpjm = ( )
= ∂ jp v + ∂ j v Γ + v ∂ j Γ + ∂ p v Γ + v Γ Γ − ∂ m v Γ − v Γ Γ =
q h q
hp
h q
hp
m q
mj
h m
hp
q
mj
q m
pj
r q
rm
m
pj
[ ] [
= ∂ j Γhpq + Γhpm Γmjq v h + ∂ jp v q + ∂ j v h Γhpq + ∂ p v m Γmjq − ∂ m v q Γ pjm + v r Γrm
q
Γ pjm = ]
= [∂ Γ j
q
hp + Γhpm Γmjq ]v + Φ
h
jp
[
D jp v q = ∂ j Γhpq + Γhpm Γmjq v h + Φ jp ]
(Siendo Φ jp = ∂ jp v + ∂ j v Γhp + ∂ p v Γmj − ∂ m v Γpj + v Γrm Γpj )
q h q m q q m r q m
[ ]
D jp v q − D pj v q = ∂ j Γhpq + Γhpm Γmjq v h + Φ jp − ∂ p Γhjq + Γhjm Γmp
q
[v h − Φ pj = ]
([ ] [
= ∂ j Γhpq + Γhpm Γmjq − ∂ p Γhjq + Γhjm Γmp
q
]) (
v h = ∂ j Γhpq − ∂ p Γhjq + Γhpm Γmjq − Γhjm Γmp
q
vh )
es decir, se tiene que
D jp v q − D pj v q = Rhq, jp v h
q
Al tensor Rh , jp se le llama, al igual que en los espacios euclidianos, Tensor de
Curvatura, o, también, tensor de Riemann de cuatro índices y segunda especie:
Se define este tensor, que se conoce también como forma covariante de Riemann,
por la expresión:
Rij = Rik, kj
R = g mk .Rmk
esta función escalar, definida en cada uno de los puntos de la variedad de Riemann
es, como sabemos, nula en los espacios euclidianos.
En dos dimensiones es g is g = 2 ,
is
[04.4_1], por lo cual:
R
Ris = g is
2
Ris = K .gis
(R: curvatura escalar de Riemann, K: curvatura escalar de Gauss)
g 22 g g g
gis g is = g11 g 11 + g12 g 12 + g 21 g 21 + g 22 g 22 = g11 − g12 12 − g 21 21 + g 22 11 =
g g g g
2( g11 g 22 − g12 g 21 ) 2 g
= = =2
g g
(
(hs, jp ) = g sq Rhq, jp = g sq ∂ j Γhpq − ∂ p Γhjq + Γhpm Γmjq − Γhjm Γmp
q
= )
( ) (
= g sq ∂ j Γhpq + Γhpm Γmjq − g sq ∂ p Γhjq + ΓhjmΓmp
q
) [
= g sq ∂ j (hp, k )g kq + (hp, k )(mj, k ) g km g kq − ]
− g sq [∂ (hj, k )g
p
kq
+ (hj , k )(mp, k ) g km g kq ] = ∂ (hp, s ) − ∂ (hj, s ) + (hp, k )(mj, s) g −
j p
km
=
1
(∂ hj g ps + ∂ sp g hj − ∂ sj g hp − ∂ hp g js ) + g km [(hp, k )(mj, s) − (hj, k )(mp, s)]
2
O sea:
(hs, jp ) =
1
(∂ hj g ps + ∂ sp g hj − ∂ sj g hp − ∂ hp g js ) + g km [(hp, k )(mj, s) − (hj, k )(mp, s)]
2
[ ]
∂ j Γhpq = ∂ j (hp, k ).g kq = g kq .∂ j (hp, k )
(hs, jp ) =
1
(∂ hj g ps + ∂ sp g hj − ∂ sj g hp − ∂ hp g js )
2
esta relación permite obtener las relaciones de simetría de los símbolos de forma
sencilla:
1) (ij , rs ) = (rs, ij )
esto quiere decir que al permutar los dos subíndices del tensor, queda invariante.
Tengamos en cuenta que los símbolos no nulos cumplen que han de ser distintos
los primeros índices y también han de ser distintos los segundos índices:
(ij , rs ) ≠ 0 ⇒ i ≠ j, r ≠ s
Podemos calcular el número de parejas posibles, con los dos dígitos distintos, y, a
continuación, el número total de combinaciones posibles para dos parejas. Al
número total resultante es preciso restarle el número de relaciones de la forma 3)
del apartado anterior, que han de tener distintos los cuatro índices, por lo que en
total serian las combinaciones de n elementos tomados de cuatro en cuatro.
Se tiene, entonces:
n
Número de parejas de índices distintos: φ =
2
φ φ
Número de combinaciones de dos parejas: ϕ = + (los de dos parejas
2 1
distintas más los de dos parejas iguales)
n
Número de las relaciones 3): ϕ ' =
4
φ φ n 1 1
N = ϕ − ϕ ' = + − = φ (φ − 1) + φ − n(n − 1)(n − 2)(n − 3) =
2 1 4 2 24
1 1 1 1 1 1
= φ (φ + 1) − n(n − 1)(n − 2)(n − 3) = . n(n − 1) n(n − 1) + 1 − n(n − 1)(n − 2)(n − 3)
2 24 2 2 2 24
1 2 2
N= n (n − 1)
12
Esto quiere decir, por ejemplo, que en una variedad ٛ bidimensional el número de
símbolos no nulos de cuatro índices de Riemann es: N=1.
(g ik )2 =
1 0
2
0 cos (bu )
Calculemos:
g = cos 2 (bu )
1 cos 2 (bu ) 0 1 0
(g )
ik
= =
1 0 cos (bu )
2 −2
g 0
1 0 du du
ds 2 = g ik du 2 dv 2 = (du , dv ) 2
( )
= du , cos 2 (bu )dv =
0 cos (bu ) dv dv
= du + cos (bu ).dv
2 2 2
(ij, k ) = 1 (∂ i g jk + ∂ j g ik − ∂ k g ij )
2
(11,1)=0 (21,1)=0
(11,2)=0 (21,2)=-b.cos(bu).sen(bu)
(12,1)=0 (22,1)=b.cos(bu).sen(bu)
(12,2)=-b.cos(bu).sen(bu) (22,2)=0
Γijk = (ij, h )g kh
(ij , rs ) = g kj Rik,rs
El único símbolo no nulo viene expresado por:
h) Tensor de Ricci:
Ris = Rim,mk
R11 = R12, 21 = b 2
R22 = R21,12 = b 2 . cos 2 (bu )
R = g mk Rmk
R
K=
n(n − 1)
R 2b 2
K= = = b2
2 2
1 2
0
b
(g ik )2 = 2
0 1
cos ϕ
2
b
que, como hemos visto en la página 4, corresponde a una métrica esférica de radio
1
r= .
b
( )
∂ t Rik,rs + ∂ r Rik,ts + ∂ s Rik,tr = 2∂ rt Γisk − 2∂ rs Γitk = 2 ∂ rt Γisk − ∂ rs Γitk = 2∂ r Rik,ts
por tanto:
∂ t Rik,rs − ∂ r Rik,ts + ∂ s Rik,tr = 0
05.2. Teorema:
Se verifica la relación:
1
Da Rsa = ∂sR
2
donde es Rs el tensor contraido de Ricci mediante el tensor métrico, Rs = g .Ris , y
a a ia
En efecto:
si, con objeto de contraer uno de los tensores de Ricci que figuran en la expresión,
multiplicamos toda la expresión por git y tenemos en cuenta que por un resultado
anterior es Dtgit=0, se tiene:
∂ t Rst + ∂ a g ab Rbt , st − ∂ s R = 0
∂ t Rst + ∂ a g ab Rsb − ∂ s R = 0
∂ t Rst + ∂ a Rsa − ∂ s R = 0
y queda, finalmente:
1
2∂ a Rsa − ∂ s R = 0 ⇒ ∂ a Rsa = ∂sR
2
1
Eis = Ris − R.g is
2
1 1 1 1
Eis = Ris − R.g is = k .g is − R.g is = R.g is − R.g is = 0
2 2 2 2
06.2. Teorema:
Da E sa = 0
En efecto:
1 1
Siendo Es = g Eis = g Ris −
a ia ia
R.g ia g is = Rsa − R.δ sa
2 2
1 1 1 1
Da Esa = Da Rsa − δ sa Da R = Da Rsa − Ds R = Ds R − Ds R = 0
2 2 2 2
Ris = φ .g is
1
Ris = R.g is
2
siendo R la curvatura escalar de Riemann, por lo que podemos afirmar que estos
espacios son casos particulares de espacios de Einstein.
Y el tensor de Einstein:
1 1 1 1
Eis = R.gis − R.gis = − .R.gis
n 2 n 2
En todo espacio de Einstein, En, con n>2, se verifica que la curvatura escalar de
Riemann es constante.
En efecto:
1
de ser Ris = .R.gis en un espacio de Einstein, se tiene la expresión del tensor
n
mixto de Ricci de la forma:
1 1
Rsa = g ia .Ris = .R.g is g ia = R.δ as
n n
derivando:
1 1
∂ a Rsa = ∂ a R.δ as = ∂ s R
n n
1
y puesto que en todo espacio de Riemann es ∂ a Rs = ∂sR
a
2
1 1 1 1
se tiene que ∂ a Rs = ∂ s R = ∂ s R ⇒ − .∂ s R = 0 ⇒ ∂ s R = 0
a
2 n 2 n
(ij, rs ) = φ .(g ir g js − g jr g is )
Es un espacio de Einstein, en donde
R
φ=−
n(n − 1)
En efecto:
( ) (
g aj (ij , rs ) = φ .g aj (g ir g js − g jr g is ) = φ . g ir g aj g js − g jr g aj g is = φ . g irδ sa − δ ra g is )
o sea:
(
Ria,as = φ . g irδ sa − δ ra g is )
si hacemos r=a:
( )
Ria, as = Ris = φ . g iaδ sa − δ aa g is = φ .( g is − n.g is ) = − g is .φ .(n − 1)
1
Y como en estos espacios se cumple que Ris = .R.gis , se tiene:
n
1 R
Ris = .R.g is = −φ .(n − 1).g is ⇒ φ = −
n n(n − 1)
O sea:
φ = −K