Académique Documents
Professionnel Documents
Culture Documents
Convocatoria IDU-98
Murcia, 1999
CONTENIDOS
Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
INTRODUCCION
1.
DE LA ASIGNATURA
PRESENTACION
2.
OBJETIVOS GENERALES
El objetivo central que se persigue con esta asignatura es que los alumnos aprendan Geometra Diferencial y disfruten con ella. De esta forma, el aprendizaje sera efectivo y duradero. No obstante, algunos
objetivos mas concretos que guan la ensenanza de esta asignatura son los siguientes:
Transmitir al alumno la belleza que encierra la estructura de variedad diferenciable, tanto por sus
orgenes como por sus contactos con otras ramas de las Matematicas y la Fsica.
Conseguir que el alumno se centre mas en los metodos que en los contenidos concretos, logrando
tal grado de madurez cientfica que le permita tanto enfrentarse al planteamiento y resolucion de
problemas como continuar el estudio de temas mas avanzados.
Despertar en el alumno la capacidad de aplicar teoras generales a situaciones concretas, sintetizando resultados parciales y deduciendo otros mas globales.
Motivar a los alumnos para que se interesen por algunas ideas generales sobre las investigaciones
mas recientes, de manera que puedan comprobar que la Geometra Diferencial es un fertil campo
de investigacion y una fuente de actividad humana de gran riqueza.
Intentar que el alumno adopte el habito de la lectura cientfica y el manejo de la bibliografa, tanto
libros como artculos de investigacion.
3. PROGRAMA DE LA ASIGNATURA
La asignatura consta de diez temas, dedicados a las siguientes materias: variedades diferenciables,
funciones y aplicaciones diferenciables, inmersiones, subvariedades, campos de vectores, campos y
derivaciones tensoriales, conexiones y geodesicas. Los puntos fundamentales del programa se relacionan
a continuacion.
INTRODUCCI ON
4.
El Texto-Gua esta dividido en diez temas o captulos que coinciden con los que componen el programa de la asignatura. Cada uno de estos captulos esta dividido en las secciones siguientes: interrogantes
centrales del captulo, contenidos fundamentales del captulo, actividades de aplicacion de los conocimientos, bibliografa del captulo, y preguntas de evaluacion.
En la seccion interrogantes centrales del captulo se plantean las preguntas fundamentales a las que
daremos respuesta mediante el estudio del captulo, o se enuncian los conceptos y resultados que el
alumno debe conocer despues de estudiar dicho captulo. En la seccion contenidos fundamentales del
captulo hacemos un resumen de los conceptos, propiedades y metodos matematicos que explicaremos
mas detalladamente en clase. En el apartado actividades de aplicacion de los conocimientos se proponen
los problemas que permitiran al alumno comprobar si ha asimilado correctamente la teora; algunos
de estos problemas seran resueltos en clase. En la seccion bibliografa del captulo se indican unos
pocos libros basicos para la comprension del captulo, con indicacion de los captulos o secciones mas
directamente relacionados con la teora expuesta. Por u ltimo, en el apartado preguntas de evaluacion se
incluyen cuestiones de examenes de otros anos.
Para proporcionar al alumno datos historicos que le permitan encuadrar y situar en la historia de las
matematicas el origen y desarrollo de la Geometra Diferencial (es decir, el estudio de las curvas, superficies y variedades diferenciables), al finalizar cada captulo incluimos la biografa de un matematico
famoso que influyo, a traves de sus investigaciones y descubrimientos, en la consolidacion de la geometra, analtica primero y diferencial despues. Las biografas aparecen por orden cronologico y no ha sido
facil seleccionar a los que finalmente aparecen, pues han sido muchos, a lo largo de la historia, los que
con su esfuerzo y dedicacion marcaron un hito en este fertil campo de la ciencia.
5.
BASICA
BIBLIOGRAFIA
6. EVALUACION
Para que se realice un seguimiento y participacion en la asignatura, a lo largo del curso el profesor
de clases teoricas propondra a los alumnos algunos problemas para que sean resueltos en clase. La
realizacion de estos ejercicios por parte de los alumnos se tendra en cuenta en la evaluacion. La calificacion de la asignatura se completara con la realizacion de una prueba final escrita, que constara de
varios ejercicios donde el alumno demostrara que sabe aplicar correctamente los conocimientos teoricos
adquiridos.
CAPITULO
0
La Geometra Diferencial, tal y como hoy la entendemos, debe su origen fundamentalmente a C.F.
Gauss (), que ya a principios del siglo XIX afirmaba que las propiedades de una superficie,
flexible y no extensible, dependen en parte de la forma a la cual la podemos suponer reducida, y en parte
son absolutas y permanecen invariantes sea cual fuere la forma en que la superficie este combada. A
estas u ltimas propiedades, cuyo estudio abre a la Geometra un nuevo y fertil campo, pertenece la
medida de la curvatura y la curvatura integral, en el sentido que hemos dado a estas expresiones.
Tambien a e stas pertenece la teora de las lneas mas cortas . . .
Gauss haba contribuido a las Matematicas, esencialmente, con el Algebra y con el Analisis. Sin
embargo, y aunque la Geometra no era su fuerte, todava llego a tiempo para dos cosas fundamentales:
(1) obtener, en , una importante conclusion, no publicada, sobre el postulado de las paralelas; y
(2) publicar, en , un clasico tratado que generalmente es aceptado como el punto de partida de una
nueva rama de la Geometra, y del cual hemos entresacado las palabras anteriores. Ya siendo Gauss
estudiante en Gotinga haba intentado probar el axioma de las paralelas, al igual que su amigo F. Bolyai
(). Sin embargo, llego a la conclusion de que no solo no haba prueba posible, sino que una
geometra bien distinta a la eucldea podra ser desarrollada. Si Gauss hubiera pulido y publicado sus
ideas sobre el axioma de las paralelas, hoy se le considerara, sin duda, como el inventor de la geometra
no eucldea; pero su silencio en este tema hizo que el descubrimiento se lo adjudicasen otros.
La nueva rama de la Geometra que Gauss inicio en se conoce como Geometra Diferencial,
y en un principio estuvo mas ligada al Analisis que al tradicional campo de la Geometra. No obstante,
I. Newton () y G.W. Leibnitz () ya haban aplicado el Calculo al estudio de curvas
en el plano y, en este sentido, sus trabajos constituyen un prototipo de Geometra Diferencial. L. Euler
() y G. Monge () extendieron estas ideas al estudio analtico de superficies; de
hecho, muchas veces han sido considerados los padres de la Geometra Diferencial. Sin embargo, no
fue hasta la aparicion del tratado de Gauss Investigaciones Generales sobre Superficies Curvadas,
con el que se dedicaba un volumen completo a esta materia, cuando puede decirse que inicio su andadura
la Geometra Diferencial.
Hablando a grosso modo, la Geometra ordinaria o clasica esta interesada en la totalidad de un
diagrama, figura u objeto geometrico, mientras que la Geometra Diferencial se concentra en las propiedades de una curva o superficie en el entorno de un punto de la misma. En esta lnea, Gauss extendio
el trabajo de C. Huygens () y A.C. Clairaut (), sobre la curvatura de una curva
plana, definiendo la curvatura de una superficie en un punto, que hoy se conoce como curvatura de
Gauss. Si sobre un punto P de una superficie S se construye la lnea N normal a S, los planos que
contienen a N cortaran a la superficie en una familia de curvas planas, cada una de las cuales tendra un
radio de curvatura en P . Las direcciones de las curvas con mayor y menor radios de curvatura, R y r, se
denominan las direcciones principales de S en P , y ocurre que casi siempre son perpendiculares entre
s. Las cantidades R y r se llaman los radios principales de curvatura, y la curvatura de Gauss de S en
P se define como K = 1/Rr. Gauss dio formulas para K en terminos de las derivadas parciales de la
superficie con respecto a varios sistemas de coordenadas; tambien obtuvo numerosos resultados sobre
curvas en la superficie, como geodesicas, que denomino teoremas remarcables. Realizando estudios
de este tipo en Geometra Diferencial fue como los matematicos del siglo XIX pusieron las bases para
las teoras cientficas de nuestro siglo.
Es difcil presentar una vision general del desarrollo de la Geometra durante la primera mitad
del siglo XIX, debido fundamentalmente a las contracorrientes e interrelaciones de numerosos aspectos. Sin embargo, hay un aspecto (el nacimiento y crecimiento de las geometras no eucldeas) que se
desarrollo ntidamente. No obstante, en este caso y al igual que en numerosas otras ocasiones, nos encontramos con un caso de simultaneidad en el descubrimiento. El origen de las geometras no eucldeas
es fruto del trabajo de tres hombres: un aleman (Gauss), un hungaro (J. Bolyai ()) y un ruso
(N.I. Lobachevsky ()). Lobachevsky es considerado como el Copernico de la Geometra,
el hombre que revoluciono este campo con la introduccion de una nueva rama, la Geometra Lobachevskiana, demostrando que la Geometra Eucldea no era una ciencia exacta o una verdad absoluta, como
hasta entonces se haba tenido.
El nacimiento oficial de la geometra no eucldea data de , cuando Lobachevsky publica un
artculo titulado Sobre los Principios de la Geometra. Ya con anterioridad estaba convencido de que
el quinto postulado no poda ser demostrado a partir de los otros cuatro, pero es en cuando da el
revolucionario paso de publicar una geometra especficamente construida sobre una hipotesis en directo
conflicto con el postulado de las paralelas: la existencia de mas de una lnea paralela. Con este nuevo
postulado, Lobachevsky deduce una estructura geometrica armoniosa que no posea contradicciones
logicas inherentes. A pesar de que era una geometra valida, se la denomino geometra imaginaria, ya
que iba en contra del sentido comun (incluso para Lobachevsky). En , J. Bolyai publica un trabajo
en el que desarrolla lo que e l llama la Ciencia Absoluta del Espacio, partiendo de la hipotesis de que
por un punto exterior a una lnea existen infinitas lneas paralelas a la dada.
Lobachevsky intuyo la gran importancia que tendra su geometra imaginaria, como se deduce
del hecho de que entre los anos y publicase tres tratados sobre esta nueva geometra: Nuevos
BREVES NOTAS HIST ORICAS
ordinario, sino con conjuntos ordenados de n-uplas, que se combinaban de acuerdo con ciertas reglas.
Esta definicion local fue la comunmente admitida durante muchos anos. Por ejemplo, T. Levi
Civita () afirma en su obra El Calculo
Diferencial Absoluto () que punto de una
variedad n-dimensional abstracta es el conjunto de n variables, y variedad n-dimensional es el conjunto
de valores que pueden asignarse a n variables. En esta misma direccion, L.P. Eisenhart dice en su
obra Geometra Riemanniana () que n variables independientes pueden pensarse como las
coordenadas de un espacio n-dimensional, en el sentido de que cada conjunto de valores de las variables
define un punto de la variedad.
El tratamiento local era claramente insuficiente y, ya con anterioridad, H. Weyl (), en
su obra Espacio, Tiempo y Materia (), es el primero en llamar la atencion sobre la posibilidad
de que un mismo sistema de coordenadas no valga para toda la variedad: la caracterstica de una
variedad n-dimensional es que cada uno de sus elementos puede ser especificado dando n cantidades,
las coordenadas, que son funciones continuas dentro de la variedad. Esto no debe significar que toda la
variedad, con todos sus elementos, pueda representarse de una sola y reversible manera por los valores
de sistemas de coordenadas: significa solamente que si P es un punto arbitrario de la variedad, siempre
existe un cierto dominio en un entorno de P que puede representarse de manera unvoca y reversible
por los valores de un sistema de coordenadas.
El aspecto global de la Geometra Diferencial tiene su origen en el mismo punto de partida de la
Topologa Algebraica con H. Poincare (), y su desarrollo inicial esta estrechamente ligado a
la figura de E. Cartan (), quien al poner en escena la teora general de conexiones (metodo de
la referencia movil) coloca el caracter global de la Geometra Diferencial en su punto a lgido, restando
al aspecto local el protagonismo propio de la e poca, y estableciendo las diferencias de ambos aspectos,
global y local, que aun admitiendo estudios por separado, de las interrelaciones entre ambos se extrae la
gran riqueza de resultados propios de la Geometra Diferencial.
Fue este interes por el estudio de las propiedades globales sobre una variedad lo que obligo a puntualizar adecuadamente las definiciones basicas. El primer intento serio fue el libro de O. Veblen (
) y J.H.C. Whitehead () Los Fundamentos de la Geometra Diferencial (), cuya
idea esencial era la de definir rigurosamente las relaciones entre la variedad y los sistemas de coordenadas que se introducen en ella para su estudio, haciendo una clara distincion entre ambos conceptos.
Se formula por primera vez de manera explcita que las variedades que estudia la Geometra Diferencial
son un conjunto de dos elementos: primero, la variedad como conjunto de puntos, para cuya definicion
y tratamiento la Topologa suministra los u tiles y los medios necesarios; y segundo, un cierto conjunto
de sistemas de coordenadas admisibles que permiten el estudio diferencial de la variedad y entre los
cuales deberan existir ciertas formulas de transformacion, o ciertas relaciones de equivalencia, que los
vinculen entre s y permitan pasar de unos sistemas a otros.
Esta idea se fue puliendo y simplificando hasta llegar a la definicion actual de variedad diferenciable, la cual es el resultado de sucesivos perfeccionamientos debidos principalmente a H. Whitney
(Variedades Diferenciables, Ann. of Math., 37 (), 645480), C. Chevalley (Teora de Grupos
10
CAPITULO
1
A LAS VARIEDADES DIFERENCIABLES
INTRODUCCION
1.
Superficies k-dimensionales en R
Variedad diferenciable.
n.
Carta.
Coordenadas de un punto.
Funcion diferenciable.
Aplicacion diferenciable.
Atlas maximal.
Difeomorfismo.
12
2.1. Superficies k-dimensionales en Rn
Ejemplos.
1.3. Lnea recta. Sea p, v Rn . La recta que pasa por p en la direccion de v se expresa como
(t) = p + tv, t R . La curva es regular si, y solo si, v 6= 0.
13
1.6. Parametrizacion generica de una recta. Sea f : R R una funcion diferenciable. Entonces la
recta determinada por (p, v), v 6= 0, puede expresarse como (t) = p + f (t)v. En consecuencia,
es regular en los puntos t donde f 0 (t) 6= 0.
Definicion 1.7 (Superficie regular en Rn )
Una superficie (diferenciable) regular en Rn es un subconjunto S Rn tal que para todo punto de S
existe un entorno V del punto en S (con la topologa relativa) y una aplicacion X : U R2 V , U
abierto, satisfaciendo las siguientes propiedades:
(1) X es un homeomorfismo.
(2) X : U Rn es diferenciable.
(3) dX tiene rango 2 en todos los puntos de U .
Como vemos por la definicion dada, que formalmente es identica a la correspondiente para superficies del espacio eucldeo tridimensional, la u nica diferencia estriba en la ampliacion del espacio donde
vive la superficie. Esto pone de manifiesto que la restriccion sobre la dimension del espacio ambiente
era mas bien una consecuencia historica que cientfica. En este sentido, cuando digamos que S es una
superficie de Rn debe entenderse que S no es un subconjunto de ningun espacio Rm , m < n.
Ejemplos.
1.8. Toro. Sean a, b R , a y b positivos. Entonces el producto de dos crculos de radios a y b,
S1 (a) S1 (b), es una superficie en R4 .
1.9. Producto de curvas. En general, sean 1 (t) y 2 (s) curvas regulares en Rn y Rm , respectivamente.
Entonces el producto 1 2 es una superficie en Rn+m .
14
Sin embargo, y tal como ocurra con las curvas y superficies 2-dimensionales, el nuevo concepto
es insuficiente ya que no permite obtener subconjuntos de Rn que a todas luces gozan de buenas propiedades, como son, por ejemplo, las esferas. Por ello conviene introducir una nocion que generalice
adecuadamente la de superficie.
Definicion 1.11
Un subconjunto S Rn es una superficie k-dimensional (diferenciable y regular) si para todo punto
p de S existe un abierto U Rk , un entorno V S de p (con la topologa relativa) y una aplicacion
X : U V satisfaciendo las siguientes tres propiedades:
(1) X es un homeomorfismo.
(2) X = (x1 , . . . , xn ) : U Rn es una aplicacion diferenciable.
(3) La diferencial dXq : Rk Rn es inyectiva para todo q U .
Un mismo punto de S puede pertenecer a distintos entornos coordenadas V y puesto que la geometra de S depende de la aplicacion X, sera adecuado y conveniente que las propiedades geometricas
en p fuesen independientes de la parametrizacion. Este problema se soluciona con el siguiente resultado,
cuya demostracion es totalmente analoga al caso de superficies en R3 .
Proposicion 1.12
Sea p un punto de una superficie k -dimensional (diferenciable y regular) en Rn , y sean X : U S e
Y : V S dos parametrizaciones de S tales que p X(U ) Y (V ) = W . Entonces la aplicacion
h = X 1 Y : Y 1 (W ) X 1 (W ) es un difeomorfismo. h se denomina la aplicacion cambio de
parametros o cambio de coordenadas.
La propiedad que acabamos de enunciar nos dice que cuando dos parametrizaciones se intersecan
lo hacen de manera diferenciable, de tal suerte que si nos moviesemos por la superficie no nos daramos
cuenta del paso de una a otra. Esta propiedad sera fundamental para comprender la definicion del
concepto de variedad diferenciable.
No es difcil probar que el grafo de una funcion diferenciable f : Rk Rnk es una superficie
k-dimensional. Por otra parte, puede probarse que toda superficie k-dimensional diferenciable S es,
localmente, el grafo de una funcion diferenciable f : Rk Rnk . Esta propiedad nos permite disenar
un metodo practico y sencillo para obtener ejemplos de superficies k-dimensionales.
Proposicion 1.13
Sea f : Rn Rnk una aplicacion diferenciable y sea a Rnk un valor regular de f , es decir, dfq
tiene rango n k para todo punto q f 1 (a) (o bien f 1 (a) es vaco). Entonces S = f 1 (a) es una
superficie k -dimensional de Rn .
Ejemplos.
1.14. Cilindro circular recto. A = {(x, y, z) R3 : x2 + y 2 = r2 }, r > 0.
1.15. Paraboloide. B = {(x, y, z) R3 : z = x2 + y 2 }.
15
2.2.
Variedades diferenciables
Cuando trabajamos con subvariedades del espacio eucldeo estamos disfrutando de la ventaja de la
simplicidad conceptual; en general, estamos mas comodos tratando con subespacios de Rn que con espacios metricos o topologicos arbitrarios. Sin embargo, esta aproximacion a las variedades diferenciables
tiene la desventaja de que importantes ideas estan algunas veces ocultas por el familiar ambiente de Rn .
Por esta razon, y tras haber motivado las variedades diferenciables con las superficies k-dimensionales
de Rn , conviene que nos introduzcamos ya en el estudio general de este concepto.
Existen diversas formas de introducir la nocion de variedad diferenciable, muchas de las cuales
parten de la idea de espacio topologico o variedad topologica. Nosotros preferimos introducir las estructuras diferenciables sobre un conjunto sin ninguna otra estructura adicional, tal y como se hace en los
textos de R. Brickell y R.S. Clark y M. Do Carmo.
Definicion 1.20
Sea M un conjunto. Una carta n-dimensional sobre M es una aplicacion biyectiva : U M
cuya imagen V = (U ) es un conjunto abierto del espacio eucldeo.
Rn
El conjunto U , dominio de la carta , se denomina entorno coordenado, ya que todos los puntos de
U tienen asignadas, via , unas coordenadas. En efecto, si pi : Rn R denota la funcion proyeccion en
la i-esima coordenada, entonces se definen las funciones coordenadas asociadas a la carta (U, ) como
xi = pi . Las coordenadas de un punto p en la carta son (x1 (p), . . . , xn (p)).
Al igual que ocurre con las superficies, hay conjuntos que no sera posible cubrir mediante una
sola carta, de modo que necesitaremos colecciones de cartas entre las que exista compatibilidad, en un
16
sentido que pasamos a precisar.
Definicion 1.21
Dos cartas n-dimensionales (U, ) y (V, ) sobre un conjunto M son compatibles si U V = o bien
U V 6= , los conjuntos (U V ) y (U V ) son abiertos en Rn y las aplicaciones 1 , 1
son difeomorfismos.
Ahora estamos en condiciones de definir uno de los conceptos fundamentales de este tema.
Definicion 1.22
Un atlas diferenciable n-dimensional sobre un conjunto M es una familia de cartas A = {(U , )}A
satisfaciendo las siguientes condiciones:
(1) A U = M .
(2) Para todo par de ndices y , las cartas (U , ) y (U , ) son compatibles.
Diremos que el atlas A determina una estructura diferenciable sobre M si es maximal para las condiciones anteriores.
Observacion 1.23
Aunque en un principio pueden considerarse atlas de clase C k , es decir, de manera que los cambios de
cartas sean diferenciables de clase C k , para nuestros propositos es suficiente trabajar con atlas de clase
C .
La condicion de maximalidad que aparece en la definicion anterior es puramente tecnica y podra
eliminarse, ya que es facil demostrar que cualquier atlas se puede completar a un atlas maximal de
manera u nica, es decir, todo atlas diferenciable sobre un conjunto esta contenido en exactamente un
atlas maximal. As pues, para definir una estructura diferenciable no necesitamos especificar un atlas
maximal sobre M , sino simplemente un atlas diferenciable.
Como sobre un mismo conjunto es posible definir diferentes atlas, como saber si determinan la
misma estructura diferenciable (atlas maximal)?
Definicion 1.24
Dos atlas A1 y A2 sobre un conjunto M se dice que son equivalentes si determinan la misma estructura
diferenciable sobre M .
Utilizando la compatibilidad de las cartas es facil probar que los atlas A1 y A2 son equivalentes
si, y solo si, A1 A2 constituye un atlas. Llegamos ahora al concepto central del tema.
Definicion 1.25
Una variedad diferenciable de dimension n es un par (M, A) formado por un conjunto M y una estructura diferenciable n-dimensional A sobre M .
Para indicar la dimension n, en algunas ocasiones escribiremos M n en lugar de M , y cuando la
estructura diferenciable A sea conocida omitiremos cualquier referencia a ella.
Ejemplos.
17
1.26. En el espacio eucldeo Rn podemos definir una estructura diferenciable considerando como carta
global la aplicacion identidad. Nos referiremos a ella como la estructura diferenciable estandar
de Rn .
1.28. Sea el conjunto de puntos de R2 definido por M = {(s, 0) : 1 < s < 1} {(s, s) : 0 < s < 1}
(1, 1)
(1, 0)
(0, 0)
(1, 0)
x(s, 0) = s
1.30. Si C denota el cuerpo de los numeros complejos, entonces Cn admite estructura de variedad
diferenciable. Para comprobarlo basta considerar la carta global (Cn , ), donde la aplicacion
: Cn R2n esta definida por
(a1 + ib1 , . . . , an + ibn ) = (a1 , b1 , . . . , an , bn ).
18
s + 2 si s (, 0)
1
y x (s) =
si s = 0
s
si s (0, )
Como puede comprobarse, dicha aplicacion no es diferenciable en s = 0 por lo que las estructuras
diferenciables son distintas y, por tanto, los atlas no son equivalentes.
b
'$
b&%
(0, 2)
(1, 0)
(0, 0)
(1, 0)
(0, 1)
R
(0, s)
1 s, 1 < s < 2
(sen 2s, cos 2s)
s,
06s<1
y:N
R
(0, s)
1 s, 1 < s < 2
(sen 2s, cos 2s) 1 s,
0s 6 1
Entonces x e y definen dos estructuras diferenciables sobre el lazo. Son equivalentes estas estructuras
diferenciables?
La aplicacion x esta definida sobre todo N y su imagen es el abierto (1, 1) de R . Por
Solucion:
tanto, solo la inyectividad es necesario verificar. Si x(z1 , z2 ) = x(w1 , w2 ) (1, 0) entonces (z1 , z2 )
y (w1 , w2 ) se encuentran en {(0, s) R2 : 1 < s < 2} por lo que z1 = 0 = w1 . Ademas x(0, z2 ) =
1 z2 = x(0, w2 ) = 1 w2 implica z2 = w2 . Si x(z1 , z2 ) = x(w1 , w2 ) [0, 1) entonces (z1 , z2 ) y
19
si 1 < s < 0
s
1
y x (s) =
0
si s = 0
1 s si 0 < s < 1
Es facil ver que dicha aplicacion no es continua en s = 0 y, en consecuencia, las estructuras diferenciables determinadas por x y por y son distintas.
A=
a11
a21
..
.
a12
a22
..
.
..
.
a1n
a2n
..
.
Es facil comprobar que constituye una carta global sobre M(m n, R). Esta
sera la estructura
diferenciable estandar sobre el espacio de las matrices M(m n, R).
2.3.
Aplicaciones diferenciables
20
La razon de que la definicion anterior sea correcta puede encontrarse en el siguiente razonamiento.
Sean (U, ) y (V, ) dos cartas en M cuyos dominios contienen al punto p, y consideremos F = f 1
y G = f 1 las representantes locales respectivas. Entonces, utilizando el cambio de cartas, podemos
comprobar que F = G ( 1 ), por lo que F es diferenciable en (p) si, y solo si, G es diferenciable
en (p). El conjunto de todas las funciones (reales) diferenciables definidas en M sera denotado por
C (M ) y es facil ver que admite estructura de anillo conmutativo.
Introduzcamos ahora el caso general. Sea f : M1m M2n una aplicacion, sea p un punto de su
dominio y consideremos (U, x) una carta en M1 cuyo dominio contiene a p y (V, y) una carta en M2
cuyo dominio contiene a f (p). Entonces la aplicacion F = y f x1 : Rm Rn se denomina la
representante local o representante en coordenadas de f .
Definicion 1.35
Una aplicacion f : M1 M2 se dice que es diferenciable en un punto p de su dominio si una representante local F = y f x1 (y, por tanto, todas) es diferenciable en x(p). La aplicacion se dice
diferenciable si lo es en todos los puntos de M .
Merece la pena que nos detengamos un momento analizando la definicion que acabamos de presentar. Observemos que las cartas sobre una variedad son siempre aplicaciones diferenciables y que
esta definicion generaliza el concepto analogo para aplicaciones entre conjuntos abiertos de espacios
eucldeos.
Ejercicio 1.36.
Sea M(n, R ) el conjunto de las matrices cuadradas reales de orden n con su estructura de variedad
diferenciable y consideremos la aplicacion determinante det : M(n, R ) R . Probar que det es una
aplicacion diferenciable.
Sea : M(n, R ) Rn la carta estandar sobre las matrices cuadradas (ver Ejemplo 1.33)
Solucion:
2
21
.
.
.
.
.
x1(1) xn(n)
Sn
Ejercicio 1.38.
Las variedades diferenciables (R , 1) (ver Ejemplo 1.26) y (R , ) (ver Ejemplo 1.27) son variedades
diferenciables difeomorfas.
Ejercicio 1.40.
22
Sea la funcion f : R3 R3 definida por
Solucion:
a) Denotemos por f1 , f2 , y f3 a las tres componentes de la aplicacion f . Entonces
f (x, y, z) S2 si, y solo si, |f (x, y, z)|2 = f1 (x, y, z)2 + f2 (x, y, z)2 + f3 (x, y, z)2 = 1. Consideremos un punto (x, y, z) S2 :
|f (x, y, z)|2 = (x cos z y sen z)2 + (x sen z + y cos z)2 + z 2
= x2 cos2 z + y 2 sen2 z 2xy sen z cos z
+ x2 sen2 z + y 2 cos2 z + 2xy sen z cos z + z 2
= x2 + y 2 + z 2 = 1
b) Veamos, en primer lugar, que f es biyectiva. Supongamos que f (x, y, z) = f (x0 , y 0 , z 0 ). Entonces
z = z0 y
x cos z y sen z = x0 cos z y 0 sen z
x sen z + y cos z = x0 sen z + y 0 cos z
Reorganizando las ecuaciones anteriores podemos escribir
(x x0 ) cos z (y y 0 ) sen z = 0
(x x0 ) sen z + (y y 0 ) cos z = 0
que representa un sistema de ecuaciones lineales homogeneo en las incognitas (x x0 ) e (y y 0 ), cuya
matriz de coeficientes tiene determinante 1. En consecuencia, la u nica solucion es la solucion trivial y,
as, x = x0 e y = y 0 . Para comprobar la sobreyectividad, sea (a, b, c) S2 ; debemos resolver el sistema
de ecuaciones
x cos z y sen z = a
x sen x + y cos z = b
z = c
Sustituyendo el valor de z = c en las dos primeras ecuaciones obtenemos un sistema de ecuaciones
lineales cuya solucion esta dada por x = a cos c b sen c e y = b cos c a sen c.
Comprobemos, finalmente, que f es una aplicacion diferenciable (la demostracion para f 1 es totalmente analoga). Sea p0 S2 , entonces la aplicacion f es diferenciable en p0 si f 1 es diferenciable
en (p0 ), donde y son cartas en la esfera S2 alrededor de los puntos p0 y f (p0 ), respectivamente.
Supongamos, por ejemplo, que p0 = (x, y, z) con z > 0. Podemos considerar la carta de los hemisferios
(U30 , 30 ) tanto para el punto p0 como para el punto f (p0 ) (ver ejercicio ??). Entonces la representante
local de f respecto de 30 esta dada por
p
p
30 f 1 (x, y) = (x cos 1 x2 y 2 y sen 1 x2 y 2 ,
p
p
x sen 1 x2 y 2 + y cos 1 x2 y 2 )
que es, claramente, diferenciable en su dominio. En consecuencia, f es un difeomorfismo.
23
DE LOS CONOCIMIENTOS
ACTIVIDADES DE APLICACION
(1, 1)
@@
@@
@@
@@
@@
(0, 0)
(1, 0)
Admite M una estructura de variedad diferenciable?
A.1.2. Sea V un espacio vectorial real de dimension finita n.
(a) Fijada una base {e1 , . . . , en , la aplicacion
x:V R ,
n
n
X
i ei
= (1 , . . . , n )
i=1
'$
&%
(0, 1)
(1, 0)
(0, 0)
(1, 0)
(0, 1)
U3 = {(z1 , z2 ) S1 ; z1 < 0}
U4 = {(z1 , z2 ) S1 ; z2 < 0}
24
y definamos las siguientes funciones:
x1 : U1 R ,
x2 : U2 R ,
x3 : U3 R ,
x4 : U4 R ,
x1 (z1 , z2 ) = z2
x2 (z1 , z2 ) = z1
x3 (z1 , z2 ) = z2
x4 (z1 , z2 ) = z1
R
s
B = {(x, y, z) R3 : z = x2 + y 2 }.
C = {(x, y, z) R3 : x2 + y 2 z 2 1 = 0}.
D = {(x, y, z) R3 : x2 y 2 z 2 1 = 0}.
E = {(x, y, z, w) R4 : x2 + y 2 = a2 , z 2 + w2 = b2 }, a, b > 0.
Prueba que los conjuntos anteriores pueden dotarse de un atlas de forma que se convierten en
variedades diferenciables. Cual es su dimension?
A.1.5. Sean M y M 0 dos variedades diferenciables de dimensiones n y n0 , respectivamente. Dota al
conjunto M M 0 de una estructura de variedad diferenciable.
25
A.1.6. Sea M una variedad diferenciable n-dimensional y sea A un conjunto arbitrario. Admite el
producto cartesiano M A estructura de variedad diferenciable?
A.1.7. Sea M el conjunto de los pares de vectores ortonormales de Rn . Es M una variedad diferenciable? En caso afirmativo, es M difeomorfa al fibrado unitario de la esfera unidad Sn ?
A.1.8. Sea M una variedad diferenciable y r > 0 un numero real positivo. Probar que todo punto p de
M admite un entorno coordenado (U, ) tal que (p) = (0, . . . , 0) y (U ) = Br (0) = {x
Rn : kxk < r}. Por tanto, todo punto admite una carta centrada en dicho punto y cuyo abierto
coordenado es Rn .
A.1.9. En este ejercicio se trata de construir un atlas para la esfera n-dimensional Sn equivalente al
formado por 2(n + 1) hemisferios, pero constituido solo por dos cartas. Sean los puntos N =
(0, . . . , 0, 1) y S = (0, . . . , 0, 1) y consideremos U = Sn N y V = Sn S. Definamos las
aplicaciones
: U Rn ,
: V Rn
por
i (z1 , . . . , zn+1 ) =
r'$r
br &% b
zi
,
1 zn+1
i (z1 , . . . , zn+1 ) =
zi
.
1 + zn+1
HHHHq
HHH
(p)
HHH
(q)
p
N = (1, 0)
Lo
A.1.12. En el plano R2 con coordenadas (x, y), definimos las aplicaciones (traslaciones) Tm,n : R2
R2 mediante Tm,n (x, y) = (x + m, y + n), donde m y n son enteros. Definimos la siguiente
relacion de equivalencia en R2 :
(x, y) (a, b) si, y solo si, x = a + m, y = b + n
Prueba que el conjunto cociente T admite estructura de variedad diferenciable 2-dimensional.
26
A.1.14.
(a) Demuestra que una aplicacion : M N es diferenciable si, y solo si, para una
coleccion de sistemas coordenados = (y1 , . . . , yn ) suficientes para cubrir N , las funciones
yj son diferenciables.
(b) Prueba que si f : M M 0 y g : N N 0 son aplicaciones diferenciables, entonces la
aplicacion producto f g : M N M 0 N 0 es tambien diferenciable.
(c) Si f : M N y g : M N 0 son funciones diferenciables, entonces (f, g) : M
N N 0 es una funcion diferenciable. Como consecuencia la aplicacion diagonal d : M
M M definida por d(m) = (m, m) es diferenciable.
(d) Sea f : M M 0 y m M . Prueba que f es diferenciable en m si y solo si f es
diferenciable en m para toda funcion : M 0 R diferenciable en f (m).
(e) La composicion g f de dos aplicaciones diferenciables f : M M 0 y g : M 0 M 00
es tambien diferenciable. Si f y g son difeomorfismos entonces tambien lo es g f .
(a) Sea M (n, R ) el conjunto de las matrices cuadradas reales de orden n con su estructura
de variedad diferenciable y consideremos la aplicacion determinante det : M (n, R ) R .
Prueba que det es una funcion diferenciable.
(b) Sea GL(n, R ) el conjunto de las matrices cuadradas regulares de orden n. Dota a GL(n, R )
de estructura de variedad diferenciable.
(c) Sea S(n, R ) el conjunto de las matrices simetricas de orden n. Prueba que S(n, R ) admite
estructura de variedad diferenciable.
(d) Sea A(n, R ) el conjunto de las matrices antisimetricas de orden n. Prueba que A(n, R )
admite estructura de variedad diferenciable.
A.1.17. Demuestra que para todo par de numeros reales a, b R , a < b, se puede construir una funcion
diferenciable h : R R , con 0 6 h(t) 6 1, tal que
(a) h(t) 1 si t 6 a y h(t) 0 si t > b.
27
A.1.18. Demuestra que para toda cuaterna de numeros reales a < a1 < b1 < b, se puede construir una
funcion diferenciable h : R R , con 0 6 h(t) 6 1, tal que
(a) h(t) 0 si t 6 a o t > b y h(t) 1 si a1
(b)
6 t 6 b1.
h(t) 1 si t 6 a o t > b y h(t) 0 si a1 6 t 6 b1 .
a1
b1
T (, ) = {x S+1 :
x2i =
x2i }.
i>
4.
DEL CAPITULO
BIBLIOGRAFIA
5. PREGUNTAS DE EVALUACION
E.1.1. En Rn+1 {0} definimos la siguiente relacion de equivalencia:
p q s, y solo si, |q|p |p|q = 0
a) Probar que el conjunto cociente M =
renciable.
28
: G G
a a1
29
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
30
Alexis Claude Clairaut (-) nacio en Pars, hijo de Jean-Baptiste, maestro de matematicas
de Pars y miembro de la Academia de Matematicas de Berln. Fue uno de los matematicos mas precoces, superando incluso a Blaise Pascal (-), y a la edad de diez anos ya lea los libros de
Guillaume Francois Antoine lHospital (-) sobre conicas y calculo infinitesimal. Con solo
doce anos, Clairaut presenta una memoria sobre cuatro curvas de cuarto grado a la Academia, la cual,
y tras haberse asegurado que era el autor verdadero, se deshace en grandes elogios. Posteriormente, y
con solo dieciocho anos, publica la obra Recherches sur les courbes a` double courbure (Investigaciones
sobre las curvas con doble curvatura, ) gracias a la cual fue admitido en la Academia de Ciencias,
aunque hubo de hacerse una excepcion con e l, ya que el reglamento exiga una edad mnima de veinte
anos.
Posteriormente, y a proposito de la figura de la Tierra, estudia las geodesicas de las superficies
de revolucion, y da la solucion de algunos problemas de maximos y mnimos. En publica su obra
Sobre la integracion o la construccion de las ecuaciones diferenciales de primer orden, donde introduce,
independientemente de Leonhard Euler (-), el uso del factor integrante. En publico su
tratado Theorie de la figure de la Terre (Teora de la figura de la Tierra).
Previamente haba publicado su obra Elements de geometrie (Elementos de geometra, ), dirigida especialmente para principiantes y escrito con un estilo muy simple y didactico. Sus cualidades de
autor-pedagogo se veran despues confirmadas con su obra Elements d alg`ebre (Elementos de a lgebra,
), que tuvo una influencia notable en la ensenanza superior francesa. Su estilo huye de las demostraciones rigurosas y busca despertar la intuicion y la curiosidad del lector, de forma que sea e l mismo
quien vaya descubriendo y explorando este nuevo mundo. Desgraciadamente parece que, segun el abate
Bossut, su excesiva aficion a los placeres terrenales y a la compana de las mujeres le hizo perder el
reposo y la salud, provocandole la muerte de .
Con solo quince anos de edad, su hermano menor, del que se desconoce el nombre, publico la obra
Trate de quadratures circulaires et hyperboliques (Tratado de cuadraturas circulares e hiperbolicas,
). El historiador Montucla opina que posea todo el talento necesario para seguir las huellas de su
hermano Alexis, pero este genio precoz murio prematuramente de viruela en .
31
En su tratado de , Alexis Clairaut desarrollo las ideas que Rene Descartes (-) haba
sugerido casi un siglo antes en el estudio de las curvas del espacio mediante la consideracion de las proyecciones sobre dos planos coordenados. Clairaut las llamo curvas de doble curvatura porque la curvatura de estas curvas esta determinada por las curvaturas de las dos curvas que se obtienen por proyeccion
de la curva original en dos planos perpendiculares. Determino as numerosas curvas del espacio mediante intersecciones de superficies variadas, dio las ecuaciones de algunas superficies y demostro que dos
de estas ecuaciones son necesarias para describir una curva en el espacio. Se encuentran tambien en este
tratado las formulas de la distancia para dos y tres dimensiones, ecuaciones de superficies cuadricas, y
las tangentes de curvas del espacio. Clairaut demostro tambien que una ecuacion homogenea en x, y, y
z (todos los terminos del mismo grado) representa un cono cuyo vertice esta situado en el origen.
Isaac Newton (-) determino de manera teorica que el radio ecuatorial de la Tierra era
1/230 mas largo que el radio polar. Un metodo consista en medir la longitud de arco de 1o de latitud
cerca del ecuador y cerca del polo. Jean-Dominique Cassini (-) y su hijo Jacques Cassini
(-) efectuaron una medicion en y su resultado revelo que el diametro que una los dos
polos era 1/95 mas largo que el diametro ecuatorial, lo que contradeca el resultado teorico de Newton.
La Academia de Ciencias organizo dos expediciones, una a Laponia (-), bajo la direccion de
Pierre Louis Moreau de Maupertuis (-), y otra a Peru (-). Clairaut acompano a
Maupertuis a Laponia y las mediciones efectuadas en las dos expediciones confirmaron que la Tierra
estaba achatada en los polos. De esta forma la teora de Newton triunfo y el debate entre newtonianos y
cassinianos quedo, temporalmente, zanjado. Sin embargo, no sera hasta el siglo XX cuando se conocera
la respuesta definitiva a la forma de la Tierra.
A la vuelta de la expedicion de Laponia, Clairaut escribio su Theorie de la figure de la Terre
(Teora de la figura de la Tierra, ), y en publico su Theorie de la Lune (Teora de la Luna).
En esta dos obras, Clairaut aplica las matematicas al problema de la atraccion gravitacional y a la configuracion de la Tierra, lo que le situa en los orgenes de la teora del potencial. Su obra Teora de la Luna
le valio un premio de la Academia de Ciencias de San Petesburgo, y es la primera vez que el calculo
infinitesimal es aplicado al estudio del movimiento lunar, que tambien fue estudiado por la misma e poca
por L. Euler y Jean-le-Rond DAlembert (-). Clairaut predijo que el cometa Halley llegara
al punto mas cercano al sol el 13 de abril de , aunque realmente el cometa llego un mes antes.
Otros campos de interes fueron las ecuaciones diferenciales, las ecuaciones en derivadas parciales,
la teora de superficies, el calculo en varias variables y las series trigonometricas. Por lo que respecta
a las ecuaciones diferenciales, en , Clairaut se intereso por una ecuacion que actualmente lleva su
nombre:
y = xy 0 + f (y 0 ),
cuya solucion general consiste en una familia de lneas rectas. La ecuacion de Clairaut posee tambien
una solucion singular, siendo una de las primeras veces en la historia que este tipo de solucion se pone
de relieve.
BIBLIOGRAFIA
Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 494495.
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. pp. 244245.
Jean-Paul Collete. Historia de las matematicas, vol. II. Siglo veintiuno de Espana Editores, S.A., 1985.
pp. 216220.
32
COMPLEMENTARIA
BIBLIOGRAFIA
Dictionary of Scientific Biography (New York 1970-1990).
Libros:
P. Brunet La vie et loeuvre de Clairaut (1713-1765) (Paris, 1952).
J.L. Greenberg The problem of the Earths shape from Newton to Clairaut : the rise of mathematical
science in eighteenth-century Paris and the fall of normal science (Cambridge, 1995).
T.L. Hankins Jean dAlembert : science and the englightenment (New York, 1990).
Artculos:
J. Bertrand Clairaut, sa vie et ses travaux, Eloges academiques (1902), 231-261.
C.B. Boyer Clairaut and the origin of the distance formula, Amer. Math. Monthly 55 (1948), 556-557.
P. Brunet La vie et loeuvre de Clairaut, Rev. Hist. Sci. Appl. 4 (1951), 13-40, 109-153.
P. Brunet La vie et loeuvre de Clairaut, Rev. Hist. Sci. Appl. 5 (1952), 334-349.
P. Brunet La vie et loeuvre de Clairaut, Rev. Hist. Sci. Appl. 6 (1953), 1-17.
P. Chandler Clairauts critique of Newtonian attraction : some insights into his philosophy of science,
Ann. of Sci. 32 (4) (1975), 369-378.
J.L. Greenberg Breaking a vicious circle : unscrambling A-C Clairauts iterative method of 1743,
Historia Math. 15 (3) (1988), 228-239.
V.J. Katz The history of differential forms from Clairaut to Poincare, Historia Math. 8 (2) (1981), 161188.
S. Mills Un theor`eme de Clairaut, C. R. Acad. Sci. Paris Vie Academique 290 (1980), Suppl. 20-24,
175-177.
P. Speziali Une correspondance inedite entre Clairaut et Cramer, Rev. Hist. Sci. Appl. 8 (1955),
193-237.
R. Taton Clairaut et le retour de la comete de Halley en 1759, LAstronomie 100 (1986), 397-408.
R. Taton Sur la diffusion des theories newtoniennes en France : Clairaut et le probl`eme de la figure de
la terre, Vistas Astronom. 22 (4) (1978), 485-509.
R. Taton Inventaire chronologique de loeuvre dAlexis-Claude Clairaut (1713-1765), Rev. Histoire
Sci. Appl. 29 (2) (1976), 97-122.
E. Ulivi The teaching of elementary algebra : Clairaut (Italian), Archimede 32 (3) (1980), 130-135.
C. Wilson Clairauts calculations of the eighteenth-century return of Halleys comet, J. Hist. Astronom.
24 (1-2) (1993), 1-15.
CAPITULO
2
DE VARIEDADES
TOPOLOGIA
1.
Cartas compatibles.
Carta admisible.
La topologa inducida.
Subvariedad abierta.
Relacion entre diferenciabilidad y continuidad.
Relacion entre la topologa inducida y la dada.
Variedades paracompactas.
Axiomas de separacion T1 y T2 .
Extension de funciones.
Funciones salto.
En el captulo anterior hemos introducido dos conceptos fundamentales como son, logicamente,
las variedades diferenciables y las aplicaciones diferenciables entre variedades. Sin embargo, si queremos generalizar a variedades diferenciables los metodos del calculo diferencial parece conveniente
introducir nuevos conceptos, sobre todo en lo relativo a la continuidad de funciones (recordemos la
conocida propiedad del calculo elemental de que toda funcion derivable es continua). Por ello es imprescindible que dotemos a una variedad diferenciable de una topologa, y sera conveniente que dicha
topologa fuese lo mas natural posible.
34
TOPOLOGI A DE VARIEDADES
35
Proposicion 2.6
Sea (M, ) un espacio topologico y consideremos A una estructura diferenciable sobre M . Entonces la
topologa inducida coincide con si, y solo si, las cartas de A son homeomorfismos en .
Este resultado motiva la siguiente definicion.
Definicion 2.7
Sea M un espacio topologico. Un atlas diferenciable n-dimensional sobre M es una familia de cartas
A = {(U , )}A satisfaciendo las siguientes condiciones:
(1) A U = M .
(2) Las cartas son homeomorfismos de U en abiertos de Rn .
(3) Para todo par de ndices y , las cartas (U , ) y (U , ) son compatibles.
Diremos que el atlas A determina una estructura diferenciable sobre M si es maximal para las condiciones anteriores.
2.3.
A continuacion estudiamos las propiedades mas importantes de la topologa inducida, sobre todo
en lo referente a la separabilidad y numerabilidad de la variedad.
Proposicion 2.8
La topologa inducida sobre una variedad es T1 y localmente Hausdorff.
El resultado anterior no puede mejorarse, ya que es posible encontrar variedades diferenciables
que no son Hausdorff. Un ejemplo sencillo se muestra a continuacion.
Ejemplo 2.9
Sea M el subconjunto de R2 siguiente:
M = {(t, 0) R2 ; t R } {(0, 1)}
y consideremos las siguientes aplicaciones:
x : U = {(t, 0) R2 ; t R } R ,
y : V = {(t, 0) R2 ; t 6= 0} {(0, 1)} R ,
x(t, 0) = t,
y(t, 0) = t, y(0, 1) = 0
Es facil ver que {(U, x), (V, y)} es un atlas sobre M y que los puntos (0, 0) y (0, 1) no pueden separarse.
La variedad M tambien puede ser obtenida de una copia doble de R mediante una relacion de
equivalencia. Para ser mas precisos, consideremos la variedad diferenciable N = {(t, s) R2 ; s =
0, 1} y definamos la siguiente relacion de equivalencia:
(s, t) (a, b) s = a 6= 0
Es facil ver que el conjunto cociente N/ admite estructura de variedad diferenciable difeomorfa a M .
Proposicion 2.10
La topologa inducida sobre una variedad satisface el primer axioma de numerabilidad 1AN.
36
Como ocurra con la propiedad anterior, este resultado no puede mejorarse, ya que existen ejemplos de variedades diferenciables que no satisfacen el segundo axioma de numerabilidad.
En general, y puesto que una variedad diferenciable es localmente homeomorfa a un espacio
eucldeo, todas las propiedades locales de Rn que involucren a conjuntos abiertos tambien se verificaran
en variedades. Por ejemplo, toda variedad es localmente conexa y localmente conexa por arcos.
TOPOLOGI A DE VARIEDADES
37
Sin embargo, E admite un atlas de una sola carta, por lo que es homeomorfo a un abierto de R y,
consecuentemente, nunca podra ser compacta. La razon hay que buscarla en que las cartas de E no son
homeomorfismos en la topologa relativa.
2.5.
Variedades paracompactas
38
DE LOS CONOCIMIENTOS
3. ACTIVIDADES DE APLICACION
A.2.1. Sea K el subconjunto de R2 definido como sigue:
K = {(s, 0); s R } {(0, n); n N}
Sea Un = {(s, 0); s 6= 0} {(0, n); n N}. Definimos las funciones xn : Un R mediante
xn (s, 0) = s 6= 0
xn (0, n) = 0.
(0, n)
..
.
(0, 3)
(0, 2)
(0, 1)
(s, 0)
Prueba:
(a) {(Un , xn )} constituye un atlas sobre K.
(b) La topologa inducida no es Hausdorff.
TOPOLOGI A DE VARIEDADES
39
6 1.
(2) f 1 en un entorno de p.
(3) sop(f ) U .
A.2.4. Prueba que las funciones {fn : R R }nZ definidas por
fn (x) =
h(x n)
h(x m)
m=
donde
h(x) =
1
exp( 1x
|x| < 1
2)
0
|x| > 1
(a) Prueba que la esfera Sn admite una particion diferenciable de la unidad consistente en solo
dos funciones.
(b) Si M y M 0 son dos variedades paracompactas, entonces la variedad producto M M 0 es
paracompacta.
4.
DEL CAPITULO
BIBLIOGRAFIA
40
5. PREGUNTAS DE EVALUACION
E.2.1. Sea A el subconjunto de R2 definido como sigue:
A = {(s, 0); s R } {(0, ); R+ }
Sea U = {(s, 0); s 6= 0} {(0, )}. Definimos las funciones x : U R mediante
x (s, 0) = s 6= 0
x (0, ) = 0.
Prueba:
(a) {(U , x )} constituye un atlas sobre A.
(b) La topologa inducida no es Hausdorff ni localmente compacta.
(c) La topologa inducida no satisface el segundo axioma de numerabilidad.
E.2.2. Sea E = R3 y denotemos por R2a al plano z = a, con su topologa usual. Consideremos E como
la union disjunta de R2a , con a R , y dotemosle de la topologa natural: un subconjunto de E es
abierto si, y solo si, su interseccion con cada R2a es abierto. Consideremos la siguiente relacion:
(
y = y0 > 0
(x, y)a (x0 , y 0 )b (x, y)a = (x0 , y 0 )b o
xy + a = x0 y + b
donde (x, y)a denota el punto (x, y, a) R2a .
(a) Comprueba que es una relacion de equivalencia. Sea P = E/ , y consideremos
: E P la aplicacion canonica.
(b) Prueba que P es Hausdorff y que, para todo a
homeomorfismo en su imagen.
(c) Sea fa : (R2a ) R2 tal que fa ([(x, y)a ]) = (x, y). Entonces {((R2a ), fa )}aR es un atlas
TOPOLOGI A DE VARIEDADES
41
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
42
Gaspard Monge (-) nacio en Beaune, en el seno de una modesta familia. Gracias a
la prosperidad del negocio familiar, su padre le hizo cursar los estudios primarios y secundarios en el
colegio de los oratorianos de Beaune. Fue un estudiante brillante y finalizo sus estudios en . Los
oratorianos de Lyon decidieron atraerlo y a los dieciseis anos le ofrecieron la catedra de fsica en su
colegio. Sin embargo, en Monge decidio abandonar el colegio y regresar a Beaune junto a su
familia.
La construccion de un plano de su pueblo natal permitio que, a traves de un coronel de ingenieros,
segundo jefe de la escuela de Mezi`eres, pudiese ingresar en el Colegio de Ingenieros de Mezi`eres, donde
se podra utilizar su habilidad para el trazado de planos de defensa y de arquitectura. Sin embargo, al no
ser noble de nacimiento, no pudo ingresar en la seccion de ingenieros militares y tuvo que conformarse
con la de constructores y aparejadores. Observo que todas las operaciones relacionadas con el diseno y
construccion de planos de fortificacion se basaban en calculos aritmeticos muy laboriosos.
En se le planteo un problema y tras un minucioso estudio propuso un metodo geometrico,
que fue rechazado en primera instancia por su comandante, aunque posteriormente fue aceptado. Monge
desarrollo fructiferamente estos metodos, creando su geometra descriptiva. Debido a la rivalidad que
exista entre las distintas escuelas militares francesas, no se le permitio que divulgara sus conocimientos
y sus nuevos metodos. En alcanzo el grado de profesor de matematicas en Mezi`eres, ocupando la
catedra de matematicas que haba dejado vacante Bossut, y consiguio incluir la geometra descriptiva
en la ensenanza regular de la escuela. La nueva ciencia sera divulgada por primera vez en por
Monge, primero como un libro que recoga las lecciones dadas en la Escuela Normal, y despues, en
version revisada, en el Journal des e coles normales.
En comienza a interesarse por otras disciplinas, entre las que destaca la fsica. Las numerosas
memorias que publica entre y revelan contribuciones importantes no solo a la geometra
descriptiva, sino tambien a la geometra diferencial y a las ecuaciones en derivadas parciales. Hizo
importantes contribuciones a la geometra de superficies de segundo grado (previamente estudiadas por
Christopher Wren (-) y Leonhard Euler (-) y descubrio una relacion entre la teora
de superficies y las ecuaciones diferenciales. Estudio las lneas de curvatura, estableciendo una teora
general de la curvatura que aplico al elipsoide.
En , Monge es elegido geometra adjunto a la Academia de Ciencias de Pars, en sustitucion
de Alexandre-Theophile Vandermonde (-), que es promovido a socio. Colabora activamente
con al abate Bossut en su catedra de hidrodinamica en el Louvre, dedicando su tiempo libre al estudio
de la fsica y qumica, en particular, al electromagnetismo, la electricidad y la teora del calor. En
Monge es nombrado examinador de la Marina francesa por el mariscal Castries, tras la muerte de
Etienne Bezout (-), celebre por su curso de matematicas.
Partidario de la Revolucion francesa, aplaude la cada de la Bastilla y se afilia a sociedades patrioticas. No obstante, y debido a sus giras de inspeccion, esta ausente de Pars desde hasta .
A su vuelta es nombrado ministro de Marina, aunque solo 10 meses despues dimite ante las dificultades
que encuentra para reorganizar la Marina, volviendo a la Academia de Ciencias.
Monge participo activamente en la creacion de la Escuela Normal en la que dara a conocer
publicamente la geometra descriptiva. Posteriormente tambien participara en la creacion de la Escuela
TOPOLOGI A DE VARIEDADES
43
Politecnica, siendo su profesor mas activo y su protector mas abnegado. En conocio a Napoleon
Bonaparte e inmediatamente se establecio una simpata recproca entre ambos. Antes la insistencia del
general, Monge se embarco para participar en la campana de Egipto. En , en Egipto, Bonaparte
decida la creacion del Instituto de Egipto, cuya presidencia confio a Monge. A su regreso a Francia,
abandono la direccion de la Escuela Politecnica, conservando su puesto de profesor, lo que le permitio
reanudar la investigacion. Su amistad con Napoleon le perjudico al final, fue despedido de la Escuela
Politecnica y excluido de la lista de miembros del Instituto, muriendo el 28 de julio de .
La obra de Monge fue considerable y fecunda, siendo imposible en unas pocas lneas enumerar
sus aportaciones a las Matematicas, en particular a la geometra. La obra de Monge en geometra
descriptiva queda recogida en su obra Geometra descriptiva (), que recoge las lecciones impartidas
a los alumnos de la Escuela Normal en -.
La geometra analtica de Monge, como la de Joseph Louis Lagrange (-), esta centrada
en problemas del espacio. En la memoria titulada Memoria sobre las evolutas, los radios de curvatura y
los diferentes generos de inflexion de las curvas de doble curvatura (), publicada en , Monge
estudia un gran numero de problemas preliminares de geometra analtica. Otras obras de Monge son
Hojas de analisis aplicado a la geometra (editadas por primera vez en ) y Aplicacion del a lgebra
a la geometra (), e sta u ltima escrita en colaboracion con Jean-Nicolas Pierre Hachette (). Entre las contribuciones de Monge a la geometra analtica podemos citar el perfeccionamiento
del estudio de las cuadricas, la introduccion de las coordenadas axiales de la recta y la de la orientacion
de las a reas triangulares y de los volumenes tetraedricos.
Monge participo activamente en la creacion de la geometra diferencial de las curvas del espacio
y se destaco en el progreso de la teora de superficies. Entre sus aportaciones mas importantes, podemos
destacar la union de las ecuaciones en derivadas parciales con las familias de superficies, un estudio
paralelo de las ecuaciones diferenciales totales, su celebre teora de las caractersticas y su solucion de
la ecuacion de las superficies minimales.
Bibliografa
Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 511516.
44
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. pp. 274275.
Jean-Paul Collete. Historia de las matematicas, vol. II. Siglo veintiuno de Espana Editores, S.A., 1985.
pp. 242250.
Internet. URL de la pagina:
www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Monge.html
Bibliografa complementaria
Dictionary of Scientific Biography (New York 1970-1990).
Encyclopaedia Britannica
Libros:
P.V. Aubry Monge, le savant ami de Napoleon Bonaparte, 1746-1818 (1954).
A.N. Bogolyubov Gaspard Monge (1746-1818) (Russian), Scientific-Biographical Literature Series Nauka (Moscow, 1978).
J.L. Coolidge A History of Geometrical Methods (1940).
G. Kasdorf Monge, en H Wussing y W Arnold (ed.), Biographien bedeutender Mathematiker (Berlin,
1983).
R. Taton Gaspard Monge (Basel, 1950).
R. Taton (ed.) LOeuvre scientifique de Monge (Paris, 1951).
Artculos:
M.L. Balinski Gaspard Monge : pour la patrie, les sciences et la gloire, in Mathematiques appliquees
aux sciences de lingenieur (Toulouse, 1991), 21-37.
S. Colombo Gaspard Monge, geom`etre et senateur, Rev. Questions Sci. 150 (1) (1979), 3-21.
E. Glas On the dynamics of mathematical change in the case of Monge and the French revolution, Stud.
Hist. Philos. Sci. 17 (3) (1986), 249-268.
H.P. Huang Monge - mathematician and social reformer (Chinese), Math. Practice Theory (4) (1989),
87-90.
L. Pepe Gaspard Monge in Italy : the foundation and first works of the National Institute of the Roman
Republic (Italian), Boll. Storia Sci. Mat. 16 (1) (1996), 45-100.
R. Taton La premi`ere note mathematique de Gaspard Monge (juin 1769), Rev. Histoire Sci. Appl. 19
(1966), 143-149.
R. Taton Un texte inedit de Monge : Reflexions sur les e quations aux differences partielles, Osiris 9
(1950), 44-61.
R. Taton Monge, createur des coordonnees axiales de la droite, dites de Plucker, Elemente der Math. 7
(1952), 1-5.
TOPOLOGI A DE VARIEDADES
45
R. Taton Remarques sur la diffusion des theories mathematiques de Monge, Thal`es 5 (1948), 43-49.
R. Taton Deux contributions de Monge a` la creation de la geometrie moderne, C. R. Acad. Sci. Paris
232 (1951), 198-200.
R. Taton Une correspondance mathematique inedite de Monge, Revue Sci. 85 (1947), 963-989.
R. Taton A propos dune correspondance inedite de Monge, C. R. Acad. Sci. Paris 226 (1948), 36-37.
46
CAPITULO
3
EN VARIEDADES
DIFERENCIACION
1.
Covectores tangentes.
El espacio cotangente.
El espacio tangente.
El fibrado tangente.
El fibrado cotangente.
48
Definicion 3.2
Un vector tangente a M en p es un vector tangente a una curva en el punto p. El conjunto de todos los
vectores tangentes a M en p se denomina el espacio tangente a M en p y se denota por Tp M .
Antes de poner algun ejemplo de vector tangente vamos a introducir un concepto importante en el
calculo diferencial en variedades.
Definicion 3.3
Sea p M y consideremos (U, x) una carta local alrededor del punto p con funciones coordenadas
(x1 , x2 , . . . , xn ). Dada una funcion f C (p), la derivada parcial de f con respecto a xi en el punto
p es
f
(f x1 )
(p) =
(x(p))
xi
ui
donde (u1 , . . . , un ) son las coordenadas naturales de Rn .
Sea (U, x) una carta local y consideremos un punto p U . Entonces podemos construir la
aplicacion
: C (p) R
xi p
definida por
f
(f ) =
(p)
xi p
xi
Es facil demostrar que dicha aplicacion es una derivacion sobre C (p). A continuacion vamos probar
que tambien es un vector tangente a M en p. Para ello debemos construir una curva i que pase por el
punto p y lo tenga por vector tangente.
Sea {e1 , . . . , en } la base canonica de Rn y consideremos la curva en M definida por i (t) =
x1 (x(p) + tei ), denominada la i-esima curva coordenada de x en el punto p. Supongamos que las
representantes locales de i y f estan dadas por
i (t) = (x i )(t) = (u1 (t), . . . , un (t))
EN VARIEDADES
DIFERENCIACI ON
49
y
F (u1 , . . . , un ) = (f x1 )(u1 , . . . , un )
Entonces se tiene
i0 (0)(f ) =
=
t=0
(F i )(t) =
t=0
n
X
duj
F
(i (0))
(0
uj
dt
j=1
(f )
xi
p
Proposicion 3.4
El conjunto de todas las derivaciones sobre C (p) tiene estructura
de
Si (U, x) es una
espacio vectorial.
carta local cuyo dominio contiene al punto p, entonces { x1 , x2 , . . . , xn } constituye una base.
p
Puede demostrarse sin mucha dificultad que si f C (p) entonces la funcion f se escribe en un
entorno de p como
n
X
f = f (p) +
(xi xi (p))hi ,
i=1
para ciertas funciones h1 , . . . , hn C (p). Como consecuencia de este resultado se obtiene que toda
derivacion sobre C (p) es, de hecho, un vector tangente a M en p. Esto conduce al siguiente teorema.
Teorema 3.5
Sea p M n . El espacio tangente Tp M es un espacio vectorial (real) de dimension n.
Hemos probado que cada sistema de coordenadas o carta local que contenga al punto p en su
dominio nos proporciona una base canonica de Tp M , por lo que es natural plantearse como estaran
relacionadas dos bases asociadas a sistemas de coordenadas distintos. La respuesta a esta cuestion es
muy sugerente:
Proposicion 3.6
La matriz del cambio de base es la matriz jacobiana del cambio de cartas.
50
2.2. El espacio cotangente
Definicion 3.7
Un covector tangente a una variedad M en un punto pes una forma lineal sobre Tp M . El conjunto
de tales covectores constituye el espacio vectorial dual del espacio tangente y se denomina espacio
cotangente a M en p, denotandose, como es habitual, por (Tp M ) .
Dada una funcion diferenciable f C (M ), se define la diferencial de f en un punto p como el
covector dfp dado por
dfp (v) = v(f )
para todo vector v Tp M . Vamos a obtener ahora una base distinguida de Tp M . Sea (U, x) un sistema
de coordenadas con funciones coordenadas asociadas (x1 , . . . , xn ) y sea p U . Entonces el conjunto
{dx1p , . . . , dxnp } constituye una base de Tp M . Es facil ver que todo covector Tp M se expresa de
forma u nica como
n
X
=
(i |p )dxip
i=1
donde i |p denota el i-esimo campo coordenado asociado a la carta x. En particular, para toda funcion
diferenciable f y todo punto p se satisface lo siguiente
dfp =
n
X
f
dxip
xi
i=1
EN VARIEDADES
DIFERENCIACI ON
51
El paso siguiente es encontrar la matriz de la aplicacion diferencial dfp , una vez que hemos fijado
las bases en los espacios tangentes de partida y de llegada. Como consecuencia del teorema de la base
es facil probar que si se escogen las bases canonicas asociadas a dos sistemas de coordenadas, uno para
el punto p y otro para el punto imagen f (p), la matriz de la diferencial de f no es mas que la matriz
jacobiana de su representante local.
Proposicion 3.9 (Regla de la Cadena)
Sean f : M N y g : N P dos aplicaciones diferenciables y sea p un punto del dominio de g f .
Entonces
d(g f )p = dgf (p) dfp
Introducimos un metodo practico para su computo, ya que dicho rango coincide con el rango de
la matriz jacobiana.
Como una aplicacion inmediata de la regla de la cadena se deduce que si f es un difeomorfismo
entre dos variedades, entonces la diferencial de f en todo punto es un isomorfismo lineal. El siguiente
resultado nos dice que, localmente, se verifica tambien el recproco.
Proposicion 3.11 (Teorema de la Funcion Inversa)
Sea f : M N una aplicacion diferenciable y sea p un punto de su dominio. La aplicacion diferencial
dfp es un isomorfismo lineal si, y solo si, existe un entorno U de p tal que f |U : U f (U ) es un
difeomorfismo.
Por tanto f es un difeomorfismo local. Sin embargo, f no puede ser un difeomorfismo global porque no
es biyectiva.
52
2.4. Los fibrados tangente y cotangente
Para finalizar esta leccion probamos que la union T M de todos los espacios tangentes a una variedad diferenciable, en todos sus puntos, admite una estructura de variedad diferenciable de dimension
el doble de la dimension de la variedad M y se denomina el fibrado tangente de M . Asimismo introducimos el fibrado cotangente de M , que tambien posee una estructura diferenciable de la misma
dimension.
Sea el conjunto T M definido por
T M = Tp M
pM
donde dip (v) = (v(x1 ), . . . , v(xn )), siendo (x1 , . . . , xn ) las funciones coordenadas de la carta i . Es
facil probar que {(Wi , i )}i constituye un atlas 2n-dimensional sobre T M , con el cual recibe el nombre
de fibrado tangente de M .
De manera analoga podemos construir el fibrado cotangente de M . Sea el conjunto T M definido
por
T M = Tp M
pM
i (p, ) = (i (p), (1 |p ), . . . , (n |p ))
siendo (x1 , . . . , xn ) las funciones coordenadas de la carta i . Es facil probar que {(Wi , i )}i constituye un atlas 2n-dimensional sobre T M .
Si f : M N es una aplicacion diferenciable, entonces podemos construir una aplicacion entre
los fibrados tangentes de la siguiente manera: df : T M T N dada por df (p, v) = (f (p), dfp (v)). La
aplicacion df , tambien denotada por f , se denomina la aplicacion diferencial de f .
EN VARIEDADES
DIFERENCIACI ON
3.
53
DE LOS CONOCIMIENTOS
ACTIVIDADES DE APLICACION
A.3.1.
(a) Sea (U, x), con x = (x1 , . . . , xn ), una carta en una variedad diferenciable M . Prueba que
xi
xj (p) = ij , donde ij representa la delta de Kronecker, para todo punto p U .
(b) Sea x es una carta de M y f : M R una funcion diferenciable cuya representante local
F = f x1 esta dada por F (u1 , . . . , un ) = sen u1 + cos u2 . Prueba que
f
= cos x1
x1
A.3.2.
f
= sen x2 .
x2
(a) Sea V un espacio vectorial n-dimensional real dotado con su estructura estandar de variedad diferenciable y p V un punto de V . Prueba que Tp V es canonicamente isomorfo a V .
De este modo, V y Tp V son, como variedades diferenciables, difeomorfas.
(b) Sea : V W una aplicacion lineal entre dos espacios vectoriales de dimensiones n y
m, respectivamente. Prueba que es una aplicacion diferenciable y calcula su diferencial
en un punto p V arbitrario.
A.3.3.
(d) Sea M una variedad diferenciable conexa y f : M R una funcion diferenciable tal que
dfp = 0 en todo punto p de M . Prueba que f es una funcion constante.
A.3.4. Sea C (m) el a lgebra de las funciones diferenciables en un entorno de m. Definimos el subconjunto C s (m) de C (m) del siguiente modo. Una funcion f : M R esta en Fs (m) si, y solo
si, en algun entorno de m
X
f g ,
f =c+
finita
n
X
i=1
54
En vista de esto, es usual identificar los vectores de T(p,q) M con sus imagenes por F . As v =
(v1 , v2 ) significara que F (v) = (v1 , v2 ).
A.3.7. Sean f : M M 0 y g : M 0 M 00 dos aplicaciones diferenciables y p un punto que esta en
el dominio de g f . Prueba:
(a) Si el rango de g en f (p) es igual a la dimension de M 0 , entonces g f y f tienen el mismo
rango en p.
(b) Si el rango de f en p es igual a la dimension de M 0 , entonces el rango de g f en p coincide
con el rango de g en f (p).
A.3.8.
(a) Sea f : M N una aplicacion diferenciable con rango constante e igual a dimM =
dimN . Prueba que f (M ) es un abierto en N .
(b) Sea f : M N una aplicacion diferenciable y biyectiva. Supongamos que f tiene rango
constante e igual a dimM =dimN . Prueba que f es un difeomorfismo.
(c) Demuestra que la proyeccion natural : Sn P n (R ) tiene rango constante e igual a n.
Deduce que es un difeomorfismo local pero no un difeomorfismo global.
A.3.9.
(a) Sea j : S2 R3 la inyeccion canonica de la esfera S2 en el espacio eucldeo tridimensional. Calcula explcitamente la diferencial de la aplicacion j y determina su rango.
(b) Identicas cuestiones para la inyeccion canonica j : Sn Rn+1 .
A.3.10. Consideremos Ma el conjunto formado por todas las matrices reales de orden 2 2 con determinante a, siendo a un numero real no nulo.
(a) Prueba que Ma admite una estructura de variedad diferenciable. Cual es su dimension?
(b) Calcula el espacio tangente a Ma en el punto
p=
a 0
0 1
A.3.11. Sea : I R una curva regular en R3 y sea M el conjunto de todos los vectores normales a
. Admite M estructura de variedad diferenciable? En caso afirmativo, de que dimension?
A.3.12. Sea f : R3 R la funcion diferenciable definida en coordenadas esfericas por f (r, , ) =
r tan . Encuentra las constantes a, b, c tales que la diferencial de f se expresa en el punto p =
(r, , ) = (1, /4, 0) como
dfp = adx + bdy + cdz.
Rn
DEL CAPITULO
4. BIBLIOGRAFIA
W. BOOTHBY. An Introduction to Differentiable Manifolds and Riemannian Geometry. Academic
Press, 1986.
EN VARIEDADES
DIFERENCIACI ON
55
5. PREGUNTAS DE EVALUACION
E.3.1. (Formula de Leibnitz) Sean M1 y M2 dos variedades diferenciables y consideremos M = M1
M2 la variedad diferenciable producto. Sea : M P una aplicacion diferenciable. Prueba
que
(d)(p,q) (v) = (dq )p (v1 ) + (dp )q (v2 ),
donde p = jp , q = iq y v = (v1 , v2 ). Como consecuencia, si f : M
funcion diferenciable sobre M , entonces
R es una
z
.
|z|
56
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
EN VARIEDADES
DIFERENCIACI ON
6.
57
Durante la segunda mitad del siglo XVIII exista un gran entusiamos por los resultados que se obtenan con el calculo infinitesimal, aunque tambien haba preocupacion acerca de sus principios basicos.
58
Ninguna de las interpretaciones habituales (las fluxiones de Newton, las diferenciales de Leibnitz o
los lmites de dAlembert) eran satisfactorias, por lo que Carnot se propuso aclarar en que consista
el nuevo analisis. Sin embargo, su eleccion del principio unificador no pudo ser mas desacertada. Su
conclusion fue que los verdaderos principios metafsicos son los principios de compensacion de errores.
Segun su razonamiento, los infinitesimales son cantidades despreciables que son introducidas, al igual
que los numeros imaginarios, para facilitar los calculos, y son eliminadas para alcanzar el resultado final. Asimismo, las ecuaciones imperfectas se vuelven perfectamente exactas en el calculo mediante la
eliminacion de cantidades tales como los infinitesimos de orden superior, que son una fuente de errores.
Las Reflexiones de Carnot llegaron a ser muy populares, editandose en varios pases y lenguas.
A pesar de su desacertada aproximacion al calculo, no cabe duda de que su punto de vista ayudo a que
se examinara con mas rigor. Sin embargo, la reputacion actual de Carnot debemos buscarla en otros
libros. En publica De la correlation des figures de geometrie (De la correlacion de las figuras de
geometra), un trabajo caracterizado por su alto grado de generalidad. Carnot intento establecer para la
geometra pura una universalidad comparable a la que disfrutaba la geometra analtica.
Carnot desarrollo su correlacion de las figuras en la obra Geometrie de position (Geometra de
posicion, ), que le situa junto a Monge como un fundador de la geometra pura moderna. El
desarrollo de las matematicas se caracteriza por la consecucion de mayores cotas de generalidad, y es
esta cualidad la que caracteriza la obra de Carnot. Su inclinacion hacia la generalizacion le conduce a
formas elegantes equivalentes de teoremas bien conocidos. Esta misma inclinacion le incita a realizar
investigaciones para determinar las coordenadas intrnsecas, es decir, las coordenadas naturales de
una curva. Carnot pensaba que deberan existir unas coordenadas que no dependieran de unas hipotesis
particulares o de una base elegida para el espacio absoluto. Por ejemplo, las coordenadas de un punto
sobre una curva pueden ser el radio de curvatura y la longitud de arco, como sugiere Ernesto Cesaro
(-) en su obra Geometra intrnseca.
El nombre de Carnot ha quedado unido a un teorema que aparece en su obra Essai sur le theorie
des transversales (Ensayo sobre la teora de las transversales, ). Este teorema constituye una
generalizacion de un teorema de Menelao de Alejandra: dada una curva algebraica cualquiera de
orden n que corta a un triangulo ABC, sea A1 el producto de las n distancias, reales o imaginarias, de
A a los n puntos de interseccion de la curva con el lado AB, y lo mismo para B1 y C1 , definidas por los
lados BC y CA; sean A2 , B2 y C2 los productos semejantes correspondientes a los lados AC, CB y
BA, respectivamente. Entonces se verifica
A1 B1 C1 = A2 B2 C2
Si la curva es una lnea recta, es el teorema de Menelao; si la curva es una cubica, del teorema de Carnot
se deduce que los tres puntos de inflexion se situan en una lnea recta, resultado bien conocido en la
e poca.
La teora de transversales es solo una pequena parte de un trabajo que contiene otras interesantes
generalizaciones. De la conocida formula de Heron de Alejandra para el a rea de un triangulo en
terminos de sus tres lados a, b y c:
p
A = s(s a)(s b)(s c),
donde s es el semipermetro, Carnot busco la formula para el volumen de un tetraedro en funcion de sus
seis aristas, y encontro una formula con 130 terminos.
Las obras de Carnot conocieron un gran e xito e influyeron considerablemente en las investigaciones geometricas de principios del siglo XIX, por la difusion del conocimiento de numerosos teoremas,
EN VARIEDADES
DIFERENCIACI ON
59
de los que un gran numero eran de naturaleza proyectiva, popularizando la geometra de la regla y
volviendo a habituar a los geometras al estudio de las transformaciones geometricas.
Bibliografa
Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 523529.
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. pp. 276277.
Jean-Paul Collete. Historia de las matematicas, vol. II. Siglo veintiuno de Espana Editores, S.A., 1985.
pp. 261265.
Internet. URL de la pagina:
www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Carnot.html
Bibliografa complementaria
Dictionary of Scientific Biography (New York 1970-1990).
Encyclopaedia Britannica
Libros:
H. Dupre Lazare Carnot, Republican Patriot (1975).
C.C. Gillispie Lazare Carnot Savant (Princeton, 1971).
J. Harthong Lazare Carnot et le calcul infinitesimal, Seminaires de mathematiques. Science, histoire,
societe (Rennes, 1984).
Artculos:
H. Barreau Lazare Carnot et la conception leibnizienne de linfini mathematique, La mathematique non
standard (Paris, 1989), 43-82.
C.B. Boyer Carnot and the concept of deviation, The American Mathematical Monthly 61 (1954), 459463.
E.-J. Giessmann Lazare Carnot : Biografischer Abriss aus Anlass der Centenaire der u berfuhrung in
das Pantheon zu Paris, 200 Jahre Grosse Franzosische Revolution, Wiss. Z. Tech. Univ. Magdeburg 33 (2) (1989), 3-15.
T. Hanseroth y K. Mauersberger Lazare Carnots Werk im Lichte der Herausbildung der Bau- und Maschinenmechanik in Frankreich, 200 Jahre Grosse Franzosische Revolution, Wiss. Z. Tech. Univ.
Magdeburg 33 (2) (1989), 45-54.
R. Irrgang Lazare Carnots naturwissenschaftliche Schriften, 200 Jahre Grosse Franzosische Revolution, Wiss. Z. Tech. Univ. Magdeburg 33 (2) (1989), 55-60.
D. Krone Leben und Wirken von Lazare Carnot aus der Sicht seines Biographen Wilhelm Korte, 200
Jahre Grosse Franzosische Revolution, Wiss. Z. Tech. Univ. Magdeburg 33 (2) (1989), 23-27.
60
H. Meyer Unendlichkeitsbegriff und Infinitesimalrechnung im Denken Lazare Carnots, 200 Jahre Grosse Franzosische Revolution, Wiss. Z. Tech. Univ. Magdeburg 33 (2) (1989), 61-62.
R. Thiele A French officer in Prussian Magdeburg, The Mathematical Intelligencer 15 (1) (1993), 5357.
R. Thiele Carnots Betrachtungen u ber die Grundlagen der Infinitesimalrechnung, en Rechnen mit dem
Unendlichen (Basel, 1990), 79-94.
CAPITULO
4
INMERSIONES Y SUBVARIEDADES
1.
Subvariedad inmersa.
Rebanada.
Embebimiento.
Teorema de Whitney.
El objetivo principal de este tema es introducir los objetos geometricos que generalicen a las
curvas y superficies del espacio eucldeo en cuanto a su relacion con e ste, es decir, como subvariedades.
Para ello sera esencial trabajar con aplicaciones diferenciables de rango maximo, y relativo a esto sera
el primer concepto que introduzcamos.
Definicion 4.1
Una aplicacion diferenciable f : M N se dice que es una inmersion si dfp es inyectiva para todo
punto de M . Se dice que M esta inmersa en N .
En otras palabras, una inmersion es la aplicacion diferenciable entre variedades cuyo rango coincide en todos los puntos con la dimension de la variedad de partida.
A continuacion, y como era de esperar, mostramos un resultado u til que nos permitira decidir si
una aplicacion diferenciable es una inmersion o no. Este resultado tecnico nos facilitara la busqueda de
ejemplos y nos permitira obtener algunas propiedades de las inmersiones.
Proposicion 4.2
Sea f : M m N n una aplicacion diferenciable y p M . Entonces son equivalentes las siguientes
condiciones:
62
Ejemplos.
4.3. Sea : I Rn una curva diferenciable y regular, es decir, 0 (t) 6= 0 para todo t.
4.4. Sea : I = (, ) R2 definida por (t) = (t3 , t2 ).
63
INMERSIONES Y SUBVARIEDADES
Proposicion 4.10
Sea f : M N una inmersion y g : M 0 M una aplicacion diferenciable. Entonces f g y g tienen
el mismo rango.
En particular, queremos destacar la propiedad que afirma que dada una inmersion y un punto en
el dominio, es posible encontrar cartas locales alrededor del punto y de su imagen de forma que la
representante local sea una inclusion. Mas concretamente:
Proposicion 4.11
Sea f : M N una inmersion y p un punto de M . Entonces existen cartas (V, x) y (W, y) de p y f (p),
respectivamente, tales que la representante en coordenadas y f x1 esta dada por z (z, 0).
Veamos seguidamente, a traves de un ejemplo, como se pueden obtener explcitamente las cartas
a las que se refiere el resultado anterior. Consideremos la inmersion f : R R2 dada por f (t) =
(sen t, cos t) y sea el punto t = 0. La matriz jacobiana en t = 0 esta dada por
Jf (0) = (cos t, sen t)|t=0 = (1, 0)
Entonces la aplicacion p1 f : R R dada por t sen t tiene rango uno en t = 0 por lo que es un
difeomorfismo local. Consideremos la aplicacion = (p1 f )1 i2 : R2 R2 dada por
(t, s) = (arcsent, s)
y sea la aplicacion k = p2 f . Entonces podemos construir la aplicacion h = q , donde
q : R2 R2 esta definida por
q(t, s) = (t, s k(t)) = (t, s cos t)
En consecuencia, debemos considerar para t = 0 la carta identidad sobre
podemos utilizar la carta h : R2 R2 dada por
R , y para f (0)
= (0, 1)
2.2.
Embebimientos y subvariedades
64
Ejemplos.
4.14. Sea M una variedad y consideremos P M un subconjunto abierto. Entonces P admite de
manera trivial una estructura diferenciable con la que se convierte en subvariedad de M . P se
denomina subvariedad abierta de M .
4.15. Sea GL(n, R ) el conjunto de las matrices cuadradas regulares de orden n. Entonces GL(n, R ) =
det1 (R \{0}), y puesto que la aplicacion determinante det es diferenciable, y consecuentemente
continua, GL(n, R ) es una subvariedad abierta de Mn (R ).
4.16. La aplicacion f : Rm Rn , m < n, dada por f (x1 , . . . , xm ) = (x1 , . . . , xm , 0, . . . , 0), es
claramente un embebimiento.
4.17. Cualquier inmersion es localmente un embebimiento.
En algunas ocasiones se relajan las condiciones de subvariedad, exigiendo solamente que la inclusion canonica sea una inmersion, en lugar de exigir que sea un embebimiento. Nosotros las distinguiremos anadiendole el apellido inmersa. Toda subvariedad es una subvariedad inmersa, pero no
recprocamente. En efecto, es facil ver que la figura ocho es una subvariedad inmersa que no se puede
embeber en R2 .
Proposicion 4.18
Toda subvariedad compacta inmersa en un espacio Hausdorff es una subvariedad (embebida o regular).
Con el fin de encontrar una caracterizacion de las subvariedades, se introducen los sistemas de
coordenadas adaptados y se prueba que toda subvariedad de una variedad admite un sistema de coordenadas adaptado en cada punto, sirviendo esta propiedad como criterio para decidir si un subconjunto de
una variedad admite una estructura diferenciable.
Sea (V, x) una carta en una variedad M . El subconjunto de V que se obtiene haciendo n m
funciones coordenadas constantes es una subvariedad m-dimensional de M denominada x-rebanada
m-dimensional de U . Vamos a probar que toda subvariedad puede construirse pegando adecuadamente
x-rebanadas.
INMERSIONES Y SUBVARIEDADES
65
Definicion 4.19
Sea P un subconjunto de una variedad M . Un sistema de coordenadas (V, x) se dice que esta adaptado
a P si V P es una x-rebanada de V .
Un criterio basico para saber si un subconjunto de una variedad diferenciable es una subvariedad
es el siguiente.
Proposicion 4.20
Un subconjunto P de una variedad M es una variedad m-dimensional de M si para cada punto p de
P existe un sistema de coordenadas (V, x) en M adaptado a P tal que V P es una rebanada mdimensional.
En esta lnea, una cuestion sumamente interesante es saber de cuantas maneras se puede dotar a
un subconjunto de estructura de variedad diferenciable de forma que constituya una subvariedad. La
respuesta, de sencilla demostracion, nos dice que a lo sumo hay una manera de convertir un subconjunto
de una variedad en subvariedad de la misma.
2.3.
Un criterio u til y practico para encontrar subvariedades nos lo proporciona el teorema de la funcion
implcita, consecuencia del teorema de la funcion inversa, y que nos permite averiguar cuando las fibras
de una aplicacion diferenciable son subvariedades.
Definicion 4.21
Sea f : M N una aplicacion diferenciable. Un punto q N se dice que es un valor regular de f si
f 1 (q) 6= 0 y dfp es sobreyectiva en todo punto p f 1 (q).
Proposicion 4.22 (Teorema de la Funcion Implcita)
Sea f : M m N n una aplicacion diferenciable y q N un valor regular de f . Entonces P = f 1 (q)
es una subvariedad (m n)-dimensional de M .
Describimos a continuacion algunos ejemplos de subvariedades obtenidas utilizando este resultado.
Ejemplos.
4.23. Sea f : Rn R una funcion diferenciable y consideremos S = f 1 (0). Si en cada punto p de S,
f
la matriz { x
(p)} tiene rango 1, entonces S es una subvariedad (n 1)-dimensional de Rn , es
i
decir, S es una hipersuperficie.
4.24. Las hiperesferas y los hipercilindros son subvariedades regulares del espacio eucldeo.
4.25. Sea f : R3 R la aplicacion dada por
f (x, y, z) = (x2 + y 2 + z 2 + a2 + b2 )2 4a2 (x2 + y 2 ),
con a > b > 0. Entonces S = f 1 (0) admite estructura de variedad diferenciable 2-dimensional,
es decir, S es una superficie de R3 . Puede comprobarse facilmente que S es el toro de revolucion
en R3 .
66
Corolario 4.26
Sea M n una variedad diferenciable y sean f1 , . . . , fk funciones diferenciables sobre M . Consideremos
el subconjunto P de M dado por P = {p M : fi (p) = 0, i = 1, . . . , k}. Si en cada punto p de P se
verifica que {df1p , . . . , dfkp } son covectores linealmente independientes, entonces P es una subvariedad
cerrada de M de dimension n k .
Observacion 4.27
Si M es una variedad diferenciable y P M es una subvariedad diferenciable cerrada tal que P =
ki=1 fi1 (0), para ciertas funciones diferenciables f1 , . . . , fk , entonces no necesariamente la dimension
de P es n k, ya que los covectores {df1p , . . . , dfkp } no tienen por que ser linealmente independientes.
Una pregunta que cabe plantearse es si cualquier variedad abstracta M es difeomorfa a una subvariedad regular de un espacio eucldeo. La respuesta, de muy difcil demostracion, es afirmativa y se
denomina teorema del embebimiento de Whitney. Dicho teorema establece que cualquier variedad diferenciable n-dimensional se puede embeber en un espacio eucldeo R2n . Una version mas sencilla de este
resultado pero que admite una demostracion asequible a este nivel, utilizando particiones diferenciables
de la unidad, es la siguiente:
Proposicion 4.28
Toda variedad diferenciable compacta se puede embeber como subvariedad regular en un cierto espacio
eucldeo.
DE LOS CONOCIMIENTOS
3. ACTIVIDADES DE APLICACION
A.4.1. Determina si las funciones c : R R2 definidas por
(a) s (sen 2s, sen s)
(b) s (cos 2s, cos s)
67
INMERSIONES Y SUBVARIEDADES
es una inmersion.
A.4.3. Sea M = (R {0}) (R {1}) y se considera la estructura diferenciable dada por las cartas
x : R {0} R , x(s, 0) = s,
y : R {1} R , y(s, 1) = s.
: M R , (s, 1) = (s, 0) = s, s R .
(0, 1)
(0, 0)
R4 :
F =
68
Prueba que la inyeccion canonica j de f 1 (0) en R3 tiene rango 2 en todos los puntos calculando
explcitamente la aplicacion diferencial.
A.4.6.
A.4.7.
3
)}
4
INMERSIONES Y SUBVARIEDADES
69
A.4.10. Sea S = {(x, y) R2 : xy = 0}. Construyamos dos cartas aplicando cada eje en la recta
real mediante (x, 0) x, (0, y) y. Definen las cartas anteriores un atlas sobre el conjunto
abstracto S? Si no es as, admite S estructura de variedad diferenciable? En caso afirmativo, es
S una subvariedad de R2 ?
A.4.11. Sea M = M (n, R ) el conjunto de todas las matrices reales de orden n n, con su estructura
canonica de variedad diferenciable. Entonces det : M R es una aplicacion diferenciable y
GL(n) = det1 (R {0}) es un subconjunto abierto de M; por tanto, GL(n) es una subvariedad
diferenciable de dimension n2 . Prueba:
a) det : GL(n) R tiene rango constante e igual a 1. En consecuencia, det1 (1) = SL(n)
es una hipersuperficie de GL(n), que llamaremos el grupo especial lineal.
b) El espacio tangente TI (SL(n)) M, donde I denota la matriz identidad de orden n, esta
formado por las matrices de traza cero.
A.4.12. Sea F : (1, ) R2 la aplicacion dada por
t+1
t+1
cos(2t),
sen(2t) .
F (t) =
2t
2t
Es F una inmersion?
A.4.13. Sea f : R2 R la funcion diferenciable definida por f (x, y) = y 4 y 2 + 14 x2 y consideremos
el conjunto M = f 1 (0). Admite M estructura de variedad diferenciable?
A.4.14. Sea f : M R una funcion diferenciable que tiene rango 1 en todos los puntos de una fibra
F = f 1 (a). Si p es un punto de F y v Tp M , prueba que v Tp F si, y solo si, dfp (v) = 0.
A.4.15. Sea M una variedad diferenciable y G un grupo. Se dice que G actua sobre M si existe una
aplicacion : G M M tal que:
i) las aplicaciones g = (g, ) son difeomorfismos, y
ii) gh = g h , para todo g, h G.
La accion es libre si el elemento identidad es el u nico elemento de G que tiene algun punto fijo; y
es discontinua si todo punto m tiene un entorno U tal que g (U ) U = para todo g 6= e.
Si G actua sobre M entonces determina una relacion de equivalencia: dos puntos p y q estan
relacionados si existe g G tal que q = g (p). Denotemos por M/G al conjunto cociente y por
: M M/G la proyeccion canonica.
Prueba que si : G M M es una accion libre y discontinua de G sobre M , entonces M/G
admite estructura de variedad diferenciable tal que es un difeomorfismo local.
70
A.4.16. Prueba que Z actua libre y discontinuamente como un grupo de transformaciones sobre R2 si
la accion esta determinada por la funcion global : R2 Z R2 definida por
((x, y), n) = (x + n, (1)n y)
A.4.17. Prueba que la funcion global : Z Z R R definida por
(m, n, s) = s + m + n,
donde y son numeros cuya razon es irracional, determina una accion de Z Z sobre R que
es libre pero no discontinua.
A.4.18. Consideremos en R2 el grupo G de difeomorfismos generado por las siguientes transformaciones:
1 (x, y) = (x + 1, y)
2 (x, y) = (x, y + 1)
Comprueba que el grupo G actua libre y discontinuamente sobre R2 . (La variedad cociente R2 /G
se conoce como la botella de Klein).
A.4.19. Sea F (k, n) el conjunto formado por todas las familias de k vectores de Rn linealmente independientes (en general, cualquier espacio vectorial real n-dimensional). Dota a F (k, n) de
estructura de variedad diferenciable. Las variedades F (k, n) se denominan variedades de Stiefel.
A.4.20. Sea G(k, n) el conjunto de todos los k-planos (subespacios lineales de dimension k) pasando
por el origen de Rn (en general, cualquier espacio vectorial real n-dimensional). Dota a G(k, n)
de estructura de variedad diferenciable. Las variedades G(k, n) se denominan variedades de
Grassmann y, en particular, G(1, n) = P n (R ).
A.4.21. Prueba que para cualquier k, las variedades de Grassmann G(k, n) y G(n k, n) son naturalmente difeomorfas.
A.4.22. Sea el toro de revolucion T 2 R3 , simetrico respecto del origen 0 R3 . Sea G = {A, I}
Isom(T 2 ), donde A es la aplicacion antpoda e I es la identidad. Entonces:
a) El cociente K = T 2 /G admite estructura de variedad diferenciable. K se denomina la
Botella de Klein.
b) La aplicacion : R2 R4 dada por
(x, y) = ((r cos y + a) cos x, (r cos y + a) sen x,
r sen y cos(x/2), r sen y sen(x/2))
induce un embebimiento de la botella de Klein en R4 .
A.4.23.
71
INMERSIONES Y SUBVARIEDADES
4.
DEL CAPITULO
BIBLIOGRAFIA
5. PREGUNTAS DE EVALUACION
E.4.1. Prueba que para cualesquiera numeros reales a, b y c (no todos nulos), la funcion f : R3 R ,
definida por
f (x, y, z) = ayz + bxz + cxy 1,
R @
3
S2
@R@
P 2 (R )
@F
@
- R@R4
72
y, z)]) =
(x, y, z). Prueba que es un embebimiento.
E.4.4. Sea la aplicacion diferenciable : GL(n) GL(n) definida por (A) = At A, donde At
indica la matriz transpuesta. Prueba:
a) Relativa a la identificacion estandar TI (GL(n)) = M(n), la aplicacion diferencial dI :
TI (GL(n)) TI (GL(n)) esta dada por dI (B) = B t + B.
b) La aplicacion tiene rango constante n(n + 1)/2.
c) Deduce que el grupo ortogonal O(n) GL(n) es una subvariedad compacta de dimension
n(n 1)/2.
d) Prueba que el subespacio TI (O(n)) M(n) esta formado por las matrices antisimetricas.
E.4.5. Consideremos la funcion f : R3 R definida por
f (x, y, z) = (x2 + y 2 + z 2 + a2 b2 )2 4a2 (x2 + y 2 ),
a>b>0
a) Determina los valores c R para los que f 1 (c) es una superficie regular de R3 .
b) Sea S = f 1 (0) y consideremos el punto p = (a, 0, b) S. Calcula una base del plano
tangente Tp S R3 .
E.4.6. Sea f : R3 R6 la aplicacion definida por
Rn .
73
INMERSIONES Y SUBVARIEDADES
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
74
Karl-Friedrich Gauss (-) nacio en Gotinga el 30 de abril. Sin ayuda de ningun tipo,
Gauss aprendio a calcular antes de hablar. A los tres anos corrigio un error en la paga de los obreros de
su padre, y por s solo estudio y profundizo la aritmetica. A los ocho anos mostro un genio precoz con
ocasion de un problema propuesto por su profesor de la escuela elemental: encontrar la suma de los cien
primeros numeros naturales. Gauss sumo casi instantaneamente los enteros al darse cuenta que eran 50
parejas de numeros que sumaban 101. El profesor tuvo la sabidura de procurarle libros de aritmetica
para que Gauss prosiguiera su aprendizaje.
A los once anos Gauss conocio a Johann Martin Bartels (-), entonces profesor ayudante de la escuela y mas tarde profesor de Lovachevski. Bartels hablo de e l al duque de Brunswick,
quien lo llevo a estudiar a sus expensas al Brunswick Collegium Carolinum. En la academia Gauss
descubrio la ley de Bode, el teorema del binomio y la media aritmetico-geometrica, as como la ley de
reciprocidad cuadratica y el teorema de los numeros primos. En Gauss dejo Brunswick y se marcho a la Universidad de Gotinga. El profesor de Gauss era Abraham Gotthelf Kaestner (-),
a quien Gauss ridiculizaba frecuentemente. Su u nico amigo conocido entre los estudiantes fue Farkas
Bolyai (-), a quien conocio en y con quien mantuvo correspondencia durante muchos
anos.
En marzo de obtiene la construccion del polgono regular de 17 lados por medio de la regla
y el compas, y desde ese da consigna la primera anotacion en su celebre diario matematico en el que
durante dieciocho anos inscribira 146 enunciados matematicos breves de los resultados de sus trabajos.
Este diario no fue encontrado hasta , y su contenido fue publicado por primera vez por Felix Klein
(-) en .
En , Gauss vuelve a Brunswick para continuar all sus trabajos en solitario. Al ano siguiente
obtiene el doctorado por la Universidad de Helmsted bajo la direccion de Johann Friedrich Pfaff
(-). Su tesis de doctorado contiene una demostracion del teorema fundamental del a lgebra,
es decir, que toda ecuacion polinomica p(x) = 0 con coeficientes reales o imaginarios posee al menos
una raz. En , Gauss escribe y publica su gran tratado titulado Disquisitiones aritmeticae, en el que
presenta un resumen de los trabajos aislados de sus predecesores, da soluciones a las cuestiones mas
difciles, formula conceptos y cuestiones que indicaran, al menos durante un siglo, las lneas maestras
de la investigacion en teora de numeros.
En junio de , Zach, un astronomo a quien Gauss haba conocido dos o tres anos antes,
publica las posiciones orbitales de Ceres, un nuevo pequeno planeta que haba sido descubierto por el
observador italiano Giuseppe Piazzi en enero. Desafortunadamente, Piazzi solo pudo observar nueve
grados de su o rbita antes de que desapareciera detras del Sol. Zach publico diversas predicciones de su
posicion, incluyendo una de Gauss que difera bastante del resto. Cuando Ceres fue redescubierto por
Zach en diciembre, estaba exactamente donde Gauss haba predicho. Aunque Gauss no descubrio sus
metodos en esa e poca, utilizo una teora orbital de los planetas fundamentada en la elipse y recurrio a
metodos numericos basados en el metodo de mnimos cuadrados. Esta hazana coincide con el comienzo
de sus investigaciones astronomicas, que absorveran una buena parte de sus energas durante casi veinte
anos.
En Gauss es nombrado profesor de astronoma y director del observatorio de Gotinga, donde permanecio el resto de su vida. Sus trabajos de astronoma le llevaron a publicar su Theoria motus
75
INMERSIONES Y SUBVARIEDADES
corporum coelestium in sectionibus conicis solem ambientium (), en la cual Gauss desarrolla sistematicamente su metodo del calculo orbital. En nace su tercer hijo, que sobrevive corto tiempo,
y de las secuelas de este nacimiento muere su mujer, con la que se haba casado en . Estos dos
acontecimientos sumieron a Gauss en una profunda soledad que nunca fue capaz de superar.
Durante los primeros anos en Gotinga, Gauss realiza estudios y lleva a cabo investigaciones en
diversos frentes, a la vez que redacta numerosas memorias: Disquisitiones generales circa seriem infinitam, un primer estudio riguroso de las series y la introduccion de las funciones hipergeometricas ();
Methodus nova integralium valores per approximationem inveniendi, una contribucion importante a la
aproximacion de las integrales y Bestimmung der Genauigkeit der Beobachtungen, uno de los primeros
analisis de los estimadores estadsticos (); trabajos en astronoma, inspirados por su estudio del
planeta Palas y una memoria notable sobre la determinacion de la atraccion de un planeta a su o rbita,
Theoria attractionis corporum sphaeroidicorum ellipticorum homogeneorum methodus nova tractata.
76
Sus trabajos en geometra diferencial demuestran que el estudio de la geometra de una superficie puede
hacerse concentrandonos esencialmente en la superficie misma. As, las lneas rectas sobre la superficie son las geodesicas y, por consiguiente, la geometra de la superficie es no eucldea.
Durante los primeros anos en Gotinga, Gauss haba estudiado la posibilidad de la existencia de una
geometra no eucldea. Convencido de la ineficacia de las diversas tentativas anteriores para demostrar
el postulado de las paralelas, Gauss acepta cada vez mas la idea de que debe abandonar los caminos
trillados y elaborar una nueva geometra. A partir de desarrolla esta nueva geometra, llamada
sucesivamente antieucldea, geometra astral y, por fin, geometra no eucldea. En escribe un
ensayo sobre las lneas paralelas, y en una carta dirigida a H.K. Schumaker le dice:
Despues de haber meditado durante casi cuarenta anos sin escribir nada, me he tomado la molestia
al menos de poner por escrito algunas de mis ideas, con el fin de que no desaparezcan conmigo.
Este mismo ano, Gauss conoce los trabajos de Janos Bolyai (-), a traves de un libro que le
enva su padre, y en una carta dirigida a e ste, le comunica sus propios trabajos sobre el tema y reivindica
la propiedad de sus descubrimientos:
Si digo que soy incapaz de elogiar este estudio, quizas le extrane. Pero no puede ser de otra manera,
porque ello equivaldra a alabar mis propios trabajos. En efecto, el enfoque preconizado por vuestro hijo y los resultados que ha obtenido coinciden casi enteramente con las ideas que han ocupado
mi espritu desde hace 30 o 35 anos. No tengo la intencion de publicar estas meditaciones durante
mi vida, pero he decidido escribirlas para que puedan conservarse. Es, en consecuencia, una sorpresa agradable para m ahorrarme este trabajo, y me llena de alegra el pensamiento de que es
precisamente el hijo de mi amigo de siempre el que me ha suplantado de forma tan notable. . .
En , Wilhelm Weber llega a Gotinga como profesor de fsica, ocupando el puesto de Tobias
Mayer. Gauss haba conocido a Weber en y apoyo este nombramiento. Gauss haba trabajado
en fsica antes de , publicando Uber ein neues allgemeines Grundgesetz der Mechanik y Principia
generalia theoriae figurae fluidorum in statu aequilibrii which discussed forces of attraction. Estos trabajos estaban basados en la teora del potencial de Gauss, de gran importancia en sus investigaciones en
77
INMERSIONES Y SUBVARIEDADES
fsica. Gauss pensaba que su teora del potencial y su metodo de los mnimos cuadrados proporcionaban
una relacion vital entre la ciencia y la naturaleza.
. . . usualmente se sentaba en una actitud confortable, con la mirada baja, ligeramente inmovil y con
las manos sobre su regazo. Hablaba bastante libremente, con mucha claridad, de forma simple y
llana: pero cuando quera destacar un nuevo punto de vista. . . entonces levantaba su cabeza, se
volva hacia alguien de los que estaban sentados a su lado y lo miraba fijamente, con ojos penetrantes, mientras duraba su alocucion. Si proceda a realizar una explicacion acerca de los principios
de desarrollo de unas formulas matematicas, entonces se levantaba y, con una postura muy erguida,
escriba en una pizarra detras de e l con su particular y esmerada escritura: siempre procuraba
escribir ordenadamente para utilizar el menor espacio.
78
Bibliografa
Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 544557.
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. pp. 434438.
Jean-Paul Collete. Historia de las matematicas, vol. II. Siglo veintiuno de Espana Editores, S.A., 1985.
pp. 286308.
Internet. URL de la pagina:
www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Gauss.html
Bibliografa complementaria
Dictionary of Scientific Biography (New York 1970-1990).
Encyclopaedia Britannica
Libros:
W.K. Buhler Gauss: A Biographical Study (Berlin, 1981).
G.W. Dunnington Carl Friedrich Gauss : Titan of Science (New York, 1955).
T. Hall Carl Friedrich Gauss : A Biography (1970).
G.M. Rassias (ed.) The mathematical heritage of C F Gauss (Singapore, 1991).
H. Reichardt Gauss, en H Wussing y W Arnold, Biographien bedeutender Mathematiker (Berlin, 1983).
H. Reichardt (ed.) C F Gauss Gedenkband anlasslich des 100. Todestages am 23. Februar 1855 (1957).
W.S. von Waltershausen Gauss, a Memorial (Colorado Springs, Colo., 1966).
Artculos:
INMERSIONES Y SUBVARIEDADES
79
C. Agostinelli Some aspects of the life and work of Carl Friedrich Gauss and that of other illustrious
members of the Academy (Italian), Atti Accad. Sci. Torino Cl. Sci. Fis. Mat. Natur. 112 (1978),
suppl., 69-88.
W. Benham The Gauss anagram : an alternative solution, Ann. of Sci. 31 (1974), 449-455.
E. Breitenberger Gauss und Listing: Topologie und Freundschaft, Gauss-Ges. Gottingen Mitt. 30
(1993), 3-56.
E. Breitenberger Gausss geodesy and the axiom of parallels, Arch. Hist. Exact Sci. 31 (3) (1984),
273-289.
D.A. Cox Gauss and the arithmetic - geometric mean, Notices Amer. Math. Soc. 32 (2) (1985), 147151.
D.A. Cox The arithmetic-geometric mean of Gauss, Enseign. Math. (2) 30 (3-4) (1984), 275-330.
H.S.M. Coxeter Gauss as a geometer, Historia Math. 4 (4) (1977), 379-396.
J. Dieudonne Carl Friedrich Gauss : a bicentenary, Southeast Asian Bull. Math. 2 (2) (1978), 61-70.
J. Dutka On Gauss priority in the discovery of the method of least squares, Arch. Hist. Exact Sci. 49
(4) (1996), 355-370.
M. Folkerts C F Gauss Beitrag zur Besetzung von Professuren an der Universitat Gottingen, GaussGes. Gottingen Mitt. 32 (1995), 3-34.
E.G. Forbes The astronomical work of Carl Friedrich Gauss (1777-1855), Historia Math. 5 (2) (1978),
167-181.
E.G. Forbes Gauss and the discovery of Ceres, J. Hist. Astronom. 2 (3) (1971), 195-199.
A.Fryant . V.L.N. Sarma Gauss first proof of the fundamental theorem of algebra, Math. Student 52
(1-4) (1984), 101-105.
G.D. Garland The contributions of Carl Friedrich Gauss to geomagnetism, Historia Math. 6 (1) (1979),
5-29.
H.Grauert Wie Gauss die alte Gottinger Mathematik schuf, Proceedings of the 2nd Gauss Symposium.
Conference A : Mathematics and Theoretical Physics (Berlin, 1995), 1-15.
H-J. Felber Die beiden Ausnahmebestimmungen in der von C F Gauss aufgestellten Osterformel, Sterne
53 (1) (1977), 22-34.
H-J. Treder Gauss und die Gravitationstheorie, Sterne 53 (1) (1977), 9-14.
S.H. Hollingdale C F Gauss (1777-1855) : a bicentennial tribute, Bull. Inst. Math. Appl. 13 (3-4)
(1977), 68-76.
K-R. Biermann Aus der Gauss-Forschung, Gauss-Ges. Gottingen Mitt. 29 (1992), 39-42.
K-R. Biermann Zu den Beziehungen von C F Gauss und A v Humboldt zu A F Mobius, NTM Schr.
Geschichte Naturwiss. Tech. Medizin 12 (1) (1975), 12-15.
K-R. Biermann Zu Dirichlets geplantem Nachruf auf Gauss, NTM Schr. Geschichte Naturwiss. Tech.
Medizin 8 (1) (1971), 9-12.
80
P. Muu rsepp Gauss and Tartu University, Historia Math. 5 (4) (1978), 455-459.
W. Narkiewicz The work of C F Gauss in algebra and number theory, Festakt und Tagung aus Anlass
des 200 : Geburtstages von Carl Friedrich Gauss (Berlin, 1978), 75-82.
J.G. OHara Gauss and the Royal Society : the reception of his ideas on magnetism in Britain (18321842), Notes and Records Roy. Soc. London 38 (1) (1983), 17-78.
R.L. Plackett The influence of Laplace and Gauss in Britain, Bull. Inst. Internat. Statist. 53 (1) (1989),
163-176.
D.E. Rowe Gauss, Dirichlet and the Law of Biquadratic Reciprocity, The Mathematical Intelligencer
10 (1988), 13-26.
O. Sheynin C F Gauss and geodetic observations, Arch. Hist. Exact Sci. 46 (3) (1994), 253-283.
D.A. Sprott Gausss contributions to statistics, Historia Math. 5 (2) (1978), 183-203.
G.W. Stewart Gauss, statistics, and Gaussian elimination, J. Comput. Graph. Statist. 4 (1) (1995),
1-11.
S.M. Stigler The History of Statistics. The Measurement of Uncertainty before 1900 (Cambridge, Mass.London, 1986), 140-.
S.M. Stigler Gauss and the invention of least squares, Ann. Statist. 9 (3) (1981), 465-474.
S.M. Stigler An attack on Gauss, published by Legendre in 1820, Historia Math. 4 (1977), 31-35.
W. Waterhouse Gausss first argument for least squares, Arch. Hist. Exact Sci. 41 (1) (1990), 41-52.
W. Waterhouse Gauss on infinity, Historia Math. 6 (4) (1979), 430-436.
K. Zormbala Gauss and the definition of the plane concept in Euclidean elementary geometry, Historia
Math. 23 (4) (1996), 418-436.
CAPITULO
5
CAMPOS DE VECTORES
1.
C (M ).
El corchete de Lie.
La identidad de Jacobi.
Campos f -relacionados.
Campos tangentes a una subvariedad.
82
Teniendo en cuenta que el conjunto de todos los vectores tangentes a M , el fibrado tangente
T M , puede dotarse de estructura de variedad diferenciable, un campo de vectores X puede interpretarse
como una aplicacion de M en su fibrado tangente tal que si es la proyeccion natural del fibrado en la
variedad, se tiene que X es la identidad sobre M ; esto es, X es una seccion de .
Teniendo en cuenta que estamos interesados en extender el calculo a variedades, parece razonable
exigir que nuestros campos de vectores sean diferenciables.
Definicion 5.2
Un campo de vectores X se dira diferenciable si como aplicacion X : M T M entre la variedad y su
fibrado tangente es diferenciable. El conjunto de todos los campos de vectores diferenciables sobre M
se denotara por X(M ).
Sea X un campo de vectores sobre M . Para cada punto p de M , X(p) Xp es un vector tangente
a M en p y, por consiguiente, es una derivacion local (en el conjunto de las funciones diferenciables en
un entorno de p) de manera que los campos de vectores se pueden considerar como derivaciones sobre
el a lgebra de las funciones diferenciables sobre la variedad:
X : C (M ) C(M )
dada por
X(f ) : M R
p X(f )(p) := Xp (f )
Esta interpretacion permite caracterizar a los campos de vectores diferenciables como aquellos que transforman funciones diferenciables en funciones diferenciables. Es decir,
Proposicion 5.3
Un campo de vectores X es diferenciable si, y solo si, X(f ) es una funcion diferenciable para toda
funcion diferenciable f .
En el conjunto de los campos de vectores diferenciables sobre M podemos definir dos operaciones
naturales, la suma y el producto por funciones diferenciables, del siguiente modo:
Suma: Si X, Y X(M ) entonces X + Y : C (M ) C (M ) esta definida por
(X + Y )(f ) : M R ,
(X + Y )(f )(p) = Xp (f ) + Yp (f )
Con las dos operaciones anteriores, el conjunto X(M ) admite estructura de modulo sobre el anillo
de las funciones diferenciables.
C (M )
Hemos definido un vector tangente a M en un punto p como el vector tangente a una curva
que pasa por p y hemos visto que puede interpretarse como una derivacion sobre C (p). Veamos a
continuacion que es posible caracterizar un campo de vectores de una manera similar.
83
CAMPOS DE VECTORES
Definicion 5.4
Una derivacion sobre C (M ) es una funcion D : C (M ) C (M ) satisfaciendo las siguientes
condiciones:
(1) R -linealidad: D(af + bg) = aD(f ) + bD(g), para a, b R y f, g C (M ).
(2) Regla de Leibnitz: D(f g) = D(f )g + f D(g).
Como una consecuencia de esta definicion, todo campo diferenciable de vectores X es una derivacion sobre C (M ), considerando X como una aplicacion f 7 X(f ). El siguiente resultado nos
proporciona el recproco.
Proposicion 5.5
Toda derivacion sobre C (M ) proviene de un campo de vectores diferenciable.
2.2.
El corchete de Lie
Otra consecuencia interesante de la interpretacion discutida en el parrafo anterior es que nos permite considerar las derivaciones iteradas. Si X e Y son dos campos de vectores diferenciables y f es
una funcion diferenciable, entonces X(Y (f )) e Y (X(f )) son funciones diferenciables. Sin embargo,
este tipo de operaciones no conduce en general a nuevos campos de vectores diferenciables, ya que
envuelven derivadas de orden superior a la primera. No obstante, la diferencia de ambas iteraciones s
conduce a un nuevo campo de vectores.
Proposicion 5.6
Sean X e Y dos campos de vectores diferenciables sobre M . Entonces existe un u nico campo Z
X(M ) tal que
Z(f ) = X(Y (f )) Y (X(f ))
Esta forma de construir nuevos campos a partir de otros ya existentes nos permite definir la operacion corchete:
[, ] : X(M ) X(M ) X(M )
(X, Y )
[X, Y ]
que a cada par de campos le asocia su corchete de Lie, la cual posee interesantes propiedades.
Proposicion 5.7
Sean X, Y, Z X(M ) campos de vectores diferenciables sobre M , a, b R y f, g C (M ) funciones
diferenciables. Entonces:
(1) [X, Y ] = [Y, X] (antisimetra)
(2) [aX + bY, Z] = a[X, Z] + b[Y, Z] (R -linealidad)
(3) [[X, Y ], Z] + [[Y, Z], X] + [[Z, X], Y ] = 0 (identidad de Jacobi)
(4) [f X, gY ] = f g[X, Y ] + f X(g)Y gY (f )X
84
2.3. Campos relacionados
La diferencial de una aplicacion f : M N traslada vectores tangentes a M en vectores tangentes a N . Sin embargo, no hay ninguna forma, en general, de trasladar campos de vectores. Este
problema lo vienen a solucionar, de forma satisfactoria, los campos de vectores relacionados por una
aplicacion diferenciable, siendo una de sus propiedades mas importantes la de conservar el corchete de
Lie de dos campos.
Definicion 5.8
Sea f : M N una aplicacion diferenciable, X
f -relacionados, y se denota por X f Y , si
X(M ), Y
X(N ).
El siguiente resultado nos proporciona un criterio para saber si dos campos estan f -relacionados.
Proposicion 5.9
Dos campos de vectores X X(M ) e Y X(N ) estan f -relacionados si, y solo si, X(g f ) = Y (g)f
para toda funcion g C (N ).
Este criterio permite probar que el corchete de Lie se conserva mediante f -relacion. Mas concretamente, se tiene el siguiente resultado.
Proposicion 5.10
Sean X1 , X2 X(M ) e Y1 , Y2
[X1 , X2 ] f [Y1 , Y2 ].
Yi , i = 1, 2. Entonces
En el caso especial en que f es un difeomorfismo, para cada campo de vectores X sobre M existe
un u nico campo de vectores Y sobre N relacionado con X mediante f . En efecto, dado q N existe
un u nico punto p M tal que f (p) = q. Definimos Yq := dfp (Xp ).
Finalizamos la leccion con los campos de vectores sobre una variedad que son tangentes a una
subvariedad de la misma, los cuales se caracterizan por la existencia de campos de vectores en la subvariedad que estan j-relacionados con ellos, siendo j la inclusion canonica de la subvariedad en la
variedad. Concretamente tenemos el siguiente resultado.
Proposicion 5.11
Sea P una subvariedad de M .
(1) Si X X(M ) es tangente a P entonces su restriccion X|P a P es un campo de vectores diferenciable
sobre P .
(2) Si Y X(M ) es otro campo de vectores tangente a P , entonces [X, Y ]|P = [X|P , Y |P ].
85
CAMPOS DE VECTORES
3.
DE LOS CONOCIMIENTOS
ACTIVIDADES DE APLICACION
+ x2 2
1
x
x
Y = y 1
y2 2
1
y
y
coinciden en la interseccion de sus dominios y, por tanto, juntos definen un campo de vectores
sobre S2 .
A.5.3.
(a) Que condicion geometrica verifican los campos tangentes a la esfera Sn Rn+1 ? Utiliza dicha caracterizacion para construir una base del tangente a S2 en un punto generico
(x, y, z) S2 .
(a) En el toro T R3 se considera el campo vectorial W definido como sigue. Se parametrizan los meridianos de T por la longitud de arco y para cada punto p de T , W (p) es el
vector velocidad del meridiano que pasa por p. Prueba que W es un campo de vectores
diferenciable.
(b) Siguiendo el mismo procedimiento que en el apartado anterior, esta vez sobre la esfera S2 y
utilizando los semimeridianos, construye un campo vectorial W definido en la esfera menos
los dos polos N y S.
(c) Reparametriza todos los semimeridianos de la esfera S2 mediante el mismo parametro t,
1 < t < 1, y define V (p) = (1 t2 )W (p), para p 6= N y p 6= S. En los polos, hacemos
V (N ) = V (S) = 0. Prueba que V es un campo de vectores diferenciable en S2 .
86
A.5.6. Los campos de vectores Xi (i = 1, . . . , r) definidos en un subconjunto U de una variedad diferenciable M de dimension n son linealmente independientes si los vectores Xi (p) son linealmente
independientes en cada punto p de U . Entonces, un conjunto ordenado de n campos de vectores
linealmente independientes X1 , . . . , Xn sobre U se llama una paralelizacion de U . Si M admite
una paralelizacion global, entonces diremos que M es paralelizable. Prueba:
(a) Toda variedad con una carta global es paralelizable. En consecuencia, los espacios eucldeos
son paralelizables.
(b) Las esferas S1 y S3 son paralelizables. La esfera S2 no es paralelizable.
(c) Una variedad producto M M 0 es paralelizable si M y M 0 lo son. Dar un contraejemplo
de que no se verifica el recproco.
A.5.7. Un punto crtico de una funcion f C (M ) es un punto p M tal que dfp = 0. Prueba:
(a) En un punto crtico esta bien definida la funcion
H : Tp M Tp M R ,
H(Xp , Yp ) = Xp (Y f ),
2f
xi xj .
A.5.8. Sean {x, y} las coordenadas naturales de R2 y consideremos los campos de vectores V =
+
x
87
CAMPOS DE VECTORES
x
A.5.9. Sea X un campo de vectores sobre S Extender X a R
y sea
kxk
x
Y ], [X1 , Y ], donde
. Calcular [X,
Y el campo de vectores sobre Rn+1 definido por Y (x) =
kxk
x
X1 (x) = X
.
kxk
n.
n+1
por X(x)
= kxkX
R, se consideran
+ (bx1 + ax2 )
x1
x2
+ (by1 ay2 )
(ay1 by2 )
y1
y2
(ax1 bx2 )
4.
DEL CAPITULO
BIBLIOGRAFIA
5. PREGUNTAS DE EVALUACION
E.5.1. Sean 1 : U1 = Sn \{N } Rn y 2 : U2 = Sn \{S} Rn las cartas estereograficas para
Sn . Sean X1 y X2 dos campos de vectores sobre Rn . Que condicion deben satisfacer X1 y X2
para representar en las cartas 1 y 2 , respectivamente, el mismo campo de vectores X sobre
Sn ?
E.5.2. Sea j : Sn1 Rn la inclusion canonica y consideremos Y X(Sn1 ) un campo de vectores
diferenciable sobre la esfera Sn1 . Existe un campo X X(Rn ) tal que Y j X, es decir, Y
esta j-relacionado con X?
E.5.3. Sea la aplicacion diferenciable f : R S1 dada por f (t) = (cos(2t), sen(2t)) y consideremos el campo de vectores X X(R ) definido por X(t) = tt . Existe un campo de vectores
Y X(S1 ) tal que X esta f -relacionado con Y ?
88
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
89
CAMPOS DE VECTORES
6.
Nicolai Ivanovich Lobachevski (-), fue hijo de un gobernador oficial que murio cuando
Lobachevski solo tena 7 anos. Alumno de Johann Martin Bertels (-), fue amigo y correspondiente de Gauss, y llego a ser profesor de la Universidad de Kazan a la edad de veintiun anos. De
a fue rector de esa universidad, donde permanecio, como profesor y administrador, hasta
el final de sus das, a pesar del hecho de que la escasa apreciacion de su trabajo le entristecio en sus
u ltimos anos. Lobachevski recibio una gran formacion en las ideas geometricas, donde las fronteras y
las direcciones de investigacion eran controvertidas.
Los revolucionarios puntos de vistas de Lobachevski no son fruto de una repentina inspiracion. En
un esbozo de geometra que elaboro en , probablemente para usar en clase, Lobachevski deca en
relacion con el postulado de la paralelas que no se haba descubierto ninguna demostracion rigurosas
de esta verdad. Aparentemente, por esa e poca Lobachevski no exclua la posibilidad de que una prueba
pudiera todava ser descubierta.
En sometio a juicio de sus colegas un primer resumen de su nueva geometra, que e l llamaba
geometra imaginaria, cuyo fundamento reposaba en el rechazo del postulado de las paralelas y en la
hipotesis de que la suma de los a ngulos de un triangulo es menor que dos rectos. Lobachevski establecio
los principios de esta nueva geometra en dos memorias publicadas en la revista cientfica de Kazan y
en una tercera publicacion en el Journal fur Mathematik entre y . Su trabajo de atrajo
poco la atencion cuando aparecio, fundamentalmente porque aparecio en ruso, y los rusos que lo leyeron
fueron muy crticos con e l.
Lobachevski cambio abiertamente la doctrina kantiana de que el espacio es una intuicion subjetiva.
En escriba:
El poco e xito de los intentos realizados desde Euclides me han hecho sospechar que la verdad no
esta contenida solo en los datos, y que para establecerla es necesario la ayuda de experimentos, por
ejemplo, las observaciones astronomicas, como se realiza en otras leyes de la naturaleza.
Deseoso de dar a conocer mejor su geometra y difundirla entre los geometras occidentales, escribio
Geometrie imaginaire (Geometra imaginaria), que aparecio en la revista de Crelle en , y otra obra
90
en aleman, cuyo ttulo es Geometrische Untersuchungen sur Theorie der Parallelinien (Investigaciones
geometricas sobre la teora de las paralelas), publicada en . Gauss comprendio y aprecio la nueva
geometra de Lobachevski pero, una vez mas, no le dio publicamente su aprobacion. Esta
es una de
las razones por las que la nueva geometra se fue conociendo muy lentamente. Lobachevski intento de
nuevo dar a conocer sus investigaciones geometricas publicando una nueva exposicion de su geometra
con el ttulo Pangeometrie, o compendio de geometra fundada en un teora general de las paralelas
(), cuando estaba completamente ciego.
Gauss, Bolyai y Lobachevski se dieron cuenta de que el postulado de las paralelas no poda ser
demostrado a partir de los axiomas de la geometra eucldea, y que era pues logicamente concebible
adoptar una proposicion contradictoria y desarrollar una nueva geometra consecuente y coherente naturalmente a partir de esos axiomas. El contenido tecnico presentado por los coinventores de esta nueva
geometra es practicamente el mismo, y esta perfectamente desarrollado en la memoria de Lobachevski
del ano .
Despues de haber hecho una breve exposicion de sus investigaciones anteriores, Lobachevski
establece una lista de 15 teoremas de geometra cuya comprension juzga esencial antes de abordar la
hipotesis que rechaza el postulado de las paralelas de Euclides. A continuacion afirma que todas las
rectas del plano que salen de un mismo punto pueden dividirse, con respecto a una recta dada BC, del
mismo plano, en dos clases: las rectas que cortan a BC y las que no la cortan. En esta segunda clase
existen dos rectas que constituyen la frontera entre las dos clases, y que se llaman rectas paralelas.
Lobachevski muestra que una recta conserva la caracterstica de paralelismo para todos sus puntos y que
la suma de los tres a ngulos de un triangulo no puede exceder dos rectos.
Lobachevski pasa a continuacion a la geometra esferica, demostrando diversos teoremas relativos
a los triangulos esfericos, a su superficie, e introduce en particular la nocion de lnea frontera como un
crculo de radio infinito.
Lobachevski ha sido denominado el gran emancipador por E.T. Bell, segun el cual el nombre
de Lobachevski debera ser tan familiar a cualquier escolar como lo son Miguel Angel o Napoleon.
Desafortunadamente, Lobachevski no fue muy apreciado en vida, hasta el punto de que en fue
expulsado de la Universidad de Kazan.
No sera hasta la muerte de Gauss en , cuando su correspondencia fue publicada, que la
CAMPOS DE VECTORES
91
Bibliografa
Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 585590.
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. pp. 303.
Jean-Paul Collete. Historia de las matematicas, vol. II. Siglo veintiuno de Espana Editores, S.A., 1985.
pp. 474479.
Internet. URL de la pagina:
www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Lobachevsky.html
Bibliografa complementaria
Dictionary of Scientific Biography (New York 1970-1990).
Books:
R. Bonola Non-Euclidean Geometry (1955).
Artculos:
V.A. Bazhanov The imaginary geometry of N.I. Lobachevskii and the imaginary logic of N.A. Vasiliev
Modern Logic 4 (2) (1994), 148-156.
N.A. Chernikov Introduction of Lobachevskii geometry into the theory of gravitation Soviet J. Particles
and Nuclei 23 (5) (1992), 507-521.
L.E. Evtushik y A.K. Rybnikov The influence of Lobachevskiis ideas on the development of differential
geometry Moscow Univ. Math. Bull. 49 (2) (1994), 1-9.
B.V. Gnedenko N.I. Lobachevskii as an educator and a representative of the Enlightenment Moscow
Univ. Math. Bull. 49 (2) (1994), 10-16.
G.B. Halsted Biography. Lobachevsky Amer. Math. Monthly 2 (1895), 137-137.
B. Mayorga Lobachevskii and non-Euclidean geometry (Espanol) Lect. Mat. 15 (1) (1994), 29-43.
A.P. Norden y A.P. Shirokov The legacy of N.I. Lobachevskii and the activity of Kazan geometer Russian Math. Surveys 48 (2) (1993), 47-74.
V. Perminov The philosophical and methodological thought of N.I. Lobachevsky Philos. Math. (3) 5 (1)
(1997), 3-20.
92
A. Vucinich Nicolai Ivanovich Lobachevskii: The Man Behind the First Non-Euclidean Geometry Isis
53 (1962), 465-481.
CAMPOS DE VECTORES
7.
93
Janos continuo trabajando y en llego a la conclusion que haba llegado Lobachevski unos pocos
anos antes. Cuando anuncio privadamente sus descubrimientos en geometra no eucldea, su padre le
escribio:
Me parece aconsejable, si has obtenido una solucion al problema, que, por dos razones, su publicacion debe ser acelerada: en primer lugar, porque las ideas pasan facilmente de uno a otro, que
las puede publicar; en segundo lugar, porque parece ser que muchas cosas tienen una e poca en la
cual son descubiertas en muchos lugares simultaneamente, igual que las violetas surgen por todas
partes en primavera.
Janos Bolyai publico sus descubrimientos en un apendice de 26 paginas en un libro de su padre, Tentamen (). Su padre envio una copia del libro a su amigo Gauss, indiscutiblemente el matematico mas
famoso de la e poca. Despues del regreso a Hungra de Wolfgang, mantuvo con Gauss una correspondencia ntima, y cuando el propio Wolfgang envio a Gauss su propio intento de probar el postulado de
las paralelas, Gauss le indico delicadamente el fatal error.
Janos tena trece anos cuando ya dominaba el calculo diferencial e integral. Su padre le escribio
a Gauss dandole cuenta de los prodigios de su hijo e intentando que Gauss lo acogiese en su casa como
aprendiz de matematicas. Sin embargo, Gauss nunca le contesto, quizas porque ya tena suficientes
problemas con su propio hijo Eugene, que se haba marchado de casa. Quince anos despues, cuando
Wolfgang le envio el Tentamen, Janos esperaba que Gauss hiciera publico este descubrimiento. Por
tanto, se puede imaginar la decepcion que Janos tuvo que sentir cuando leyo la siguiente carta de Gauss
a su padre:
Si comienzo diciendo que nunca alabare el trabajo, te quedaras sorprendido de momento; pero
no puedo hacer otra cosa. Alabar el trabajo sera alabarme a m mismo, ya que el contenido del
94
Figura 5.6: Retrato de Bolyai que aparece en un sello del Servicio de Correos Hungaro en el centenario
de su muerte.
trabajo, el camino que tu hijo ha seguido, los resultados que ha obtenido, coinciden casi exactamente
con mis propias meditaciones, que han ocupado mi mente en los u ltimos treinta anos. Me encuentro
sorprendido en extremo.
Mi intencion era, en relacion con mi propio trabajo, del cual se ha publicado muy poco, no hacerlo
publico durante mi vida. La mayora no tiene la lucidez para entender nuestras conclusiones y solo
he encontrado unos pocos que han recibido con interes lo que les he contado. Para comprender estas
cosas, uno debe tener una percepcion entusiasta de lo que es necesario, y en este punto la mayora
estan bastante confundidos. Por otra parte, tena intencion de escribir un artculo, de forma que las
ideas no se perdiesen conmigo.
De modo que estoy gratamente sorprendido de no hacer este esfuerzo, y estoy encantado de que sea
el hijo de mi viejo amigo quien me haya suplantado de un modo tan sorprendente.
A pesar de la u ltima frase de Gauss, Janos quedo totalmente decepcionado y desilusionado con la respuesta del gran matematico; incluso imagino que su padre haba informado secretamente a Gauss de sus
resultados y que Gauss trataba ahora de apropiarse de ellos. Como hombre de temperamento fuerte, que
haba participado y vencido en trece duelos consecutivos, Janos cayo en una profunda depresion mental
y nunca mas volvio a publicar sus resultados. En , escribe:
En mi opinion y, como estoy persuadido, en la opinion de los que juzgan sin prejuicios, todas las
razones esgrimidas por Gauss para explicar por que nunca publico nada en su vida sobre este tema
son insuficientes; porque en la ciencia, como en la vida diaria, es necesario clarificar las cosas de
interes general que todava estan ambiguas, as como despertar, acrecentar y promover el sentido
perdido de la verdad. Ay!, para gran detrimento de la humanidad, solo unos pocos tienen aptitudes
para las matematicas; por tal motivo Gauss, para ser coherente, debera haber mantenido una gran
parte de su gran trabajo para s mismo. Es un hecho que, entre los matematicos,e incluso entre
personas celebres, existen, desafortunadamente, mucha gente superficial, pero esto no es una razon
para que un hombre sensible escriba solamente cosas superficiales y mediocres, dejando que la
ciencia entre en un estado letargico. Tal suposicion no es natural, por lo que considero ciertamente
incorrecto que Gauss, en lugar de reconocer honesta y definitivamente el gran trabajo del Apendice
y del Tentamen, y en lugar de expresar su gran alegra e interes y tratar de preparar una apropiada
recepcion para la buena causa, evitando todo esto, e l descansa contento con piadosos deseos y
quejas acerca de la ausencia de una civilizacion adecuada. Ciertamente, no es esta la actitud que
llamamos vida, trabajo y merito.
CAMPOS DE VECTORES
95
Bibliografa
Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 587-588.
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. pp. 303-304.
Jean-Paul Collete. Historia de las matematicas, vol. II. Siglo veintiuno de Espana Editores, S.A., 1985.
pp. 473-474.
Internet. URL de la pagina:
www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Bolyai.html
Bibliografa complementaria
Dictionary of Scientific Biography (New York 1970-1990)
Libros:
S Barna Bolyai Janos (Budapest, 1978).
L Nemeth The two Bolyais The new Hungarian quarterly 1 (1960).
Artculos:
M Bier A Transylvanian lineage The Mathematical Intelligencer (14) (2) (1992), 52-54.
E Kiss Fermats theorem in Janos Bolyais manuscripts Math. Pannon. 6 (2) (1995), 237-242.
O Mayer Janos Bolyais life and workProceedings of the national colloquium on geometry and topology
(Cluj-Napoca, 1982), 12-26.
96
CAPITULO
6
1.
Punto crtico
El flujo de un campo
Campo completo
Curva integral maximal
98
integrales, por un lado, y la busqueda de metodos practicos para su obtencion, por otro, cuestiones que
en realidad tendran una solucion comun. Estos problemas se reducen, localmente, a la resolucion de un
sistema de ecuaciones diferenciales de primer orden.
Sea (U, x) un sistema de coordenadas en M . Supongamos que la representante local de en este
sistema de coordenadas es x (t) = (u1 (t), . . . , un (t)), y que el campo X se expresa localmente como
X=
n
X
fi
i=1
xi
donde fi = X(xi ) C (U ) para todo i. Denotemos por Fi : Rn R a la representante en coordenadas de fi , entonces es una curva integral de X en U si, y solo si,
dui
= Fi (u1 (t), . . . , un (t)),
dt
i = 1, . . . , n
+ x2
.
x1
x2
a, b R ,
TRICOS
CURVAS INTEGRALES Y GRUPOS UNIPARAM E
I@@
rr
6
99
(a, b)
@R@
Observemos que el u nico punto crtico es el origen de coordenadas. Todas las curvas integrales estan
definidas para todo t por lo que el campo X es completo.
Ejemplo 6.5
Sean 1 , 2
identidad por
+ 2 x2
.
x1
x2
a, b R .
Igual que en el ejemplo anterior, el campo X es completo y los puntos crticos son aquellos que satisfacen
las ecuaciones 1 x1 = 2 x2 = 0.
Ejemplo 6.6
Consideremos el campo de vectores definido en terminos de la carta identidad por
X=
1
ex1
, 6= 0.
x1
100
Si consideramos todas las curvas integrales del campo X con punto inicial p, dado que dos cualesquiera de ellas coinciden en la interseccion de sus dominios, podemos definir la curva integral maximal
de X con punto inicial p, cuyo dominio de definicion es el mayor posible. En particular, si el dominio
de todas las curvas integrales maximales de un campo es R , dicho campo es completo. La curva integral
maximal de un campo X que empieza en un punto p es u nica en el siguiente sentido.
Proposicion 6.9
Sea X X(M ), p M y p : Ip M la curva integral maximal de X que empieza en p. Si q = p (s)
entonces Iq = Ip s y q (t) = p (s + t) para t Iq .
El resultado anterior es equivalente a la existencia de un intervalo del origen en R en el cual estan
definidas todas las curvas integrales maximales. Como consecuencia de esta caracterizacion se tiene que
todo campo de vectores con soporte compacto es completo y, en particular, todo campo definido sobre
una variedad compacta es completo. Es decir,
Proposicion 6.10
(1) X X(M ) es completo si, y solo si, existe un entorno I de = en
maximal esta definida en I .
(2) Todo campo X X(M ) sobre una variedad compacta es completo.
Para finalizar esta seccion vamos a dar un resultado sobre como pueden ser las curvas integrales.
Antes introduciremos algunos conceptos.
Definicion 6.11
Sea : R M una curva.
(1) es periodica si existe un numero c > 0 tal que (t) = (t + c) para todo t. Si c es el menor numero
positivo satisfaciendo dicha propiedad, se dice que c es el periodo de .
(2) Si es una curva periodica, de periodo c, e inyectiva en algun intervalo [a, a + c), entonces se dice
que es simplemente periodica.
Proposicion 6.12
Sea X X(M ). Todas las curvas integrales maximales de X son inyectivas, simplemente periodicas o
constantes.
D
M
(t, p) (t, p) := p (t)
TRICOS
CURVAS INTEGRALES Y GRUPOS UNIPARAM E
Consideremos X
tipos de funciones:
101
A partir del flujo se pueden obtener dos
(1) Para cada p M , la aplicacion p : R M definida por p (t) := (t, p) no es mas que la
curva integral maximal de X que sale de p y, por tanto, nos describe la trayectoria del punto p a
lo largo del tiempo t.
(2) Para cada t R , la aplicacion t : M M definida por t (p) := (t, p) nos proporciona la
posicion de cada punto de M en el instante t. Por esta razon, t se denomina el estado t del flujo
, y en ocasiones el conjunto {t }tR } se dira que es el flujo del campo X.
Proposicion 6.13
Si {t } es el flujo de un campo X , entonces:
(1) 0 = 1
(2) s t = s+t , para todo s, t R (es decir, los estados de conmutan).
(3) t es un difeomorfismo con 1
t = t .
Por verificar estas propiedades, {t } se dice que es un grupo uniparametrico de transformaciones (o
difeomorfismos).
Como una aplicacion del flujo de un campo, puede probarse el siguiente resultado.
Proposicion 6.14
Dado un campo de vectores diferenciable X y un punto p de M tal que Xp 6= 0, existe un entorno del
punto y una carta local de la variedad definida en dicho entorno tal que si (x1 , . . . , xn ) son las funciones
coordenadas correspondientes a dicha carta, entonces X = /x1 en los puntos del entorno.
Los grupos uniparametricos de transformaciones nos permiten dar una interpretacion geometrica
del corchete de dos campos de vectores X e Y como la derivada (de Lie) de Y con respecto a X.
Concretamente, dado un punto p de M , si {t } es el grupo local uniparametrico de transformaciones
asociado a X, podemos considerar el valor de Y en t (p), Yt (p) , que sera un vector tangente a M
en t (p), y trasladarlo a Tp M mediante a aplicacion dt . Se obtiene as la aplicacion diferenciable
dt (Yt (p) ) definida en un entorno del origen en R y con valores en Tp M , cuya derivada en el origen
resulta ser [X, Y ]p . En otras palabras,
Proposicion 6.15
Sean X, Y X(M ), p M y el flujo local de X en un entorno de p. Entonces
1
dt (Yt (p) ) Yp
p0 t
[X, Y ]p = lim
DE LOS CONOCIMIENTOS
3. ACTIVIDADES DE APLICACION
A.6.1. Encuentra las curvas integrales de los campos de vectores sobre R2 definidos en terminos de la
carta identidad por:
(a)
1
ex1 x1
102
x1
(c) x1
+ x2
,
x1
x2
(d) x2
(x2 )3
x1
x2
(b) x1
, R
En cada caso encuentra los puntos crticos y determina si el campo de vectores es completo.
A.6.2.
+
x1 x2
no es completo.
(b) Prueba que los campos de vectores definidos sobre R2 en terminos de la carta identidad por
X = x2
x1
Y =
x21
2 x2
: R R2 R2
(t, x, y)
(t + x, y)
+ (x2 + 4x3 )
+ x3
x1
x2
x3
TRICOS
CURVAS INTEGRALES Y GRUPOS UNIPARAM E
103
y
y
z
Y =x
z
z
x
Z=y
x
x
y
X=z
R3
en un
xi
xi
4.
DEL CAPITULO
BIBLIOGRAFIA
104
5. PREGUNTAS DE EVALUACION
+ (x1 + x2 )
x1
x2
(y1 y2 )
+ (y1 y2 )
y1
y2
S2 y halla sus
(t, A)
1 t
0 1
donde el punto indica la multiplicacion de matrices. Encuentra un campo X X(M ) tal que
sea su flujo.
E.6.3. Dar ejemplos de campos de vectores con las siguientes condiciones:
i) sobre S1 con exactamente k puntos crticos; generalizar a Tn .
ii) sobre R2 con exactamente un punto crtico y todas las demas o rbitas cerradas.
iii) sobre R2 con exactamente un punto crtico y todas las demas o rbitas no cerradas.
iv) sobre S2 con exactamente dos puntos crticos.
E.6.4. Sea X X(M ) una campo de vectores diferenciable sobre M con flujo y consideremos una
aplicacion diferenciable f C (M ). Cuanto vale el lmite
1
lim (t (f ) f )?
t0 t
E.6.5. Sea t la carta identidad sobre R y consideremos el campo de vectores X
X(t) = et t . Es X un campo de vectores completo?
TRICOS
CURVAS INTEGRALES Y GRUPOS UNIPARAM E
105
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
106
Puede pensarse que Riemann estaba en el lugar adecuado para estudiar matematicas en Gotinga,
pero en esa e poca la Universidad de Gotinga no ocupaba una posicion destacada en esta materia. Gauss
enseno a Riemann en los cursos elementales, y no hay evidencia que, en esa e poca, Gauss reconociera
en gran genio que haba en Riemann. Sin embargo, Stern si se percato de que tena un gran estudiante y,
posteriormente, describira al Riemann de esta e poca diciendo que
TRICOS
CURVAS INTEGRALES Y GRUPOS UNIPARAM E
107
Riemann se traslado de la Universidad de Gotinga a la de Berln en la primavera de , para estudiar bajo la supervision de J. Steiner (-1863),C.G.J. Jacobi (-1851),P.G.L. Dirichlet (-1859)yF.G. Eisenstein (-1852).Aprendio mucho de Eisenstein, con el que discuta usando variables complejas en la teora de funciones elpticas. Sin embargo, la persona que mas
influira en Riemann durante esta etapa sera Dirichlet. F. Klein (-1925)dice:
Riemann se comprometio con Dirichlet por la fuerte simpata interior por un modo de pensar. Dirichlet amaba hacer las cosas claras en un sustrato intuitivo, con el cual poda realizar analisis
logicos agudos sobre cuestiones fundamentales, evitando los calculos laboriosos siempre que poda.
Sus maneras encantaron a Riemann, que las adopto y desde entonces trabajo segun los metodos de
Dirichlet.
El trabajo de Riemann siempre se baso en un razonamiento intuitivo, muy alejado del rigor necesario
para que las conclusiones obtenidas fueran irrefutables. Sin embargo, las brillantes ideas contenidas en
sus trabajos estan mucho mejor expuestas porque no estan salpicadas de numerosos calculos. Durante
esta e poca en la Universidad de Berln, Riemann trabajo en su teora general de variables complejas, que
forma una parte muy importante de su investigacion matematica.
En volvio a Gotinga, defendiendo su tesis doctoral, bajo la supervision de Gauss, dos anos
mas tarde. Sin embargo, otros matematicos, aparte de Gauss, influiran notablemente en Riemann.
W. Weber haba vuelto de Leipzig para ocupar una plaza de fsica en Gotinga durante la estancia de
Riemann en Berln, y Riemann fue su asistente durante dieciocho meses. A traves de Weber y J.B.
Listing (-), que tambien ocupaba un plaza de fsica en Gotinga desde , Riemann consiguio
una formacion excelente en fsica teorica e importantes ideas en topologa, que influiran notablemente
en sus investigaciones posteriores.
La tesis de Riemann estudiaba la teora de variables complejas y, en particular, los objetos que hoy
conocemos como superficies de Riemann, introduciendo metodos topologicos en la teora de funciones
complejas. El trabajo de Riemann se basa en la teora de funciones complejas previamente desarrollado
por A.L. Cauchy (-), aunque su tesis doctoral puede considerarse un trabajo sorprendentemente original que examina propiedades geometricas de las funciones analticas, las aplicaciones conformes
y la conexion de superficies.
En su tesis doctoral, Riemann utiliza frecuentemente un principio variacional que posteriormente
se denominara Principio de Dirichlet, ya que Riemann lo conocio a partir de unas conferencias que
Dirichlet impartio en Berln. El Principio de Dirichlet, no obstante, ya era conocido por Gauss, G. Green
(3-) y W. Thomson (-). La tesis de Riemann, uno de los trabajos mas originales
contenidos en una tesis doctoral, fue defendida el 16 de diciembre de . En su informe sobre la tesis,
Gauss dira que Riemann posea
Con el apoyo de Gauss, Riemann entro en la Universidad de Gotinga y comenzo a trabajar en su Habilitacion, el grado que le permitira llegar a ser un profesor. Dedico treinta meses para preparar su
disertacion, que estudiaba la representacion de funciones mediante series trigonometricas. Dio la condicion para que una funcion fuese integrable, que hoy conocemos como condicion de integrabilidad de
Riemann. En la segunda parte de su disertacion, Riemann examino el siguiente problema:
108
Si una funcion puede ser representada por una serie de potencias, que puede decirse acerca de su
comportamiento?
Para completar su Habilitacion, Riemann tena que dar una conferencia. Para ello, Riemann preparo tres
conferencias, dos sobre electricidad y una sobre geometra. Gauss tena que elegir una de las tres para
que Riemann se la preparase, y en contra de las expectativas de Riemann, Gauss eligio la conferencia
sobre geometra. La conferencia, titulada Uber die Hypothesen welche der Geometrie zu Grunde liegen
(Sobre las hipotesis que estan en los fundamentos de la geometra, se impartio el 10 de junio de y
se ha convertido en un clasico en la historia de las matematicas.
La conferencia tena dos partes. En la primera parte Riemann planteaba el problema de como
definir un espacio n-dimensional y propona una definicion de lo que hoy en da llamamos variedad de
Riemann. Freudenthal escribe:
Posee las lneas mas cortas, hoy llamadas geodesicas, que recuerdan las lneas rectas ordinarias.
De hecho, en una primera aproximacion en un sistema de coordenadas geodesicas, tal metrica es
llana, de la misma forma que una superficie curva se aproxima por su plano tangente. Los habitantes
de la superficie pueden descubrir la curvatura de su mundo y calcularla, en cualquier punto, como
una consecuencia de las desviaciones observadas en el teorema de Pitagoras.
De hecho el punto principal de esta parte de la conferencia de Riemann fue la definicion del tensor
curvatura de Riemann. La segunda parte de la conferencia plantea cuestiones profundas acerca de la
relacion de la geometra con el mundo en el que vivimos. Se pregunta cual es la dimension del espacio
real y cual es la geometra que describe el verdadero universo. La conferencia era muy avanzada y no
fue apreciada por la mayora de los cientficos de su e poca. Monastyrsky escribe:
Entre la audiencia de Riemann, solamente Gauss fue capaz de apreciar la profundidad de los razonamientos de Riemann. . . . La conferencia supero todas sus expectativas y le sorprendio gratamente.
A su regreso a la facultad, Gauss comento, entre grandes alabanzas, con Wilhelm Weber sobre la
profundidad de los pensamientos que Riemann haba presentado.
Riemann no fue plenamente comprendido hasta sesenta anos despues. Freudenthal escribe:
TRICOS
CURVAS INTEGRALES Y GRUPOS UNIPARAM E
109
Este brillante trabajo permitio que Riemann iniciara su carrera como profesor. Sin embargo, Monastyrsky escribe:
No mucho antes, en septiembre, Riemann leyo un informe Sobre las Leyes de Distribucion de la
Electricidad Estatica en una sesion de la Sociedad de Gotinga de Cientficos y Fsicos. En una
carta a su padre, Riemann comenta, entre otras cosas, que el haber hablado en un encuentro
cientfico fue muy u til para mis conferencias. En octubre comenzo a preparar sus conferencias
sobre ecuaciones diferenciales en derivadas parciales. Las cartas a su amado padre estan llenas
de comentarios acerca de las dificultades que encontro. Aunque solo ocho estudiantes asistieron
a su primera conferencia sobre ecuaciones diferenciales, Riemann se mostro completamente feliz.
Gradualmente Riemann vencio su natural timidez y establecio una buena relacion con su audiencia.
La vacante dejada por Gauss en la Universidad de Gotinga fue ocupada por Dirichlet en .
En esta e poca hubo un intento de crear una plaza para Riemann, pero no prospero. Sin embargo, dos
anos despues fue nombrado profesor y, el mismo ano, , fue publicada otra de sus obras maestras. El
artculo Theory of abelian functions (Teora de funciones abelianas) era el resultado del trabajo realizado
a lo largo de varios anos y estaba contenido en un curso, para tres estudiantes, que desarrollo en .
Uno de los estudiantes asistentes fue Richard Dedekind (-), que hizo posible que el curso
fuera conocido por la comunidad matematica al publicarlo despues de la muerte de Riemann.
El trabajo sobre las funciones elpticas fue una continuacion de su tesis doctoral y desarrollo la
idea de las superficies de Riemann y sus propiedades topologicas. Examino las funciones multivaluadas
como funciones con valores en una superficie de Riemann especial y resolvio problemas generales de
inversion que previamente haban sido resueltos por N.H. Abel (-) y C.G.J. Jacobi () para las integrales elpticas. Sin embargo, Riemann no era el u nico que estaba trabajando en tales
ideas, como Klein senala:
. . . cuando Weierstrass envio un primer estudio de las funciones elpticas generales a la Academia
de Berln en , el artculo de Riemann sobre el mismo tema aparecio en el Journal de Crelle, en
110
el volumen 54. El trabajo contena tantos conceptos nuevos e inesperados, que Weierstrass retiro su
estudio y no volvio a publicar mas sobre el tema.
El Principio de Dirichlet que Riemann haba usado en tesis doctoral, volvio a ser utilizado en su
trabajo de . K. Weierstrass (-), sin embargo, demostro que el Principio de Dirichlet no
era aplicable. Klein escribe:
La mayora de los matematicos se alejaron de Riemann . . . Riemann tena una opinion diferente.
Estaba completamente de acuerdo con las crticas de Weierstrass, que reconoca justas y correctas,
pero anada, como una vez el propio Weierstrass le haba comentado, que usaba el Principio de
Dirichlet solo como una herramienta adecuada, estando confiado en que sus teoremas de existencia
eran correctos.
Antes de la aparicion de su trabajo principal (Teora de funciones abelianas), Riemann era practicamente
un matematico desconocido. Esta circunstancia justifica la necesidad de un examen riguroso de sus
trabajos como base para nuestra presentacion. Nos consideramos obligados a solicitar la atencion
de la Academia para nuestro colega, que recomendamos no como un joven talento, sino como un investigador maduro e independiente en nuestra a rea cientfica, que de forma significativa ha influido
en el progreso de las matematicas.
Como un nuevo miembro de la Academia de Berln, Riemann tena que presentar un informe con sus
investigaciones mas recientes, y Riemann envio en trabajo Sobre el numero de primos menores que una
cierta cantidad, otra obra maestra que influyo decisivamente en la investigacion matematica. Riemann
examinaba la funcion zeta que ya haba sido estudiada por L. Euler, aunque Riemann analizaba una
cuestion diferente, ya que miraba la funcion zeta como una funcion compleja, y no real como haba
hecho Euler. Riemann estableca que la funcion zeta tiene infinitas races no triviales y que todas tenan
parte real igual a 1/2. Esta afirmacion constituye una famosa hipotesis de Riemann que permanece hoy
como una de los mas importantes problemas abiertos en matematicas.
Para finalizar, volvamos a analizar el escepticismo de Weierstrass por el uso que Riemann haca
del Principio de Dirichlet. Weierstrass haba probado que la existencia de una funcion minimizante
no esta garantizada por el Principio de Dirichlet, lo que hizo que la gente dudara de los metodos de
Riemann. Freudenthal escribe:
Todo el material de Riemann utilizado fue rechazado . . . Durante el resto del siglo, los resultados de
Riemann ejercieron una gran influencia: su modo de pensar.
TRICOS
CURVAS INTEGRALES Y GRUPOS UNIPARAM E
111
Weierstrass crea firmemente en los resultados de Riemann, a pesar de los problemas que e l mismo
haba detectado sobre el uso del Principio de Dirichlet. Propuso a su estudiante Hermann Schwarz
(-) la tarea de encontrar otras demostraciones a los teoremas de existencia de Riemann que no
utilizaran el Principio de Dirichlet. Klein, sin embargo, estaba fascinado por los metodos de aproximacion geometrica de Riemann, y en escribio un libro con su version del trabajo de Riemann, escrito
en un estilo que conservaba el espritu de Riemann. Freudenthal escribe:
Es un libro maravilloso, y sera interesante saber como fue recibido. Probablemente, muchos se
ofendieron por su poco rigor: Klein se pareca demasiado a Riemann para poder convencer a
aquellos que no crean es e ste u ltimo.
En , Hilbert arreglo los teoremas de Riemann proporcionando la forma correcta del Principio de
Dirichlet que se necesitaba para que las demostraciones de Riemann fueran correctas. La busqueda de
las pruebas correctas no fue, sin embargo, una perdida de tiempo, ya que muchas importantes ideas
algebraicas fueron descubiertas en este trayecto. Monastyrsky escribe:
Es difcil recordar otro ejemplo en la historia de las matematicas del siglo XIX en que la busqueda
de una demostracion correcta haya conducido a la obtencion de tantos resultados.
Bibliografa
Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 588591, 601, 604
605.
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. pp. 421432.
Jean-Paul Collete. Historia de las matematicas, vol. II. Siglo veintiuno de Espana Editores, S.A., 1985.
pp. 349354.
Internet. URL de la pagina:
www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Riemann.html
Bibliografa complementaria
Dictionary of Scientific Biography (New York 1970-1990).
Libros:
R. Dedekind Biography of Riemann en H Weber y R. Dedekind (eds.), The Collected Works of Riemann
(New York, 1953).
F. Klein Development of mathematics in the 19th century (Brookline, Mass., 1979).
D. Laugwitz Bernhard Riemann 1826-1866 (Basel, 1995).
M. Monastyrsky Rieman, Topology and Physics (Boston-Basel, 1987).
G. Schulz Riemann en H. Wussing y W. Arnold, Biographien bedeutender Mathematiker (Berlin, 1983).
112
Artculos:
H. Grauert Bernhard Riemann and his ideas in philosophy of nature, en Analysis, geometry and groups:
a Riemann legacy volume (Palm Harbor, FL, 1993), 124-132.
Y.K. Hon Georg Friedrich Bernhard Riemann, Bull. Malaysian Math. Soc. 6 (2) (1975), 1-6.
F. Klein Riemann und seine Bedeutung fur die Entwicklung der modernen Mathematik, Ges. Math.
Abh. 3 (1923), 482-497.
E. Portnoy Riemanns contribution to differential geometry, Historia Math. 9 (1) (1982), 1-18.
E. Scholz Riemanns vision of a new approach to geometry, in 1830-1930: a century of geometry (Berlin, 1992), 22-34.
F.G. Tricomi Bernhard Riemann e lItalia, Univ. e Politec. Torino Rend. Sem. Mat. 25 (1965/1966),
57-72.
A. Weil Riemann, Betti and the birth of topology, Arch. Hist. Exact Sci. 20 (2) (1979), 91-96.
J.D. Zund Some comments on Riemanns contributions to differential geometry, Historia Math. 10 (1)
(1983), 84-89.
CAPITULO
7
CAMPOS DE TENSORES
1.
Componentes tensoriales
La contraccion (1,1)
Campo tensorial
Tensor covariante
Tensor contravariante
Operaciones tensoriales
El producto tensorial
El producto exterior
Los tensores sobre una variedad diferenciable son a los tensores sobre un espacio vectorial (las
aplicaciones multilineales) lo que un campo de vectores es a un vector tangente. As pues, comenzamos
la leccion recordando lo que se entiende por un tensor sobre un espacio vectorial, que tiene como casos
particulares y distinguidos a los covectores y las formas bilineales. Tras esta introduccion algebraica, se
definen las uno formas sobre una variedad M .
114
Entre los covectores tangentes existen unos que son especiales, y son aquellos que provienen de
una funcion diferenciable. Si f : M R es una funcion diferenciable y p es un punto de M , podemos
pensar en la aplicacion diferencial dfp como un covector en p, despues de hacer la natural identificacion
entre el espacio tangente Tf (p) R y R . Esta interpretacion nos permite considerar la 1-forma df , que a
cada punto p le asocia la aplicacion diferencial dfp , y que se denomina la diferencial de f . El siguiente
resultado se demuestra con facilidad.
Proposicion 7.3
Sea M una variedad diferenciable y f C (M ) una funcion diferenciable. Entonces df es una 1-forma
diferenciable.
Sea (U, x) un sistema de coordenadas y consideremos una 1-forma diferenciable. Es facil ver
que, en el abierto U , se tiene la siguiente igualdad:
n
X
dxi
xi
i=1
df =
n
X
f
dxi
xi
i=1
CAMPOS DE TENSORES
115
Esta manera de construir 1-formas nos conduce a definir una aplicacion d entre las funciones
diferenciables C (M ) y las 1-formas diferenciables X (M ), denominada la aplicacion diferencial y
que posee interesantes propiedades:
Proposicion 7.4
(1) d : C (M ) X (M ) es R -lineal.
(2) Si f , g C (M ), entonces d(f g) = gdf + f dg .
(3) Si f C (M ) y h C (R ) entonces d(h(f )) = h0 (f )df .
2.2.
Introducimos a continuacion los campos tensoriales de tipo (r, s) sobre una variedad M como
las aplicaciones C (M )-multilineales de X (M )r X(M )s en C (M ). Cuando r = 0 se tienen los
tensores covariantes de orden s y en el caso s = 0 aparecen los tensores contravariantes de orden r. Mas
explcitamente:
Definicion 7.5
(1) Un campo tensorial A de tipo (r, s) sobre una variedad M es una aplicacion C (M )-multilineal
A : X (M )r X(M )s C (M ). Diremos que A Tsr (M ).
(2) Un campo tensorial covariante de orden s sobre una variedad M es una aplicacion C (M )-multilineal
A : X(M )s C (M ).
(3) Un campo tensorial contravariante de orden r sobre una variedad M es una aplicacion C (M )multilineal A : X (M )r C (M ).
Ejemplo 7.6
(1) Sea la aplicacion E : X (M ) X(M ) C (M ) dada por E(, X) = (X). Es facil ver que E
es un tensor de tipo (1,1).
(2) Toda 1-forma puede considerarse un tensor de tipo (0,1).
(3) Todo campo de vectores diferenciable puede interpretarse como un tensor de tipo (1,0), considerando X : X (M ) C (M ) definido por X() = (X).
(4) Sea una 1-forma no nula X (M ) y definamos F : X(M ) X(M ) C (M ) por F (X, Y ) =
X((Y )). Entonces es facil ver que F no es un tensor (falla la C (M )-linealidad en la segunda
variable).
Cuando disponemos de varios tensores los podemos operar de diversas maneras. Las operaciones
disponibles son las siguientes:
Suma: Sean A, B Tsr (M ), entonces A + B : X (M )r X(M )s C (M ) se define como sigue:
(A + B)(1 , . . . , r , X1 , . . . , Xs ) = A(1 , . . . , r , X1 , . . . , Xs ) + B(1 , . . . , r , X1 , . . . , Xs )
Es facil ver que A + B Tsr (M ).
116
X (M )r X(M )s
(f A)(1 , . . . , r , X1 , . . . , Xs ) = f A(1 , . . . , r , X1 , . . . , Xs )
Producto: Mientras que solo se pueden sumar dos tensores del mismo tipo, podemos realizar el pro0
ducto de dos tensores de cualquier tipo. Sean A Tsr (M ) y B Tsr0 (M ). Definimos A B :
0
0
X (M )r+r X(M )s+s C (M ) por
0
r+r
Es facil probar que A B Ts+s
on se denomina producto tensorial.
0 (M ). La operaci
Como toda funcion diferenciable f puede considerarse un tensor de tipo (0,0), entonces si A
Tsr (M ) se tiene que
f A = A f = fA
Finalizamos este apartado con el siguiente resultado, cuya demostracion es un mero ejercicio de
manipulacion algebraica.
Proposicion 7.7
(1) El producto tensorial es C (M )-bilineal.
(2) El producto tensorial es asociativo y no conmutativo.
0
(3) Si f C (M ), A Tsr (M ) y B Tsr0 (M ), entonces se satisface que
f (A B) = (f A) B = A (f B)
117
CAMPOS DE TENSORES
En virtud de este resultado, si A Tsr (M ) podemos definir para cada punto p de M una aplicacion
multilineal Ap Tsr (Tp M ). En efecto, si 1 , . . . , r Tp M y v1 , . . . , vs Tp M , se define la
aplicacion Ap : (Tp M )r (Tp M )s R por la siguiente formula:
Ap (1 , . . . , r , v1 , . . . , vs ) = A(1 , . . . , r , X1 , . . . , Xs )(p)
donde las uno formas i y los campos Xj son extensiones globales de los covectores i y de los vectores
vj , respectivamente. Pero, como podemos construir tales extensiones?
Sea (U, x) un entorno coordenado de M conteniendo al punto p. Si v Tp M , entonces
v=
n
X
i=1
ai
xi p
n
X
i=1
ai
xi
Sea f C (M ) una funcion salto en p con soporte contenido en U . Entonces podemos definir una
extension global X X(M ) del vector v como sigue:
X(q) =
f (q)Xq0 si q U
0
si q 6 sop(f )
118
2.4. Las componentes tensoriales
Hemos visto en la seccion anterior como se expresan localmente los tensores sobre una variedad,
lo cual nos va a permitir generalizar a campos tensoriales las ecuaciones que nos daban las componentes
de un campo de vectores o de una 1-forma en funcion de la bases canonicas asociadas a un sistema de
coordenadas. Surgen, de este modo, las componentes tensoriales, que identifican unvocamente el campo
tensorial del que proceden y permiten dar, al mismo tiempo, la interpretacion clasica de los tensores en
coordenadas.
Definicion 7.11
Sea A Tsr (M ) y (U, x) un sistema de coordenadas en M . Las componentes de A respecto de (U, x)
son las funciones
i1 ir
i1
ir
Aj1 js = A dx , . . . , dx , j1 , . . . , js
x
x
con todos los ndices variando de 1 a n.
A continuacion, y con el fin de relacionar el concepto de tensor con el clasico por coordenadas,
conviene indicar como son operados los tensores en coordenadas, y as se calcularan las componentes
del tensor suma, del tensor producto tensorial y del tensor producto por una funcion diferenciable.
Proposicion 7.12
Sean A y B tensores sobre M y f C (M ). Entonces:
i1 ir
i1 ir
r
(1) (A + B)ij11i
js = Aj1 js + Bj1 js .
i1 ir
r
(2) (f A)ij11i
js = f Aj1 js .
i1 i
ir+1 i
r+r
r
(3) (A B)j1 jr+r 0 = Aij11i
js Bjs+1 j
0
0
s+s
s+s
r
A=
Aij11i
ir dxj1 dxjs
js
i
1
x
x
donde cada ndice va sumado de 1 a n.
119
CAMPOS DE TENSORES
Lema 7.14
Existe una u nica funcion C (M )-lineal C : T11 (M ) C (M ), denominada contraccion (1,1), tal que
C(X ) = (X), para todo X X(M ) y X (M ).
Generalicemos ahora la aplicacion contraccion para tensores arbitrarios. Sea A Tsr (M ) y
r1
consideremos dos ndices 1 6 i 6 r, 1 6 j 6 s. Se define Cji A Ts1
(M ) como sigue:
(Cji A)(1 , . . . , r1 , X1 , . . . , Xs1 ) = C{A(1 , . . . , , . . . , r1 , X1 , . . . , , . . . , Xs1 )}
donde A(1 , . . . , , . . . , r1 , X1 , . . . , , . . . , Xs1 ) es el tensor de tipo (1,1) definido por
(, X) A(1 , . . . , , . . . , r1 , X1 , . . . , X, . . . , Xs1 )
Proposicion 7.15
Sea 1 6 i 6 r, 1 6 j 6 s y A Tsr (M ). Si las componentes de A relativas a un sistema de coordenadas
i
r
son Aij11...i
...js , entonces las componentes de Cj A son
i ...i
i ...m...i
Aj11 ...m...jr1
s1
Si pensamos en un tensor A de tipo (1, 1) como una correspondencia que a cada punto p le asigna
un operador lineal Ap sobre Tp M , entonces la contraccion (1, 1) sobre A es la funcion diferenciable que
a cada punto le asocia la traza del operador Ap .
2.6.
Un hecho basico de los covectores y las uno formas, que se generaliza a cualquier tensor de
orden covariante s > 0, es que cualquier aplicacion lineal entre espacios vectoriales V y W induce
una aplicacion lineal entre los espacios Ts0 (V ) y Ts0 (W ). En exacta analoga, cualquier aplicacion
diferenciable f : M N entre dos variedades diferenciables induce una aplicacion f : Ts0 (N )
Ts0 (M ) que a cada tensor A sobre N le asigna un tensor del mismo orden sobre M , f (A), que se
denomina el pullback de A mediante f .
Definicion 7.16
Sea f : M N una aplicacion diferenciable y A Ts0 (N ), s > 1. Pongamos
(f A)p (v1 , . . . , vs ) = Af (p) (dfp (v1 ), . . . , dfp (vs ))
para todo punto p M , vi Tp M . Entonces f A Ts0 (M ) y se denomina el pullback de A mediante
f.
As pues, fijada una aplicacion diferenciable f , la correspondencia que a cada tensor le asocia su
pullback mediante f permite definir la operacion pullback, la cual posee unas propiedades interesantes,
entre las que podemos destacar las siguientes. En primer lugar, el pullback es R -lineal y se comporta
de manera natural respecto a los productos tensoriales, es decir, f (A B) = f (A) f (B). En
segundo lugar, el pullback conserva la composicion de aplicaciones, ya que si g es otra aplicacion entre
variedades, entonces (g f ) = f g (vease las Actividades de Aplicacion).
120
Para tensores covariantes (o contravariantes) de orden al menos 2, pueden definirse unas subclases
especiales que juegan un papel destacado en el calculo tensorial. Nos estamos refiriendo, como es
natural, a los tensores simetricos y a los tensores antisimetricos o alternados. Un tensor es simetrico si
la trasposicion de cualesquiera dos de sus argumentos deja inalterado su valor, y es antisimetrico si cada
trasposicion de argumentos produce un cambio de signo. Mas precisamente,
Definicion 7.17
Sea A Ts0 (M ) y una permutacion de orden s con signatura , s > 2.
(1) A es simetrico si A(X(1) , . . . , X(s) ) = A(X1 , . . . , Xs ).
(2) A es antisimetrico si A(X(1) , . . . , X(s) ) = A(X1 , . . . , Xs ).
En este sentido, otras de las propiedades fundamentales de la operacion pullback es que aplica tensores simetricos (respectivamente, antisimetricos) en tensores simetricos (respectivamente, antisimetricos).
Una operacion de propiedades similares al pullback es el pushforward de un tensor mediante
una aplicacion f : M N , a la cual hay que exigirle en este caso que sea un difeomorfismo.
Esta operacion traslada tensores sobre M en tensores sobre N del mismo tipo, y permite construir
una operacion f que es un isomorfismo lineal. La operacion pushforward satisface unas propiedades
similares al pullback, ya que es natural respecto al producto tensorial, es decir, f (A B) = f (A)
f (B), y conserva la composicion, pues si g es otro difeomorfismo entonces (f g) = f g (vease las
Actividades de Aplicacion).
V2
(M ).
121
CAMPOS DE TENSORES
y
A(T ) =
T ,
donde recorre el conjunto de las permutaciones de s letras, es la signatura de y T es esencialmente el tensor T cuando se han modificado sus argumentos por la accion de la permutacion:
T (X1 , . . . , Xs ) = T (X(1) , . . . , X(s) )
Los operadores simetrizacion S y antisimetrizacion A poseen interesantes propiedades entre las
que destacan las siguientes. En primer lugar, A y S son proyecciones, esto es, A2 = A y S 2 = S. En
segundo lugar, la imagen de A son las formas diferenciales y la imagen de S los tensores covariantes
simetricos, lo cual nos permite caracterizar a los tensores simetricos como aquellos que ST = s!T , y a
los antisimetricos como los que satisfacen AT = s!T .
122
DE LOS CONOCIMIENTOS
3. ACTIVIDADES DE APLICACION
A.7.1.
X(Rn ) X(Rn )
g(X, Y ) : Rn R
P
p g(X, Y )(p) = ni=1 ai (p)bi (p)
donde X =
X
i
ai
,Y =
bi
.
xi
xi
i
123
CAMPOS DE TENSORES
(ya ) (yb )
( B)
,
=
B
,
xi xj
xi
xj
ya yb
a,b=1
v1 , . . . , vp V.
6i<k6
(. . . , ui , . . . , uk , . . .) = (. . . , uk , . . . , ui , . . .)
(resp. (. . . , ui , . . . , uk , . . .) = (. . . , uk , . . . , ui , . . .)).
(b) es antisimetrica si, y solo si, para todo (u1 , . . . , up ) con ui = uj para algun i 6= j, es
(u1 , . . . , up ) = 0.
(c) Sea p V el espacio de todas las aplicaciones p-lineales antisimetricas. Prueba que p V =
0 para p > dimV . Ademas, si n = dimV , entonces n V es 1-dimensional.
A.7.8. Sean 1 , . . . , n X (M ).
P
(a) Si i = j aij j , i = 1, . . . , n, entonces
1 . . . n = det(aij ) 1 . . . n .
(b) {1 , . . . , n } es una referencia local de X (M ) si, y solo si,
1 . . . n 6= 0
en todo punto de M .
A.7.9. Sea V un espacio vectorial de dimension n. Sean 1 , . . . , r , r 6 n, formas lineales de V
linealmente independientes. Supongamos que existen formas lineales 1 , . . . , r satisfaciendo la
condicion
r
X
i i = 0.
i=1
124
Entonces se cumple que
i =
aij j ,
aij = aji ,
i, j = 1, . . . , r.
A.7.10. Sobre R2 con las coordenadas usuales {x1 , x2 }, sea L(R2 ) la aplicacion lineal con matriz
A=
2 1
1 1
(a) Sea T T20 (R2 ) dado por T = dx1 dx1 + 2dx1 dx2 dx2 dx1 + 3dx2 dx2 . Obten
T .
(b) Sea T T11 (R2 ) definido por T = e1 e2 2e2 e2 . Calcula las componentes de T .
A.7.11. Sea : R3 R2 dado por (x, y, z) = (2x + z, xyz) y T T20 (R2 ) definido por T =
(u + 2v)du du + u2 du dv. Calcula T .
A.7.12. Sea M una variedad diferenciable.
(a) Interpreta A T11 (M ) como una aplicacion diferenciable que asigna a cada punto p M
un operador lineal Ap sobre Tp M .
(b) Prueba que (CA)(p) = traza(Ap ), donde C es el operador Contraccion.
(c) Si A, B T11 (M ), expresa la aplicacion p Ap Bp como un elemento de T11 (M ).
A.7.13.
A.7.14. En R2 , con las coordenadas usuales (x, y), consideramos el tensor T T12 (R2 ) dado por
T = xyx x dy y 2 x y dy + 3x2 yy x dx. Cuanto vale la contraccion
C12 (T )?
A.7.15. Sea : R2 R2 dada por (x, y) = (x + 2y, y) y sea el tensor T T20 (R2 ) dado por
T = 3xdx dy + dy dy. Cuanto valen C21 ( T T ) y C12 ( T T )?
DEL CAPITULO
4. BIBLIOGRAFIA
W. BOOTHBY. An Introduction to Differentiable Manifolds and Riemannian Geometry. Academic
Press, 1986.
R. BRICKELL y R. CLARK . Differentiable Manifolds. Van Nostrand, 1970.
L. CONLON. Differentiable Manifolds. A First Course. Birkhauser, 1993.
W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.
125
CAMPOS DE TENSORES
5.
PREGUNTAS DE EVALUACION
E.7.1. Sean A y B dos campos tensoriales de tipo (1,1) sobre una variedad diferenciable M . Pongamos
S(X, Y ) = [AX, BY ] + [BX, AY ] + AB[X, Y ] + BA[X, Y ]
A[X, BY ] A[BX, Y ] B[X, AY ] B[AX, Y ],
con X, Y X(M ). Entonces la aplicacion S :
tipo (1,2) sobre M y S(X, Y ) = S(Y, X).
E.7.2.
(a) Sea T T20 (R2 ) un tensor no nulo. Encuentra una caracterizacion para que T se pueda
escribir en la forma T = A B, con A, B T10 (R2 ).
0
2
(b) Sea
X A T2 (M ) un tensor simetrico y B T0 (M ) un tensor antisimetrico. Calcula
aij bij .
i,j
(c) Sean A, B T20 (M ) dos tensores simetricos de componentes respectivas aij , bkl , verificando la igualdad:
aij bkl ail bkj + ajk bil akl bij = 0.
Prueba que aij = bij .
E.7.3. Sea : R2 \{(0, y)|y R } R2 \{(x, x)|x
(x3 + y, y) y sea el tensor T de tipo (2, 1) dado por
T =x
dx dy + y
dy dy.
x
y
dx + y
dx +
dy.
x
y
x
Definimos la aplicacion como sigue: : {(x, y)|y > 0} {(x, y)|x > 0, x2 < y} y
(x, y) = (yex , y 2 e2x + y). Prueba que es un difeomorfismo y calcula:
(a) La traza de T .
(b) El push-forward de T , T .
E.7.5. Consideremos el siguiente diagrama conmutativo:
R3
- R3
QQsQ ?
R2
126
dz + y
dx
y
z
A = u du + v dv
T
= x
+y .
y
z
E.7.6. Una variedad diferenciable conexa M n es orientable si existe un atlas orientado para la variedad,
esto es, un atlas tal que el jacobiano de los cambios de cartas es siempre positivo. Prueba:
a) Si una variedad M admite un atlas formado por dos cartas (U1 , 1 ) y (U2 , 2 ) tal que
U1 U2 es conexo entonces M es orientable.
b) Sea M una variedad paracompacta. Entonces M es orientable si, y solo si, existe una nforma sobre M que no se anula en ningun punto.
127
CAMPOS DE TENSORES
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
128
DAVID HILBERT (-)
6. BIOGRAFIA:
David Hilbert (-) asistio a una academia en su pueblo natal de Konisberg. Despues de
la graduacion, Hilbert abandono la academia e ingreso en la Universidad de Konisberg, donde estudio
bajo la direccion de C. Ferdinand Lindemann (-). Obtuvo su doctorado en con una
tesis doctoral titulada Uber invariante Eigenschaften specieller binarer Formen, insbesondere der Kugelfunctionen, que hizo progresar la teora de los invariantes algebraicos. Uno de los amigos de Hilbert
fue Hermann Minkowski (-), que tambien fue estudiante de doctorado en la Universidad de
Konisberg; sus trabajos tuvieron una enorme influencia en el desarrollo posterior de las matematicas.
En A. Hurwitz fue admitido en la Universidad de Konisberg y pronto establecio amistad con
Hilbert, influyendo notablemente en el desarrollo matematico de Hilbert. Hilbert fue miembro directivo
de la Universidad desde hasta , alcanzando las categoras de Profesor Extraordinario en
y de Catedratico en .
129
CAMPOS DE TENSORES
Sin embargo, Hurwitz le hizo saber a Hilbert de este informe de Gordan, y el propio Hilbert le envio una
carta a Klein en terminos muy duros:
. . . No estoy preparado para alterar o eliminar nada, y en relacion con el artculo, y con toda modestia, esta es mi ultima palabra, ya que no se ha producido ninguna objecion definitiva e irrefutable
contra mi razonamiento.
Klein recibio las cartas de Hilbert y Gordan al mismo tiempo, pero mientras Hilbert era un profesor
ayudante, Gordan era el lder mundial reconocido experto en teora de invariantes, y ademas era amigo
ntimo de Klein. Sin embargo, Klein reconocio la importancia del trabajo de Hilbert y le aseguro que su
trabajo aparecera en Annalen sin cambios, como as fue.
Hilbert desarrollo sus metodos en un trabajo posterior, que tambien sometio a Annalen, y Klein,
despues de leer el manuscrito, escribio a Hilbert diciendole:
No tengo ninguna duda que e ste es el trabajo sobre a lgebra general mas importante que ha sido
130
publicado nunca en los Annalen.
131
CAMPOS DE TENSORES
el extrano simbolismo de los trabajos de Pasch y Peano, el de Hilbert puede leerse, en gran parte, por
cualquier alumno inteligente que estudie geometra a nivel medio.
En el Segundo Congreso Internacional de Matematicas celebrado en Pars en Hilbert pronuncio su famosa conferencia, en la que intento, basandose en las principales tendencias de las investigaciones matematicas de fines del siglo XIX, predecir de alguna manera las direcciones futuras de los
progresos matematicos. Para ello propuso veintitres problemas que, a sus ojos, representaban los puntos
de discusion que podran eventualmente hacer progresar las matematicas. Su conferencia estuvo llena
de optimismo por las matematicas del siglo que comenzaba y senta que los problemas abiertos eran un
signo de la vitalidad del a rea:
La gran importancia de los problemas planteados para el progreso de la ciencia matematica en
general . . . es innegable . . . ya que cuando una rama del conocimiento proporciona un excedente de
tales problemas, mantiene su vitalidad . . . cualquier matematico ciertamente comparte la conviccion de que cualquier problema matematico puede ser resuelto . . . omos dentro de nosotros un grito
constante: hay un problema, busquemos la solucion, que puede encontrarse a traves del razonamiento.
Los problemas sugeridos por Hilbert provienen de los diferentes sectores de las matematicas, y se adivina
facilmente la profundidad y complejidad de su contenido. Se incluye la hipotesis del continuo, la buena
ordenacion de los numeros reales, la conjetura de Goldbach, la trascendencia de las potencias de numeros
algebraicos, la hipotesis de Riemann, la extension del principio de Dirichlet y muchos otros. Muchos
de estos problemas han sido resueltos durante estos anos pasados, y cada vez que un nuevo problema es
resuelto supone un momento glorioso para las matematicas.
Hoy da, el nombre de Hilbert es a menudo recordado y asociado a los espacios de Hilbert. Irving
Kaplanski explica el trabajo de Hilbert que condujo a esta situacion:
El trabajo de Hilbert en ecuaciones integrales, alrededor de , condujo directamente a la investigacion en analisis funcional en el siglo XX (la rama de las matematicas en la cual las funciones
son estudiadas colectivamente). Este trabajo establecio asimismo las bases para su trabajo sobre
espacios de dimension infinita, posteriormente denominados espacios de Hilbert, un concepto sumamente u til en analisis matematico y mecanica cuantica. Haciendo uso de sus resultados sobre
132
ecuaciones integrales, Hilbert contribuyo al desarrollo de la fsica matematica mediante sus importantes memorias sobre la teora cinetica de los gases y la teora de radiaciones.
En Hilbert descubrio las ecuaciones correctas del campo en teora de la relatividad general. En este
punto, en los u ltimos anos existe una controversia sobre si fue Hilbert el primero, antes que A. Einstein,
que las describio correctamente.
En y se publicaron dos volumenes de Grundlagen der Mathematik que pretendan conducir a la teora de la demostracion, un metodo para probar la consistencia de las matematicas. El
artculo de Kurt Godel (-) de demostrara que este objetivo era imposible, ya que demostro que en el interior de un sistema siempre existe al menos una proposicion (es decir, un enunciado
verdadero) que no puede ser demostrada basandose u nicamente en los axiomas del sistema.
Hilbert contribuyo a muchas ramas de las matematicas, incluyendo la teora de invariantes, los
cuerpos algebraicos de numeros, el analisis funcional, las ecuaciones integrales, la fsica matematica, y
el calculo de variaciones. Las habilidades matematicas de Hilbert fueron habilmente recogidas por Otto
Blumenthal, su primer estudiante:
En el analisis del talento matematico se debe distinguir entre la habilidad para crear nuevos conceptos que generan nuevos tipos de estructuras de pensamiento y el talento para detectar conexiones
profundas que dan unidad. En el caso de Hilbert, su grandeza radica en un inmenso poder de vision
que penetra en las profundidades del problema. Todos sus trabajos contienen ejemplos de campos
alejados en los cuales fue capaz de encontrar las interrelaciones y conexiones con el problema analizado. A partir de e stos, la sntesis, su obra de arte, era creada. En la medida en que nos referimos
a la creacion de nuevas ideas, pondra a Minkowski en un lugar mas alto, junto a Gauss, Galois y
Riemann. Pero cuando nos quedamos con la perspicacia penetrante, solo unos pocos entre los mas
grandes pueden compararse con Hilbert.
Entre los estudiantes de Hilbert podemos citar a Hermann Weyl (-), el famoso campeon
mundial de ajedrez Lasker, y Ernst Zermelo (-).
Hilbert recibio muchos honores. En la Academia Hungara de Ciencias le concedio una
distincion especial. En Hilbert se retiro y la ciudad de Konisberg lo nombro ciudadano honorario de
133
CAMPOS DE TENSORES
la ciudad. Dio un discurso de agradecimiento que finalizaba con seis palabras famosas que demuestran
su entusiasmo por las matematicas y su dedicacion en vida para la resolucion de problemas matematicos:
Wir mussen wissen, wir werden wissen - Nosotros debemos conocer, nosotros conoceremos.
Bibliografa
Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 654661.
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995.
Jean-Paul Collete. Historia de las matematicas, vol. II. Siglo veintiuno de Espana Editores, S.A., 1985.
pp. 577586.
Internet. URL de la pagina:
www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Hilbert.html
Bibliografa complementaria
Dictionary of Scientific Biography (New York 1970-1990).
Libros:
C. Reid Hilbert (Berlin- Heidelberg- New York, 1970).
C. Reid Hilbert-Courant ( New York, 1986).
Artculos:
P. Bernays David Hilbert, Encyclopedia of Philosophy III (New York, 1967), 496-504.
C. Caratheodory Obituary: David Hilbert, S-B Math.-Nat. Abt. Bayer. Akad. Wiss. 1943 (1943)
350-354.
134
L. Corry Axiomatics and structural algebra in the works of David Hilbert (Spanish), Mathesis 11 (4)
(1995), 291-329.
J. Dieudonne David Hilbert (1862-1943) (Spanish), Rev. Integr. Temas Mat. 2 (1) (1983), 27-33.
D.W. Lewis David Hilbert and the theory of algebraic invariants, Irish Math. Soc. Bull. 33 (1994),
42-54.
B. Machado David Hilbert (Portuguese), Gaz. Mat., Lisboa 4 (14) (1943), 1-2.
B.H. Neumann David Hilbert, Mathematical Spectrum 25 (1992/93), 70-73.
D.E. Rowe Klein, Hilbert, and the Gottingen mathematical tradition, Osiris (2) 5 (1989), 186-213.
D.E. Rowe David Hilbert on Poincare, Klein, and the world of mathematics, The Mathematical Intelligencer 8 (1) (1986), 75-77.
M. Toepell On the origins of David Hilberts Grundlagen der Geometrie, Archive for History of Exact
Science 35 (4) (1986), 329-344.
H. Weyl David Hilbert and his mathematical work, Bull. Amer. Math. Soc. 50 (1944), 612-654.
H. Weyl Hermann Obituary: David Hilbert. 1862-1943, Obituary Notices of Fellows of the Royal
Society of London 4 (1944), 547-553.
H. Weyl David Hilbert and his mathematical work (Portuguese), Bol. Soc. Mat. Sao Paulo 1 (1946),
76-104.
H. Weyl David Hilbert and his mathematical work (Portuguese), Bol. Soc. Mat. Sao Paulo 2 (1947),
37-60.
CAPITULO
8
DERIVACIONES TENSORIALES
1.
Construccion de derivaciones
La diferencial exterior
La derivada de Lie
El producto interior
r, s > 0
136
Las derivaciones tensoriales no son, en general, C (M )-lineales. Por este motivo, el valor del
tensor DA en un punto p de M no puede obtenerse solo a partir de Ap , esto es, del valor de A en p. Sin
embargo, (DA)(p) depende de los valores de A en un entorno arbitrariamente pequeno de p, lo cual nos
recuerda la conocida propiedad relativa a la diferencial de funciones diferenciables. El caracter local
de las derivaciones puede expresarse diciendo que la derivacion tensorial conmuta con la restriccion a
abiertos de la variedad.
Proposicion 8.2
Si D es una derivacion tensorial sobre M y U M es un abierto, entonces existe una u nica derivacion
tensorial DU sobre U tal que
DU (A|U ) = (DA)|U
s
X
A(1 , . . . , r , X1 , . . . , DXj , . . . , Xs )
j=1
Como un caso particular de la proposicion que acabamos de enunciar, si es una uno-forma sobre
M podemos deducir la siguiente expresion para su derivada tensorial:
(D)(X) = D(X) (DX)
Por tanto, basta conocer como actua D sobre las funciones y los campos de vectores. En otras palabras,
Corolario 8.4
Si dos derivaciones tensoriales D1 y D2 sobre M coinciden sobre las funciones diferenciables y sobre
los campos de vectores entonces D1 = D2 .
Una consecuencia destacable de este resultado es que nos da la pista para construir derivaciones
tensoriales:
Teorema 8.5
Sea un campo de vectores V y una funcion : X(M ) X(M ) R-lineal, satisfaciendo
(f X) = V (f )X + f (X).
Entonces existe una u nica derivacion que coincide con V actuando sobre las funciones diferenciables y
con actuando sobre los campos de vectores.
137
DERIVACIONES TENSORIALES
2.2.
La derivada de Lie
Como una de las aplicaciones mas importantes del resultado anterior podemos citar la construccion de la derivada de Lie.
Proposicion 8.6
Sea V un campo de vectores diferenciable y consideremos la aplicacion diferenciable : X(M )
X(M ) dada por (X) = [V, X]. Entonces existe una u nica derivacion tensorial LV sobre M tal que
LV (f ) = V (f ) sobre las funciones diferenciables y LV (X) = [V, X] sobre los campos de vectores.
LV se denomina la derivada de Lie respecto de V .
Denotando por D(M ) el conjunto de todas las derivaciones tensoriales sobre M podemos, pues,
construir un operador L definido sobre X(M ) y con valores en D(M ), que a cada campo V le asigna la
derivada de Lie respecto de V , y que se denomina la derivada de Lie:
L:
X(M )
V
D(M )
LV
Proposicion 8.8
Dada una derivacion arbitraria D, existe un u nico campo de vectores V y un u nico tensor B de tipo (1,1)
tal que la derivacion se descompone como LV + DB .
2.3.
Si en lugar de considerar los tensores arbitrarios de tipo (r, s) nos centramos en las formas diferenciales, entonces podemos definir dos tipos de operadores con propiedades muy especiales.
Definicion 8.9 V
V
Un operador T : (M ) (M ) se dice que es una derivacion de grado 2k, k
siguientesV
tres propiedades:
V
(1) T p+2k (M ) para toda p (M );
Z, si satisface las
138
(2) T es R-lineal;
(3) T ( ) = (T ) + (T ).
De manera totalmente analoga,
Definicion 8.10
Un operador T es una antiderivacion de grado 2k + 1, k Z, si satisface:
V
V
(1) T p+2k+1 (M ) para toda p (M );
(2) T es R-lineal;
(3) T ( ) = (T ) + (1)p (T ), siendo p el grado de .
La relacion entre derivaciones y antiderivaciones queda reflejada de manera clara en el siguiente
resultado:
Proposicion 8.11
(1) Si D1 y D2 son derivaciones entonces [D1 , D2 ] es una derivacion de grado igual a la suma de los
grados de D1 y D2 ;
(2) Si D es una derivacion y A es una antiderivacion, entonces [D, A] es una antiderivacion;
(3) Si A1 y A2 son dos antiderivaciones, entonces A1 A2 +A2 A1 es una derivacion. Como consecuencia,
si A es una antiderivacion, entonces A2 es una derivacion.
V
V
Sea T un operador sobre (M ), entonces TU es un operador
V sobre (U ), siendo U un abierto de
M . Se dice que T es local si (T )|U = TU (|U ), para toda (M ). Entonces demostramos que las
derivaciones y antiderivaciones son locales, es decir:
Proposicion 8.12
V
Si D es una derivacion (antiderivacion)
Vsobre (M ) y U M es un abierto, entonces existe una u nica
derivacion (antiderivacion) DU sobre (U ) tal que
DU (|U ) = (D)|U
139
DERIVACIONES TENSORIALES
Proposicion 8.14
V
V
Sea X X(M ) un campo de vectores diferenciable. La aplicacion iX : (M ) (M ) dada por
(iX )(X1 , . . . , Xr1 ) = (X, X1 , . . . , Xr1 )
3.
DE LOS CONOCIMIENTOS
ACTIVIDADES DE APLICACION
A.8.1. Sea p (M ), p > 0. Para todo X1 , . . . , Xp+1 campos de vectores, definimos para p > 0:
(d)(X1 , . . . , Xp+1 ) =
p+1
X
i , . . . , Xp+1 ))
(1)i+1 Xi ((X1 , . . . , X
i=1
i, . . . , X
j , . . . , Xp+1 ),
(1)i+j ([Xi , Xj ], X1 , . . . , X
i<j
y para p = 0:
(d)(X) = X().
Prueba que d p+1 (M ). d es la diferencial exterior de , y la aplicacion d : (M )
(M ) es la diferencial exterior.
A.8.2. Prueba las siguientes propiedades de la diferencial exterior, utilizando la definicion dada en el
ejercicio anterior:
(a) Si , p (M ) entonces d( + ) = d + d.
(b) d2 = 0.
(c) Para formas diferenciales p (M ), q (M ) se satisface
d( ) = (d) + (1)p (d).
A.8.3. Sea M una variedad diferenciable, p M y U M un entorno de p. Sea { 1 , . . . , n } una base
de 1-formas. Supongamos que en U existe un conjunto de 1-formas diferenciales ij satisfaciendo
las condiciones siguientes:
ij = ji ,
d j =
n
X
k=1
kj k .
140
LX = iX d + diX
LX d = dLX = diX d
LX iX = iX LX
LX iY iY LX = i[X,Y ]
DEL CAPITULO
4. BIBLIOGRAFIA
W. BOOTHBY. An Introduction to Differentiable Manifolds and Riemannian Geometry. Academic
Press, 1986.
R. BRICKELL y R. CLARK . Differentiable Manifolds. Van Nostrand, 1970.
L. CONLON. Differentiable Manifolds. A First Course. Birkhauser, 1993.
W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.
5. PREGUNTAS DE EVALUACION
E.8.1.
dx dy + y
dy dy
y
y
+x
x
y
= x
X =
(b) Calcula LX T , donde
dx + y
dx +
dy
x
y
x
+ x2
X = y
x
y
T
= xy
141
DERIVACIONES TENSORIALES
E.8.2. Sea : R2 \{(0, y)|y R } R2 \{(x, x)|x R } definida por (x, y) = (x3 + y, y) y sea
T =x
dx dy + y
dy dy.
x
y
+x ?
x
y
E.8.3. Para todo campo de vectores X X(M ) y todo tensor covariante A Ts0 (M ) se verifica
LX A = lim
t0
1
( (A) A) ,
t t
142
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
143
DERIVACIONES TENSORIALES
6.
Elie Joseph Cartan (-) nacio en Dolomieu (cerca de Chambery), en la Saboya francesa,
y murio en Pars, Francia. Trabajo en grupos continuos, a lgebras de Lie, ecuaciones diferenciales y
geometra, proporcionando sus trabajos una sntesis de estas a reas.
Cartan ingreso en la Escuela Normal en y obtuvo su doctorado en . Fue profesor en las
universidades de Montpellier (-), Lyon (-), Nancy (-) y Pars (-).
Tuvo cuatro hijos, uno de ellos Henri Cartan (), que se convertira tambien en un brillante matematico.
Por contra, otros hijos murieron en tragicas circunstancias; Jean, compositor, murio a la edad de 25 anos,
mientras que Louis, fsico, fue arrestado por los alemanes en y ejecutado despues de 15 meses en
cautividad.
Cartan se sumo brillantemente a la teora de grupos continuos que haba sido iniciada por Marius
Sophus Lie (-). Su tesis doctoral () puede considerarse una contribucion de importancia
capital a las a lgebras de Lie, y en ella completa la clasificacion de las a lgebras semisimples que Killing
haba practicamente encontrado. Posteriormente se volco en la teora de las a lgebras asociativas e investigo la estructura de estas a lgebras sobre los cuerpos de los numeros reales y complejos. Wedderburn
completara el trabajo de Cartan en este a rea.
Las representaciones de los grupos de Lie semisimples tambien atrajeron su atencion. Su trabajo
es una sntesis asombrosa de teora de Lie, geometra clasica, geometra diferencial y topologa, que se
encuentra a lo largo de toda la obra de Cartan. Asimismo, Cartan aplico el a lgebra de Grassmann a la
teora de las formas diferenciales exteriores.
Hacia , Cartan se vuelca en el estudio de las ecuaciones diferenciales, y desde su investigacion esta centrada en la geometra diferencial, a rea en la que publica la mayora de sus trabajos. El
Programa de Erlangen de Felix Klein (-) haba sido considerado inadecuado para describir la
geometra por Hermann Weyl (-) y Oswald Veblen (-), y en este apartado Cartan
jugara un papel destacado. Examino las acciones de los grupos de Lie de transformaciones sobre un
espacio, desarrollando la teora de las referencias moviles, que generalizaban la teora cinematica de
Jean G. Darboux (-).
144
Cartan contribuyo a la geometra con su teora de los espacios simetricos, que tiene su origen en
los artculos publicados en , donde desarrolla las ideas estudiadas anteriormente por William K.
Clifford (-) y Arthur Cayley (-), y usa los metodos topologicos desarrollados por
Weyl en . Estos trabajos seran completados en .
Cartan examino despues varios problemas que previamente haban sido estudiados por Henri
Poincare (-). Por esta e poca, su hijo Henri Cartan realizaba contribuciones importantes a
las matematicas, y Elie Cartan utilizo muchos de sus teoremas en sus investigaciones. Cartan tambien
publico varios trabajos sobre la teora de la relatividad y de los espinores. Sin duda alguna, Cartan puede
considerarse como uno de los matematicos mas importantes e influyentes de la primera mitad del siglo
XX .
Bibliografa
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995.
Internet. URL de la pagina:
www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Cartan.html
Bibliografa complementaria
Dictionary of Scientific Biography (New York 1970-1990).
Libros:
M.A. Akivis y B. Rosenfeld Elie Cartan (1869-1951) (Providence R.I., 1993).
S.S. Chern y C. Chevalley Elie Cartan, Bull. Amer. Math. Soc. 58 (1952).
R. Debever (ed.) Elie Cartan-Albert Einstein : letters on absolute parallelism, 1929-1932 (Princeton,
1979).
J.H.C. Whitehead Elie Cartan, Obituary Notices of Fellows of the Royal Society of London 8 (1952).
Artculos:
J. Dieudonne Les travaux de Elie Cartan sur les groupes et alg`ebres de Lie, Elie Cartan, 1869-1951
(homenaje de lAcad. Republique Socialiste de Roumanie con ocasion del centenario de su nacimiento) (Bucharest, 1975), 29-31.
W.V.D. Hodge Obituary: Elie Cartan , J. London Math. Soc. 28 (1953), 115-119.
M. Javillier Notice necrologique sur Elie Cartan (1869-1951), C. R. Acad. Sci. Paris 232 (1951),
1735-1791.
A. Lichnerowicz Elie Cartan, 1869-1951 (homenaje de lAcad. Republique Socialiste de Roumanie
con ocasion del centenario de su nacimiento) (Bucharest, 1975), 29-31. (Bucharest, 1975), 21-28.
S-S. Chern y C. Chevalley Obituary: Elie Cartan and his mathematical work, Bull. Amer. Math. Soc.
58 (1952), 217-250.
DERIVACIONES TENSORIALES
7.
145
20
Figura 8.2: Imagen de T. Levi-Civita en los anos
Sin embargo, Levi-Civita es mas conocido por sus trabajos en el calculo diferencial absoluto con
sus aplicaciones a la teora de la relatividad. En publico un famoso artculo en el que desarrollaba
el calculo de tensores, siguiendo el trabajo de E.B. Christoffel (-), incluyendo la diferenciacion covariante. En publico, conjuntamente con Ricci, la teora de tensores Methodes de calcul
differential absolu et leures applications (Metodos de calculo diferencial absoluto y sus aplicaciones),
que quince anos despues sera utilizada habilmente por A. Einstein.
Hermann Weyl (-) profundizo en las ideas de Levi-Civita y construyo una teora unificada de la gravitacion y el electromagnetismo. El trabajo de Levi-Civita es, sin duda alguna, de una
importancia capital en la teora de la relatividad, y entre su produccion cientfica merecen ser destacados
los artculos sobre los campos gravitacionales estaticos, los cuales desarrolla de una forma elegante e
ingeniosa.
Otro de los topicos estudiados por Levi-Civita es la dinamica analtica, dedicando numerosos
146
artculos al estudio del problema de los tres cuerpos. Tambien escribio sobre hidrodinamica y sobre la
teora de sistemas de ecuaciones en derivadas parciales. Se sumo a la teora de A.L. Cauchy (-1857)
y S. Kovalevskaya (-), escribiendo un excelente libro sobre este tema en . Posteriormente, en , Levi-Civita contribuyo de forma importante a la ecuaciones de P.A.M. Dirac (-)
que aparecen en la teora cuantica.
30
Figura 8.3: Imagen de T. Levi-Civita en los anos
Bibliografa
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995.
Internet. URL de la pagina:
www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Levi-Civita.html
Bibliografa complementaria
Dictionary of Scientific Biography (New York 1970-1990).
Artculos:
C. Agostinelli Nel centenario della nascita di Tullio Levi-Civita, Atti Accad. Sci. Torino Cl. Sci. Fis.
Mat. Natur. 108 (1974), 13-37.
U. Amaldi Commemorazione del socio Tullio Levi-Civita, Atti Accad. Naz. Lincei. Rend. Cl. Sci. Fis.
Mat. Nat. (8) 1 (1946), 1130-1155.
DERIVACIONES TENSORIALES
147
148
CAPITULO
9
CONEXIONES AFINES
1.
Conexion afn
Campos paralelos
Conexion simetrica
La diferencial covariante
150
2.1. Definiciones y resultados basicos
Definicion 9.1
Una conexion afn sobre una variedad diferenciable M es una aplicacion : X(M ) X(M ) X(M ),
denotada por (X, Y ) = X Y , verificando las dos propiedades siguientes:
(1) f X+gY Z = f X Z + gY Z;
(2) X (f Y + gZ) = X(f )Y + f X Y + X(g)Z + gX Z, para todo tro de campos X, Y , Z X(M )
y todo par de funciones diferenciables f y g.
El proposito de introducir este concepto es el de desarrollar una teora satisfactoria de diferenciacion en variedades, teniendo propiedades similares a las que se satisfacen en Rn . El termino conexion
no tiene un significado especial y hay que interpretarlo justamente como un operador, en un sentido
similar a la derivada direccional.
Ademas de la interpretacion global de la conexion que hemos presentado, resulta de particular
interes la expresion local de la conexion, ya que asociada a ella aparecen los coeficientes de la conexion
o smbolos de Christoffel. Antes de obtener la expresion local debemos observar que se satisface el
siguiente resultado.
Proposicion 9.2
Sea una conexion afn sobre una variedad M y sea U un entorno abierto en M .
(1) Si X1 = X2 en U entonces X1 Y = X2 Y en U .
(2) Si Y1 = Y2 en U entonces X Y1 = X Y2 en U .
Obtengamos ahora la expresion local de la conexion. Sea (U, x) un sistema de coordenadas, y
supongamos que los campos X e Y se expresan localmente como
X=
n
X
i=1
Escribamos
i j =
ai
xi
n
X
k=1
kij
Y =
n
X
i=1
,
xk
bi
xi
kij C (U )
n
X
k=1
X(bk ) +
X
i,j
ai bj kij
xk
Las funciones {kij } se denominan los coeficientes de la conexion o smbolos de Christoffel asociados a
la carta x.
Esta vision permite deducir que el valor de X Y en un punto p solo depende de Xp , de Yp y de las
derivadas de las funciones componentes de Y en la direccion de Xp . Por tanto, es posible construir una
aplicacion lineal v , para cada vector tangente v en p, v : X(p) Tp M , satisfaciendo la condicion
v (f Y ) = v(f )Yp + f (p)v Y para toda funcion f diferenciable en un entorno de p. De este modo
definimos una funcion lineal (p) , denominada conexion afn en p, que a cada vector v tangente a M
en p le asocia la aplicacion v . As pues, a partir de una conexion afn sobre M podemos construir
conexiones afines (p) en cada punto p de la variedad. Una especie de recproco se presenta en el
siguiente resultado.
151
CONEXIONES AFINES
Proposicion 9.3
Sea una correspondencia que asocia a cada punto p de la variedad una conexion afn (p) en p.
Entonces define una conexion afn sobre M si, y solamente si, para todo par de campos de vectores
diferenciables X e Y , la funcion p (p)Xp Y es un campo de vectores diferenciable.
Ejemplo 9.4
En cualquier carta (U, x) de una variedad diferenciable M puede definirse una conexion de la siguiente
P
, entonces
manera. Si x = (x1 , . . . , xn ) e Y = i bi x
i
X Y =
n
X
i=1
X(bi )
xi
se denomina la conexion afn canonica asociada a la carta (U, x). Como consecuencia, toda variedad
diferenciable con una carta global admite una conexion.
Utilizando la caracterizacion de la Proposicion 9.3 se prueba el siguiente resultado.
Proposicion 9.5
Toda variedad diferenciable Hausdorff con una base numerable admite una conexion afn.
2.2.
Dada una conexion afn sobre una variedad diferenciable, existen dos tensores asociados de gran
importancia, aunque su verdadera potencia aparece cuando se estudian sobre variedades riemannianas.
Proposicion 9.6
Sea una conexion afn sobre una variedad diferenciable M y definamos T : X(M ) X(M ) X(M )
por T (X, Y ) = [X, Y ] X Y + Y X . Entonces T es un tensor de tipo (1,2) sobre M denominado
tensor torsion de .
Algunos autores consideran a T como el tensor torsion. Si denotamos por Tij a los campos de
vectores
Tij = T (i , j ), i =
xi
entonces es facil probar que
n
X
Tij =
(kji kij )
xk
k=1
152
Mientras que el corchete de Lie de dos campos [X, Y ] mide la diferencia en el intercambio en el
orden de diferenciacion para las funciones, no ocurre lo mismo para los campos. No es difcil probar que,
en general, X (Y Z) Y (X Z) 6= 0; por tanto, dicha diferencia determina un campo de vectores
sobre M que puede ser pensado como el analogo a [X, Y ]. Surge de este modo un nuevo tensor.
Proposicion 9.9
Sea una conexion afn sobre una variedad diferenciable M y definamos R : X(M )X(M )X(M )
X(M ) por R(X, Y )Z = [X,Y ] Z X (Y Z) + Y (X Z). Entonces R es un tensor de tipo (1,3)
sobre M denominado tensor curvatura de .
Debido a que en el espacio eucldeo Rn se tiene R = 0, podemos interpretar el tensor curvatura
como una forma de medir cuanto se desva M de ser eucldeo.
153
CONEXIONES AFINES
Proposicion 9.12
Sea M una variedad diferenciable con una conexion afn. Sea c : I M una curva diferenciable en M
y v un vector tangente a M en c(t0 ). Entonces existe un u nico campo de vectores paralelo V a lo largo
de c tal que V (t0 ) = v . El campo V se denomina transporte paralelo de v a lo largo de c.
La existencia y unicidad de campos de vectores paralelos permite construir la siguiente aplicacion.
Sea c : I M una curva en M y t0 M . Para cada t1 I podemos construir la aplicacion
P = Ptt01 (c) : Tp M Tq M,
p = c(t0 ),
q = c(t1 ),
que enva cada v Tp M al vector V (t1 ) Tq M . Esta aplicacion se denomina transporte paralelo a lo
largo de c desde p hasta q. Es facil probar el siguiente resultado.
Proposicion 9.13
El transporte paralelo a lo largo de c desde p hasta q es un isomorfismo lineal.
2.4.
La diferencial covariante
Para definir una derivacion en los campos tensoriales basta definirla en las funciones y en los
campos diferenciables. Esto nos conduce al siguiente resultado.
Proposicion 9.14
Sea M una variedad diferenciable con una conexion afn y consideremos un campo de vectores V
X(M ). Entonces existe una u nica derivacion tensorial V tal que V (f ) = V (f ) y V (W ) = V W .
V se denomina la diferencial covariante respecto de V .
Sea un tensor A Tsr (M ). Entonces la aplicacion V V A es C (M )-lineal, lo cual justifica
la siguiente definicion.
Definicion 9.15
r (M ) dado por
La diferencial covariante de un tensor A Tsr (M ) es el tensor A Ts+1
(A)(1 , . . . , r , X1 , . . . , Xs , V ) := (V A)(1 , . . . , r , X1 , . . . , Xs )
El tensor A se dice que es paralelo si A = 0.
3.
DE LOS CONOCIMIENTOS
ACTIVIDADES DE APLICACION
A.9.1. Sea M una variedad diferenciable con una conexion lineal . Consideremos X, Y (M ) y
supongamos que X = 0 o Y = 0 en un abierto U de M . Entonces se verifica que X Y = 0
sobre U .
A.9.2.
(a) Sea + una conexion con torsion no nula T sobre una variedad M . Prueba que definida
por
+
X Y = X Y + T (X, Y )
es una nueva conexion con torsion T .
154
(b) Sea + una conexion con torsion no nula T sobre una variedad M y la conexion asociada que nos da el apartado anterior. Prueba que
1
X Y = (+
Y +
XY )
2 X
define una conexion que es simetrica.
(c) Si ijk son los coeficientes de una conexion lineal dada sobre M , prueba que la conexion
simetrica asociada tiene coeficientes
1 i
( + ikj ).
2 jk
A.9.3. Sea M una variedad diferenciable y una conexion. Prueba que las dos condiciones siguientes
son equivalentes:
(a) tiene torsion cero.
(b) d(X, Y ) =V{(X )Y (Y )X}, para todo par de campos X, Y
1-forma 1 (M ).
X(M ) y toda
X(M ),
X()
155
CONEXIONES AFINES
(b) Deduce que existe un campo Z tal que es localmente una curva integral de Z.
A.9.10. Sea M una variedad diferenciable con una conexion D simetrica y s : M una superficie
parametrizada. Entonces:
D s
D s
=
v u
u v
DEL CAPITULO
4. BIBLIOGRAFIA
W. BOOTHBY. An Introduction to Differentiable Manifolds and Riemannian Geometry. Academic
Press, 1986.
R. BRICKELL y R. CLARK . Differentiable Manifolds. Van Nostrand, 1970.
L. CONLON. Differentiable Manifolds. A First Course. Birkhauser, 1993.
W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.
5. PREGUNTAS DE EVALUACION
E.9.1. Sean M y M 0 dos variedades diferenciables con conexiones y 0 , respectivamente, y :
M M 0 un difeomorfismo. Prueba que dados M, M 0 , y , existe una u nica conexion 0
sobre M 0 tal que es una transformacion afn. Que relacion hay entre los smbolos de Christoffel
de M y M 0 asociados a sistemas de coordenadas relacionados mediante ?
E.9.2. Sea una conexion sobre
canonica de X(R2 )):
Rn .
Sea p
dF
v X =
dt t=0
Rn y v
donde F : R Rn esta definida por F (t) = X(p + tv). Prueba que el operador as definido
es una conexion y que coincide con D.
156
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
CONEXIONES AFINES
6.
157
El reconocimiento de Eisenhart por Darboux era notorio y en un artculo publicado en la revista Bull.
Amer. Math. Soc. al ano siguiente a la muerte de Darboux, Eisenhart escribe:
Darboux fue un ferreo defensor del uso de los elementos imaginarios en geometra. Crea que su uso
en geometra era tan necesario como lo es en analisis. Estaba impresionado por el e xito que haban
tenido en la solucion del problema de las superficies minimales. . . . Darboux reconoce a E. Combescure como el primero en aplicar consideraciones cinematicas al estudio de la teora de superficies,
con el consiguiente uso de las referencias moviles. Pero todos le debemos a Darboux, ademas del
metodo, su sistematico desarrollo y exposicion . . . La habilidad de Darboux es una rara combinacion
entre elaboracion geometrica y potencia analtica. No simpatizaba con aquellos que solo utilizaban
un razonamiento geometrico cuando intentaban resolver problemas geometricos, ni tampoco con
aquellos que sentan una especial necesidad de seguir solo procedimientos analticos. . . Tena en
comun con Monge la necesidad de hacer discpulos, ademas de realizar investigaciones y descubrimientos. . . . Sus brillantes investigaciones [la de sus discpulos] es el mejor tributo a su maestro.
158
Riemann propuso la generalizacion de la teora de superficies como las haba desarrollado Gauss,
para espacios de cualquier orden, e introdujo ciertas ideas fundamentales en esta teora general.
Contribuciones importantes fueron hechas por Bianchi, Beltrami, Christoffel, Schur, Voss, y otros,
y Ricci-Curbastro coordino y extendio la teora con el uso del analisis tensorial y su calculo diferencial. El libro presenta la teora existente sobre geometra riemanniana despues de un periodo de
considerable estudio y desarrollo del tema por Levi-Civita, Einsehart y muchos otros.
En Eisenhart publico Continuous Groups of Transformations (Grupos continuos de transformaciones), que continuaba sus trabajos anteriores sobre la teora de Lie usando los metodos del calculo
tensorial y la geometra diferencial. A este respecto, S. Lefschetz dice:
El estudio de grupos continuos de transformaciones fue inaugurado por Lie y continuado posteriormente por Engel, Killing, Scheffers, Schur, Cartan, Bianchi y Fubini, un captulo que se cerro con el
cambio de siglo. El nuevo captulo comenzo alrededor de con los estudios del analisis tensorial, geometra riemanniana y sus generalizaciones, y la aplicacion de la teora de grupos continuos
a las nuevas teoras fsicas. Eisenhart ha desarrollado un destacable cuerpo de material original y
ha ayudado notablemente a sus colegas gracias a sus frecuentes trabajos recopilatorios en campos
donde ha llegado a ser un especialista.
Eisenhart estuvo vinculado a la Sociedad Matematica Americana durante muchos anos, pues fue Vicepresidente en , Colloquium lecturer en , donde impartio conferencias sobre geometra no riemanniana, edito la revista Transactions of the American Mathematical Society desde hasta ,
siendo editor jefe durante el periodo -, y Presidente durante dos anos (-).
Bibliografa
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995.
Internet. URL de la pagina:
www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Eisenhart.html
CONEXIONES AFINES
159
Bibliografa complementaria
Dictionary of Scientific Biography (New York 1970-1990).
Artculos:
R.C. Archibald A semicentennial history of the American Mathematical Society 1888-1938 (New York,
1980)
S. Lefschetz Luther Pfahler Eisenhart, Biographical Memoirs, National Academy of Science 40 (1969),
69-90.
S. Lefschetz Luther Pfahler Eisenhart: January 13, 1876-October 28, 1965, A century of mathematics
in America I (Providence, R.I., 1988), 56-78.
160
SHIING-SHEN CHERN (-)
7. BIOGRAFIA:
En este punto Chern fue obligado a elegir entre dos opciones muy atractivas para e l: permanecer en
Hamburgo y trabajar en a lgebra bajo las o rdenes de Artin, o marchar a Paris para estudiar con Cartan.
Aunque Chern conoca a Artin muy bien y le hubiera apetecido trabajar con e l, sus deseos de seguir
investigando en geometra diferencial fueron el factor decisivo para que recalara en Paris. Su estancia
en Pars fue muy productiva, aprendiendo a acercarse a las matematicas de un modo especial, como el
propio Cartan senala:
. . . desde la evidencia y los fenomenos que nacen de casos especiales en lugar de utilizar un punto
de vista general y abstracto.
En Chern deja Pars para convertirse en profesor de la Universidad de Tsing Hua. Sin embargo e ste
fue el momento en el que comenzo la guerra chino-japonesa, y desde hasta trabajo para la
Universidad Asociada del Sudeste. En se traslada a los Estados Unidos y hasta permanece en
la Universidad de Princeton, donde consigue impresionar a A. Weyl y O. Veblen. En esta Universidad
se hace muy amigo de S. Lefschetz que le persuade de ser editor de los Annals of Mathematics.
Al finalizar la Segunda Guerra Mundial, Chern regresa a China, y se incorpora al Instituto de
Matematicas en la Academia Sinica, en Nanking. Pero la desgracia no abandona a China que vive en
plena guerra civil, por lo que Chern acepta la invitacion de Weyl y Veblen para regresar a Princeton.
161
CONEXIONES AFINES
Su a rea de investigacion fue geometra diferencial, donde estudio las clases caractersticas en espacios fibrados (hoy llamadas, en su honor, clases de Chern). Estas clases son importantes no solo en
matematicas sino tambien en fsica matematica. Trabajo en las clases caractersticas durante el periodo
- que paso en la Universidad de Princeton, y en esta misma e poca obtuvo su famosa demostracion de la formula de Gauss-Bonnet.
Su trabajo queda perfectamente resumido por C.N. Yang:
Cuando Chern trabajaba en geometra diferencial por los anos cuarenta, este a rea de las matematicas tena un nivel muy bajo. La geometra diferencial global estaba en sus comienzos y la
teora de Morse solo era comprendida y utilizada por unos pocos matematicos. En la actualidad, la
geometra diferencial es una de las a reas principales de las matematicas y una de las personas que
mas ha contribuido a este cambio ha sido el profesor Chern.
162
Bibliografa
D.J. Albers y G.L. Alexanderson (eds.) Mathematical People: Profiles and Interviews, (Boston, 1985),
33-40.
L. Auslander S.S. Chern as teacher, Chern, a great geometer of the twentieth century (Hong Kong,
1992), 109-111.
F.E. Browder S.S. Chern, Chern, a great geometer of the twentieth century (Hong Kong, 1992), 102103.
M.P. do Carmo S.S. Chern: mathematical influences and reminiscences, Chern, a great geometer of the
twentieth century (Hong Kong, 1992), 179-183.
P.C.W. Chu Professor S.S. Chern, my father-in-law, Chern, a great geometer of the twentieth century
(Hong Kong, 1992), 91-94.
R.E. Greene S.S. Chern: some mathematical and personal reminiscences, Chern, a great geometer of
the twentieth century (Hong Kong, 1992), 247-252.
P.A. Griffiths S.S. Chern: always changing, always the same, Chern, a great geometer of the twentieth
century (Hong Kong, 1992), 117-120.
W. Klingenberg My encounters with S.S. Chern, Chern, a great geometer of the twentieth century (Hong
Kong, 1992), 156-160.
L. Nirenberg Some personal remarks about S.S. Chern, Chern, a great geometer of the twentieth century
(Hong Kong, 1992), 98-101.
S.-T. Yau S.S. Chern, as my teacher, Chern, a great geometer of the twentieth century (Hong Kong,
1992), 271-274.
S.Y. Cheng My teacher Professor S.S. Chern, Chern, a great geometer of the twentieth century (Hong
Kong, 1992), 253-258.
J. Simons My interaction with S.S. Chern, Chern, a great geometer of the twentieth century (Hong
Kong, 1992), 176-178.
A. Weil S.S. Chern as geometer and friend, Chern, a great geometer of the twentieth century (Hong
Kong, 1992), 72-78.
A. Weinstein Some thoughts about S.S. Chern, Chern, a great geometer of the twentieth century (Hong
Kong, 1992), 245-246.
R.O. Wells Chern Retires from Berkeley, Almost!, The Mathematical Intelligencer 2 (1980), 78-81.
C.N. Yang S.S. Chern and I, Chern, a great geometer of the twentieth century (Hong Kong, 1992),
63-71.
CAPITULO
10
GEODESICAS
1.
La aplicacion exponencial
Entorno normal
El campo geodesico
Coordenadas normales
El flujo geodesico
Superficie parametrizada
Geodesica maximal
Lema de Simetra
Lema de Homogeneidad
164
lineal. Esto significa que el parametro de una geodesica no es arbitrario, y el hecho de que una curva sea
una geodesica depende tanto de su forma como de su parametrizacion.
Con objeto de enunciar resultados generales sobre geodesicas en variedades debemos estudiar
con cierto detalle la ecuacion que las define. No obstante, ya desde el comienzo pueden presentarse
numerosos ejemplos de geodesicas en virtud de las siguientes dos observaciones. En primer lugar, la
ecuacion de una geodesica impone solamente una condicion local sobre la curva. Mas precisamente, si
0
cada punto de una curva tiene un entorno en el cual puede ser escrita en la forma (t) con D
dt = 0,
entonces es una geodesica. En segundo lugar, la propiedad de ser una geodesica es preservada por
transformaciones afines, ya que la diferenciacion covariante lo es y, por tanto, tambien el paralelismo de
un campo de vectores.
X 2
X
D d
d
d
d
k
0=
=
(x ) +
(ij ) (xi ) (xj )
dt2 k
xk (t)
dt dt
dt
dt
i,j
Luego la geodesica esta caracterizada en U por satisfacer el siguiente sistema de ecuaciones diferenciales de segundo orden:
X
d2
d
d
(x
)
+
(kij ) (xi ) (xj ) = 0, k = 1, . . . , n.
(10.1)
k
2
dt
dt
dt
i,j
Es usual escribir xi (t) = xi ((t)) y kij (t) = kij ((t)), por lo que la ecuacion anterior puede transformarse en la siguiente:
X
x00k +
kij x0i x0j = 0, k = 1, . . . , n.
i,j
Para estudiar mas detalladamente el sistema (10.1) es conveniente que consideremos el fibrado tangente
T M . Recordemos cual es la estructura diferenciable en T M . Si (U, x) es una carta en M , definimos
z : W R2n , con W = {(p, v) T M ; p U, v Tp M }, por z(p, v) = (x(p), dx1 (v), . . . , dxn (v)).
Entonces (W, z) es una carta en T M , lo que significa que localmente el fibrado tangente se comporta
como un producto. Consideremos las funciones yi = dxi definidas en W , de modo que z = (x, y).
Cualquier curva diferenciable (t) en M determina una curva ((t), 0 (t)) en su fibrado tangente.
Si es una geodesica entonces la curva (, 0 ) satisface el siguiente sistema de ecuaciones:
x0k = yk ,
k = 1, . . . , n
X
yk0 =
kij yi yj ,
k = 1, . . . , n
imj
SICAS
GEOD E
165
2.2.
Proposicion 10.2
Existe un u nico campo G en T M cuyas trayectorias son de la forma t ((t), 0 (t)), donde es una
geodesica de M . El campo G se denomina el campo geodesico en T M .
Como consecuencia de la teora de ecuaciones diferenciales se tiene el siguiente resultado.
Proposicion 10.3
Para cada punto p M existe un entorno U de T U , donde (U, x) es un sistema de coordenadas en
p y (p, 0) U , un numero > 0 y una aplicacion diferenciable : (, ) U T U tales que la
aplicacion t (t, q, v) es la u nica trayectoria de G que satisface la condicion inicial (0, q, v) = (q, v)
para cada (q, v) U .
Observemos que es posible escoger U de la siguiente forma:
U = {(q, v) T U ; q V, v Tq M, |v| < 1 }
donde V U es un entorno de p. Poniendo = , donde : T M M es la proyeccion canonica,
podemos reescribir el resultado anterior como sigue.
Proposicion 10.4
Dado p M , existen un abierto V M , con p V , numeros > 0 y 1 > 0, y una aplicacion
diferenciable : (, ) U M , U = {(q, v); q V, v Tq M, |v| < 1 }, tales que la curva
t (t, q, v), t (, ), es la u nica geodesica de M que en el instante t = 0 pasa por q con velocidad
v , para cada (q, v) U .
El hecho de que ser geodesica sea una propiedad local de curvas parametrizadas, como hemos
indicado, permite deducir que si dos geodesicas coinciden (como conjuntos) en algun intervalo, entonces
su union, con una adecuada parametrizacion, es tambien una geodesica. Ademas, si dos geodesicas
tienen un punto en comun y son tangentes en ese punto, entonces su union es tambien una geodesica.
Mas precisamente,
Proposicion 10.5
Sean , : I M , I conexo, dos geodesicas. Si existe un numero a I tal que 0 (a) = 0 (a)
entonces = .
Como consecuencia obtenemos el siguiente resultado.
Proposicion 10.6
Dados p M y v Tp M existe una u nica geodesica (p,v) (t) = (t, p, v) en M tal que:
(1) La velocidad inicial de es v , es decir, 0 (0, p, v) = v .
(2) El dominio I(p, v) de (p,v) es el mayor posible, es decir, si : J M es otra geodesica tal que
0 (0) = v entonces J I(p, v) y = (p,v) |J .
166
Esto implica que cada geodesica esta contenida en una u nica geodesica maximal (p,v) , esto es,
en una geodesica que no es un subconjunto propio de ninguna otra geodesica. Se dice que (p,v) es
geodesicamente inextendible.
Lema 10.7 (Lema de Homogeneidad)
Si la geodesica (t, p, v) esta definida en (, ), entonces la geodesica (t, q, av), a > 0, esta definida
en (/a, /a) y se verifica
(t, q, av) = (at, q, v).
Como consecuencia, es posible aumentar (disminuir) la velocidad de una geodesica disminuyendo (aumentando, respectivamente) su intervalo de definicion. El lema de homogeneidad nos situa en la pista
del siguiente problema: que reparametrizaciones de una geodesica conservan el caracter de geodesica?
Proposicion 10.8
Sea : I M una geodesica no constante. Una reparametrizacion h : J M es una geodesica
si, y solo si, h(t) = at + b.
SICAS
GEOD E
167
Geometricamente, la exponencial expq (v) es el punto de M que se obtiene al recorrer una distancia |v|, a partir de q, a lo largo de la geodesica que pasa por q con velocidad igual a v/|v|. Por el lema
de homogeneidad, lo anterior es equivalente a recorrer una distancia igual a 1, a partir de q, a lo largo
de la geodesica que parte de q con velocidad v.
Es inmediato probar el siguiente resultado:
Proposicion 10.12
Sea m M . Entonces:
(1) expm es una aplicacion diferenciable con expm (0) = m.
(2) Existe > 0 tal que expm : B(0, ) M es un difeomorfismo de la bola B(0, ) en un abierto de
M.
El hecho de que, para cada punto, la aplicacion exponencial sea un difeomorfismo local permite
considerar a su inversa como una carta de la variedad en un entorno del punto. Las coordenadas de un
punto mediante un tal sistema de coordenadas se llaman coordenadas normales, y el entorno en el que
estan definidas entorno normal. Precisemos un poco mas estas ideas.
Sea m M y consideremos abiertos U (0) Tm M y V (m) M tales que expm : U V es
un difeomorfismo. Entonces (V, ), = (expm )1 , es una carta local de M en un entorno de m. El
abierto V se denomina entorno normal de m y el conjunto B(m, ) = expm (B(0, )) se denomina bola
normal (o geodesica) de centro m y radio .
Consideremos {e1 , . . . , en } una base de Tm M . Para todo punto p V se tiene que (expm )1 (p)
U por lo que existen numeros (x1 (p), . . . , xn (p)) tales que
(expm )1 (p) =
n
X
xi (p)ei .
i=1
168
2.4. El lema de simetra
Una curva diferenciable a trozos es una aplicacion c : [a, b] M de un intervalo cerrado [a, b]
R en M satisfaciendo la siguiente condicion: existe una particion a = t0 < t1 < < tk1 < tk = b
tal que las restricciones c|[t1 ,ti+1 ] , i = 0, . . . , k 1, son diferenciables. Se dice que c conecta los puntos
c(a) y c(b). Los puntos c(ti ) se denominan los vertices de c y el a ngulo determinado por c0 (t+
i ) =
0
limtt+ c0 (t) y c0 (t
)
=
lim
ngulo
del
v
e
rtice
c(t
).
c (t) se llama el a
i
i
tt
i
La primera observacion que debemos hacer es que el transporte paralelo puede ser facilmente
extendido a curvas diferenciables a trozos. En efecto, dado v0 Tc(t) M , t [ti , ti+1 ], se extiende
v0 a un campo paralelo V (t), t [ti , ti+1 ]; tomando V (ti ) y V (ti+1 ) como nuevos valores iniciales,
podemos extender V (t) paralelamente al intervalo [ti1 , ti+2 ], y as sucesivamente.
Definicion 10.16
Sea A un conjunto conexo de R2 tal que la frontera A de A es una curva diferenciable a trozos con
a ngulos en los vertices distintos de . Una superficie parametrizada en M es una aplicacion diferenciable
s : A R2 M .
Merece la pena hacer algunas observaciones respecto de la definicion que acabamos de presentar.
Decir que s es diferenciable en A equivale a decir que existe un abierto U A donde s se extiende
diferenciablemente. Finalmente, la condicion sobre los a ngulos de los vertices de A es necesaria para
que la diferencial de s no dependa de la extension considerada.
Definicion 10.17
Un campo de vectores V a lo largo de una superficie parametrizada s es una aplicacion V : A T M
que asocia a cada punto q de A un vector V (q) Ts(q) M , que es diferenciable en el siguiente sentido:
si f C (M ) es una funcion diferenciable, entonces la aplicacion q V (q)f es diferenciable.
El siguiente razonamiento es analogo al que se hace para superficies en R3 . Sean (u, v) las coordenadas cartesianas de R2 . Para v0 fijo, la aplicacion u (u, v0 ), donde u pertenece a una componente
s
SICAS
GEOD E
169
Proposicion 10.19
Para cada punto p M existe un entorno W de p y un numero > 0 tales que para cada q W , la
aplicacion exponencial expq es un difeomorfismo en B(0, ) Tq M y B(q, ) W . En otras palabras,
W es un entorno normal de todos sus puntos, por lo que se denomina entorno totalmente normal.
De este resultado podemos extraer dos interesantes consecuencias:
(1) Dados dos puntos q1 , q2 en W existe una u nica geodesica minimizante uniendo q1 con q2 .
(2) La geodesica depende diferenciablemente de (q1 , q2 ) en el siguiente sentido: dado (q1 , q2 ) existe
un u nico vector v Tq1 M , que depende diferenciablemente de (q1 , q2 ), tal que 0 (0) = v.
3.
DE LOS CONOCIMIENTOS
ACTIVIDADES DE APLICACION
A.10.1. Sean (x1 , x2 ) las coordenadas habituales de R2 y sea la conexion definida por los smbolos
siguientes:
kij = 0, excepto 212 = 3, 221 = 2.
(a) Escribe y resuelve las ecuaciones diferenciales de las geodesicas en un punto cualquiera de
R2 .
(b) Es una conexion completa, es decir, el campo geodesico asociado es completo?
(c) Si y son dos geodesicas tales que (0) = (0) y 0 (0) = b 0 (0), b R , prueba
que (t) = (bt) para todo t posible. (Esta afirmacion es consecuencia del teorema de
existencia y unicidad de geodesicas; sin embargo, aqu hay que demostrarlo sin hacer uso de
este teorema).
(t, p, v) = cos
|v|t
r
r
p+
sen
|v|
|v|t
r
v.
170
Como consecuencia, dado un punto p Sn (r2 ), un vector v Tp Sn (r2 ) es crtico para la aplicacion exponencial expp : Tp Sn (r2 ) Sn (r2 ) si, y solo si, |v| = mr, con m Z+ .
DEL CAPITULO
4. BIBLIOGRAFIA
W. BOOTHBY. An Introduction to Differentiable Manifolds and Riemannian Geometry. Academic
Press, 1986.
R. BRICKELL y R. CLARK . Differentiable Manifolds. Van Nostrand, 1970.
L. CONLON. Differentiable Manifolds. A First Course. Birkhauser, 1993.
W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.
5. PREGUNTAS DE EVALUACION
E.10.1. Sean (x1 , x2 ) las coordenadas habituales de R2 . Definimos una conexion en R2 considerando
los smbolos siguientes:
kij = 0,
excepto
112 = 121 = 1.
(a) Escribe y resuelve las ecuaciones diferenciales de las geodesicas en un punto cualquiera de
R2 .
(b) Es una conexion completa, es decir, el campo geodesico asociado es completo? Salen
geodesicas del origen pasando por cada punto del plano?
(c) Si y son dos geodesicas tales que (0) = (0) y 0 (0) = b 0 (0), b R , prueba
que (t) = (bt) para todo t posible. (Esta afirmacion es consecuencia del teorema de
existencia y unicidad de geodesicas; sin embargo, aqu hay que demostrarlo sin hacer uso de
este teorema).
E.10.2. Una geodesica a trozos es una curva diferenciable a trozos cuyos subsegmentos diferenciables
son geodesicas. Prueba que una variedad diferenciable M , con una conexion afn , es conexa si,
y solo si, cualesquiera dos puntos de M se pueden unir mediante una geodesica a trozos.
SICAS
GEOD E
171
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
172
Klingenberg obtuvo su doctorado en con una tesis sobre geometra diferencial afn. Desde
hasta fue un investigador asistente en la Universidad de Kiel, donde F. Bachmann le hizo interesarse por los fundamentos de la geometra. Durante esta e poca resolvio un problema sobre las equivalencias
de las configuraciones en un plano afn sobre el que Ruth Moufabg haba estado trabajando. Blaschke
le aconsejo que viajase a Italia, y Klingenberg paso cierto tiempo durante el curso / en la
Universidad de Roma, donde estuvo fuertemente influido por F. Severi, E. Bompiani y B. Segre.
Tras su regreso a Alemania, Klingenberg completo su tesis de habilitacion en Hamburgo y obtuvo un puesto de profesor permanente en la Universidad de Gotinga, trabajando con Reidemeister.
Klingenberg escribe:
Tengo bonitos recuerdos de nuestros anos all; Reidemeister posea una mente brillante y un gran
abanico de intereses, siendo su esposa Elisabeth una renombrada fotografa.
SICAS
GEOD E
173
Mientras estaba en Berkeley, Klingenberg recibio ofertas para ocupar sendas catedras en las universidades de Wurzburg y Mainz, inclinandose finalmente por la Universidad de Mainz. Tres anos despues,
en , las universidades de Zurich y Bonn le ofrecieron catedras. Klingenberg eligio, no sin algunas
dificultades, la catedra en Bonn. Sin embargo, Bonn crecio rapidamente, tanto en profesorado como en
alumnado:
. . . y parte del ntimo atractivo de un grupo unido se vino abajo. No sin tristeza y lucha, finalmente
acepte el cambio y concentre todas mis energas en mi propio grupo de geometra diferencial.
Klingenberg estuvo trabajando, durante sus anos en la Universidad de Bonn, sobre geodesicas cerradas,
retirandose en . Entre sus principales libros pueden destacarse los siguientes: A course in differential geometry (Un curso en geometra diferencial, ), Lectures on closed geodesics (Lecturas sobre
geodesicas cerradas, ) y Riemannian geometry (Geometra riemanniana, ). Acerca de e sta
u ltima obra, Klingenberg comenta:
Es el libro mas importante acerca de este tema desde la monografa de L.P. Eisenhart en .
Bibliografa
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995.
Internet. URL de la pagina:
www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Klingenberg.html
Bibliografa complementaria
W.P.A. Klingenberg Selected papers of Wilhelm P A Klingenberg, (Singapore, 1991).
174
SIMON DONALDSON (-)
7. BIOGRAFIA:
Simon Kirwan Donaldson (-) asistio al colegio Sevenoaks en Kent desde hasta ,
trasladandose en dicho ano al College Pembroke, en Cambridge, donde estuvo hasta , recibiendo
su B.A. en . Uno de sus tutores en Cambridge lo describe como un estudiante muy bueno, aunque
no el mejor de su ano.
En Donaldson comienza su trabajo de postgraduado en el College Worcester, en Oxford,
primero bajo la supervision de Nigel Hitchen y despues bajo la supervision de Atiyah, el cual dira
sobre e l lo siguiente:
En , cuando era un estudiante postgraduado de segundo ano, Simon Donaldson demostro un
resultado que asombro a la comunidad matematica.
Este resultado fue publicado por Donaldson en el Boletn de la American Mathematical Society, y en
e l analizaba las conexiones autoduales y la topologa de las variedades de dimension cuatro. Atiyah
continua la descripcion de Donaldson:
Junto al importante trabajo de Michael Freedman . . . , el resultado de Donaldson implica que existen espacios de dimension 4 exoticos, es decir, variedades diferenciables de dimension 4 que son
equivalentes topologicamente pero no diferenciablemente al espacio eucldeo R4 . Lo sorprendente
de este resultado es que el valor n = 4 es el u nico posible para el cual existen espacios exoticos de
esa dimension. Estos espacios exoticos tienen la notable propiedad de contener conjuntos compactos que no estan contenidos en ninguna esfera tridimensional embebida.
SICAS
GEOD E
175
Sociedad y, en el mismo ano, recibio la Medalla Fields en el Congreso Internacional que se celebro en
Berkeley. En recibio el premio Sir Williams Hopkins de la Sociedad Filosofica de Cambridge y,
al ano siguiente, la Real Sociedad le ofrecio la Medalla Real. En recibio el Premio Crafoord de la
Real Academia Sueca de las Ciencias:
. . . for sus investigaciones fundamentales en la geometra de cuatro dimensiones y su aplicacion a
los instantones, en particular su descubrimiento de nuevos invariantes geometricos . . .
Atiyah describe del siguiente modo la contribucion de Donaldson que le permitio obtener la Medalla
Fields:
Cuando Donaldson obtuvo sus primeros resultados sobre 4-variedades, las ideas eran tan novedosas
y extranas para los geometras y topologos de la e poca que simplemente lo miraron con admiracion.
Lentamente el mensaje ha ido calando y hoy las ideas de Donaldson estan ya siendo utilizadas por
otros matematicos en muchos campos . . . Donaldson ha creado un a rea enteramente nueva, de modo
que inesperados y misteriosos fenomenos acerca de las 4-variedades han sido descubiertos. Ademas
los metodos son nuevos y profundos, con utilizacion de difciles ecuaciones no lineales en derivadas
parciales. Por otra parte, la teora se halla perfectamente anclada en el reino de las matematicas,
incorporando ideas de la fsica teorica y estando bien relacionada con la geometra algebraica.
El artculo de Donaldson, citado en la bibliografa, es muy interesante, pues contiene numerosos comentarios acerca de como Donaldson consiguio demostrar sus famosos resultados cuando solo era un
estudiante en Oxford, as como un recopilatorio de sus u ltimas lneas de investigacion, en las que ha
estado trabajando en los anos recientes.
El trabajo de Donaldson esta recogido por R. Stern:
En , Simon Donaldson inicio un rico viaje geometrico que nos ha conducido a una de las
conclusiones mas excitantes de este siglo. Ha creado un a rea nueva y excitante de investigacion
sobre la que trabajan numeros matematicos, y que todava continua proporcionando misteriosos e
inesperados fenomenos acerca de la topologa y la geometra de las 4-variedades diferenciables.
Bibliografa
M. Atiyah On the work of Simon Donaldson, Proceedings of the International Congress of Mathematicians, Berkeley, 1986 1 (Providence, RI,1987), 3-6.
S. Donaldson Remarks on gauge theory, complex geometry and 4-manifold topology, en M. Atiyah y
D. Iagolnitzer (eds.), Fields Medallistists Lectures (Singapore, 1997), 384-403.
M. Furuta The contributions of Simon Kirwan Donaldson, Sugaku 39 (1) (1987), 16-25.
J. Mi The work of mathematicians awarded the Fields Medal in 1983 and 1986, J. Northwest Univ. 19
(1) (1989), 103-104.
R. Stern y G. Tian Donaldson and Yau receive Crafoord prize, Notices Amer. Math. Soc. 41 (7) (1994),
794-796.