UNIVERSIDAD NACIONAL DEL CALLAO

FACULTAD DE CIENCIAS NATURALES Y MATEMTICA

ESCUELA PROFESIONAL DE MATEMTICA

INFORME FINAL DE PRCTICA PRE PROFESIONAL

MODALIDAD DE INVESTIGACIN

TTULO: EL TEOREMA DE LEVI CIVITA

R. N 061-2013-CD-EPM-FCNM

AUTOR: JORGE LUIS VIVAS PACHAS

CDIGO: 042135B

TRABAJO ORIENTADO POR

LIC. MARCO ANTONIO RUBIO GALLARDAY

SEMESTRE ACADMICO 2013-B

BELLAVISTA CALLAO
2014

A. DATOS GENERALES
A.1.

A.2.

A.3.

DATOS DEL ESTUDIANTE

APELLIDOS Y NOMBRES

: Vivas Pachas, Jorge Luis

CDIGO

: 042135B

INSTITUCIN

: Universidad Nacional del Callao

FACULTAD

: Ciencias Naturales y Matemtica

ESCUELA ACADMICA PROFESIONAL

: Matemtica

SEMESTRE ACADMICO

: 2013-B

TTULO

: El Teorema de Levi-Civita

DATOS DEL PROFESOR ASESOR

APELLIDOS Y NOMBRES

: Rubio Gallarday, Marco Antonio

CDIGO

: 1311

CATEGORA Y DEDICACIN

: Auxiliar. Tiempo Parcial

CONDICIN

: Nombrado

ESPECIALIDAD

: Matemtica

FACULTAD

: Ciencias Naturales y Matemtica

DATOS DE LA INSTITUCIN
INSTITUCIN

: Universidad Nacional del Callao

DIRECCIN

: Av. Juan Pablo II N 306, Bellavista-Callao

TELFONO

: (

B. CRONOGRAMA DE ACTIVIDADES REALIZADAS

DURACIN

HORARIOS DE PERMANENCIA

ACTIVIDADES REALIZADAS

: Se realizaron las siguientes actividades

Consulta permanente sobre el proyecto de investigacin con el asesor Lic. Marco

Antonio Rubio Gallarday.

Bsqueda de informacin en biblioteca e internet.

Exposicin semanal de los avances del proyecto.

CRONOGRAMA ANALTICO SEMANAL

DESCRIPCIN

SEMANAS
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17

Revisin de Bibliografa y
Recoleccin de Datos
Desarrollo del Trabajo de
Investigacin
Anlisis de los Resultados
Redaccin
Final
Exposicin del Informe

X
X

C. CARACTERSTICAS DEL TRABAJO

A continuacin mostraremos el trabajo de investigacin.

ndice
I. Resumen

II. Introduccin

III. Marco Terico

Captulo I: Preliminares

1.1. Repaso de topologa.

1.2. Variedades diferenciables............

13

1.3. Vectores tangentes...........

17

1.4. Mtrica y distancia riemanniana......

27

Captulo II: Desarrollo del Trabajo de Investigacin

32

2.1. Conexin afn...

32

2.2. Conexin riemanniana.

37

IV. Resultados

44

V. Discusin y Conclusin

45

VI. Referencias Bibliogrficas

46

I. Resumen
En este trabajo de investigacin mostramos de forma muy detallada una prueba
alternativa del teorema de Levi-Civita, el cual garantiza que en una variedad
riemanniana existe una nica conexin afn que satisface:
(i) simetra, y
(ii) compatibilidad con la mtrica riemanniana.

Asimismo, proporcionaremos un contraste con la prueba estndar de este

teorema, debida a do Carmo (cf. [1], Teorema 3.6). Esta prueba se realiza en el mismo
contexto que la prueba presentada en este trabajo.

II. Introduccin
Un resultado fundamental en la geometra diferencial es: para una mtrica
riemanniana en una variedad, existe una nica conexin afn simtrica compatible con
ella. Esta conexin afn es llamada la conexin Levi-Civita o conexin riemanniana.
(Paralelismo es la palabra original utilizada para lo que hoy se denomina conexin
afn, cf. [3]. Seguiremos el uso moderno, a pesar de que la palabra paralelismo tiene
connotaciones ms geomtricas.) La versin que presentamos aqu, se puede encontrar
en ONeill (cf. [5], Teorema 3.11), con el siguiente enunciado:

Teorema. En una variedad riemanniana

existe una nica conexin afn

que

satisface
[

(i)
(ii)

] (simetra), y

para todo campo vectorial

(compatibilidad con la mtrica riemanniana),

en

Civita o conexin riemanniana de

. Esta conexin afn , llamada la conexin Levi, es caracterizada por la frmula de Koszul

La prueba estndar (actual), debida a do Carmo (cf. [1], Teorema 3.6), es una
elegante manipulacin algebraica por medio de campos vectoriales, corchetes de Lie,
productos internos y conexiones afines. Esta prueba es puramente intuitiva y la
consistencia de la misma no es muy explcita. Por ende, daremos una prueba alternativa
que es ms prolija (ambas pruebas se realizan en el mismo contexto). Resaltamos que la
demostracin hecha en este trabajo de investigacin es basada en la utilizacin del
siguiente lema:
6

Lema. Sea

una variedad riemanniana con mtrica riemanniana . Sea

transformacin lineal de campos vectoriales suaves sobre

una

en funciones suaves sobre

. Supongamos que
(

para todas las funciones suaves

( )

( )

( )

y todos los campos vectoriales

existe un nico campo vectorial suave

en

en

en

. Entonces

con la propiedad de que

( )
para todo campo vectorial suave

Este lema garantiza la existencia y unicidad de un campo vectorial, el cual

posteriormente ser identificado como la conexin afn de un campo vectorial con
respecto a otro.

Este trabajo de investigacin est dividido de la siguiente manera: En el primer

captulo presentamos algunos conceptos bsicos de topologa, variedades diferenciables,
vectores tangentes y mtrica riemanniana, procurando fijar las notaciones.

Asimismo, algunos resultados preliminares son demostrados, como por ejemplo

la proposicin (cf. [5], Proposicin 5.18) en la cual se establece que la distancia
riemanniana define una mtrica.

Finalmente, en el segundo captulo de este trabajo de investigacin,

demostramos el Teorema de Levi-Civita. Sin embargo, en primer lugar tambin
demostramos algunos resultados con el fin de presentar el teorema final con una buena
objetividad. Entre dichos resultados, mostramos el lema anteriormente enunciado.

III. Marco terico

Captulo I: Preliminares

1.1. REPASO DE TOPOLOGA

El objetivo de esta seccin es recordar algunas nociones elementales de topologa
(abierto, entorno, comparacin de topologas, metrizabilidad, etc.).

Definicin 1.1. Sea

de

un conjunto no vaco. Una topologa sobre

es un subconjunto

( ) (conjunto de partes de ) tal que

i)

ii) toda reunin de elementos de

es un elemento de ,

iii) toda interseccin finita de elementos de

El par (

es un elemento de .

) se denomina espacio topolgico y lo denotaremos simplemente por

cuando no haya riesgo de confusin.

Los elementos de

se llaman abiertos de

y el complementario (en ) de un

abierto se denomina cerrado.

Definir una topologa en

entorno: diremos que

es dar una nocin de proximidad y por tanto de

es un entorno abierto de

su vez contiene a . Evidentemente toda parte de

es ella misma un entorno abierto de .

si

contiene un abierto que a

que contiene un entorno abierto de

Definicin 1.2. Sean (

)e(

) espacios topolgicos. Diremos que una aplicacin

es continua en el punto
existe un entorno abierto

Diremos que
verificar que
respecto a

de

en

es continua en

es un abierto de

es un abierto de

homeomorfismo de

Definicin 1.3. Sea

ms fina que
i)

tal que ( )

de

( ) en

si es continua en todo punto de . Es sencillo

es continua si y solo si la imagen recproca por

de cualquier abierto de

respecto a .

Diremos que la aplicacin

de

si para todo entorno abierto

. Si

es abierta cuando la imagen directa de todo abierto

es biyectiva, continua y abierta diremos que

es un

en .

un conjunto dotado de dos topologas

. Diremos que

es

si satisface una de las siguientes condiciones equivalentes

,

ii) toda parte de

cerrada respecto a
(

iii) la aplicacin

es cerrada respecto a

) es continua.

Ejemplos 1.1.
i) Pongamos

} , esta familia de partes de

constituye una topologa

sobre . Es la menos fina que se puede definir. Aqu la nocin de proximidad no

tiene sentido: un punto cualquiera de

tiene un nico entorno. Esta topologa se

denomina grosera y raras veces se utiliza.

ii) Si al contrario que en el ejemplo precedente ponemos
topologa ms fina sobre , denominada topologa discreta.
9

( ) se obtiene la

Definicin 1.4. Diremos que un espacio topolgico (

si para cualesquiera
que

de

) es separado o de Hausdorff,

distintos existen entornos abiertos

de

de

tales

Definicin 1.5. Sea (

de , i.e.

) un espacio topolgico. Una clase

, es una base de la topologa

i) todo conjunto abierto

Equivalentemente,

ii) para cualquier punto

si y solamente si posee estas dos propiedades:

}.

ii) Dados cualesquiera

es la unin de elementos de

equivalentemente, si

entonces

Definicin 1.6. Se llama pseudomtrica en

i)

ii)

iii) (

El par (

) se denomina espacio pseudomtrico.

10

tal que

a toda aplicacin

satisface las propiedades siguientes

iv)

, existe un

una clase de subconjuntos de un conjunto no vaco . Entonces,

es base de alguna topologa

i)

si y solamente si

que pertenece a un conjunto abierto

tal que

Teorema 1.1. Sea

si y solamente si

es la unin de elementos de .

es una base de

elemento

de subconjuntos abiertos

, o,
.

que

Definicin 1.7. Sean (

) un espacio pseudomtrico,

un elemento de

. El

conjunto
(
se llama la bola abierta en

de centro

Diremos que el conjunto

un nmero real

y radio .

es un abierto de

si para todo punto

existe

tal que
(

Teorema 1.2. Sean (

) un espacio pseudomtrico y

la clase de todas las bolas abiertas en . Entonces,

{ (

es una base para una topologa

en , llamada la topologa inducida por la pseudomtrica .

Un espacio pseudomtrico siempre se considera dotado de la topologa inducida

por su pseudomtrica.

Definicin 1.8. Se llama mtrica o distancia en

a toda aplicacin

satisface las propiedades siguientes

i)

(semidefinida positiva),

ii)

(separacin),

iii) (

) (simetra),

iv)

El par (

) (desigualdad triangular).

) se denomina espacio mtrico.

11

que

Ejemplos 1.2.
(

i) Dados

)e

) de

Se verifica fcilmente que la aplicacin

en

consideramos
|

as obtenida constituye una distancia

ii) Sea

un conjunto, si definimos
(

por

obtenemos una distancia en

, que se denomina mtrica discreta de

. La

topologa obtenida es la del ejemplo 1.1 ii).

Corolario 1.1. Si

es de Hausdorff, la pseudomtrica

es una mtrica.

Prueba. Solo resta probar que

(

lo cual es igual a probar que

(
(

En efecto, sean
abiertos

de

de

) . Puesto que

tales que

es de Hausdorff, existen entornos

. Asimismo, el conjunto
{ }
{ }.

es un entorno abierto del punto , pues

Puesto que la pseudomtrica

define la topologa dada de , existe

(

Esto implica que el punto

{ }

no est en (
(

). Entonces, tenemos
)

12

tal que

1.2. VARIEDADES DIFERENCIABLES

Definicin 1.9. Sea

carta local en

un espacio topolgico. Un sistema de coordenadas locales o

sobre un abierto ( )

, denotado por (

confusin, simplemente escribimos

Diremos que

Para cada

( ) de un subconjunto abierto

es un homeomorfismo

por (

).

( ).

es la dimensin de

se tiene ( )

). Cuando no haya riesgo de

( )

( )). Los nmeros

, son llamados las coordenadas del punto

( ),

en el sistema .

Ejemplos 1.3.
i) Sean
( )

un abierto y
. Las coordenadas introducidas en

denominadas coordenadas cartesianas.

13

la aplicacin de inclusin
por el sistema

son

ii) Sea
superficie

una parametrizacin del conjunto abierto

, contenido en la

. El homeomorfismo inverso

sistema de coordenadas locales en

es un

Definicin 1.10. Dados los sistemas de coordenadas locales

en el espacio topolgico
coordenadas

, tales que

( ) en el sistema

, cada punto
y coordenadas

sistema .

14

tiene

( ) relativamente al

La correspondencia
( )

( ))

establece un homeomorfismo

( )

(
)

( ))
(

) que es llamado cambio

de coordenadas.

Definicin 1.11. Un (
es una coleccin
1.

) atlas de dimensin

de cartas (

sobre un espacio topolgico

) del conjunto

tal que

2. para cualquier par

(

con

los conjuntos

) son conjuntos abiertos en

es suave (de clase

su dominio

y el cambio de coordenadas

de los sistemas coordenados

son

en el cual existe un atlas de dimensin

variedad topolgica de dimensin . En otras palabras,

de dimensin

) y

). Decimos que los elementos de un atlas se superponen

llamados los entornos coordenados de

Un espacio topolgico

, i.e., diferenciable para todo grado de diferenciacin) en

suavemente. Los dominios

abierto de

en

si, y solamente si, cada punto de

se llama una

es una variedad topolgica

tiene un entorno homeomorfo a un

Definicin 1.12. Un atlas

sobre un espacio topolgico

clase

, si todos los cambios de coordenadas

clase

. Se escribe entonces

15

se dice diferenciable, de
son aplicaciones de

Definicin 1.13. Sea

un atlas de dimensin

y clase

en un espacio topolgico

. Un sistema de coordenadas en

se dice admisible relativamente al atlas

perteneciente a
son de clase

, con

si, para todo sistema de coordenadas locales

, los cambios de coordenadas

{(

. En otras palabras,

)} es tambin un atlas de clase

en

Definicin 1.14. Dado un atlas

, de dimensin

y clase

, sobre

. Sea

el

conjunto que contiene todos los sistemas de coordenadas locales que son admisibles en
relacin a

. Es fcil ver que

es tambin atlas, llamado el atlas maximal (o atlas

completo) generado por el atlas

Todo atlas de clase

un atlas maximal de clase

en

puede ser ampliado, de modo nico, hasta tornarse

: basta adicionarle todos los sistemas de coordenadas

admisibles.

Un atlas maximal de un conjunto

diferenciable en

es tambin llamado una estructura

Definicin 1.15. Una variedad diferenciable, de dimensin

ordenado (

) donde

mximal de dimensin

y de clase

es un espacio topolgico de Hausdorff y

y clase

sobre

16

es un par
es un atlas

1.3. VECTORES TANGENTES

Definicin 1.16. Sea

una variedad. Una funcin suave

( )

es denominada una curva en

Dada una funcin real suave

( )

la funcin
( ( ))
es suave con una derivada clsica bien definida.

Definicin 1.17. Sean

conjunto

un punto en

, la curva

con ( )

}. La funcin
( )

definida por
( )

( ( ( )))

es llamada el vector tangente a la curva

en
17

y el

Ahora podemos definir formalmente la nocin de un vector tangente.

Definicin 1.18. Un vector tangente

a una variedad
(

tal que existe una curva

en

con ( )

El punto

). Tal curva

, satisfaciendo
( ( ( )))

es llamada a realizar el vector tangente

subndice que indica el pie y escribimos simplemente

(i.e. ( )

es llamado el pie del vector tangente

Dado un vector tangente

es una funcin

( )

para todo

en un punto

. A menudo omitiremos el

por

en , existen infinitas curvas

que realizan

). Ellas se pueden caracterizar de la siguiente manera en coordenadas

locales.

Proposicin 1.1. Dos curvas

( )

a travs de un punto

( ) si y solo si, dada una carta (

( ( ( )))

) con

satisfacen

, se cumple que

( ( ( )))

en

Prueba:
Sea (

) una carta en

con

donde las coordenadas del punto

. Entonces, se tiene ( )
en el sistema

18

son

( )

( ),

( )),
.

) Por condicin del enunciado, las curvas

a travs del punto

en

satisfacen
( )
(

Puesto que cada

), tenemos

( ( )))

( )

( )

( )

( ( )))

Entonces, se sigue que

(

( ( )))

( ( )))

Luego
( ( ( )))

( ( ( )))

( ( ( )))

( ( ( )))

( ( ))

( ( ))

( ( )))

( ( )))

( ( ))

( ( )))

( ( )))

( ( )))

( ( ))

( ( )))

Por tanto,
( ( ( )))

( ( ( )))

19

( ( )))

( ( )))

) Para tal propsito, debemos recurrir al siguiente teorema.

Teorema 1.3. (Regla de la Cadena) Si

es

diferenciable

en

es diferenciable en

( ) ,

entonces

la

funcin

, y

compuesta

es diferenciable en , y
(

Dada cualquier

)( )

( ( ))

( )

), las funciones compuestas

son suaves con derivada clsica bien definida.

Por condicin del enunciado, las curvas

( )

pasan a travs del punto

( )

Entonces, se sigue que

( )

( )

Aplicando , se tiene
( ( ))

( ( ))

20

en

, i.e.,

Asimismo, se cumple
( ( ( )))

( ( ( )))

Luego
( ( ( )))

( )

((

) ( ( ( ))))

Aplicando la Regla de la Cadena

( )

)(

( ))

( )

)(

( ))

( ( ( )))

( ( ( )))

Aplicando nuevamente la Regla de la Cadena

( )

((

) ( ( ( ))))

( ( ( )))

( )
para toda

( )

).

Por tanto,
( )

( )

21

Definicin 1.19. El espacio tangente a

todos los vectores tangentes a

en , denotado por

, es el conjunto de

en .

Corolario 1.2. El espacio tangente admite una estructura de espacio vectorial.

Prueba. Sean las curvas
(

( )

( )

Entonces, se sigue que

( )

( )

Aplicando , se tiene
( ( ))

Dados ( ) ( ) en
( )

(
para toda

en

( )

( ( ))

, definamos

( ))

( ( ) )

).

22

( ( ) )

 ( )

Para demostrar que (

( )) es un vector tangente bien definido,

necesitamos mostrar que existe una curva

( )

Consideremos una carta (

tal que
( )

) con

( )

. La buena definicin de las funciones

compuestas

garantiza la buena definicin de

(

Definamos la curva
(

( )

mediante
( )

Dada cualquier

( )

( ( ( )))

)( )

)
((

) ( ( ( ))))

23

Aplicando la Regla de la Cadena

( )

)(

( )

) ( ( ))

( )

) ( ( )) [

( )

( ))

) ( ( ))

( ( ( )))

)( )))

( ( ( )))

( ( ( )))

( (

( ( ( )))

) ( ( ))

( ( ( )))

Aplicando nuevamente la Regla de la Cadena

( )

((

) ( ( ( ))))

( )
para toda

((

( )

) ( ( ( ))))

( )

).

Por lo tanto,
( )

( )

24

( )

Usando una carta local, es posible mostrar que la dimensin del espacio vectorial
: dada una carta (

es igual a , la dimensin de la variedad

de

) en , una base

es dada por
{ ( )

donde

( )

( ( )

), con

( )}

denotando el -simo vector cannico de

Uno tiene, para cualquier vector tangente ( ), la descomposicin

( )
donde

( ( )

) ( )

denota la i-sima componente de . Esto provee una forma para definir las

coordenadas de los vectores tangentes en

usando la carta (

) , definiendo el

elemento de
(

( )
( )

como la representacin del vector tangente ( ) en la carta (

Definicin 1.20. Dada una variedad

).

, el conjunto de todos los vectores tangentes a

es llamado el fibrado tangente de

Definicin 1.21. Un campo vectorial

donde

en una variedad

25

es una funcin suave

Dados un campo vectorial

denotemos por

en

y una funcin real (suave)

),

a la funcin real

definida por
(
para todo

en

)( )

( )

. La suma de dos campos vectoriales y la multiplicacin de un campo

(

vectorial por una funcin

)
(

son definidas como sigue:

(

para todo

( )

La suavidad es preservada por estas operaciones. Sea (

) el conjunto de

campos vectoriales suaves en

(

dotado con estas dos operaciones.

Sean (

) una carta de una variedad

. El campo vectorial ( ) en
de (

en

( )} una base de

es llamado el -simo campo vectorial coordenado

). Estos campos vectoriales coordenados son suaves, y todo campo vectorial

admite la descomposicin
(
en

y{ ( )

26

) ( )

1.4. MTRICA Y DISTANCIA RIEMANNIANA

Definicin 1.22. Una mtrica riemanniana en una variedad diferenciable

correspondencia que asocia a cada punto
tangente

es una

un producto interno en el espacio

Sea

una mtrica riemanniana en

indicaremos con (

) el producto interno de los vectores

haya riesgo de confusin usaremos la notacin

. Cuando no

o simplemente

Definicin 1.23. Una variedad cuyos espacios tangentes son dotados con un producto
interno variando suavemente es llamada una variedad riemanniana.

Estrictamente hablando, una variedad riemanniana es, pues una dupla (

donde

es una variedad y

Sea (

es una mtrica riemanniana en

) una carta de una variedad riemanniana (

),

). Las componentes de

en la carta son dadas por

( ( ) ( ))
donde ( ) denota la -simo campo vectorial coordenado. En consecuencia, para los
campos vectoriales
(

( )y
( )

( )

27

( ) tenemos
( ) ( )

Definicin 1.24. La longitud de una curva

(

en una variedad riemanniana

) es definida por
( )

( ( ) ( ))

Definicin 1.25. La distancia riemanniana en una variedad riemanniana (

(

) es

( )

donde
(

Asumiendo (como de costumbre) que

es de Hausdorff, se puede demostrar la

siguiente proposicin:

Proposicin 1.2. La distancia riemanniana define una mtrica; i.e.,

1.

(semidefinida positiva);

2.

(separacin);

3.

) (simetra);

4.

) (desigualdad triangular).

Prueba. Por el corolario 1.1, solo resta probar que la distancia riemanniana define una
pseudomtrica, i.e.,
i)

ii)

iii) (

iv)

28

En efecto, sean

i) Puesto que

para todo

), se sigue que

( ( ) ( ))
de [

para toda curva

] en

Entonces, su longitud es
( )
(

para toda
Puesto que

( ( ) ( ))

).

es una cota inferior de ( ), tenemos

(

( )

Por tanto,
(

ii) Para cualquier punto

, la funcin
[

definida por
( )
para todo

], es una curva suave uniendo a

consigo misma.

Puesto que, su longitud es

( )
para toda

( ( ) ( ))

), se sigue que
(

( )

Por tanto,
(

)
29

iii) Para cualquier curva

), la funcin
[

definida por
( )
[

para todo
Entonces,

], es una curva suave uniendo de

(

a .

) y su longitud es
( ( ) ( ))

( )

Haciendo el cambio de variable:

( )

, se tiene

Reemplazando en ( ), tenemos
( )

( ( ) ( )) (

( ( ) ( ))

Entonces
(

( )

( )

Por tanto,

iv) Sean

)y

). Puesto que
(

( )

( )

se sigue que
(

( )

( )

( )

( )

30

( )

Consideremos a las curvas

curvas suaves (

)y(
( )

Definamos

suaves a trozos, i.e., existen sucesiones finitas de

) respectivamente, de tal modo que

( )

( )

) mediante
(

como una curva suave a trozos, entonces su longitud es

( )

( )

( )

( )

( )

( )

Entonces
(

( )

( )

Por definicin de distancia riemanniana

(

( )

( )

De ( ) y ( ), se tiene
(

En particular, tomando

Por tanto,
(

Por lo tanto, la distancia riemanniana define una mtrica.

31

Captulo II: Desarrollo del trabajo de investigacin

2.1. CONEXION AFN

El estudio de las conexiones afines facilita la nocin de otros objetos geomtricos tales
como traslaciones paralelas, geodsicas y exponenciales. Estas herramientas son
fundamentales dentro de la geometra riemanniana.

Recordemos que (

) denota el conjunto de campos vectoriales suaves en

(pronunciada del o nabla) en una variedad

Definicin 2.1. Una conexin afn

es una funcin
(
la cual es denotada por (
(

i)
ii)

y satisface las siguientes propiedades:

) linealidad en :
(

linealidad en :

iii) Regla del producto (ley de Leibniz):

en el cual

), y

Para definir la simetra de una conexin afn de una manera libre de

coordenadas, requerimos el concepto de un corchete de Lie de dos campos vectoriales.
Sean

campos vectoriales en

cuyos dominios se renen en un conjunto abierto

. Recordemos que ( ) denota el conjunto de las funciones reales definidas en

i.e.,
( )

}
32

Definicin 2.2. Denotemos por [

] la funcin
[

( )

( )

definida por
[

Es fcil mostrar que [

lineal: [

](

ii) Regla del producto (ley de Leibniz): [

](

Por tanto, [

] satisface las siguientes propiedades:

]

i)

de

]
)

([

] )

([

] )

] define un campo vectorial tangente, llamado el corchete de Lie

y .

Definicin 2.3. Una conexin afn

en una variedad

se dice que es simtrica

cuando
[
(

para todo

).

una variedad riemanniana con mtrica riemanniana . Sea

Lema 2.1. Sea

transformacin lineal definida en (

(
para todo
en

)y

) y con valores en (

( )
(

( )

( )
(

). Supongamos que
( )

). Entonces existe un nico campo vectorial suave

con la propiedad de que

para todo

una

).

33

Prueba. Sean (

) una carta de una variedad

. Las componentes de

y{ ( )

en

( )} una base de

en la carta son dadas por

( ( ) ( ))

Afirmacin 2.1. La matriz (

) de funciones suaves en

{ }. Puesto que (

En efecto, sea
(

, es definida positiva.

) es simtrica, se sigue que

( ) ( )

Por tanto,
(

Afirmacin 2.2. La matriz (

En efecto. Supongamos que (

( ) ( )

) es inversible, en cada punto de

) no es inversible, entonces
{ } (

Por tanto,
(

lo cual es una contradiccin con la afirmacin 2.1.

Sea (

) la matriz inversa de (

) en cada punto de

la matriz identidad.

Entonces
(

para cada

)(

)(

.
34

 Existencia
Hagamos

donde

es el delta de Kronecker, definido por

{

Definamos

( ) mediante
(

( ))

( ), dado por

Sea

) ( )

Luego

( ))

( ) (

( ))(

( ))(

( ))(

) ( )

( ) ( )

35

( )

Desarrollando la sumatoria de ndice

[(

( ))(

( ))(

( ))(

Desarrollando la suma de ndice

( ))(

( ))(

( ))(

) ( ))

((

( ))(

) ( ))

((

Por tanto,

( )

Unicidad
(

Supongamos que existen

para todo

) tales que
( )

( )

). Entonces

En particular, tomado

Se deduce de la definicin de mtrica riemanniana que

Por tanto,

36

2.2. CONEXIN RIEMANNIANA

En una variedad (de Hausdorff) arbitraria, existen infinitas conexiones afines, y a priori,
una no es mejor que las otras. En una variedad riemanniana arbitraria, existe una
conexin afn sobresaliente, llamada la conexin riemanniana o la conexin Levi-Civita.
Esta conexin satisface dos propiedades (simetra, e invariancia de la mtrica
riemanniana) que tienen una importancia fundamental, sobre todo en relacin con la
construccin de objetos geomtricos posteriores.

El siguiente resultado se refiere a veces como el teorema fundamental de la

geometra riemanniana. Denotemos por la mtrica riemanniana.

Teorema 2.1. (Levi-Civita) En una variedad riemanniana

afn

que satisface
[

(i)
(ii)

para todo campo vectorial

). Esta conexin afn , llamada la conexin

Levi-Civita o conexin riemanniana de

, es caracterizada por la frmula de Koszul

Recordemos que para campos vectoriales

en

existe una nica conexin

es una funcin

es la funcin dada por la aplicacin del campo vectorial.

A continuacin, presentamos el contraste entre las demostraciones planteadas

para este teorema.

37

Prueba N 1
Supongamos inicialmente la existencia del tal . Entonces

( )

( )

( )

Adicionando ( ) y ( ), tenemos

Sustrayendo ( ), se tiene

Usando la simetra de , tenemos

])

Por lo tanto,

La expresin ( ) muestra que

es nicamente determinada por la mtrica .

Entonces, si esta existe, ser nica. Para probar la existencia, definamos

fcil verificar que

( )

est bien definida y que satisface las condiciones.

38

por ( ). Es

Prueba N 2
(

Sean

) (fijos, pero arbitrarios). Definamos la transformacin

(

mediante
( )

es (

Es fcil mostrar que

(

])

) lineal,

])

Reordenando adecuadamente
(

])

])

Por tanto,
(

Asimismo,
(

es (
(

( )

( )

) lineal,

donde:

( )

( )

( )

( )

( )

39

( )

])

Reemplazando y operando adecuadamente

(

])

Entonces
(

( (

]))

Por tanto,
(

( )

Por el lema 2.1, existe un nico campo vectorial

(

todo

) tal que ( )

para

).

Redefiniendo el dominio de la transformacin

(

Entonces
(

Consideremos el operador
(

) (

sujeto a
(
para todo

).

40

])

Afirmacin 2.3. El operador

(

En efecto, sean
i)

(
(

es una conexin afn.

).

( )

donde:

( )

( )

( )

( )

( )

Reemplazando, eliminando trminos en comn y ordenando adecuadamente

])

Entonces

En particular, tomando

Se deduce de la definicin de mtrica riemanniana que

Por tanto,

41

])

ii)

])

donde:

( )

( )

( )

( )

( )

( )

Reemplazando, eliminando trminos en comn y ordenando adecuadamente

])

( )

( )

( )
( )

Entonces

( ) )

En particular, tomando
(

( ) )

Se deduce de la definicin de una mtrica riemanniana que

(

( ) )

Por tanto,

Por lo tanto,

( )

es una conexin afn.

42

Afirmacin 2.4. El operador

es simtrico y compatible con la mtrica riemanniana.

En efecto, sean
(i)

).

])

])

Eliminando trminos en comn y ordenando adecuadamente

(

En particular, tomando
(

](

Se deduce de la definicin de una mtrica riemanniana que

(

Por tanto,
[

(ii)

])

])

Eliminando trminos en comn y ordenando adecuadamente

Por lo tanto,

es simtrico y compatible con la mtrica riemanniana.

43

IV. Resultados
Los resultados que se obtuvieron en el trabajo de investigacin son los
siguientes:
En un espacio topolgico de Hausdorff, toda pseudomtrica califica como
mtrica.
Un vector tangente en un punto de una variedad puede ser definido como una
clase de equivalencia de todas las curvas que realizan la misma derivacin.
El espacio tangente a una variedad admite una estructura de espacio vectorial.
La distancia riemanniana define una mtrica.
En una variedad riemanniana, existe una conexin afn sobresaliente,
denominada la conexin riemanniana, que satisface las condiciones de simetra y
compatibilidad con la mtrica riemanniana.

44

V. Discusin y Conclusin
Al finalizar el trabajo de investigacin, se llegaron a las siguientes conclusiones:
Una variedad
conjunto

-dimensional puede ser informalmente definida como un

cubierto con una coleccin adecuada de parches coordenados, o

cartas coordenadas, que identifican ciertos subconjuntos de

abiertos de

con subconjuntos

. Tal coleccin de cartas coordenadas puede ser considerada como

la estructura bsica necesaria para hacer el clculo diferencial en

La propiedad que el espacio tangente

es un espacio vectorial es muy

importante. De la misma manera que la derivada de una funcin de valor real

proporciona una aproximacin lineal local de la funcin, el espacio tangente
proporciona una aproximacin espacio-vectorial local de la variedad.
Las mtricas y mtricas riemannianas no se deben confundir. Una mtrica es una
abstraccin de la nocin de distancia, mientras que una mtrica riemanniana es
un producto interior en espacios tangentes. Sin embargo, existe un enlace ya que
cualquier mtrica riemanniana induce una distancia, la distancia riemanniana.
La definicin de una conexin afn en una variedad es uno de los conceptos ms
fundamentales en la geometra diferencial. Una conexin afn es una estructura
adicional a la estructura diferenciable. Cualquier variedad admite una infinidad
de conexiones afines diferentes. Sin embargo, ciertas conexiones afines pueden
tener propiedades particulares que las singularizan como la ms apropiada para
el anlisis geomtrico.

45

VI. Referencias Bibliogrficas

[1] M. P. do Carmo, Riemannian Geometry. Mathematics, Theory & Applications.
Birkhuser Boston Inc., Boston, 1992.
[2] Sze-Tsen Hu, Differentiable Manifolds. Holt, Rinehart and Winston Inc., New
York, 1969.
[3] T. Levi-Civita, Nozione di parallelismo in una variet qualunque e conseguente
specificazione geometrica dela curvatura riemanniana. Rend. Circ. Mat. di
Palermo, t. XLII (1917), pp. 173-205.
[4] E. L. Lima, Variedades diferenciveis. Rio de Janeiro, IMPA, segunda edio,
2011.
[5] Barret ONeill, Semi-Riemannian Geometry with Applications to Relativity.
Volume 103 of Pure and Applied Mathematics. Academic Press Inc., New York,
1983.

46