P. 1
Geometría diferencial

Geometría diferencial

|Views: 2.814|Likes:
Publicado porAdrienne Merely

More info:

Published by: Adrienne Merely on Oct 10, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/22/2013

pdf

text

original

Para introducir una definici´on riemaniana de la curvatura total, tenemos que

recuerdarnos que para una sabana S en el espacio

κτ = LN −M2

EG−F2 = h11h22−h12h21
g11g22−g12g21

129

El denominador es una expresi´on intrinseca. Por el numerator, definimos

Rmijk = hikhjm−hijhkm

Asi

κτ =

R1212

g11g22−g12g21

Hasta ahora, esos simbolos no son muy intrinsecos. Pero si f : U → R3

es una

representaci´on parametrica de S,

Rmijk = (hik

−→u|hjm

−→u)−(hij

−→u|hkm

−→u)

=

∂i∂kf −

a

Γa

ik∂af|∂j∂mf −

a

Γa

jm∂af

∂i∂jf −

a

Γa

ij∂af|∂k∂mf −

a

Γa

km∂af

= ∂jΓikm−∂kΓijm +

a

Γa

kmΓija−Γa

jmΓika

Para obtener este resultado usamos las relaciones entre los simbolos de Christof-

fel de primera especie y de segunda especie. Eso constituye una expresi´on intrin-

seca del simbolo Rmijk . De hecho, las funciones Rmijk son los 24

componentes

de un tensor 4 veces covariantes.

Definici´on:

Sea g : U → R2×2

un tensor m´etrico de clase C3

. Los 24

componentes del

tensor de Riemann covariante del arco riemaniano representado por g son las

funciones:

Rmijk ≡ ∂jΓikm−∂kΓijm +

a

Γa

kmΓija−Γa

jmΓika

Este tensor es llamado tensor de Riemann o tensor de curvatura de segunda

especie.

Proposici´on:

El tensor de Riemann covariante se transforma como

Rmijk =

a,b,c,d

Rdabc◦ϕ

.∂mϕd

.∂iϕa

.∂jϕb

∂kϕc

cuando pasamos del tensor m´etrico g a un otro tensor m´etrico g equivalente via

ϕ.

Definici´on:

Las 24

componentes del tensor de Riemann de un arco riemaniano son las

funciones:

Rm

ijk ≡

a

gma

Raijk

130

Es tambi´en llamado tensor de Riemann o de curvatura de primera especie.

Es un tensor una vez contravariante y tres veces covariante.

Proposici´on:

El tensor de Riemann se transforma como

Rm

ijk =

a,b,c,d

Rd

abc◦ϕ

.(∂d ϕm

◦ϕ).∂iϕa

.∂jϕb

∂kϕc

cuando pasamos del tensor m´etrico g a un otro tensor m´etrico g equivalente via

ϕ.

Lema:

Para cualquier i,j,k,m tenemos

∂kΓjmi−∂jΓkmi = ∂mΓikj −∂iΓkmj = ∂jΓikm−∂kΓijm

La demostraci´on es un calculo directo, basado sobre la definici´on de los

simbolos de Christoffel de primera especie.

Proposici´on:

Para cualquier i,j,k,m tenemos

1. Rjkmi = Rmijk

2. Rmikj = −Rmijk

3. Rimjk = −Rmijk

4. Rm

ikj = −Rm
ijk

Para el tensor de Riemann de una sabana de E(R3

) tenemos

R1212 = h11h22−h12h21 = LN −M2

y

R2112 = R1221 = −(LN −M2

)

y

R2121 = LN −M2

Los 12 otras componentes de Rmijk son nulas.

Consecuencia: (Teorema Egregium):

La curvatura de Gauss de una sabana de clase C3

en el espacio E(R3

) es

determinada por los ´unicos coeficientes de la primera forma fundamental.

Demostraci´on:

De hecho, el tensor de Riemann fue introducido tal que

κτ =

R1212

g11g22−g12g21

Ademas R1212 es definido en termino de los simbolos de Christoffel y los simbolos

de Christoffel se calculan a partir de las componentes del tensor m´etrico.

131

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->