Beruflich Dokumente
Kultur Dokumente
net/publication/242758922
Article
CITATIONS READS
0 1,067
1 author:
Pascual Lucas
University of Murcia
99 PUBLICATIONS 946 CITATIONS
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
Integrability aspects of the vortex filament equation for pseudo null curves View project
All content following this page was uploaded by Pascual Lucas on 06 October 2014.
Murcia, 1999
CONTENIDOS
Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1. PRESENTACIÓN DE LA ASIGNATURA
2. OBJETIVOS GENERALES
El objetivo central que se persigue con esta asignatura es que los alumnos aprendan Geometrı́a Dife-
rencial y disfruten con ella. De esta forma, el aprendizaje será efectivo y duradero. No obstante, algunos
objetivos más concretos que guı́an la enseñanza de esta asignatura son los siguientes:
• Transmitir al alumno la belleza que encierra la estructura de variedad diferenciable, tanto por sus
orı́genes como por sus contactos con otras ramas de las Matemáticas y la Fı́sica.
• Conseguir que el alumno se centre más en los métodos que en los contenidos concretos, logrando
tal grado de madurez cientı́fica que le permita tanto enfrentarse al planteamiento y resolución de
problemas como continuar el estudio de temas más avanzados.
• Motivar a los alumnos para que se interesen por algunas ideas generales sobre las investigaciones
más recientes, de manera que puedan comprobar que la Geometrı́a Diferencial es un fértil campo
de investigación y una fuente de actividad humana de gran riqueza.
• Intentar que el alumno adopte el hábito de la lectura cientı́fica y el manejo de la bibliografı́a, tanto
libros como artı́culos de investigación.
4 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
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 geodésicas. Los puntos fundamentales del programa se relacionan
a continuación.
El Texto-Guı́a está dividido en diez temas o capı́tulos que coinciden con los que componen el progra-
ma de la asignatura. Cada uno de estos capı́tulos está dividido en las secciones siguientes: interrogantes
centrales del capı́tulo, contenidos fundamentales del capı́tulo, actividades de aplicación de los conoci-
mientos, bibliografı́a del capı́tulo, y preguntas de evaluación.
En la sección interrogantes centrales del capı́tulo se plantean las preguntas fundamentales a las que
daremos respuesta mediante el estudio del capı́tulo, o se enuncian los conceptos y resultados que el
alumno debe conocer después de estudiar dicho capı́tulo. En la sección contenidos fundamentales del
capı́tulo hacemos un resumen de los conceptos, propiedades y métodos matemáticos que explicaremos
más detalladamente en clase. En el apartado actividades de aplicación de los conocimientos se proponen
los problemas que permitirán al alumno comprobar si ha asimilado correctamente la teorı́a; algunos
de estos problemas serán resueltos en clase. En la sección bibliografı́a del capı́tulo se indican unos
pocos libros básicos para la comprensión del capı́tulo, con indicación de los capı́tulos o secciones más
directamente relacionados con la teorı́a expuesta. Por último, en el apartado preguntas de evaluación se
incluyen cuestiones de exámenes de otros años.
Para proporcionar al alumno datos históricos que le permitan encuadrar y situar en la historia de las
matemáticas el origen y desarrollo de la Geometrı́a Diferencial (es decir, el estudio de las curvas, su-
perficies y variedades diferenciables), al finalizar cada capı́tulo incluimos la biografı́a de un matemático
famoso que influyó, a través de sus investigaciones y descubrimientos, en la consolidación de la geome-
trı́a, analı́tica primero y diferencial después. Las biografı́as aparecen por orden cronológico y no ha sido
fácil seleccionar a los que finalmente aparecen, pues han sido muchos, a lo largo de la historia, los que
con su esfuerzo y dedicación marcaron un hito en este fértil campo de la ciencia.
5. BIBLIOGRAFÍA BÁSICA
W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.
6 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
F.W. WARNER. Foundations of Differentiable Manifolds and Lie Groups. Springer-Verlag, 1983.
6. EVALUACIÓN
Para que se realice un seguimiento y participación en la asignatura, a lo largo del curso el profesor
de clases teóricas propondrá a los alumnos algunos problemas para que sean resueltos en clase. La
realización de estos ejercicios por parte de los alumnos se tendrá en cuenta en la evaluación. La cali-
ficación de la asignatura se completará con la realización de una prueba final escrita, que constará de
varios ejercicios donde el alumno demostrará que sabe aplicar correctamente los conocimientos teóricos
adquiridos.
CAPÍTULO 0
BREVES NOTAS HISTÓRICAS
La Geometrı́a Diferencial, tal y como hoy la entendemos, debe su origen fundamentalmente a C.F.
Gauss (1777–1855), 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 esté combada. A
estas últimas propiedades, cuyo estudio abre a la Geometrı́a un nuevo y fértil campo, pertenece la
medida de la curvatura y la curvatura integral, en el sentido que hemos dado a estas expresiones.
También a éstas pertenece la teorı́a de las lı́neas más cortas . . .”
Gauss habı́a contribuido a las Matemáticas, esencialmente, con el Algebra y con el Análisis. Sin
embargo, y aunque la Geometrı́a no era su fuerte, todavı́a llegó a tiempo para dos cosas fundamentales:
(1) obtener, en 1824, una importante conclusión, no publicada, sobre el postulado de las paralelas; y
(2) publicar, en 1827, un clásico tratado que generalmente es aceptado como el punto de partida de una
nueva rama de la Geometrı́a, y del cual hemos entresacado las palabras anteriores. Ya siendo Gauss
estudiante en Gotinga habı́a intentado probar el axioma de las paralelas, al igual que su amigo F. Bolyai
(1775–1856). Sin embargo, llegó a la conclusión de que no sólo no habı́a prueba posible, sino que una
geometrı́a bien distinta a la euclı́dea podrı́a ser desarrollada. Si Gauss hubiera pulido y publicado sus
ideas sobre el axioma de las paralelas, hoy se le considerarı́a, sin duda, como el inventor de la geometrı́a
no euclı́dea; pero su silencio en este tema hizo que el descubrimiento se lo adjudicasen otros.
La nueva rama de la Geometrı́a que Gauss inició en 1827 se conoce como Geometrı́a Diferencial,
y en un principio estuvo más ligada al Análisis que al tradicional campo de la Geometrı́a. No obstante,
I. Newton (1642–1727) y G.W. Leibnitz (1646–1716) ya habı́an aplicado el Cálculo al estudio de curvas
en el plano y, en este sentido, sus trabajos constituyen un prototipo de Geometrı́a Diferencial. L. Euler
(1707–1783) y G. Monge (1746–1818) extendieron estas ideas al estudio analı́tico de superficies; de
hecho, muchas veces han sido considerados los padres de la Geometrı́a Diferencial. Sin embargo, no
fue hasta la aparición del tratado de Gauss Investigaciones Generales sobre Superficies Curvadas,
con el que se dedicaba un volumen completo a esta materia, cuando puede decirse que inició su andadura
la Geometrı́a Diferencial.
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 fórmulas para K en términos de las derivadas parciales de la
superficie con respecto a varios sistemas de coordenadas; también obtuvo numerosos resultados sobre
curvas en la superficie, como geodésicas, que denominó “teoremas remarcables”. Realizando estudios
de este tipo en Geometrı́a Diferencial fue como los matemáticos del siglo XIX pusieron las bases para
las teorı́as cientı́ficas de nuestro siglo.
Es difı́cil presentar una visión general del desarrollo de la Geometrı́a durante la primera mitad
del siglo XIX, debido fundamentalmente a las contracorrientes e interrelaciones de numerosos aspec-
tos. Sin embargo, hay un aspecto (el nacimiento y crecimiento de las geometrı́as no euclı́deas) que se
desarrolló nı́tidamente. No obstante, en este caso y al igual que en numerosas otras ocasiones, nos en-
contramos con un caso de simultaneidad en el descubrimiento. El origen de las geometrı́as no euclı́deas
es fruto del trabajo de tres hombres: un alemán (Gauss), un húngaro (J. Bolyai (1802–1860)) y un ruso
(N.I. Lobachevsky (1793–1856)). Lobachevsky es considerado como el “Copérnico de la Geometrı́a”,
el hombre que revolucionó este campo con la introducción de una nueva rama, la Geometrı́a Lobache-
vskiana, demostrando que la Geometrı́a Euclı́dea no era una ciencia exacta o una verdad absoluta, como
hasta entonces se habı́a tenido.
Lobachevsky intuyó la gran importancia que tendrı́a su “geometrı́a imaginaria”, como se deduce
del hecho de que entre los años 1835 y 1855 publicase tres tratados sobre esta nueva geometrı́a: Nuevos
Fundamentos de Geometrı́a (1835–1838), Investigaciones Geométricas sobre la Teorı́a de las
Paralelas (1840), y Pangeometrı́a (1855). Gracias al segundo de los tres trabajos conoció Gauss las
contribuciones de Lobachevsky a las geometrı́as no euclı́deas, lo que le valió su recomendación para
que ingresase en la Sociedad Cientı́fica de Gotinga. Gauss participaba privadamente de las ideas de
Lobachevsky, pero nunca le dió su apoyo públicamente, lo que fue uno de los motivos más importantes
para que la nueva geometrı́a se diese a conocer muy lentamente.
Tan lenta fue su expansión que la geometrı́a no euclı́dea continuó durante varias décadas siendo
un aspecto marginal de las Matemáticas, hasta que fue integrada en una teorı́a más general por G.F.B.
Riemann (1826–1866). En 1854, Riemann ingresa en la Universidad de Gotinga y, de acuerdo con la
tradición, debı́a pronunciar una conferencia ante los miembros de la Facultad de Ciencias. El resultado
fue la memoria más celebrada en la historia de las Matemáticas, pues presentaba una visión profunda y
amplia de todo el campo de la Geometrı́a. En dicho trabajo sugerı́a que el objetivo global de la Geometrı́a
era el estudio de variedades de cualquier número de dimensiones en cualquier clase de espacio. Sus
geometrı́as son no euclı́deas en un sentido mucho más general que el de Lobachevsky, donde el problema
se reducı́a a determinar el número de paralelas que se podı́an trazar pasando por un punto. Riemann
intuyó que la Geometrı́a no tenı́a que tratar necesariamente con puntos, lı́neas o espacios en el sentido
BREVES NOTAS HIST ÓRICAS 9
ordinario, sino con conjuntos ordenados de n-uplas, que se combinaban de acuerdo con ciertas reglas.
Esta definición “local” fue la comúnmente admitida durante muchos años. Por ejemplo, T. Levi-
Civita (1873–1941) afirma en su obra El Cálculo Diferencial Absoluto (1923) 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 dirección, L.P. Eisenhart dice en su
obra Geometrı́a Riemanniana (1925) 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.”
Fue este interés por el estudio de las propiedades globales sobre una variedad lo que obligó a pun-
tualizar adecuadamente las definiciones básicas. El primer intento serio fue el libro de O. Veblen (1880–
1960) y J.H.C. Whitehead (1904–1960) Los Fundamentos de la Geometrı́a Diferencial (1932), cuya
idea esencial era la de definir rigurosamente las relaciones entre la variedad y los sistemas de coorde-
nadas que se introducen en ella para su estudio, haciendo una clara distinción entre ambos conceptos.
Se formula por primera vez de manera explı́cita que las variedades que estudia la Geometrı́a Diferencial
son un conjunto de dos elementos: primero, la variedad como conjunto de puntos, para cuya definición
y tratamiento la Topologı́a suministra los ú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 deberán existir ciertas fórmulas de transformación, 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 definición actual de variedad diferen-
ciable, la cual es el resultado de sucesivos perfeccionamientos debidos principalmente a H. Whitney
(Variedades Diferenciables, Ann. of Math., 37 (1936), 645–480), C. Chevalley (Teorı́a de Grupos
de Lie, Princeton, 1946), S.S. Chern (Tópicos en Geometrı́a Diferencial, Princeton, 1951) y G. De
Rham (Variedades Diferenciables, Hermann, Paris, 1955). A partir de esa fecha la definición de
variedad diferenciable es ya usual en todos los textos de Geometrı́a Diferencial.
10 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
CAPÍTULO 1
INTRODUCCIÓN A LAS VARIEDADES DIFERENCIABLES
Las diferencias entre curvas y superficies se empiezan a notar ya desde el mismo momento de
su definición. Intuitivamente, una curva en 3 se construye a partir de una lı́nea recta doblándola en
un plano que la contenga, lo que le proporciona su curvatura, y retorciéndola para sacarla de dicho
plano, lo que nos permite asignarle una segunda curvatura, la torsión. Por el contrario, la definición de
superficie se hace de forma local, considerando ‘trozos’ que se solapan adecuadamente. No obstante,
tanto unas como otras pueden extenderse en varias direcciones: aumentando la ‘dimensión’, aumentando
la ‘codimensión’ y generalizando el espacio ambiente.
12 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Antes de esto conviene introducir los conceptos de curvas y superficies en el espacio euclı́deo
n-dimensional n , para liberar a estos conceptos del lastre que supone considerarlos siempre en 3 .
Observación 1.2
Una definición más general de curva parametrizada en n exige sólo que sea continua, mientras que
para curvas regulares se impone únicamente que sea de clase C 1 . Sin embargo, para nuestros propósitos
(y salvo mención expresa de lo contrario) sólo serán consideradas curvas de clase C 1 .
Ejemplos.
1.3. Lı́nea recta. Sea p, v 2 n . La recta que pasa por p en la dirección de v se expresa como
(t) = p + tv, t 2 . La curva es regular si, y sólo si, v 6= 0.
1.4. Circunferencia. Sea p = (a, b) 2 2 y r 2 , r 6= 0. La circunferencia de radio r centrada en el
punto p se parametriza como (t) = (a + r cos t, b + r sen t). es una curva regular en todos los
puntos.
1.5. Hélice. Sea r, h 2 dos números reales no nulos. La hélice de radio r y altura (paso) h puede
parametrizarse mediante (t) = (r cos t, r sen t, ht). Como antes, es una curva regular en todos
los puntos.
INTRODUCCI ÓN A LAS VARIEDADES DIFERENCIABLES 13
1.6. Parametrización genérica de una recta. Sea f : ! una función 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.
Como vemos por la definición dada, que formalmente es idéntica a la correspondiente para super-
ficies del espacio euclı́deo tridimensional, la única diferencia estriba en la ampliación del espacio donde
“vive” la superficie. Esto pone de manifiesto que la restricción sobre la dimensión del espacio ambiente
era más bien una consecuencia histórica que cientı́fica. En este sentido, cuando digamos que S es una
superficie de n debe entenderse que S no es un subconjunto de ningún espacio m , m < n.
Ejemplos.
1.8. Toro. Sean a, b 2 , a y b positivos. Entonces el producto de dos cı́rculos de radios a y b,
1 (a) ⇥ 1 (b), es una superficie en 4 .
1.9. Producto de curvas. En general, sean 1 (t) y 2 (s) curvas regulares en n y m, respectivamente.
Entonces el producto 1 ⇥ 2 es una superficie en n+m .
Sin embargo, y tal como ocurrı́a con las curvas y superficies 2-dimensionales, el nuevo concepto
es insuficiente ya que no permite obtener subconjuntos de n que a todas luces gozan de buenas pro-
piedades, como son, por ejemplo, las esferas. Por ello conviene introducir una noción que generalice
adecuadamente la de superficie.
Definición 1.11
Un subconjunto S ⇢ n es una superficie k-dimensional (diferenciable y regular) si para todo punto
p de S existe un abierto U ⇢ k , un entorno V ⇢ S de p (con la topologı́a relativa) y una aplicación
X : U ! V satisfaciendo las siguientes tres propiedades:
(1) X es un homeomorfismo.
(2) X = (x1 , . . . , xn ) : U ! n es una aplicación diferenciable.
(3) La diferencial dXq : k ! n es inyectiva para todo q 2 U .
Un mismo punto de S puede pertenecer a distintos entornos coordenadas V y puesto que la geo-
metrı́a de S depende de la aplicación X, serı́a adecuado y conveniente que las propiedades geométricas
en p fuesen independientes de la parametrización. Este problema se soluciona con el siguiente resultado,
cuya demostración es totalmente análoga al caso de superficies en 3 .
Proposición 1.12
Sea p un punto de una superficie k -dimensional (diferenciable y regular) en n , y sean X : U ! S e
Y : V ! S dos parametrizaciones de S tales que p 2 X(U ) \ Y (V ) = W . Entonces la aplicación
h = X 1 Y : Y 1 (W ) ! X 1 (W ) es un difeomorfismo. h se denomina la aplicación ‘cambio de
parámetros’ 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 moviésemos por la superficie no nos darı́amos
cuenta del paso de una a otra. Esta propiedad será fundamental para comprender la definición del
concepto de variedad diferenciable.
Proposición 1.13
Sea f : n ! n k una aplicación diferenciable y sea a 2 n k un valor regular de f , es decir, dfq
tiene rango n k para todo punto q 2 f 1 (a) (o bien f 1 (a) es vacı́o). Entonces S = f 1 (a) es una
superficie k -dimensional de n .
Ejemplos.
1.14. Cilindro circular recto. A = {(x, y, z) 2 3 : x2 + y 2 = r2 }, r > 0.
1.15. Paraboloide. B = {(x, y, z) 2 3 : z = x2 + y 2 }.
1.16. Hiperboloide de una hoja. C = {(x, y, z) 2 3 : x2 + y 2 z2 1 = 0}.
1.17. Hiperboloide de dos hojas. D = {(x, y, z) 2 3 : x2 y2 z2 1 = 0}.
1.18. Cilindro k-dimensional. E = {(x1 , . . . , xk+1 ) 2 k+1 : x21 + · · · + x2k = r2 }, r > 0.
1.19. Esfera k-dimensional. F = {(x1 , . . . , xk+1 ) 2 k+1 : x21 + · · · + x2k+1 = r2 }, r > 0.
INTRODUCCI ÓN A LAS VARIEDADES DIFERENCIABLES 15
Cuando trabajamos con subvariedades del espacio euclı́deo estamos disfrutando de la ventaja de la
simplicidad conceptual; en general, estamos más cómodos tratando con subespacios de n que con espa-
cios métricos o topológicos arbitrarios. Sin embargo, esta aproximación a las variedades diferenciables
tiene la desventaja de que importantes ideas están algunas veces ocultas por el familiar ambiente de n .
Por esta razón, y tras haber motivado las variedades diferenciables con las superficies k-dimensionales
de n , conviene que nos introduzcamos ya en el estudio general de este concepto.
Existen diversas formas de introducir la noción de variedad diferenciable, muchas de las cuales
parten de la idea de espacio topológico o variedad topológica. Nosotros preferimos introducir las estruc-
turas 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.
Definición 1.20
Sea M un conjunto. Una carta n-dimensional sobre M es una aplicación biyectiva ' : U ⇢ M ! n
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 : n ! denota la función proyección en
la i-ésima 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 será posible cubrir mediante una
sola carta, de modo que necesitaremos colecciones de cartas entre las que exista compatibilidad, en un
16 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Definición 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 n y las aplicaciones ' 1, ' 1
son difeomorfismos.
Ahora estamos en condiciones de definir uno de los conceptos fundamentales de este tema.
Definición 1.22
Un atlas diferenciable n-dimensional sobre un conjunto M es una familia de cartas A = {(U↵ , '↵ )}↵2A
satisfaciendo las siguientes condiciones:
(1) [↵2A 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 condi-
ciones anteriores.
Observación 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 propósitos es suficiente trabajar con atlas de clase
C1.
Como sobre un mismo conjunto es posible definir diferentes atlas, ¿cómo saber si determinan la
misma estructura diferenciable (atlas maximal)?
Definición 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 fácil probar que los atlas A1 y A2 son equivalentes
si, y sólo si, A1 [ A2 constituye un atlas. Llegamos ahora al concepto central del tema.
Definición 1.25
Una variedad diferenciable de dimensión n es un par (M, A) formado por un conjunto M y una estruc-
tura diferenciable n-dimensional A sobre M .
Ejemplos.
INTRODUCCI ÓN A LAS VARIEDADES DIFERENCIABLES 17
1.26. En el espacio euclı́deo n podemos definir una estructura diferenciable considerando como carta
global la aplicación identidad. Nos referiremos a ella como la estructura diferenciable estándar
de n .
1.27. Consideremos la aplicación diferenciable ' : ! definida por '(s) = s3 . Entonces '
proporciona una estructura diferenciable sobre distinta de la estructura estándar. Ello es debido
p
a que la aplicación ' 1 (s) = 3 s no es diferenciable en todo .
1.28. Sea el conjunto de puntos de 2 definido por M = {(s, 0) : 1 < s < 1} [{(s, s) : 0 < s < 1}
(1, 1)
( 1, 0) (0, 0) (1, 0)
Como puede comprobarse, dicha aplicación no es diferenciable en s = 0 por lo que las estructuras
diferenciables son distintas y, por tanto, los atlas no son equivalentes.
(0, 2)
( 1, 0) (0, 0) (1, 0)
(0, 1)
x:N !
(0, s) ! 1 s, 1 < s < 2
(sen 2⇡s, cos 2⇡s) ! s, 0 s<1
y:N !
(0, s) ! 1 s, 1 < s < 2
(sen 2⇡s, cos 2⇡s) ! 1 s, 0s 1
Entonces x e y definen dos estructuras diferenciables sobre el lazo. ¿Son equivalentes estas estructuras
diferenciables?
Solución: La aplicación x está definida sobre todo N y su imagen es el abierto ( 1, 1) de . Por
tanto, sólo la inyectividad es necesario verificar. Si x(z1 , z2 ) = x(w1 , w2 ) 2 ( 1, 0) entonces (z1 , z2 )
y (w1 , w2 ) se encuentran en {(0, s) 2 2 : 1 < s < 2} por lo que z1 = 0 = w1 . Además x(0, z2 ) =
1 z2 = x(0, w2 ) = 1 w2 implica z2 = w2 . Si x(z1 , z2 ) = x(w1 , w2 ) 2 [0, 1) entonces (z1 , z2 ) y
INTRODUCCI ÓN A LAS VARIEDADES DIFERENCIABLES 19
Es fácil ver que dicha aplicación no es continua en s = 0 y, en consecuencia, las estructuras diferencia-
bles determinadas por x y por y son distintas.
'(A) = (a11 , a12 , . . . , a1n , a21 , a22 , . . . , a2n , . . . , am1 , am2 , . . . , amn )
Es fácil comprobar que ' constituye una carta global sobre M(m ⇥ n, ). Ésta será la estructura
diferenciable estándar sobre el espacio de las matrices M(m ⇥ n, ).
Comenzaremos por el caso más sencillo que se puede presentar, cuando el conjunto de llegada
es el espacio euclı́deo. Sea f : M ! una función, sea p un punto de su dominio y consideremos
(U, ') una carta en M cuyo dominio contiene a p. Entonces la aplicación F = f ' 1 : '(U ) ! se
denomina la representante local o representante en coordenadas de f .
Definición 1.34
Una función f : M ! es diferenciable en un punto p de su dominio si una representante local
F = f ' 1 (y, por tanto, todas) es diferenciable en '(p).
20 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
La razón de que la definición 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
yG=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 sólo si, G es diferenciable
en (p). El conjunto de todas las funciones (reales) diferenciables definidas en M será denotado por
C 1 (M ) y es fácil ver que admite estructura de anillo conmutativo.
Introduzcamos ahora el caso general. Sea f : M1m ! M2n una aplicación, 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 aplicación F = y f x 1 : m ! n se denomina la
representante local o representante en coordenadas de f .
Definición 1.35
Una aplicación f : M1 ! M2 se dice que es diferenciable en un punto p de su dominio si una repre-
sentante local F = y f x 1 (y, por tanto, todas) es diferenciable en x(p). La aplicación se dice
diferenciable si lo es en todos los puntos de M .
Merece la pena que nos detengamos un momento analizando la definición que acabamos de pre-
sentar. Observemos que las cartas sobre una variedad son siempre aplicaciones diferenciables y que
esta definición generaliza el concepto análogo para aplicaciones entre conjuntos abiertos de espacios
euclı́deos.
Ejercicio 1.36.
Sea M(n, ) el conjunto de las matrices cuadradas reales de orden n con su estructura de variedad
diferenciable y consideremos la aplicación determinante det : M(n, ) ! . Probar que det es una
aplicación diferenciable.
Solución: Sea ' : M(n, ) ! n2 la carta estándar sobre las matrices cuadradas (ver Ejemplo 1.33)
INTRODUCCI ÓN A LAS VARIEDADES DIFERENCIABLES 21
Definición 1.37
Una aplicación f : M ! N se dice que es un difeomorfismo si es biyectiva, diferenciable y con inversa
diferenciable. En tal caso, las variedades M y N se dice que son difeomorfas.
Ejercicio 1.38.
Las variedades diferenciables ( , 1) (ver Ejemplo 1.26) y ( , ') (ver Ejemplo 1.27) son variedades
diferenciables difeomorfas.
p
Solución: Definimos las aplicación f : ( , 1) ! ( , ') por f (s) = 3 s. Trivialmente, f es biyectiva
y tanto ella como su inversa f 1 son diferenciable ya que sus representantes locales son la aplicación
identidad.
Ejercicio 1.39.
(a) Construir un difeomorfismo entre: (i) ]a, b[ y ] 1, 1[ ; (ii) ]0, 1[ y .
(b) Probar que no existe ningún difeomorfismo entre el cı́rculo unidad y un intervalo de la recta real.
Solución: Resolvamos el apartado (b). Supongamos, por reducción al absurdo, que existe una intervalo
I y un difeomorfismo f : I ! S 1 . Entonces I debe ser compacto y, por tanto, cerrado; supongamos
I = [c, d]. Pero entonces f ((c, d)) es la circunferencia menos dos puntos, que no es conexo, cuando el
intervalo abierto (c, d) sı́ que lo es.
Ejercicio 1.40.
22 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Probar:
(a) f | 2 toma valores en 2 .
(b) La aplicación inducida de 2 en sı́ misma es un difeomorfismo.
Solución: a) Denotemos por f1 , f2 , y f3 a las tres componentes de la aplicación f . Entonces
f (x, y, z) 2 2 si, y sólo si, |f (x, y, z)|2 = f1 (x, y, z)2 + f2 (x, y, z)2 + f3 (x, y, z)2 = 1. Consi-
deremos un punto (x, y, z) 2 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 x0 ) cos z (y y 0 ) sen z = 0
(x x0 ) sen z + (y y 0 ) cos z = 0
x cos z y sen z = a
x sen x + y cos z = b
z = c
(0, 1) (1, 1)
(0, 0) (1, 0)
n
!
X
x:V ! n
, x i ei =( 1, . . . , n)
i=1
(0, 1)
( 1, 0) (0, 0) (1, 0)
(0, 1)
U1 = {(z1 , z2 ) 2 1
; z1 > 0}
U2 = {(z1 , z2 ) 2 1
; z2 > 0}
U3 = {(z1 , z2 ) 2 1
; z1 < 0}
U4 = {(z1 , z2 ) 2 1
; z2 < 0}
24 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
x1 : U1 ! , x1 (z1 , z2 ) = z2
x2 : U2 ! , x2 (z1 , z2 ) = z1
x3 : U3 ! , x3 (z1 , z2 ) = z2
x4 : U4 ! , x4 (z1 , z2 ) = z1
(b) Prueba que el atlas definido en (a) es equivalente al formado por las dos cartas siguientes:
'kj : Ukj ! n
, 'kj (z1 , . . . , zn+1 ) = (z1 , . . . , zk 1 , zk+1 , . . . , zn+1 )
A = {(x, y, z) 2 3 : x2 + y 2 = r2 }, r > 0.
B = {(x, y, z) 2 3 : z = x2 + y 2 }.
C = {(x, y, z) 2 3 : x2 + y 2 z2 1 = 0}.
D = {(x, y, z) 2 3 : x2 y2 z2 1 = 0}.
E = {(x, y, z, w) 2 4 : 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. ¿Cuál es su dimensión?
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 n . ¿Es M una variedad diferen-
ciable? En caso afirmativo, ¿es M difeomorfa al fibrado unitario de la esfera unidad n ?
A.1.8. Sea M una variedad diferenciable y r > 0 un número real positivo. Probar que todo punto p de
M admite un entorno coordenado (U, ') tal que '(p) = (0, . . . , 0) y '(U ) = Br (0) = {x 2
n : kxk < r}. Por tanto, todo punto admite una carta centrada en dicho punto y cuyo abierto
coordenado es n .
A.1.9. En este ejercicio se trata de construir un atlas para la esfera n-dimensional n equivalente al
formado por 2(n + 1) hemisferios, pero constituido sólo por dos cartas. Sean los puntos N =
(0, . . . , 0, 1) y S = (0, . . . , 0, 1) y consideremos U = n N y V = n S. Definamos las
aplicaciones
' : U ! n, :V ! n
por
zi zi
'i (z1 , . . . , zn+1 ) = , i (z1 , . . . , zn+1 ) = .
1 zn+1 1 + zn+1
N = (1, 0)
q
'(p)
'(q)
Prueba que {(U, '), (V, )} constituye un atlas para n equivalente al de los hemisferios. Lo
llamaremos el atlas estereográfico.
A.1.10. En el espacio euclı́deo n+1 \{0} se define la siguiente relación de equivalencia:
El conjunto de las clases de equivalencia es un espacio topológico conocido como Espacio Pro-
yectivo Real y que se denota por P n ( ). Dota a P n ( ) de estructura de variedad diferenciable.
A.1.11. Definimos la siguiente relación de equivalencia en :
relación de equivalencia en 2 :
A.1.14. (a) Demuestra que una aplicación : M ! N es diferenciable si, y sólo si, para una
colección 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
aplicación producto f ⇥ g : M ⇥ N ! M 0 ⇥ N 0 es también diferenciable.
(c) Si f : M ! N y g : M ! N 0 son funciones diferenciables, entonces (f, g) : M !
N ⇥ N 0 es una función diferenciable. Como consecuencia la aplicación diagonal d : M !
M ⇥ M definida por d(m) = (m, m) es diferenciable.
(d) Sea f : M ! M 0 y m 2 M . Prueba que f es diferenciable en m si y sólo si f es
diferenciable en m para toda función : M 0 ! diferenciable en f (m).
(e) La composición g f de dos aplicaciones diferenciables f : M ! M 0 y g : M 0 ! M 00
es también diferenciable. Si f y g son difeomorfismos entonces también lo es g f .
A.1.16. (a) Sea M (n, ) el conjunto de las matrices cuadradas reales de orden n con su estructura
de variedad diferenciable y consideremos la aplicación determinante det : M (n, ) ! .
Prueba que det es una función diferenciable.
(b) Sea GL(n, ) el conjunto de las matrices cuadradas regulares de orden n. Dota a GL(n, )
de estructura de variedad diferenciable.
(c) Sea S(n, ) el conjunto de las matrices simétricas de orden n. Prueba que S(n, ) admite
estructura de variedad diferenciable.
(d) Sea A(n, ) el conjunto de las matrices antisimétricas de orden n. Prueba que A(n, )
admite estructura de variedad diferenciable.
A.1.17. Demuestra que para todo par de números reales a, b 2 , a < b, se puede construir una función
diferenciable h : ! , con 0 h(t) 1, tal que
a b
INTRODUCCI ÓN A LAS VARIEDADES DIFERENCIABLES 27
A.1.18. Demuestra que para toda cuaterna de números reales a < a1 < b1 < b, se puede construir una
función diferenciable h : ! , con 0 h(t) 1, tal que
a a1 b1 b
A.1.20. Prueba que la esfera 2 y la recta proyectiva compleja P 1 son variedades difeomorfas.
A.1.21. Sea X X
T ( , µ) = {x 2 +µ 1
: x2i = x2i }.
i i>
W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.
5. PREGUNTAS DE EVALUACIÓN
a) Probar que el conjunto cociente M = n+1 {0}/ ⇠ admite estructura de variedad dife-
renciable.
b) ¿A qué conocida variedad es M difeomorfa? Dar explı́citamente el difeomorfismo y probar
que, efectivamente, lo es.
28 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
E.1.3. Un grupo de Lie G es una variedad diferenciable que al mismo tiempo admite un estructura de
grupo tal que las operaciones del grupo son diferenciables; es decir, las aplicaciones
µ:G⇥G ! G ⇠:G ! G
(a, b) ! ab a ! a 1
E.1.4. En el espacio n+1 \ {0} se considera que dos elementos x e y están relacionados si, y sólo
si, son colineales. El conjunto de las clases de equivalencia es un espacio topológico conocido
como Espacio Proyectivo Complejo y denotado por P n . Dota a P n de estructura de variedad
diferenciable de dimensión 2n.
E.1.5. En el espacio n+1 \ {0}, donde es el espacio vectorial de los cuaterniones, se considera que
dos elementos x e y están relacionados si, y sólo si, son colineales. El conjunto de las clases
de equivalencia es un espacio topológico conocido como Espacio Proyectivo Cuaterniónico y
denotado por P n . Dota a P n de estructura de variedad diferenciable de dimensión 4n.
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
30 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Alexis Claude Clairaut (1713-1765) nació en Parı́s, hijo de Jean-Baptiste, maestro de matemáticas
de Parı́s y miembro de la Academia de Matemáticas de Berlı́n. Fue uno de los matemáticos más pre-
coces, superando incluso a Blaise Pascal (1623-1662), y a la edad de diez años ya leı́a los libros de
Guillaume François Antoine l’Hospital (1661-1704) sobre cónicas y cálculo infinitesimal. Con sólo
doce años, 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 sólo dieciocho años, publica la obra Recherches sur les courbes à double courbure (Investigaciones
sobre las curvas con doble curvatura, 1831) gracias a la cual fue admitido en la Academia de Ciencias,
aunque hubo de hacerse una excepción con él, ya que el reglamento exigı́a una edad mı́nima de veinte
años.
Previamente habı́a publicado su obra Eléments de géométrie (Elementos de geometrı́a, 1741), di-
rigida especialmente para principiantes y escrito con un estilo muy simple y didáctico. Sus cualidades de
autor-pedagogo se verı́an después confirmadas con su obra Eléments d’ algèbre (Elementos de álgebra,
1746), que tuvo una influencia notable en la enseñanza superior francesa. Su estilo huye de las demos-
traciones rigurosas y busca despertar la intuición y la curiosidad del lector, de forma que sea él mismo
quien vaya descubriendo y explorando este nuevo mundo. Desgraciadamente parece que, según el abate
Bossut, su excesiva afición a los placeres terrenales y a la compañı́a de las mujeres le hizo perder el
reposo y la salud, provocándole la muerte de 1765.
Con sólo quince años de edad, su hermano menor, del que se desconoce el nombre, publicó la obra
Traté de quadratures circulaires et hyperboliques (Tratado de cuadraturas circulares e hiperbólicas,
1731). El historiador Montucla opina que poseı́a todo el talento necesario para seguir las huellas de su
hermano Alexis, pero este genio precoz murió prematuramente de viruela en 1732.
INTRODUCCI ÓN A LAS VARIEDADES DIFERENCIABLES 31
En su tratado de 1731, Alexis Clairaut desarrolló las ideas que René Descartes (1596-1650) habı́a
sugerido casi un siglo antes en el estudio de las curvas del espacio mediante la consideración de las pro-
yecciones sobre dos planos coordenados. Clairaut las llamó curvas de doble curvatura porque la curva-
tura de estas curvas está determinada por las curvaturas de las dos curvas que se obtienen por proyección
de la curva original en dos planos perpendiculares. Determinó ası́ numerosas curvas del espacio median-
te intersecciones de superficies variadas, dio las ecuaciones de algunas superficies y demostró que dos
de estas ecuaciones son necesarias para describir una curva en el espacio. Se encuentran también en este
tratado las fórmulas de la distancia para dos y tres dimensiones, ecuaciones de superficies cuádricas, y
las tangentes de curvas del espacio. Clairaut demostró también que una ecuación homogénea en x, y, y
z (todos los términos del mismo grado) representa un cono cuyo vértice está situado en el origen.
Isaac Newton (1642-1727) determinó de manera teórica que el radio ecuatorial de la Tierra era
1/230 más largo que el radio polar. Un método consistı́a en medir la longitud de arco de 1o de latitud
cerca del ecuador y cerca del polo. Jean-Dominique Cassini (1625-1712) y su hijo Jacques Cassini
(1677-1756) efectuaron una medición en 1712 y su resultado reveló que el diámetro que unı́a los dos
polos era 1/95 más largo que el diámetro ecuatorial, lo que contradecı́a el resultado teórico de Newton.
La Academia de Ciencias organizó dos expediciones, una a Laponia (1736-1737), bajo la dirección de
Pierre Louis Moreau de Maupertuis (1698-1759), y otra a Perú (1735-1744). Clairaut acompañó 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 teorı́a de Newton triunfó y el debate entre newtonianos y
cassinianos quedó, temporalmente, zanjado. Sin embargo, no serı́a hasta el siglo XX cuando se conocerı́a
la respuesta definitiva a la forma de la Tierra.
Otros campos de interés fueron las ecuaciones diferenciales, las ecuaciones en derivadas parciales,
la teorı́a de superficies, el cálculo en varias variables y las series trigonométricas. Por lo que respecta
a las ecuaciones diferenciales, en 1734, Clairaut se interesó por una ecuación que actualmente lleva su
nombre:
y = xy 0 + f (y 0 ),
cuya solución general consiste en una familia de lı́neas rectas. La ecuación de Clairaut posee también
una solución singular, siendo una de las primeras veces en la historia que este tipo de solución se pone
de relieve.
BIBLIOGRAFÍA
Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 494–495.
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. pp. 244–245.
Jean-Paul Collete. Historia de las matemáticas, vol. II. Siglo veintiuno de España Editores, S.A., 1985.
pp. 216–220.
32 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
BIBLIOGRAFÍA COMPLEMENTARIA
Libros:
J.L. Greenberg The problem of the Earth’s 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 d’Alembert : science and the englightenment (New York, 1990).
Artı́culos:
C.B. Boyer Clairaut and the origin of the distance formula, Amer. Math. Monthly 55 (1948), 556-557.
P. Brunet La vie et l’oeuvre de Clairaut, Rev. Hist. Sci. Appl. 4 (1951), 13-40, 109-153.
P. Brunet La vie et l’oeuvre de Clairaut, Rev. Hist. Sci. Appl. 5 (1952), 334-349.
P. Brunet La vie et l’oeuvre de Clairaut, Rev. Hist. Sci. Appl. 6 (1953), 1-17.
P. Chandler Clairaut’s 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 Clairaut’s iterative method of 1743,
Historia Math. 15 (3) (1988), 228-239.
V.J. Katz The history of differential forms from Clairaut to Poincaré, Historia Math. 8 (2) (1981), 161-
188.
S. Mills Un théorème de Clairaut, C. R. Acad. Sci. Paris Vie Académique 290 (1980), Suppl. 20-24,
175-177.
P. Speziali Une correspondance inédite 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, L’Astronomie 100 (1986), 397-408.
R. Taton Sur la diffusion des théories newtoniennes en France : Clairaut et le problème de la figure de
la terre, Vistas Astronom. 22 (4) (1978), 485-509.
E. Ulivi The teaching of elementary algebra : Clairaut (Italian), Archimede 32 (3) (1980), 130-135.
C. Wilson Clairaut’s calculations of the eighteenth-century return of Halley’s comet, J. Hist. Astronom.
24 (1-2) (1993), 1-15.
CAPÍTULO 2
TOPOLOGÍA DE VARIEDADES
En el capı́tulo anterior hemos introducido dos conceptos fundamentales como son, lógicamente,
las variedades diferenciables y las aplicaciones diferenciables entre variedades. Sin embargo, si que-
remos generalizar a variedades diferenciables los métodos del cálculo diferencial parece conveniente
introducir nuevos conceptos, sobre todo en lo relativo a la continuidad de funciones (recordemos la
conocida propiedad del cálculo elemental de que toda función derivable es continua). Por ello es im-
prescindible que dotemos a una variedad diferenciable de una topologı́a, y serı́a conveniente que dicha
topologı́a fuese lo más natural posible.
34 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Proposición 2.3
Sea M una variedad diferenciable n-dimensional y consideremos (U, ') una carta admisible. Si W ⇢ U
es tal que '(W ) es un abierto en n , entonces (W, z), siendo z = '|W , es también una carta admisible.
Tras establecer el concepto de carta admisible, es fácil ver que la colección de entornos coordena-
dos de una variedad diferenciable M constituye una base para una topologı́a sobre M , que denomina-
remos topologı́a inducida (por la estructura diferenciable) y que denotaremos por ⌧0 . En esta topologı́a,
un subconjunto A ⇢ M es abierto si, y sólo si, A \ U es un entorno coordenado para cualquier carta
(U, '). No es difı́cil probar que es suficiente con demostrarlo para los sistemas de coordenadas de un
atlas diferenciable.
Una vez introducida dicha topologı́a, ya es posible hablar de continuidad de funciones y, en par-
ticular, de homeomorfismos. En este sentido, puede probarse la siguiente propiedad importante.
Proposición 2.4
Las cartas que definen la estructura diferenciable son homeomorfismos en la topologı́a inducida.
También se satisfacen las siguientes propiedades, que generalizan las análogas del cálculo dife-
rencial sobre el espacio euclı́deo n .
Proposición 2.5
(a) Si una aplicación f : M ! M 0 es diferenciable en un punto p 2 M entonces, usando las
topologı́as inducidas en M y M 0 , f es continua en p.
En este punto conviene indicar que podrı́a suceder, como de hecho ası́ ocurre en la mayorı́a de los
ejemplos que se han presentado, que el conjunto base sobre el que construimos la variedad diferenciable
tenga ya una topologı́a propia. Es lógico entonces plantearse cuándo esta topologı́a coincidirá con la
topologı́a inducida. En esta misma lı́nea, es natural preguntarse cómo podemos dotar de una estructura
diferenciable a un espacio topológico de manera que sea compatible con su estructura topológica.
TOPOLOG ÍA DE VARIEDADES 35
Proposición 2.6
Sea (M, ⌧ ) un espacio topológico y consideremos A una estructura diferenciable sobre M . Entonces la
topologı́a inducida coincide con ⌧ si, y sólo si, las cartas de A son homeomorfismos en ⌧ .
Definición 2.7
Sea M un espacio topológico. Un atlas diferenciable n-dimensional sobre M es una familia de cartas
A = {(U↵ , '↵ )}↵2A satisfaciendo las siguientes condiciones:
(1) [↵2A U↵ = M .
(2) Las cartas '↵ son homeomorfismos de U↵ en abiertos de n .
(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 condi-
ciones anteriores.
A continuación estudiamos las propiedades más importantes de la topologı́a inducida, sobre todo
en lo referente a la separabilidad y numerabilidad de la variedad.
Proposición 2.8
La topologı́a inducida sobre una variedad es T1 y localmente Hausdorff.
Ejemplo 2.9
Sea M el subconjunto de 2 siguiente:
M = {(t, 0) 2 2
;t 2 } [{(0, 1)}
x : U = {(t, 0) 2 2
;t 2 }! , x(t, 0) = t,
y : V = {(t, 0) 2 2
; t 6= 0} [{(0, 1)} ! , y(t, 0) = t, y(0, 1) = 0
Es fácil 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 también puede ser obtenida de una copia doble de mediante una relación de
equivalencia. Para ser más precisos, consideremos la variedad diferenciable N = {(t, s) 2 2 ; s =
0, 1} y definamos la siguiente relación de equivalencia:
(s, t) ⇠ (a, b) () s = a 6= 0
Es fácil ver que el conjunto cociente N/ ⇠ admite estructura de variedad diferenciable difeomorfa a M .
Proposición 2.10
La topologı́a inducida sobre una variedad satisface el primer axioma de numerabilidad 1A .
36 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Como ocurrı́a con la propiedad anterior, este resultado no puede mejorarse, ya que existen ejem-
plos de variedades diferenciables que no satisfacen el segundo axioma de numerabilidad.
Ya hemos visto que una variedad diferenciable no tiene que ser necesariamente Hausdorff ni 2A ;
sin embargo, para poder desarrollar un cálculo diferencial sobre variedades necesitamos introducir el
concepto de lı́mite, y el axioma de Hausdorff es precisamente el que nos asegura la unicidad de dicho
lı́mite. Por esta razón, en muchas ocasiones se parte de un espacio topológico Hausdorff para dotarlo
de una estructura diferenciable. Exigir esta propiedad es bastante natural, ya que n la satisface y, en
consecuencia, cualquier variedad M ⇢ n , que esté dotada de la topologı́a relativa, también la satisface.
Otra propiedad interesante es la siguiente.
Proposición 2.11
La topologı́a de una variedad Hausdorff es localmente compacta.
Proposición 2.12
Toda variedad diferenciable con un atlas numerable satisface el segundo axioma de numerabilidad.
Observación 2.13
En relación con las propiedades topológicas de una variedad diferenciable, debemos tener la precaución
necesaria para evitar errores fácilmente evitables. Por ejemplo, si consideramos la figura ocho E ⇢ 2 ,
entonces es fácil pensar que E es una variedad compacta, ya que con la topologı́a relativa de 2 es ası́.
TOPOLOG ÍA DE VARIEDADES 37
Sin embargo, E admite un atlas de una sola carta, por lo que es homeomorfo a un abierto de y,
consecuentemente, nunca podrá ser compacta. La razón hay que buscarla en que las cartas de E no son
homeomorfismos en la topologı́a relativa.
Definición 2.14
El soporte de una función diferenciable f : M ! es el siguiente conjunto:
sop(f ) = {p 2 M : f (p) 6= 0}
Definición 2.15
Una familia A de abiertos de M es localmente finita si todo punto de M tiene un entorno que interseca
a un número finito de elementos de A.
Definición 2.16
Una colección {f↵ : M ! [0, 1] ⇢ }↵ de funciones diferenciables se dice que es una partición
(diferenciable) de la unidad si satisface las siguientes condiciones:
(1) El soporte de f↵ es compacto y está contenido en un entorno coordenado.
P {sop(f↵ )} es localmente finita.
(2) La colección de los soportes
(3) Para todo punto p de M , ↵ f↵ (p) = 1.
En este caso, diremos que M es una variedad paracompacta.
Se dice que una partición de la unidad {f↵ }↵ está subordinada a un cubrimiento {Ui }i si para
cada ↵ existe un i tal que {sop(f↵ )} ⇢ Ui .
Muchos de los problemas que se presentan en Geometrı́a Diferencial tienen una fácil solución en
un entorno coordenado de un punto. Las particiones de la unidad se utilizan para construir soluciones
globales a los problemas a partir de las soluciones locales.
Proposición 2.17
Si M es una variedad diferenciable paracompacta entonces M es Hausdorff.
Teorema 2.18
Una variedad diferenciable M es paracompacta s,i y sólo si, M es Hausdorff y cada componente conexa
de M satisface el segundo axioma de numerabilidad.
38 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Proposición 2.19
Sea M una variedad paracompacta, U ⇢ M un subconjunto abierto y C ⇢ U un subconjunto cerrado.
Entonces existe una función f 2 C 1 (M ) tal que f ⌘ 1 en C y f ⌘ 0 en M \U .
Corolario 2.20
Sea M una variedad paracompacta y U un entorno de un punto p. Entonces existe una función salto f
en p subordinada a U , es decir:
(1) 0 f 1 en M .
(2) f = 1 en algún entorno de p.
(3) sop(f ) ⇢ U .
Este corolario puede demostrarse directamente, sin hacer uso de la existencia de particiones dife-
renciables de la unidad y suponiendo solamente que la variedad es Hausdorff.
Proposición 2.21
Sea M una variedad diferenciable Hausdorff y consideremos un punto p en el dominio de una función
diferenciable f . Entonces existe una función diferenciable global F que coincide con f en un entorno
de p.
xn (s, 0) = s 6= 0 xn (0, n) = 0.
• (0, n)
• ..
.
• (0, 3)
• (0, 2)
• (0, 1)
•
(s, 0)
Prueba:
A.2.2. Una variedad M se dice conexa si, con la topologı́a inducida, es un espacio topológico conexo.
Prueba que una variedad Hausdorff M es conexa si, y sólo si, es conexa por arcos, es decir, para
todo par de puntos p, q de M existe una aplicación f : [0, 1] ! M continua tal que f (0) = p y
f (1) = q.
(1) 0 f 1.
(2) f ⌘ 1 en un entorno de p.
(3) sop(f ) ⇢ U .
donde (
exp( 1
) |x| < 1
h(x) = 1 x2
0 |x| 1
constituyen una partición diferenciable de la unidad subordinada al cubrimiento abierto de
definido por {(n 2, n + 2)}n2 .
A.2.5. (a) Prueba que la esfera n admite una partición diferenciable de la unidad consistente en sólo
dos funciones.
(b) Si M y M 0 son dos variedades paracompactas, entonces la variedad producto M ⇥ M 0 es
paracompacta.
W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.
5. PREGUNTAS DE EVALUACIÓN
x↵ (s, 0) = s 6= 0 x↵ (0, ↵) = 0.
Prueba:
E.2.2. Sea E = 3 y denotemos por 2a al plano z = a, con su topologı́a usual. Consideremos E como
la unión disjunta de 2a , con a 2 , y dotémosle de la topologı́a natural: un subconjunto de E es
abierto si, y sólo si, su intersección con cada 2a es abierto. Consideremos la siguiente relación:
(
y = y0 > 0
(x, y)a ⇠ (x0 , y 0 )b () (x, y)a = (x0 , y 0 )b o
xy + a = x0 y + b
E.2.3. Sean M y N dos variedades diferenciables de la misma dimensión. ¿Son localmente difeo-
morfas? ¿Son globalmente difeomorfas? ¿Qué ocurre en el caso concreto de M = n y N =
P n ( )?
TOPOLOG ÍA DE VARIEDADES 41
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
42 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Gaspard Monge (1746-1818) nació 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 finalizó sus estudios en 1762. Los
oratorianos de Lyon decidieron atraerlo y a los dieciseis años le ofrecieron la cátedra de fı́sica en su
colegio. Sin embargo, en 1764 Monge decidió abandonar el colegio y regresar a Beaune junto a su
familia.
En 1772 comienza a interesarse por otras disciplinas, entre las que destaca la fı́sica. Las numerosas
memorias que publica entre 1772 y 1780 revelan contribuciones importantes no sólo a la geometrı́a
descriptiva, sino también a la geometrı́a diferencial y a las ecuaciones en derivadas parciales. Hizo
importantes contribuciones a la geometrı́a de superficies de segundo grado (previamente estudiadas por
Christopher Wren (1632-1723) y Leonhard Euler (1707-1783) y descubrió una relación entre la teorı́a
de superficies y las ecuaciones diferenciales. Estudió las lı́neas de curvatura, estableciendo una teorı́a
general de la curvatura que aplicó al elipsoide.
Politécnica, siendo su profesor más activo y su protector más abnegado. En 1796 conoció a Napoleón
Bonaparte e inmediatamente se estableció una simpatı́a recı́proca entre ambos. Antes la insistencia del
general, Monge se embarcó para participar en la campaña de Egipto. En 1798, en Egipto, Bonaparte
decidı́a la creación del Instituto de Egipto, cuya presidencia confió a Monge. A su regreso a Francia,
abandonó la dirección de la Escuela Politécnica, conservando su puesto de profesor, lo que le permitió
reanudar la investigación. Su amistad con Napoleón le perjudicó al final, fue despedido de la Escuela
Politécnica y excluido de la lista de miembros del Instituto, muriendo el 28 de julio de 1818.
La obra de Monge fue considerable y fecunda, siendo imposible en unas pocas lı́neas enumerar
sus aportaciones a las Matemáticas, en particular a la geometrı́a. La obra de Monge en geometrı́a
descriptiva queda recogida en su obra Geometrı́a descriptiva (1799), que recoge las lecciones impartidas
a los alumnos de la Escuela Normal en 1794-1795.
La geometrı́a analı́tica de Monge, como la de Joseph Louis Lagrange (1736-1813), está centrada
en problemas del espacio. En la memoria titulada Memoria sobre las evolutas, los radios de curvatura y
los diferentes géneros de inflexión de las curvas de doble curvatura (1771), publicada en 1785, Monge
estudia un gran número de problemas preliminares de geometrı́a analı́tica. Otras obras de Monge son
Hojas de análisis aplicado a la geometrı́a (editadas por primera vez en 1795) y Aplicación del álgebra
a la geometrı́a (1802), ésta última escrita en colaboración con Jean-Nicolas Pierre Hachette (1769-
1834). Entre las contribuciones de Monge a la geometrı́a analı́tica podemos citar el perfeccionamiento
del estudio de las cuádricas, la introducción de las coordenadas axiales de la recta y la de la orientación
de las áreas triangulares y de los volúmenes tetraédricos.
Monge participó activamente en la creación de la geometrı́a diferencial de las curvas del espacio
y se destacó en el progreso de la teorı́a de superficies. Entre sus aportaciones más importantes, podemos
destacar la unión de las ecuaciones en derivadas parciales con las familias de superficies, un estudio
paralelo de las ecuaciones diferenciales totales, su célebre teorı́a de las caracterı́sticas y su solución de
la ecuación de las superficies minimales.
Bibliografı́a
Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 511–516.
44 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. pp. 274–275.
Jean-Paul Collete. Historia de las matemáticas, vol. II. Siglo veintiuno de España Editores, S.A., 1985.
pp. 242–250.
Bibliografı́a complementaria
Encyclopaedia Britannica
Libros:
A.N. Bogolyubov Gaspard Monge (1746-1818) (Russian), Scientific-Biographical Literature Series ’Nau-
ka’ (Moscow, 1978).
Artı́culos:
M.L. Balinski Gaspard Monge : pour la patrie, les sciences et la gloire, in Mathématiques appliquées
aux sciences de l’ingénieur (Toulouse, 1991), 21-37.
S. Colombo Gaspard Monge, géomètre et sénateur, 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ère note mathématique de Gaspard Monge (juin 1769), Rev. Histoire Sci. Appl. 19
(1966), 143-149.
R. Taton Un texte inédit de Monge : Réflexions sur les équations aux différences partielles, Osiris 9
(1950), 44-61.
R. Taton Monge, créateur des coordonnées axiales de la droite, dites de Plücker, Elemente der Math. 7
(1952), 1-5.
TOPOLOG ÍA DE VARIEDADES 45
R. Taton Remarques sur la diffusion des théories mathématiques de Monge, Thalès 5 (1948), 43-49.
R. Taton Deux contributions de Monge à la création de la géometrie moderne, C. R. Acad. Sci. Paris
232 (1951), 198-200.
R. Taton Une correspondance mathématique inédite de Monge, Revue Sci. 85 (1947), 963-989.
R. Taton A propos d’une correspondance inédite de Monge, C. R. Acad. Sci. Paris 226 (1948), 36-37.
46 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
CAPÍTULO 3
DIFERENCIACIÓN EN VARIEDADES
Uno de los puntos cruciales para generalizar el Cálculo Diferencial de n a una variedad di-
ferenciable es la definición que demos de vector tangente y de derivada direccional de una función
diferenciable. Por este motivo es conveniente recordar estos conceptos en n y volverlos a interpretar.
Definición 3.1
Sea ↵ una curva en M que pasa por p, ↵(0) = p. El vector tangente a ↵ en p es la aplicación ↵0 (0) :
C 1 (p) ! definida por
d
↵0 (0)(f ) = (f ↵).
dt t=0
Definición 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 algún ejemplo de vector tangente vamos a introducir un concepto importante en el
cálculo diferencial en variedades.
Definición 3.3
Sea p 2 M y consideremos (U, x) una carta local alrededor del punto p con funciones coordenadas
(x1 , x2 , . . . , xn ). Dada una función f 2 C 1 (p), la derivada parcial de f con respecto a xi en el punto
p es
@f @(f x 1 )
(p) = (x(p))
@xi @ui
donde (u1 , . . . , un ) son las coordenadas naturales de n.
Sea (U, x) una carta local y consideremos un punto p 2 U . Entonces podemos construir la
aplicación
@
: C 1 (p) !
@xi p
definida por
@ @f
(f ) = (p)
@xi p @xi
Es fácil demostrar que dicha aplicación es una derivación sobre C 1 (p). A continuación vamos probar
que también 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.
y
F (u1 , . . . , un ) = (f x 1
)(u1 , . . . , un )
Entonces se tiene
n
X @F duj
↵i0 (0)(f ) = (F i )(t) = F (u1 (t), . . . , un (t)) = ( i (0)) (0
t=0 t=0 @uj dt
j=1
@
= (f )
@xi p
Proposición 3.4
El conjunto de todas las derivaciones sobre C 1 (p) tiene estructura de espacio vectorial. Si (U, x) es una
carta local cuyo dominio contiene al punto p, entonces { @x@ 1 , @ @
@x2 p , . . . , @xn p } constituye una base.
p
Puede demostrarse sin mucha dificultad que si f 2 C 1 (p) entonces la función f se escribe en un
entorno de p como
Xn
f = f (p) + (xi xi (p))hi ,
i=1
para ciertas funciones h1 , . . . , hn 2 C 1 (p). Como consecuencia de este resultado se obtiene que toda
derivación sobre C 1 (p) es, de hecho, un vector tangente a M en p. Esto conduce al siguiente teorema.
Teorema 3.5
Sea p 2 M n . El espacio tangente Tp M es un espacio vectorial (real) de dimensión n.
Hemos probado que cada sistema de coordenadas o carta local que contenga al punto p en su
dominio nos proporciona una base canónica de Tp M , por lo que es natural plantearse cómo estarán
relacionadas dos bases asociadas a sistemas de coordenadas distintos. La respuesta a esta cuestión es
muy sugerente:
Proposición 3.6
La matriz del cambio de base es la matriz jacobiana del cambio de cartas.
50 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Definición 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, denotándose, como es habitual, por (Tp M )⇤ .
donde @i |p denota el i-ésimo campo coordenado asociado a la carta x. En particular, para toda función
diferenciable f y todo punto p se satisface lo siguiente
n
X @f
dfp = dxip
@xi
i=1
Una vez introducido el espacio euclı́deo adecuado para poder generalizar el cálculo diferencial
real, se hace preciso indicar cómo se deriva/diferencia una aplicación diferenciable. La diferencial
de una aplicación diferenciable entre espacios euclı́deos es una aplicación lineal, la más próxima de
todas las lineales, cuya matriz asociada es la matriz jacobiana de la aplicación. En la presente sección
pretendemos extender estas ideas a variedades diferenciables.
En primer lugar se observa que toda aplicación diferenciable f entre variedades M y N determina,
de manera natural, una aplicación lineal entre los espacios tangentes Tp M y Tf (p) N , para cada punto p
que se considere en el dominio de f . En efecto, dado un vector tangente v 2 Tp M podemos considerar
la aplicación w 2 C 1 (f (p)) definida por w(g) = v(f g). Es fácil ver que w es un vector tangente a
N en f (p). Llegamos ası́ a la siguiente definición.
Definición 3.8
Sea f : M ! N una aplicación diferenciable. La diferencial de f en p se define como la aplicación
dfp : Tp M ! Tf (p) N dada por dfp (v)(g) = v(f g).
Esta aplicación, también denotada por f⇤p , es -lineal. ¿Cómo se puede interpretar el vector
dfp (v)? Si suponemos que v = ↵0 (0), siendo ↵ una curva en M que pasa por p en el instante t = 0,
entonces de la propia definición se deduce fácilmente que dfp (v) = 0 (0), donde es la curva en N que
pasa por f (p) definida por = f ↵.
DIFERENCIACI ÓN EN VARIEDADES 51
El paso siguiente es encontrar la matriz de la aplicación 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 fácil probar que si se escogen las bases canónicas 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 más que la matriz
jacobiana de su representante local.
Definición 3.10
Sea f : M ! N una aplicación diferenciable, y consideremos un punto p 2 M . El rango de f en p es
la dimensión del subespacio vectorial imagen de la aplicación dfp .
Introducimos un método práctico para su cómputo, ya que dicho rango coincide con el rango de
la matriz jacobiana.
Ejemplo 3.12
Un difeomorfismo local no es necesariamente un difeomorfismo global. Consideremos la aplicación f :
2 ! 2 definida por f (x, y) = (ex cos y, ex sen y). Es fácil ver que f es una aplicación diferenciable
Por tanto f es un difeomorfismo local. Sin embargo, f no puede ser un difeomorfismo global porque no
es biyectiva.
52 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Para finalizar esta lección probamos que la unión T M de todos los espacios tangentes a una va-
riedad diferenciable, en todos sus puntos, admite una estructura de variedad diferenciable de dimensión
el doble de la dimensión de la variedad M y se denomina el fibrado tangente de M . Asimismo in-
troducimos el fibrado cotangente de M , que también posee una estructura diferenciable de la misma
dimensión.
A.3.1. (a) Sea (U, x), con x = (x1 , . . . , xn ), una carta en una variedad diferenciable M . Prueba que
@xj (p) = ij , donde ij representa la delta de Kronecker, para todo punto p 2 U .
@xi
(b) Sea x es una carta de M y f : M ! una función diferenciable cuya representante local
F = f x 1 está dada por F (u1 , . . . , un ) = sen u1 + cos u2 . Prueba que
@f @f
= cos x1 y = sen x2 .
@x1 @x2
A.3.2. (a) Sea V un espacio vectorial n-dimensional real dotado con su estructura estándar de varie-
dad diferenciable y p 2 V un punto de V . Prueba que Tp V es canónicamente isomorfo a V .
De este modo, V y Tp V son, como variedades diferenciables, difeomorfas.
(b) Sea ' : V ! W una aplicación lineal entre dos espacios vectoriales de dimensiones n y
m, respectivamente. Prueba que ' es una aplicación diferenciable y calcula su diferencial
en un punto p 2 V arbitrario.
A.3.3. (a) Si i es la aplicación identidad en algún entorno de m 2 M , prueba que dim es la aplicación
identidad sobre el espacio tangente Tm M .
(b) Si ' : M ! M 0 es una aplicación constante en algún entorno de m, prueba que d'm es la
función cero.
(c) Deduce que si y ' son dos aplicaciones de M en M 0 que coinciden en algún entorno de
un punto m 2 M , entonces d m = d'm .
(d) Sea M una variedad diferenciable conexa y f : M ! una función diferenciable tal que
dfp = 0 en todo punto p de M . Prueba que f es una función constante.
A.3.4. Sea C 1 (m) el álgebra de las funciones diferenciables en un entorno de m. Definimos el subcon-
junto C 1 s (m) de C 1 (m) del siguiente modo. Una función f : M ! está en Fs (m) si, y sólo
si, en algún entorno de m X
f =c+ f↵ g↵ ,
finita
A.3.5. Sea x una carta de M tal que x(m) = a 2 n . Prueba que para toda función f 2 C 1 (m) existen
funciones h1 , h2 , . . . , hn 2 C 1 (m) y un entorno U de m tal que
n
X
f (q) = f (m) + (xi (q) ai )hi (q)
i=1
F 1
(v1 , v2 ) = (diq )p (v1 ) + (djp )q (v2 ).
54 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
En vista de esto, es usual identificar los vectores de T(p,q) M con sus imágenes por F . Ası́ v =
(v1 , v2 ) significará que F (v) = (v1 , v2 ).
A.3.8. (a) Sea f : M ! N una aplicación diferenciable con rango constante e igual a dimM =
dimN . Prueba que f (M ) es un abierto en N .
(b) Sea f : M ! N una aplicación diferenciable y biyectiva. Supongamos que f tiene rango
constante e igual a dimM =dimN . Prueba que f es un difeomorfismo.
(c) Demuestra que la proyección natural ⇡ : n ! P n ( ) tiene rango constante e igual a n.
Deduce que ⇡ es un difeomorfismo local pero no un difeomorfismo global.
A.3.10. Consideremos Ma el conjunto formado por todas las matrices reales de orden 2 ⇥ 2 con deter-
minante a, siendo a un número real no nulo.
(a) Prueba que Ma admite una estructura de variedad diferenciable. ¿Cuál es su dimensión?
(b) Calcula el espacio tangente a Ma en el punto
!
a 0
p= .
0 1
A.3.11. Sea ↵ : I ! una curva regular en 3 y sea M el conjunto de todos los vectores normales a
↵. ¿Admite M estructura de variedad diferenciable? En caso afirmativo, ¿de qué dimensión?
una aplicación diferenciable. ¿Existe algún punto p 2 M tal que dfp es singular?
W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.
5. PREGUNTAS DE EVALUACIÓN
z
E.3.2. Consideremos la aplicación : n+1 \{0} ! n definida por (z) = .
|z|
(a) Prueba que es una aplicación diferenciable.
(b) Calcula su diferencial, ası́ como su rango y su núcleo.
N M = {(p, v) 2 M ⇥ m
: v 2 Tp? M ⇢ m
}
Definimos la aplicación ' : N M ! m por '(p, v) = f (p) + v. Prueba que ' es una aplicación
regular en (p, 0) para todo punto p de M .
56 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
DIFERENCIACI ÓN EN VARIEDADES 57
En 1783, Carnot publica su Ensayo sobre las máquinas en general, obra que se refiere a los
principios, las leyes generales del choque y la ley de conservación del trabajo. En la misma época
presenta una memoria sobre los dirigibles a la Academia de Ciencias, creyendo firmemente en su gran
utilidad en la guerra. Carnot no puede esperar un ascenso rápido, y su espı́ritu demasiado independiente
le lleva a enemistarse con las autoridades del real cuerpo de ingenieros militares. Si se añade a esto
su imposibilidad de contraer matrimonio con su amada, no hace falta nada más para enfrentarle a las
instituciones y las autoridades del antiguo régimen.
En 1791 es elegido diputado en la Asamblea legislativa, en donde encarna los méritos y las preten-
siones de la burguesı́a con talento; su resolución y su actividad le aseguran rápidamente una notoriedad
local. La Convención le llama, en 1793, para dirigir los destinos del ejército del norte. Su victoria
de Wattignies le valdrá el tı́tulo de “Organizador de la Victoria”. A su vuelta a Paris vota la muerte
de Luis XVI, apareciendo ante los ojos de todos como un terrorista, un hombre sin partido y violento.
Después del golpe de Fructidor en 1797 huye, porque se le acusa de complicidad con la causa realista.
Matemáticamente, la proscripción de Carnot se convirtió en algo bueno, ya que le dio la oportunidad,
aunque en el exilio, para completar un trabajo que habı́a concebido hacı́a tiempo. Uno espera que un
hombre que se ha dedicado a tareas de enorme exigencia práctica, como lo habı́a estado Carnot, piense
en cosas de utilidad práctica inmediata. Sin embargo, en 1797, Carnot publica su libro Réflexions sur la
métaphysique du calcul infinitésimal (Reflexiones sobre la metafı́sica del cálculo infinitesimal), con las
cuales Carnot intenta demostrar que los métodos de Isaac Newton (1642-1727) y Gottfried Wilhelm
Leibnitz (1646-1716) son algoritmos equivalentes al método de exhaución de Arquı́medes (287-212
A.C.).
Durante la segunda mitad del siglo XVIII existı́a un gran entusiamos por los resultados que se ob-
tenı́an con el cálculo infinitesimal, aunque también habı́a preocupación acerca de sus principios básicos.
58 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Ninguna de las interpretaciones habituales (las fluxiones de Newton, las diferenciales de Leibnitz o
los lı́mites de d’Alembert) eran satisfactorias, por lo que Carnot se propuso aclarar en qué consistı́a
el nuevo análisis. Sin embargo, su elección del principio unificador no pudo ser más desacertada. Su
conclusión fue que los verdaderos principios metafı́sicos son los principios de compensación de errores.
Según su razonamiento, los infinitesimales son cantidades despreciables que son introducidas, al igual
que los números imaginarios, para facilitar los cálculos, y son eliminadas para alcanzar el resultado fi-
nal. Asimismo, las ecuaciones imperfectas se vuelven perfectamente exactas en el cálculo mediante la
eliminación de cantidades tales como los infinitésimos de orden superior, que son una fuente de errores.
Las Reflexiones de Carnot llegaron a ser muy populares, editandose en varios paı́ses y lenguas.
A pesar de su desacertada aproximación al cálculo, no cabe duda de que su punto de vista ayudó a que
se examinara con más rigor. Sin embargo, la reputación actual de Carnot debemos buscarla en otros
libros. En 1801 publica De la correlation des figures de géométrie (De la correlación de las figuras de
geometrı́a), un trabajo caracterizado por su alto grado de generalidad. Carnot intentó establecer para la
geometrı́a pura una universalidad comparable a la que disfrutaba la geometrı́a analı́tica.
El nombre de Carnot ha quedado unido a un teorema que aparece en su obra Essai sur le théorie
des transversales (Ensayo sobre la teorı́a de las transversales, 1806). Este teorema constituye una
generalización de un teorema de Menelao de Alejandrı́a: dada una curva algebraica cualquiera de
orden n que corta a un triángulo ABC, sea A1 el producto de las n distancias, reales o imaginarias, de
A a los n puntos de intersección 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 lı́nea recta, es el teorema de Menelao; si la curva es una cúbica, del teorema de Carnot
se deduce que los tres puntos de inflexión se sitúan en una lı́nea recta, resultado bien conocido en la
época.
La teorı́a de transversales es sólo una pequeña parte de un trabajo que contiene otras interesantes
generalizaciones. De la conocida fórmula de Heron de Alejandrı́a para el área de un triángulo en
términos de sus tres lados a, b y c:
p
A = s(s a)(s b)(s c),
donde s es el semiperı́metro, Carnot buscó la fórmula para el volumen de un tetraedro en función de sus
seis aristas, y encontró una fórmula con 130 términos.
Las obras de Carnot conocieron un gran éxito e influyeron considerablemente en las investigacio-
nes geométricas de principios del siglo XIX, por la difusión del conocimiento de numerosos teoremas,
DIFERENCIACI ÓN EN VARIEDADES 59
de los que un gran número eran de naturaleza proyectiva, popularizando la geometrı́a de la regla y
volviendo a habituar a los geómetras al estudio de las transformaciones geométricas.
Bibliografı́a
Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 523–529.
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. pp. 276–277.
Jean-Paul Collete. Historia de las matemáticas, vol. II. Siglo veintiuno de España Editores, S.A., 1985.
pp. 261–265.
Bibliografı́a complementaria
Encyclopaedia Britannica
Libros:
Artı́culos:
C.B. Boyer Carnot and the concept of deviation, The American Mathematical Monthly 61 (1954), 459-
463.
E.-J. Giessmann Lazare Carnot : Biografischer Abriss aus Anlass der Centenaire der überführung in
das Pantheon zu Paris, 200 Jahre Grosse Französische Revolution, Wiss. Z. Tech. Univ. Magde-
burg 33 (2) (1989), 3-15.
T. Hänseroth y K. Mauersberger Lazare Carnots Werk im Lichte der Herausbildung der Bau- und Mas-
chinenmechanik in Frankreich, 200 Jahre Grosse Französische Revolution, Wiss. Z. Tech. Univ.
Magdeburg 33 (2) (1989), 45-54.
R. Irrgang Lazare Carnots naturwissenschaftliche Schriften, 200 Jahre Grosse Französische Revolu-
tion, Wiss. Z. Tech. Univ. Magdeburg 33 (2) (1989), 55-60.
D. Krone Leben und Wirken von Lazare Carnot aus der Sicht seines Biographen Wilhelm Körte, 200
Jahre Grosse Französische Revolution, Wiss. Z. Tech. Univ. Magdeburg 33 (2) (1989), 23-27.
60 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
H. Meyer Unendlichkeitsbegriff und Infinitesimalrechnung im Denken Lazare Carnots, 200 Jahre Gros-
se Französische 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), 53-
57.
R. Thiele Carnots Betrachtungen über die Grundlagen der Infinitesimalrechnung, en Rechnen mit dem
Unendlichen (Basel, 1990), 79-94.
CAPÍTULO 4
INMERSIONES Y SUBVARIEDADES
El objetivo principal de este tema es introducir los objetos geométricos que generalicen a las
curvas y superficies del espacio euclı́deo en cuanto a su relación con éste, es decir, como subvariedades.
Para ello será esencial trabajar con aplicaciones diferenciables de rango máximo, y relativo a esto será
el primer concepto que introduzcamos.
Definición 4.1
Una aplicación diferenciable f : M ! N se dice que es una inmersión si dfp es inyectiva para todo
punto de M . Se dice que M está inmersa en N .
En otras palabras, una inmersión es la aplicación diferenciable entre variedades cuyo rango coin-
cide en todos los puntos con la dimensión de la variedad de partida.
A continuación, y como era de esperar, mostramos un resultado útil que nos permitirá decidir si
una aplicación diferenciable es una inmersión o no. Este resultado técnico nos facilitará la búsqueda de
ejemplos y nos permitirá obtener algunas propiedades de las inmersiones.
Proposición 4.2
Sea f : M m ! N n una aplicación diferenciable y p 2 M . Entonces son equivalentes las siguientes
condiciones:
62 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Ejemplos.
4.3. Sea ↵ : I ! n una curva diferenciable y regular, es decir, ↵0 (t) 6= 0 para todo t.
4.4. Sea ↵ : I = ( ", ") ! 2 definida por ↵(t) = (t3 , t2 ).
la cual tiene rango uno en todos los puntos salvo en t = 0. Luego ↵ no es una inmersión.
4.6. Sea ↵ : ! 2 definida por ↵(t) = (a cos t, b sen t). Es fácil ver que ↵ es una inmersión.
Las siguientes propiedades de las inmersiones pueden probarse muy fácilmente recurriendo a las
representantes locales de las aplicaciones diferenciables.
Proposición 4.8
Sea f : M ! N una inmersión y g : M ! N 0 una aplicación diferenciable. Entonces (f, g) : M !
N ⇥ N 0 es una inmersión.
Proposición 4.9
Sean f : M ! N y g : M 0 ! N 0 dos inmersiones. Entonces la aplicación producto f ⇥ g : M ⇥ M 0 !
N ⇥ N 0 es una inmersión.
INMERSIONES Y SUBVARIEDADES 63
Proposición 4.10
Sea f : M ! N una inmersión y g : M 0 ! M una aplicación diferenciable. Entonces f g y g tienen
el mismo rango.
En particular, queremos destacar la propiedad que afirma que dada una inmersión 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 inclusión. Más concretamente:
Proposición 4.11
Sea f : M ! N una inmersión 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 x 1 está dada por z ! (z, 0).
Veamos seguidamente, a través de un ejemplo, cómo se pueden obtener explı́citamente las cartas
a las que se refiere el resultado anterior. Consideremos la inmersión f : ! 2 dada por f (t) =
(sen t, cos t) y sea el punto t = 0. La matriz jacobiana en t = 0 está dada por
Entonces la aplicación p1 f : ! dada por t ! sen t tiene rango uno en t = 0 por lo que es un
difeomorfismo local. Consideremos la aplicación ' = (p1 f ) 1 ⇥ i2 : 2 ! 2 dada por
'(t, s) = (arcsent, s)
En consecuencia, debemos considerar para t = 0 la carta identidad sobre , y para f (0) = (0, 1)
podemos utilizar la carta h : 2 ! 2 dada por
Definición 4.12
Una inmersión f : M ! N se dice que es un embebimiento si es un homeomorfismo en la imagen (con
la topologı́a relativa de N ).
Definición 4.13
Una variedad P ⇢ M se dice que es una subvariedad de una variedad M si la inyección canónica
j : P ! M es un embebimiento. La codimensión de la subvariedad es la diferencia dimM -dimP .
64 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
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, ) el conjunto de las matrices cuadradas regulares de orden n. Entonces GL(n, ) =
det 1 ( \{0}), y puesto que la aplicación determinante det es diferenciable, y consecuentemente
continua, GL(n, ) es una subvariedad abierta de Mn ( ).
4.16. La aplicación f : m ! n , m < n, dada por f (x1 , . . . , xm ) = (x1 , . . . , xm , 0, . . . , 0), es
claramente un embebimiento.
4.17. Cualquier inmersión es localmente un embebimiento.
En algunas ocasiones se relajan las condiciones de subvariedad, exigiendo solamente que la in-
clusión canónica sea una inmersión, en lugar de exigir que sea un embebimiento. Nosotros las dis-
tinguiremos añadiéndole el apellido inmersa. Toda subvariedad es una subvariedad inmersa, pero no
recı́procamente. En efecto, es fácil ver que la figura ocho es una subvariedad inmersa que no se puede
embeber en 2 .
Proposición 4.18
Toda subvariedad compacta inmersa en un espacio Hausdorff es una subvariedad (embebida o regular).
Con el fin de encontrar una caracterización de las subvariedades, se introducen los sistemas de
coordenadas adaptados y se prueba que toda subvariedad de una variedad admite un sistema de coorde-
nadas 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
Definición 4.19
Sea P un subconjunto de una variedad M . Un sistema de coordenadas (V, x) se dice que está adaptado
a P si V \ P es una x-rebanada de V .
Un criterio básico para saber si un subconjunto de una variedad diferenciable es una subvariedad
es el siguiente.
Proposición 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 m-
dimensional.
En esta lı́nea, una cuestión sumamente interesante es saber de cuántas maneras se puede dotar a
un subconjunto de estructura de variedad diferenciable de forma que constituya una subvariedad. La
respuesta, de sencilla demostración, nos dice que a lo sumo hay una manera de convertir un subconjunto
de una variedad en subvariedad de la misma.
Un criterio útil y práctico para encontrar subvariedades nos lo proporciona el teorema de la función
implı́cita, consecuencia del teorema de la función inversa, y que nos permite averiguar cuándo las fibras
de una aplicación diferenciable son subvariedades.
Definición 4.21
Sea f : M ! N una aplicación diferenciable. Un punto q 2 N se dice que es un valor regular de f si
f 1 (q) 6= 0 y dfp es sobreyectiva en todo punto p 2 f 1 (q).
Ejemplos.
4.23. Sea f : n ! una función diferenciable y consideremos S = f 1 (0). Si en cada punto p de S,
@f
la matriz { @x i
(p)} tiene rango 1, entonces S es una subvariedad (n 1)-dimensional de n , es
decir, S es una hipersuperficie.
4.24. Las hiperesferas y los hipercilindros son subvariedades regulares del espacio euclı́deo.
4.25. Sea f : 3 ! la aplicación 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 3 . Puede comprobarse fácilmente que S es el toro de revolución
en 3 .
66 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
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 2 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 dimensión n k .
Observación 4.27
Si M es una variedad diferenciable y P ⇢ M es una subvariedad diferenciable cerrada tal que P =
\ki=1 fi 1 (0), para ciertas funciones diferenciables f1 , . . . , fk , entonces no necesariamente la dimensión
de P es n k, ya que los covectores {df1p , . . . , dfkp } no tienen por qué ser linealmente independientes.
Una pregunta que cabe plantearse es si cualquier variedad abstracta M es difeomorfa a una sub-
variedad regular de un espacio euclı́deo. La respuesta, de muy difı́cil demostración, es afirmativa y se
denomina teorema del embebimiento de Whitney. Dicho teorema establece que cualquier variedad dife-
renciable n-dimensional se puede embeber en un espacio euclı́deo 2n . Una versión más sencilla de este
resultado pero que admite una demostración asequible a este nivel, utilizando particiones diferenciables
de la unidad, es la siguiente:
Proposición 4.28
Toda variedad diferenciable compacta se puede embeber como subvariedad regular en un cierto espacio
euclı́deo.
es una inmersión.
A.4.3. Sea M = ( ⇥ {0}) [( ⇥ {1}) y se considera la estructura diferenciable dada por las cartas
x: ⇥ {0} ! , x(s, 0) = s,
y: ⇥ {1} ! , y(s, 1) = s.
(0, 1)
(0, 0)
(a) (x, y, z) ! x2 + y 2 z2 1,
(b) (x, y, z) ! x2 y2 z2 1.
Prueba que la inyección canónica j de f 1 (0) en 3 tiene rango 2 en todos los puntos calculando
explı́citamente la aplicación diferencial.
S = {(x, y, z) 2 3
: x3 + y 3 + z 3 2xyz = 1}
S = {(x, y, z) 2 3
: x2 y 2 + 2xz + 2yz = 1, 2x y + z = 0}
puede dotarse de estructura de variedad diferenciable de forma que sea una subvariedad
1-dimensional cerrada de 3 .
A = {(t, t2 ) : t 2 } [{(t, t2 ) : t 2 +
}
B = {(x, y) : x = 0 o y = 0}
3⇡
C = {(cos(t), cos(t/3) + sen(t/3)) : t 2 (0, 4⇡ + )}
4
INMERSIONES Y SUBVARIEDADES 69
A.4.10. Sea S = {(x, y) 2 2 : 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 2 ?
A.4.11. Sea M = M (n, ) el conjunto de todas las matrices reales de orden n ⇥ n, con su estructura
canónica de variedad diferenciable. Entonces det : M ! es una aplicación diferenciable y
GL(n) = det 1 ( {0}) es un subconjunto abierto de M; por tanto, GL(n) es una subvariedad
diferenciable de dimensión n2 . Prueba:
A.4.14. Sea f : M ! una función 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 2 Tp M , prueba que v 2 Tp F si, y sólo si, dfp (v) = 0.
A.4.15. Sea M una variedad diferenciable y G un grupo. Se dice que G actúa sobre M si existe una
aplicación ' : G ⇥ M ! M tal que:
i) las aplicaciones 'g = '(g, ·) son difeomorfismos, y
ii) 'gh = 'g 'h , para todo g, h 2 G.
La acción es libre si el elemento identidad es el único elemento de G que tiene algún 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 actúa sobre M entonces determina una relación de equivalencia: dos puntos p y q están
relacionados si existe g 2 G tal que q = 'g (p). Denotemos por M/G al conjunto cociente y por
⇡ : M ! M/G la proyección canónica.
Prueba que si ' : G ⇥ M ! M es una acción libre y discontinua de G sobre M , entonces M/G
admite estructura de variedad diferenciable tal que ⇡ es un difeomorfismo local.
70 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
A.4.16. Prueba que actúa libre y discontinuamente como un grupo de transformaciones sobre 2 si
la acción está determinada por la función global : 2 ⇥ ! 2 definida por
(m, n, s) = s + m↵ + n ,
donde ↵ y son números cuya razón es irracional, determina una acción de ⇥ sobre que
es libre pero no discontinua.
1 (x, y) = (x + 1, y)
2 (x, y) = (x, y + 1)
Comprueba que el grupo G actúa libre y discontinuamente sobre 2. (La variedad cociente 2 /G
A.4.19. Sea F (k, n) el conjunto formado por todas las familias de k vectores de n linealmente in-
dependientes (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 Stie-
fel.
A.4.20. Sea G(k, n) el conjunto de todos los k-planos (subespacios lineales de dimensión k) pasando
por el origen de n (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 ( ).
A.4.21. Prueba que para cualquier k, las variedades de Grassmann G(k, n) y G(n k, n) son natural-
mente difeomorfas.
A.4.22. Sea el toro de revolución T 2 ⇢ 3 , simétrico respecto del origen 0 2 3 . Sea G = {A, I} ⇢
Isom(T 2 ), donde A es la aplicación antı́poda e I es la identidad. Entonces:
5. PREGUNTAS DE EVALUACIÓN
E.4.1. Prueba que para cualesquiera números reales a, b y c (no todos nulos), la función f : 3 ! ,
definida por
f (x, y, z) = ayz + bxz + cxy 1,
j F
2 ' 4
⇡ '˜
P 2( )
72 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
E.4.4. Sea la aplicación diferenciable : GL(n) ! GL(n) definida por (A) = At A, donde At
indica la matriz transpuesta. Prueba:
a) Determina los valores c 2 para los que f 1 (c) es una superficie regular de 3.
b) Sea S = f 1 (0) y consideremos el punto p = (a, 0, b) 2 S. Calcula una base del plano
tangente Tp S ⇢ 3 .
E.4.7. Sea F : n ! una función polinómica homogénea de grado r 1 con al menos un valor
positivo. Prueba:
fe([p]) = f (p),
E.4.9. Sea f : M ! M 0 una sumersión y sea p un punto del dominio de f . Prueba que existen
cartas (U, x) de p y (W, y) de f (p) tal que la representante local y f x 1 de f está dada por
y f x 1 (z, w) = z.
INMERSIONES Y SUBVARIEDADES 73
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
74 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Karl-Friedrich Gauss (1777-1855) nació en Gotinga el 30 de abril. Sin ayuda de ningún tipo,
Gauss aprendió a calcular antes de hablar. A los tres años corrigió un error en la paga de los obreros de
su padre, y por sı́ solo estudió y profundizó la aritmética. A los ocho años mostró un genio precoz con
ocasión de un problema propuesto por su profesor de la escuela elemental: encontrar la suma de los cien
primeros números naturales. Gauss sumó casi instantáneamente los enteros al darse cuenta que eran 50
parejas de números que sumaban 101. El profesor tuvo la sabidurı́a de procurarle libros de aritmética
para que Gauss prosiguiera su aprendizaje.
A los once años Gauss conoció a Johann Martin Bartels (1769-1836), entonces profesor ayu-
dante de la escuela y más tarde profesor de Lovachevski. Bartels habló de él al duque de Brunswick,
quien lo llevó a estudiar a sus expensas al Brunswick Collegium Carolinum. En la academia Gauss
descubrió la ley de Bode, el teorema del binomio y la media aritmético-geométrica, ası́ como la ley de
reciprocidad cuadrática y el teorema de los números primos. En 1795 Gauss dejó Brunswick y se mar-
chó a la Universidad de Gotinga. El profesor de Gauss era Abraham Gotthelf Kaestner (1719-1800),
a quien Gauss ridiculizaba frecuentemente. Su único amigo conocido entre los estudiantes fue Farkas
Bolyai (1775-1856), a quien conoció en 1799 y con quien mantuvo correspondencia durante muchos
años.
En marzo de 1796 obtiene la construcción del polı́gono regular de 17 lados por medio de la regla
y el compás, y desde ese dı́a consigna la primera anotación en su célebre diario matemático en el que
durante dieciocho años inscribirá 146 enunciados matemáticos breves de los resultados de sus trabajos.
Este diario no fue encontrado hasta 1898, y su contenido fue publicado por primera vez por Felix Klein
(1849-1925) en 1901.
En 1798, Gauss vuelve a Brunswick para continuar allı́ sus trabajos en solitario. Al año siguiente
obtiene el doctorado por la Universidad de Helmsted bajo la dirección de Johann Friedrich Pfaff
(1765-1825). Su tesis de doctorado contiene una demostración del teorema fundamental del álgebra,
es decir, que toda ecuación polinómica p(x) = 0 con coeficientes reales o imaginarios posee al menos
una raı́z. En 1801, 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 más
difı́ciles, formula conceptos y cuestiones que indicarán, al menos durante un siglo, las lı́neas maestras
de la investigación en teorı́a de números.
En junio de 1801, Zach, un astrónomo a quien Gauss habı́a conocido dos o tres años antes,
publica las posiciones orbitales de Ceres, un nuevo “pequeño planeta” que habı́a sido descubierto por el
observador italiano Giuseppe Piazzi en enero. Desafortunadamente, Piazzi sólo pudo observar nueve
grados de su órbita antes de que desapareciera detrás del Sol. Zach publicó diversas predicciones de su
posición, incluyendo una de Gauss que diferı́a bastante del resto. Cuando Ceres fue redescubierto por
Zach en diciembre, estaba exactamente donde Gauss habı́a predicho. Aunque Gauss no descubrió sus
métodos en esa época, utilizó una teorı́a orbital de los planetas fundamentada en la elipse y recurrió a
métodos numéricos basados en el método de mı́nimos cuadrados. Esta hazaña coincide con el comienzo
de sus investigaciones astronómicas, que absorverán una buena parte de sus energı́as durante casi veinte
años.
En 1807 Gauss es nombrado profesor de astronomı́a y director del observatorio de Gotinga, don-
de permaneció el resto de su vida. Sus trabajos de astronomı́a le llevaron a publicar su Theoria motus
INMERSIONES Y SUBVARIEDADES 75
corporum coelestium in sectionibus conicis solem ambientium (1809), en la cual Gauss desarrolla sis-
temáticamente su método del cálculo orbital. En 1809 nace su tercer hijo, que sobrevive corto tiempo,
y de las secuelas de este nacimiento muere su mujer, con la que se habı́a casado en 1805. Estos dos
acontecimientos sumieron a Gauss en una profunda soledad que nunca fue capaz de superar.
Durante los primeros años en Gotinga, Gauss realiza estudios y lleva a cabo investigaciones en
diversos frentes, a la vez que redacta numerosas memorias: Disquisitiones generales circa seriem infini-
tam, un primer estudio riguroso de las series y la introducción de las funciones hipergeométricas (1813);
Methodus nova integralium valores per approximationem inveniendi, una contribución importante a la
aproximación de las integrales y Bestimmung der Genauigkeit der Beobachtungen, uno de los primeros
análisis de los estimadores estadı́sticos (1816); trabajos en astronomı́a, inspirados por su estudio del
planeta Palas y una memoria notable sobre la determinación de la atracción de un planeta a su órbita,
Theoria attractionis corporum sphaeroidicorum ellipticorum homogeneorum methodus nova tractata.
Höheren Geodäsie (1843 y 1846). El trabajo Theoria combinationis observationum erroribus minimis
obnoxiae (1823), junto con su suplemento de 1828, se dedicó a la estadı́stica matemática, en particular
al método de los mı́nimos cuadrados.
La publicación, en 1827, de su Disquisitiones circa generales superficies curvas supone una con-
tribución definitiva a la geometrı́a diferencial de superficies en el espacio de tres dimensiones, consti-
tuyendo esencialmente la primera etapa en el desarrollo de la geometrı́a de Riemann. Gauss emprende
un estudio de las superficies, demostrando, en particular, que si dos superficies son isométricas el pro-
ducto de los dos radios de curvatura principales es el mismo en dos puntos correspondientes (teorema
egregium).
En su memoria de 1827, Gauss trata también el problema de determinar las geodésicas sobre las
superficies. Gauss consigue demostrar un célebre teorema sobre la curvatura de un triángulo cuyos lados
son geodésicas. Determina que la curvatura total de un triángulo geodésico de lados a, b y c viene dada
por Z Z
Kds = a + b + c ⇡
Sus trabajos en geometrı́a diferencial demuestran que el estudio de la geometrı́a de una superficie puede
hacerse concentrándonos esencialmente en la superficie misma. Ası́, las “lı́neas rectas” sobre la superfi-
cie son las geodésicas y, por consiguiente, la geometrı́a de la superficie es no euclı́dea.
Durante los primeros años en Gotinga, Gauss habı́a estudiado la posibilidad de la existencia de una
geometrı́a no euclı́dea. Convencido de la ineficacia de las diversas tentativas anteriores para demostrar
el postulado de las paralelas, Gauss acepta cada vez más la idea de que debe abandonar los caminos
trillados y elaborar una nueva geometrı́a. A partir de 1813 desarrolla esta nueva geometrı́a, llamada
sucesivamente antieuclı́dea, geometrı́a astral y, por fin, geometrı́a no euclı́dea. En 1831 escribe un
ensayo sobre las lı́neas paralelas, y en una carta dirigida a H.K. Schumaker le dice:
Después de haber meditado durante casi cuarenta años 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 año, Gauss conoce los trabajos de Janos Bolyai (1802-1860), a través de un libro que le
envı́a su padre, y en una carta dirigida a é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, quizás le extrañe. Pero no puede ser de otra manera,
porque ello equivaldrı́a a alabar mis propios trabajos. En efecto, el enfoque preconizado por vues-
tro hijo y los resultados que ha obtenido coinciden casi enteramente con las ideas que han ocupado
mi espı́ritu desde hace 30 o 35 años. No tengo la intención de publicar estas meditaciones durante
mi vida, pero he decidido escribirlas para que puedan conservarse. Es, en consecuencia, una sor-
presa agradable para mı́ ahorrarme este trabajo, y me llena de alegrı́a el pensamiento de que es
precisamente el hijo de mi amigo de siempre el que me ha suplantado de forma tan notable. . .
En 1831, Wilhelm Weber llega a Gotinga como profesor de fı́sica, ocupando el puesto de Tobias
Mayer. Gauss habı́a conocido a Weber en 1828 y apoyó este nombramiento. Gauss habı́a trabajado
en fı́sica antes de 1831, publicando Uber ein neues allgemeines Grundgesetz der Mechanik y Principia
generalia theoriae figurae fluidorum in statu aequilibrii which discussed forces of attraction. Estos tra-
bajos estaban basados en la teorı́a del potencial de Gauss, de gran importancia en sus investigaciones en
INMERSIONES Y SUBVARIEDADES 77
fı́sica. Gauss pensaba que su teorı́a del potencial y su método de los mı́nimos cuadrados proporcionaban
una relación vital entre la ciencia y la naturaleza.
En 1832, Gauss y Weber comenzaron a estudiar la teorı́a del magnetismo terrestre, después de
que Alexander von Humboldt intentase obtener la ayuda de Gauss para construir una red de puntos de
observación magnéticos alrededor de la Tierra. Gauss se interesó por este tema, y publicó tres importan-
tes trabajos: Intensitas vis magneticae terrestris ad mensuram absolutam revocata (1832), Allgemeine
Theorie des Erdmagnetismus (1839) y Allgemeine Lehrsätze in Beziehung auf die im verkehrten Verhält-
nisse des Quadrats der Entfernung wirkenden Anziehungs- und Abstossungskräfte (1840).
En 1837, Weber fue forzado a abandonar Gotinga cuando se vio envuelto en una disputa polı́tica, y
desde entonces la actividad de Gauss decreció. Aunque parece ser que siguió trabajando con asiduidad,
no se animaba a publicar los resultados que obtenı́a. Algunas veces se sintió muy complacido por los
avances realizados por otros matemáticos, especialmente por Eisenstein y Lovachevsky.
Dos de los últimos estudiantes de doctorado de Gauss fueron Moritz Cantor y Dedekind, que
describió a su tutor con las siguientes palabras:
. . . usualmente se sentaba en una actitud confortable, con la mirada baja, ligeramente inmóvil y con
las manos sobre su regazo. Hablaba bastante libremente, con mucha claridad, de forma simple y
llana: pero cuando querı́a destacar un nuevo punto de vista. . . entonces levantaba su cabeza, se
volvı́a hacia alguien de los que estaban sentados a su lado y lo miraba fijamente, con ojos penetran-
tes, mientras duraba su alocución. Si procedı́a a realizar una explicación acerca de los principios
de desarrollo de unas fórmulas matemáticas, entonces se levantaba y, con una postura muy erguida,
escribı́a en una pizarra detrás de él con su particular y esmerada escritura: siempre procuraba
escribir ordenadamente para utilizar el menor espacio.
78 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Bibliografı́a
Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 544–557.
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. pp. 434–438.
Jean-Paul Collete. Historia de las matemáticas, vol. II. Siglo veintiuno de España Editores, S.A., 1985.
pp. 286–308.
Bibliografı́a complementaria
Encyclopaedia Britannica
Libros:
G.W. Dunnington Carl Friedrich Gauss : Titan of Science (New York, 1955).
H. Reichardt (ed.) C F Gauss Gedenkband anlässlich des 100. Todestages am 23. Februar 1855 (1957).
Artı́culos:
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. Göttingen Mitt. 30
(1993), 3-56.
E. Breitenberger Gauss’s 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), 147-
151.
D.A. Cox The arithmetic-geometric mean of Gauss, Enseign. Math. (2) 30 (3-4) (1984), 275-330.
J. Dieudonné 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 Universität Göttingen, Gauss-
Ges. Göttingen 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 Göttinger 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. Göttingen Mitt. 29 (1992), 39-42.
K-R. Biermann Zu den Beziehungen von C F Gauss und A v Humboldt zu A F Möbius, 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 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
P. Müü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. O’Hara Gauss and the Royal Society : the reception of his ideas on magnetism in Britain (1832-
1842), 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 Gauss’s 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 Gauss’s first argument for least squares, Arch. Hist. Exact Sci. 41 (1) (1990), 41-52.
K. Zormbala Gauss and the definition of the plane concept in Euclidean elementary geometry, Historia
Math. 23 (4) (1996), 418-436.
CAPÍTULO 5
CAMPOS DE VECTORES
Definición 5.1
Un campo de vectores X en una variedad diferenciable M es una correspondencia que asigna a cada
punto p de M un vector tangente Xp 2 Tp M .
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 aplicación de M en su fibrado tangente tal que si ⇡ es la proyección natural del fibrado en la
variedad, se tiene que ⇡ X es la identidad sobre M ; esto es, X es una sección de ⇡.
Teniendo en cuenta que estamos interesados en extender el cálculo a variedades, parece razonable
exigir que nuestros campos de vectores sean diferenciables.
Definición 5.2
Un campo de vectores X se dirá diferenciable si como aplicación 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 denotará por (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 derivación 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 álgebra de las funciones diferenciables sobre la variedad:
X : C 1 (M ) ! C(M )
dada por
X(f ) : M !
p ! X(f )(p) := Xp (f )
Esta interpretación permite caracterizar a los campos de vectores diferenciables como aquellos que trans-
forman funciones diferenciables en funciones diferenciables. Es decir,
Proposición 5.3
Un campo de vectores X es diferenciable si, y sólo si, X(f ) es una función diferenciable para toda
función 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:
Con las dos operaciones anteriores, el conjunto (M ) admite estructura de módulo sobre el anillo
C 1 (M )de las funciones diferenciables.
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 derivación sobre C 1 (p). Veamos a
continuación que es posible caracterizar un campo de vectores de una manera similar.
CAMPOS DE VECTORES 83
Definición 5.4
Una derivación sobre C 1 (M ) es una función D : C 1 (M ) ! C 1 (M ) satisfaciendo las siguientes
condiciones:
(1) -linealidad: D(af + bg) = aD(f ) + bD(g), para a, b 2 y f, g 2 C 1 (M ).
(2) Regla de Leibnitz: D(f g) = D(f )g + f D(g).
Como una consecuencia de esta definición, todo campo diferenciable de vectores X es una de-
rivación sobre C 1 (M ), considerando X como una aplicación f 7! X(f ). El siguiente resultado nos
proporciona el recı́proco.
Proposición 5.5
Toda derivación sobre C 1 (M ) proviene de un campo de vectores diferenciable.
Otra consecuencia interesante de la interpretación discutida en el párrafo anterior es que nos per-
mite considerar las derivaciones iteradas. Si X e Y son dos campos de vectores diferenciables y f es
una función 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.
Proposición 5.6
Sean X e Y dos campos de vectores diferenciables sobre M . Entonces existe un único campo Z 2
(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 ope-
ración corchete:
[, ] : (M ) ⇥ (M ) ! (M )
(X, Y ) ! [X, Y ]
que a cada par de campos le asocia su corchete de Lie, la cual posee interesantes propiedades.
Proposición 5.7
Sean X, Y, Z 2 (M ) campos de vectores diferenciables sobre M , a, b 2 y f, g 2 C 1 (M ) funciones
diferenciables. Entonces:
(1) [X, Y ] = [Y, X] (antisimetrı́a)
(2) [aX + bY, Z] = a[X, Z] + b[Y, Z] ( -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 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Definición 5.8
Sea f : M ! N una aplicación diferenciable, X 2 (M ), Y 2 (N ). Se dice que X e Y están
f -relacionados, y se denota por X ⇠f Y , si
El siguiente resultado nos proporciona un criterio para saber si dos campos están f -relacionados.
Proposición 5.9
Dos campos de vectores X 2 (M ) e Y 2 (N ) están f -relacionados si, y sólo si, X(g f ) = Y (g) f
para toda función g 2 C 1 (N ).
Este criterio permite probar que el corchete de Lie se conserva mediante f -relación. Más concre-
tamente, se tiene el siguiente resultado.
Proposición 5.10
Sean X1 , X2 2 (M ) e Y1 , Y2 2 (N ) campos de vectores tales que Xi ⇠f Yi , i = 1, 2. Entonces
[X1 , X2 ] ⇠f [Y1 , Y2 ].
En el caso especial en que f es un difeomorfismo, para cada campo de vectores X sobre M existe
un único campo de vectores Y sobre N relacionado con X mediante f . En efecto, dado q 2 N existe
un único punto p 2 M tal que f (p) = q. Definimos Yq := dfp (Xp ).
Finalizamos la lección 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 sub-
variedad que están j-relacionados con ellos, siendo j la inclusión canónica de la subvariedad en la
variedad. Concretamente tenemos el siguiente resultado.
Proposición 5.11
Sea P una subvariedad de M .
(1) Si X 2 (M ) es tangente a P entonces su restricción X|P a P es un campo de vectores diferenciable
sobre P .
(2) Si Y 2 (M ) es otro campo de vectores tangente a P , entonces [X, Y ]|P = [X|P , Y |P ].
CAMPOS DE VECTORES 85
X = @x ,
Y = @x + @y ,
Z = @x + @y + (1 + x2 )@z ,
siendo (x, y, z) el sistema rectangular usual de coordenadas de 3. Prueba que forman una base
global de ( 3 ).
A.5.2. Consideremos en 2 el atlas obtenido mediante la proyección estereográfica. Prueba que los
campos
@ @ @ @
X = x1 1
+ x2 2 e Y = y1 y2
@x @x @y 1 @y 2
coinciden en la intersección de sus dominios y, por tanto, juntos definen un campo de vectores
sobre 2 .
A.5.3. (a) ¿Qué condición geométrica verifican los campos tangentes a la esfera n ⇢ n+1 ? Uti-
liza dicha caracterización para construir una base del tangente a 2 en un punto genérico
(x, y, z) 2 2 .
(b) Prueba que el campo de vectores X sobre 2n definido por
@ @ @ @
X = x2 x1 + · · · + x2n 2n x2n 1
@x1 @x 2 @x 1 @x2n
A.5.4. (a) En el toro T ⇢ 3 se considera el campo vectorial W definido como sigue. Se parame-
trizan 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 2 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 2 mediante el mismo parámetro 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 2 .
86 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
0
A.5.5. Sea : 2 ! T 2 la parametrización definida por (✓, ✓0 ) = (ei✓ , ei✓ ) y sea Y un campo de
vectores sobre 2 . ¿Bajo qué condiciones Y representa, con respecto a la parametrización , un
campo de vectores X sobre T 2 ?
(a) Toda variedad con una carta global es paralelizable. En consecuencia, los espacios euclı́deos
son paralelizables.
(b) Las esferas 1 y 3 son paralelizables. La esfera 2 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 recı́proco.
A.5.7. Un punto crı́tico de una función f 2 C 1 (M ) es un punto p 2 M tal que dfp = 0. Prueba:
H : Tp M ⇥ Tp M ! , H(Xp , Yp ) = Xp (Y f ),
@
A.5.8. Sean {x, y} las coordenadas naturales de 2 y consideremos los campos de vectores V = +
@x
@ @
y 2 , W = (x2 + y) . Calcular [V, W ].
@y @y
CAMPOS DE VECTORES 87
✓
◆
x
A.5.9. Sea X un campo de vectores sobre n.
Extender X a por X̃(x) = kxkX
n+1 y sea
kxk
x
Y el campo de vectores sobre n+1 definido por Y (x) = . Calcular [X̃, Y ], [X1 , Y ], donde
✓ ◆ kxk
x
X1 (x) = X̃ .
kxk
@ @
(ax1 bx2 ) + (bx1 + ax2 )
@x1 @x2
@ @
( ay1 by2 ) + (by1 ay2 )
@y1 @y2
W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.
5. PREGUNTAS DE EVALUACIÓN
E.5.3. Sea la aplicación diferenciable f : ! 1 dada por f (t) = (cos(2⇡t), sen(2⇡t)) y conside-
remos el campo de vectores X 2 ( ) definido por X(t) = t@t . ¿Existe un campo de vectores
Y 2 ( 1 ) tal que X está f -relacionado con Y ?
88 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
CAMPOS DE VECTORES 89
Nicolai Ivanovich Lobachevski (1793-1856), fue hijo de un gobernador oficial que murió cuando
Lobachevski sólo tenı́a 7 años. Alumno de Johann Martin Bertels (1769-1836), fue amigo y corres-
pondiente de Gauss, y llegó a ser profesor de la Universidad de Kazán a la edad de veintiún años. De
1827 a 1846 fue rector de esa universidad, donde permaneció, como profesor y administrador, hasta
el final de sus dı́as, a pesar del hecho de que la escasa apreciación de su trabajo le entristeció en sus
últimos años. Lobachevski recibió una gran formación en las ideas geométricas, donde las fronteras y
las direcciones de investigación eran controvertidas.
Los revolucionarios puntos de vistas de Lobachevski no son fruto de una repentina inspiración. En
un esbozo de geometrı́a que elaboró en 1823, probablemente para usar en clase, Lobachevski decı́a en
relación con el postulado de la paralelas que “no se habı́a descubierto ninguna demostración rigurosas
de esta verdad”. Aparentemente, por esa época Lobachevski no excluı́a la posibilidad de que una prueba
pudiera todavı́a ser descubierta.
En 1826 sometió a juicio de sus colegas un primer resumen de su nueva geometrı́a, que él llamaba
“geometrı́a imaginaria”, cuyo fundamento reposaba en el rechazo del postulado de las paralelas y en la
hipótesis de que la suma de los ángulos de un triángulo es menor que dos rectos. Lobachevski estableció
los principios de esta nueva geometrı́a en dos memorias publicadas en la revista cientı́fica de Kazán y
en una tercera publicación en el Journal für Mathematik entre 1829 y 1837. Su trabajo de 1829 atrajo
poco la atención cuando apareció, fundamentalmente porque apareció en ruso, y los rusos que lo leyeron
fueron muy crı́ticos con él.
Lobachevski cambió abiertamente la doctrina kantiana de que el espacio es una intuición subjetiva.
En 1835 escribı́a:
El poco éxito de los intentos realizados desde Euclides me han hecho sospechar que la verdad no
está contenida sólo en los datos, y que para establecerla es necesario la ayuda de experimentos, por
ejemplo, las observaciones astronómicas, como se realiza en otras leyes de la naturaleza.
Deseoso de dar a conocer mejor su geometrı́a y difundirla entre los geómetras occidentales, escribió
Géométrie imaginaire (Geometrı́a imaginaria), que apareció en la revista de Crelle en 1837, y otra obra
90 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
en aleman, cuyo tı́tulo es Geometrische Untersuchungen sur Theorie der Parallelinien (Investigaciones
geométricas sobre la teorı́a de las paralelas), publicada en 1840. Gauss comprendió y apreció la nueva
geometrı́a de Lobachevski pero, una vez más, no le dió públicamente su aprobación. Ésta es una de
las razones por las que la nueva geometrı́a se fue conociendo muy lentamente. Lobachevski intentó de
nuevo dar a conocer sus investigaciones geométricas publicando una nueva exposición de su geometrı́a
con el tı́tulo Pangéométrie, o compendio de geometrı́a fundada en un teorı́a general de las paralelas
(1855), cuando estaba completamente ciego.
Gauss, Bolyai y Lobachevski se dieron cuenta de que el postulado de las paralelas no podı́a ser
demostrado a partir de los axiomas de la geometrı́a euclı́dea, y que era pues lógicamente concebible
adoptar una proposición contradictoria y desarrollar una nueva geometrı́a consecuente y coherente na-
turalmente a partir de esos axiomas. El contenido técnico presentado por los coinventores de esta nueva
geometrı́a es prácticamente el mismo, y está perfectamente desarrollado en la memoria de Lobachevski
del año 1840.
Después de haber hecho una breve exposición de sus investigaciones anteriores, Lobachevski
establece una lista de 15 teoremas de geometrı́a cuya comprensión juzga esencial antes de abordar la
hipótesis que rechaza el postulado de las paralelas de Euclides. A continuación 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 caracterı́stica de paralelismo para todos sus puntos y que
la suma de los tres ángulos de un triángulo no puede exceder dos rectos.
Lobachevski ha sido denominado “el gran emancipador” por E.T. Bell, según el cual el nombre
de Lobachevski deberı́a ser tan familiar a cualquier escolar como lo son Miguel Angel o Napoleón.
Desafortunadamente, Lobachevski no fue muy apreciado en vida, hasta el punto de que en 1846 fue
expulsado de la Universidad de Kazán.
No serı́a hasta la muerte de Gauss en 1855, cuando su correspondencia fue publicada, que la
CAMPOS DE VECTORES 91
comunidad matemática comenzara a considerar seriamente las ideas no euclı́deas. Incluso en 1888
Lewis Carroll hacı́a chistes sobre la geometrı́a no euclı́dea. Algunos de los mejores matemáticos (E.
Beltrami (1835-1900), G.F.B. Riemann (1826-1866), F. Klein (1849-1925), H. Poincaré (1854-1912))
extendieron y clarificaron las ideas de Lobachevski, aplicándolas a otras ramas de las matemáticas. En
1868, el matemático italiano Beltrami resolvió definitivamente el problema del axioma de las paralelas,
al probar que no era posible ninguna demostración del mismo. Demostró que la geometrı́a no euclı́dea
era tan consistente como la geometrı́a euclı́dea, de tal forma que una de ellas no podı́a existir sin la otra.
Bibliografı́a
Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 585–590.
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. pp. 303.
Jean-Paul Collete. Historia de las matemáticas, vol. II. Siglo veintiuno de España Editores, S.A., 1985.
pp. 474–479.
Bibliografı́a complementaria
Books:
Artı́culos:
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 Lobachevskii’s 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.
B. Mayorga Lobachevskii and non-Euclidean geometry (Español) 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 Rus-
sian 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 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
A. Vucinich Nicolai Ivanovich Lobachevskii: The Man Behind the First Non-Euclidean Geometry Isis
53 (1962), 465-481.
CAMPOS DE VECTORES 93
Janos Bolyai (1802-1860) fue educado para el ejército, llegando a ser oficial del cuerpo de inge-
nieros militares del ejército húngaro. Su padre Farkas Bolyai pasó una gran parte de su vida tratando de
demostrar el postulado de las paralelas, y sabiendo que su hijo Janos estaba también preocupado por ese
problema, intentó en vano disuadirle:
Por amor de Dios, te ruego que abandones. Témele más que a las pasiones sensuales, porque él
también ocupará todo tu tiempo, y te privará de la salud, de la paz mental, y de la felicidad en la
vida.
Janos continuó trabajando y en 1829 llegó a la conclusión que habı́a llegado Lobachevski unos pocos
años antes. Cuando anunció privadamente sus descubrimientos en geometrı́a no euclı́dea, su padre le
escribió:
Me parece aconsejable, si has obtenido una solución al problema, que, por dos razones, su publi-
cación debe ser acelerada: en primer lugar, porque las ideas pasan fácilmente de uno a otro, que
las puede publicar; en segundo lugar, porque parece ser que muchas cosas tienen una época en la
cual son descubiertas en muchos lugares simultáneamente, igual que las violetas surgen por todas
partes en primavera.
Janos Bolyai publicó sus descubrimientos en un apéndice de 26 páginas en un libro de su padre, Tenta-
men (1831). Su padre envió una copia del libro a su amigo Gauss, indiscutiblemente el matemático más
famoso de la época. Después del regreso a Hungrı́a de Wolfgang, mantuvo con Gauss una correspon-
dencia ı́ntima, y cuando el propio Wolfgang envió a Gauss su propio intento de probar el postulado de
las paralelas, Gauss le indicó delicadamente el fatal error.
Janos tenı́a trece años cuando ya dominaba el cálculo diferencial e integral. Su padre le escribió
a Gauss dándole cuenta de los prodigios de su hijo e intentando que Gauss lo acogiese en su casa como
aprendiz de matemáticas. Sin embargo, Gauss nunca le contestó, quizás porque ya tenı́a suficientes
problemas con su propio hijo Eugene, que se habı́a marchado de casa. Quince años después, cuando
Wolfgang le envió el Tentamen, Janos esperaba que Gauss hiciera público este descubrimiento. Por
tanto, se puede imaginar la decepción que Janos tuvo que sentir cuando leyó la siguiente carta de Gauss
a su padre:
Si comienzo diciendo que nunca alabaré el trabajo, te quedarás sorprendido de momento; pero
no puedo hacer otra cosa. Alabar el trabajo serı́a alabarme a mı́ mismo, ya que el contenido del
94 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
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 últimos treinta años. Me encuentro
sorprendido en extremo.
Mi intención era, en relación con mi propio trabajo, del cual se ha publicado muy poco, no hacerlo
público durante mi vida. La mayorı́a no tiene la lucidez para entender nuestras conclusiones y sólo
he encontrado unos pocos que han recibido con interés lo que les he contado. Para comprender estas
cosas, uno debe tener una percepción entusiasta de lo que es necesario, y en este punto la mayorı́a
están bastante confundidos. Por otra parte, tenı́a intención de escribir un artı́culo, 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 última frase de Gauss, Janos quedó totalmente decepcionado y desilusionado con la res-
puesta del gran matemático; incluso imaginó que su padre habı́a informado secretamente a Gauss de sus
resultados y que Gauss trataba ahora de apropiarse de ellos. Como hombre de temperamento fuerte, que
habı́a participado y vencido en trece duelos consecutivos, Janos cayó en una profunda depresión mental
y nunca más volvió a publicar sus resultados. En 1851, escribe:
En mi opinión y, como estoy persuadido, en la opinión de los que juzgan sin prejuicios, todas las
razones esgrimidas por Gauss para explicar por qué nunca publicó nada en su vida sobre este tema
son insuficientes; porque en la ciencia, como en la vida diaria, es necesario clarificar las cosas de
interés general que todavı́a están ambiguas, ası́ como despertar, acrecentar y promover el sentido
perdido de la verdad. ¡Ay!, para gran detrimento de la humanidad, sólo unos pocos tienen aptitudes
para las matemáticas; por tal motivo Gauss, para ser coherente, deberı́a haber mantenido una gran
parte de su gran trabajo para sı́ mismo. Es un hecho que, entre los matemáticos,e incluso entre
personas célebres, existen, desafortunadamente, mucha gente superficial, pero esto no es una razón
para que un hombre sensible escriba solamente cosas superficiales y mediocres, dejando que la
ciencia entre en un estado letárgico. Tal suposición no es natural, por lo que considero ciertamente
incorrecto que Gauss, en lugar de reconocer honesta y definitivamente el gran trabajo del Apéndice
y del Tentamen, y en lugar de expresar su gran alegrı́a e interés y tratar de preparar una apropiada
recepción para la buena causa, evitando todo esto, él descansa contento con piadosos deseos y
quejas acerca de la ausencia de una civilización adecuada. Ciertamente, no es esta la actitud que
llamamos vida, trabajo y mérito.
CAMPOS DE VECTORES 95
Bolyai estaba frecuentemente aquejado de fiebres, lo que le impedı́a trabajar, y en 1833 comenzó a
recibir una pensión del ejército. Aunque nunca publicó más que las escasas páginas del Apéndice del
Tentamen de su padre, dejó escritas más de 20.000 páginas de manuscritos de trabajos matemáticos.
Estos manuscritos se encuentran en la biblioteca Bolyai-Teleki en Tirgu-Mures.
Bibliografı́a
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 matemáticas, vol. II. Siglo veintiuno de España Editores, S.A., 1985.
pp. 473-474.
Bibliografı́a complementaria
Libros:
Artı́culos:
M Bier A Transylvanian lineage The Mathematical Intelligencer (14) (2) (1992), 52-54.
E Kiss Fermat’s theorem in János Bolyai’s manuscripts Math. Pannon. 6 (2) (1995), 237-242.
O Mayer János Bolyai’s life and workProceedings of the national colloquium on geometry and topology
(Cluj-Napoca, 1982), 12-26.
96 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
CAPÍTULO 6
CURVAS INTEGRALES Y GRUPOS UNIPARAMÉTRICOS
En el estudio de los campos de vectores hemos interpretado éstos de dos formas distintas. En
primer lugar hemos visto los campos como aplicaciones (diferenciables) de la variedad en su fibrado
tangente y, en segundo lugar, hemos probado que podı́an considerarse como derivaciones en el álgebra
de las funciones diferenciables. En esta lección se interpretan los campos de vectores como ecuaciones
diferenciales sobre la variedad.
Comenzamos definiendo lo que se entiende por curva integral de un campo X, que no es más que
una curva cuyo vector tangente coincide con el representante o valor del campo a lo largo de la curva.
Definición 6.1
Una curva ↵ : I ! M es una curva integral de un campo X 2 (M ) si ↵0 (t) = X↵(t) para todo t 2 I.
Se plantean ahora dos cuestiones importantes como son la existencia y unicidad de las curvas
98 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
integrales, por un lado, y la búsqueda de métodos prácticos para su obtención, por otro, cuestiones que
en realidad tendrán una solución común. Estos problemas se reducen, localmente, a la resolución de un
sistema de ecuaciones diferenciales de primer orden.
Proposición 6.2
Para todo campo de vectores diferenciable X y todo punto p en la variedad existe un intervalo del origen
en y una única curva integral del campo, definida en dicho intervalo y con punto inicial p.
Definición 6.3
Sea X 2 (M ), p 2 M .
(1) p es un punto crı́tico de X si Xp = 0.
(2) X es completo si todas sus curvas integrales están definidas en todo .
Ejemplo 6.4
Consideremos el campo de vectores definido en términos de la carta identidad por
@ @
X = x1 + x2 .
@x1 @x2
Las curvas integrales de X están dadas por
(a, b)
Observemos que el único punto crı́tico es el origen de coordenadas. Todas las curvas integrales están
definidas para todo t por lo que el campo X es completo.
Ejemplo 6.5
Sean 1 , 2 2 dos constantes y consideremos el campo de vectores definido en términos de la carta
identidad por
@ @
X= 1 x1 + 2 x2 .
@x1 @x2
Las curvas integrales de X están dadas por
↵(t) = (ae 1t
, be 2t
), a, b 2 .
Igual que en el ejemplo anterior, el campo X es completo y los puntos crı́ticos son aquellos que satisfacen
las ecuaciones 1 x1 = 2 x2 = 0.
Ejemplo 6.6
Consideremos el campo de vectores definido en términos de la carta identidad por
1 @
X= x1
, 6= 0.
e @x1
Las curvas integrales de X están dadas por
1 1
↵(t) = ( log( (t + e a ), b).
Veamos a continuación dos resultados sencillos de demostrar pero que nos serán muy útiles más
adelante.
Proposición 6.7
Sea ↵ : J ! M una curva integral de un campo X y sea t0 2 J . Entonces la curva : I ! M,
(t) = ↵(t + t0 ), definida en I = {t : t + t0 2 J}, es una curva integral de X .
Proposición 6.8
Si ↵, : I ! M son dos curvas integrales de X , definidas en un intervalo conexo I , tal que ↵(a) = (a)
para algún a 2 I , entonces ↵ = .
100 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Si consideramos todas las curvas integrales del campo X con punto inicial p, dado que dos cuales-
quiera de ellas coinciden en la intersección de sus dominios, podemos definir la curva integral maximal
de X con punto inicial p, cuyo dominio de definición es el mayor posible. En particular, si el dominio
de todas las curvas integrales maximales de un campo es , dicho campo es completo. La curva integral
maximal de un campo X que empieza en un punto p es única en el siguiente sentido.
Proposición 6.9
Sea X 2 (M ), p 2 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 2 Iq .
Para finalizar esta sección vamos a dar un resultado sobre como pueden ser las curvas integrales.
Antes introduciremos algunos conceptos.
Definición 6.11
Sea : ! M una curva.
(1) es periódica si existe un número c > 0 tal que (t) = (t + c) para todo t. Si c es el menor número
positivo satisfaciendo dicha propiedad, se dice que c es el periodo de .
(2) Si es una curva periódica, de periodo c, e inyectiva en algún intervalo [a, a + c), entonces se dice
que es simplemente periódica.
Proposición 6.12
Sea X 2 (M ). Todas las curvas integrales maximales de X son inyectivas, simplemente periódicas o
constantes.
Ligado al concepto de campo de vectores se encuentra el de flujo del campo, que determina el
grupo local uniparamétrico de transformaciones { t }t2 asociado al campo de vectores X, donde t
está definido en un cierto subconjunto dependiente de t, y tal que si p es un punto de M , t (p) es el
valor en t de la curva integral maximal de X con punto inicial p. En otras palabras, t nos describe la
posición de cada punto de su dominio en el instante t; es como una fotografı́a de una parte de M tomada
justo en el instante t. Estas aplicaciones nos permiten caracterizar a los campos de vectores completos
como aquellos para los que las transformaciones t están definidas en todo M .
Consideremos X 2 (M ) un campo de vectores completo. A partir del flujo se pueden obtener dos
tipos de funciones:
(1) Para cada p 2 M , la aplicación p : ! M definida por p (t) := (t, p) no es más 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 2 , la aplicación t : M ! M definida por t (p) := (t, p) nos proporciona la
posición de cada punto de M en el instante t. Por esta razón, t se denomina el estado t del flujo
, y en ocasiones el conjunto { t }t2 } se dirá que es el flujo del campo X.
Proposición 6.13
Si { t } es el flujo de un campo X , entonces:
(1) 0 = 1
(2) s t = s+t , para todo s, t 2 (es decir, los estados de conmutan).
(3) t es un difeomorfismo con t 1 = t.
Por verificar estas propiedades, { t } se dice que es un grupo uniparamétrico de transformaciones (o
difeomorfismos).
Como una aplicación del flujo de un campo, puede probarse el siguiente resultado.
Proposición 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 uniparamétricos de transformaciones nos permiten dar una interpretación geométrica
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 uniparamétrico de transformaciones
asociado a X, podemos considerar el valor de Y en t (p), Y t (p) , que será un vector tangente a M
en t (p), y trasladarlo a Tp M mediante a aplicación d t . Se obtiene ası́ la aplicación diferenciable
d t (Y t (p) ) definida en un entorno del origen en y con valores en Tp M , cuya derivada en el origen
resulta ser [X, Y ]p . En otras palabras,
Proposición 6.15
Sean X, Y 2 (M ), p 2 M y el flujo local de X en un entorno de p. Entonces
1
[X, Y ]p = lim d t (Y t (p)
) Yp
p!0 t
A.6.1. Encuentra las curvas integrales de los campos de vectores sobre 2 definidos en términos de la
carta identidad por:
1 @
(a)
ex1 @x1
102 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
@
(b) x1
@x1
@ @
(c) x1 + µx2 , ,µ 2
@x1 @x2
@ @
(d) x2 (x2 )3
@x1 @x2
En cada caso encuentra los puntos crı́ticos y determina si el campo de vectores es completo.
A.6.2. (a) Prueba que el campo de vectores sobre 2 \{0} definido por
@ @
X= +
@x1 @x2
no es completo.
(b) Prueba que los campos de vectores definidos sobre 2 en términos de la carta identidad por
@ x21 @
X = x2 e Y =
@x1 2 @x2
son completos y, sin embargo, su corchete [X, Y ] no es completo.
(t, x, y) ! (t + x, y)
Encontrar un campo X definido sobre 2 tal que sea su flujo.
A.6.5. En 2 \{0}, ¿existe algún campo de vectores cuyas curvas integrales sean las de la siguiente
figura?
@ @ @
X = ( x1 + x2 2x3 ) + ( x2 + 4x3 ) + x3
@x1 @x2 @x3
Encuentra el flujo de X.
CURVAS INTEGRALES Y GRUPOS UNIPARAM ÉTRICOS 103
@ @
X=z y
@y @z
@ @
Y =x z
@z @x
@ @
Z=y x
@x @y
n
X @
xi
@xi
i=1
W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.
104 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
5. PREGUNTAS DE EVALUACIÓN
@ @
(x1 x2 ) + (x1 + x2 )
@x1 @x2
@ @
( y1 y2 ) + (y1 y2 )
@y1 @y2
(a) Prueba que X es, efectivamente, un campo de vectores diferenciable sobre 2 y halla sus
puntos crı́ticos.
(b) Encuentra sus curvas integrales y determina si es un campo completo.
: ⇥M ! M !
1 t
(t, A) ! ·A
0 1
ii) sobre 2 con exactamente un punto crı́tico y todas las demás órbitas cerradas.
iii) sobre 2 con exactamente un punto crı́tico y todas las demás órbitas no cerradas.
iv) sobre 2 con exactamente dos puntos crı́ticos.
E.6.4. Sea X 2 (M ) una campo de vectores diferenciable sobre M con flujo y consideremos una
aplicación diferenciable f 2 C 1 (M ). ¿Cuánto vale el lı́mite
1 ⇤
lim ( t (f ) f )?
t!0 t
E.6.5. Sea t la carta identidad sobre y consideremos el campo de vectores X 2 ( ) dado por
X(t) = et @t . ¿Es X un campo de vectores completo?
Sea el campo de vectores X 2 ( ) dado por X(t) = '(t)@t , donde '(t) = f (t a)g(t b),
a < b. ¿Es X un campo de vectores completo?
CURVAS INTEGRALES Y GRUPOS UNIPARAM ÉTRICOS 105
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
106 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Puede pensarse que Riemann estaba en el lugar adecuado para estudiar matemáticas en Gotinga,
pero en esa época la Universidad de Gotinga no ocupaba una posición destacada en esta materia. Gauss
enseñó a Riemann en los cursos elementales, y no hay evidencia que, en esa época, Gauss reconociera
en gran genio que habı́a en Riemann. Sin embargo, Stern si se percató de que tenı́a un gran estudiante y,
posteriormente, describirı́a al Riemann de esta época diciendo que
Riemann se comprometió con Dirichlet por la fuerte simpatı́a interior por un modo de pensar. Di-
richlet amaba hacer las cosas claras en un sustrato intuitivo, con el cual podı́a realizar análisis
lógicos agudos sobre cuestiones fundamentales, evitando los cálculos laboriosos siempre que podı́a.
Sus maneras encantaron a Riemann, que las adoptó y desde entonces trabajó según los métodos de
Dirichlet.
El trabajo de Riemann siempre se basó 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 están mucho mejor expuestas porque no están salpicadas de numerosos cálculos. Durante
esta época en la Universidad de Berlı́n, Riemann trabajó en su teorı́a general de variables complejas, que
forma una parte muy importante de su investigación matemática.
En 1849 volvió a Gotinga, defendiendo su tesis doctoral, bajo la supervisión de Gauss, dos años
más tarde. Sin embargo, otros matemáticos, aparte de Gauss, influirı́an notablemente en Riemann.
W. Weber habı́a vuelto de Leipzig para ocupar una plaza de fı́sica en Gotinga durante la estancia de
Riemann en Berlı́n, y Riemann fue su asistente durante dieciocho meses. A través de Weber y J.B.
Listing (1808-1882), que también ocupaba un plaza de fı́sica en Gotinga desde 1849, Riemann consiguió
una formación excelente en fı́sica teórica e importantes ideas en topologı́a, que influirı́an notablemente
en sus investigaciones posteriores.
La tesis de Riemann estudiaba la teorı́a de variables complejas y, en particular, los objetos que hoy
conocemos como superficies de Riemann, introduciendo métodos topológicos en la teorı́a de funciones
complejas. El trabajo de Riemann se basa en la teorı́a de funciones complejas previamente desarrollado
por A.L. Cauchy (1798-1857), aunque su tesis doctoral puede considerarse un trabajo sorprendentemen-
te original que examina propiedades geométricas de las funciones analı́ticas, las aplicaciones conformes
y la conexión de superficies.
Con el apoyo de Gauss, Riemann entró en la Universidad de Gotinga y comenzó a trabajar en su Ha-
bilitación, el grado que le permitirı́a llegar a ser un profesor. Dedicó treinta meses para preparar su
disertación, que estudiaba la representación de funciones mediante series trigonométricas. Dio la con-
dición para que una función fuese integrable, que hoy conocemos como condición de integrabilidad de
Riemann. En la segunda parte de su disertación, Riemann examinó el siguiente problema:
108 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Si una función puede ser representada por una serie de potencias, ¿qué puede decirse acerca de su
comportamiento?
Para completar su Habilitación, Riemann tenı́a que dar una conferencia. Para ello, Riemann preparó tres
conferencias, dos sobre electricidad y una sobre geometrı́a. Gauss tenı́a que elegir una de las tres para
que Riemann se la preparase, y en contra de las expectativas de Riemann, Gauss eligió la conferencia
sobre geometrı́a. La conferencia, titulada Uber die Hypothesen welche der Geometrie zu Grunde liegen
(Sobre las hipótesis que están en los fundamentos de la geometrı́a, se impartió el 10 de junio de 1854 y
se ha convertido en un clásico en la historia de las matemáticas.
La conferencia tenı́a dos partes. En la primera parte Riemann planteaba el problema de cómo
definir un espacio n-dimensional y proponı́a una definición de lo que hoy en dı́a llamamos variedad de
Riemann. Freudenthal escribe:
Posee las lı́neas más cortas, hoy llamadas geodésicas, que recuerdan las lı́neas rectas ordinarias.
De hecho, en una primera aproximación en un sistema de coordenadas geodésicas, tal métrica 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 Pitágoras.
De hecho el punto principal de esta parte de la conferencia de Riemann fue la definición del tensor
curvatura de Riemann. La segunda parte de la conferencia plantea cuestiones profundas acerca de la
relación de la geometrı́a con el mundo en el que vivimos. Se pregunta cuál es la dimensión del espacio
real y cuál es la geometrı́a que describe el verdadero universo. La conferencia era muy avanzada y no
fue apreciada por la mayorı́a de los cientı́ficos de su época. Monastyrsky escribe:
Entre la audiencia de Riemann, solamente Gauss fue capaz de apreciar la profundidad de los razo-
namientos de Riemann. . . . La conferencia superó todas sus expectativas y le sorprendió gratamente.
A su regreso a la facultad, Gauss comentó, entre grandes alabanzas, con Wilhelm Weber sobre la
profundidad de los pensamientos que Riemann habı́a presentado.
Riemann no fue plenamente comprendido hasta sesenta años después. Freudenthal escribe:
CURVAS INTEGRALES Y GRUPOS UNIPARAM ÉTRICOS 109
Este brillante trabajo permitió que Riemann iniciara su carrera como profesor. Sin embargo, Monastyrs-
ky escribe:
No mucho antes, en septiembre, Riemann leyó un informe “Sobre las Leyes de Distribución de la
Electricidad Estática” en una sesión de la Sociedad de Gotinga de Cientı́ficos y Fı́sicos. En una
carta a su padre, Riemann comenta, entre otras cosas, que “el haber hablado en un encuentro
cientı́fico fue muy útil para mis conferencias”. En octubre comenzó a preparar sus conferencias
sobre ecuaciones diferenciales en derivadas parciales. Las cartas a su amado padre están llenas
de comentarios acerca de las dificultades que encontró. Aunque sólo ocho estudiantes asistieron
a su primera conferencia sobre ecuaciones diferenciales, Riemann se mostró completamente feliz.
Gradualmente Riemann venció su natural timidez y estableció una buena relación con su audiencia.
La vacante dejada por Gauss en la Universidad de Gotinga fue ocupada por Dirichlet en 1855.
En esta época hubo un intento de crear una plaza para Riemann, pero no prosperó. Sin embargo, dos
años después fue nombrado profesor y, el mismo año, 1857, fue publicada otra de sus obras maestras. El
artı́culo Theory of abelian functions (Teorı́a de funciones abelianas) era el resultado del trabajo realizado
a lo largo de varios años y estaba contenido en un curso, para tres estudiantes, que desarrolló en 1855.
Uno de los estudiantes asistentes fue Richard Dedekind (1831-1916), que hizo posible que el curso
fuera conocido por la comunidad matemática al publicarlo después de la muerte de Riemann.
El trabajo sobre las funciones elı́pticas fue una continuación de su tesis doctoral y desarrolló la
idea de las superficies de Riemann y sus propiedades topológicas. Examinó las funciones multivaluadas
como funciones con valores en una superficie de Riemann especial y resolvió problemas generales de
inversión que previamente habı́an sido resueltos por N.H. Abel (1802-1829) y C.G.J. Jacobi (1804-
1851) para las integrales elı́pticas. Sin embargo, Riemann no era el único que estaba trabajando en tales
ideas, como Klein señala:
. . . cuando Weierstrass envió un primer estudio de las funciones elı́pticas generales a la Academia
de Berlı́n en 1857, el artı́culo de Riemann sobre el mismo tema apareció en el Journal de Crelle, en
110 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
el volumen 54. El trabajo contenı́a tantos conceptos nuevos e inesperados, que Weierstrass retiró su
estudio y no volvió a publicar más sobre el tema.
El Principio de Dirichlet que Riemann habı́a usado en tesis doctoral, volvió a ser utilizado en su
trabajo de 1857. K. Weierstrass (1815-1897), sin embargo, demostró que el Principio de Dirichlet no
era aplicable. Klein escribe:
La mayorı́a de los matemáticos se alejaron de Riemann . . . Riemann tenı́a una opinión diferente.
Estaba completamente de acuerdo con las crı́ticas de Weierstrass, que reconocı́a justas y correctas,
pero añadı́a, como una vez el propio Weierstrass le habı́a comentado, que usaba el Principio de
Dirichlet sólo como una herramienta adecuada, estando confiado en que sus teoremas de existencia
eran correctos.
Antes de la aparición de su trabajo principal (Teorı́a de funciones abelianas), Riemann era prácticamente
un matemático desconocido. Esta circunstancia justifica la necesidad de un examen riguroso de sus
trabajos como base para nuestra presentación. Nos consideramos obligados a solicitar la atención
de la Academia para nuestro colega, que recomendamos no como un joven talento, sino como un in-
vestigador maduro e independiente en nuestra área cientı́fica, que de forma significativa ha influido
en el progreso de las matemáticas.
Como un nuevo miembro de la Academia de Berlı́n, Riemann tenı́a que presentar un informe con sus
investigaciones más recientes, y Riemann envió en trabajo Sobre el número de primos menores que una
cierta cantidad, otra obra maestra que influyó decisivamente en la investigación matemática. Riemann
examinaba la función zeta que ya habı́a sido estudiada por L. Euler, aunque Riemann analizaba una
cuestión diferente, ya que miraba la función zeta como una función compleja, y no real como habı́a
hecho Euler. Riemann establecı́a que la función zeta tiene infinitas raı́ces no triviales y que todas tenı́an
parte real igual a 1/2. Esta afirmación constituye una famosa hipótesis de Riemann que permanece hoy
como una de los más importantes problemas abiertos en matemáticas.
Para finalizar, volvamos a analizar el escepticismo de Weierstrass por el uso que Riemann hacı́a
del Principio de Dirichlet. Weierstrass habı́a probado que la existencia de una función minimizante
no está garantizada por el Principio de Dirichlet, lo que hizo que la gente dudara de los métodos 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.
CURVAS INTEGRALES Y GRUPOS UNIPARAM ÉTRICOS 111
Weierstrass creı́a firmemente en los resultados de Riemann, a pesar de los problemas que él mismo
habı́a detectado sobre el uso del Principio de Dirichlet. Propuso a su estudiante Hermann Schwarz
(1845-1921) 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 métodos de aproxima-
ción geométrica de Riemann, y en 1892 escribió un libro con su versión del trabajo de Riemann, escrito
en un estilo que conservaba el espı́ritu de Riemann. Freudenthal escribe:
Es un libro maravilloso, y serı́a interesante saber como fue recibido. Probablemente, muchos se
ofendieron por su poco rigor: Klein se parecı́a demasiado a Riemann para poder convencer a
aquellos que no creı́an es éste último.
En 1901, Hilbert arregló los teoremas de Riemann proporcionando la forma correcta del Principio de
Dirichlet que se necesitaba para que las demostraciones de Riemann fueran correctas. La búsqueda de
las pruebas correctas no fue, sin embargo, una pérdida de tiempo, ya que muchas importantes ideas
algebraicas fueron descubiertas en este trayecto. Monastyrsky escribe:
Es difı́cil recordar otro ejemplo en la historia de las matemáticas del siglo XIX en que la búsqueda
de una demostración correcta haya conducido a la obtención de tantos resultados.
Bibliografı́a
Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 588–591, 601, 604–
605.
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. pp. 421–432.
Jean-Paul Collete. Historia de las matemáticas, vol. II. Siglo veintiuno de España Editores, S.A., 1985.
pp. 349–354.
Bibliografı́a complementaria
Libros:
R. Dedekind Biography of Riemann en H Weber y R. Dedekind (eds.), The Collected Works of Riemann
(New York, 1953).
Artı́culos:
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 für die Entwicklung der modernen Mathematik, Ges. Math.
Abh. 3 (1923), 482-497.
E. Portnoy Riemann’s contribution to differential geometry, Historia Math. 9 (1) (1982), 1-18.
E. Scholz Riemann’s vision of a new approach to geometry, in 1830-1930: a century of geometry (Ber-
lin, 1992), 22-34.
F.G. Tricomi Bernhard Riemann e l’Italia, 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 Riemann’s contributions to differential geometry, Historia Math. 10 (1)
(1983), 84-89.
CAPÍTULO 7
CAMPOS DE TENSORES
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 lección 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 introducción algebraica, se
definen las uno formas sobre una variedad M .
Definición 7.1
Una 1-forma ✓ sobre una variedad diferenciable M es una correspondencia que asigna a cada punto
p 2 M un covector ✓p 2 Tp⇤ M .
114 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Por otra parte, toda 1-forma puede interpretarse, de una manera natural, como una aplicación entre
el conjunto de los campos de vectores diferenciables (M ) y el conjunto de las funciones continuas, lo
que nos conduce a caracterizar las 1-formas diferenciables ✓ como aquellas para las que ✓(X) es una
función diferenciable, siempre que X sea un campo de vectores diferenciable. Es decir:
Proposición 7.2
Sea M una variedad diferenciable. Una 1-forma ✓ es diferenciable si, y sólo si, ✓(X) 2 C 1 (M ) para
todo campo X 2 (M ).
En el conjunto de las 1-formas diferenciables sobre M podemos definir dos operaciones naturales,
la suma y el producto por funciones diferenciables, del siguiente modo:
Con las dos operaciones anteriores, el conjunto ⇤ (M ) admite estructura de módulo sobre el
anillo C 1 (M ) de las funciones diferenciables.
Entre los covectores tangentes existen unos que son especiales, y son aquellos que provienen de
una función diferenciable. Si f : M ! es una función diferenciable y p es un punto de M , podemos
pensar en la aplicación diferencial dfp como un covector en p, después de hacer la natural identificación
entre el espacio tangente Tf (p) y . Esta interpretación nos permite considerar la 1-forma df , que a
cada punto p le asocia la aplicación diferencial dfp , y que se denomina la diferencial de f . El siguiente
resultado se demuestra con facilidad.
Proposición 7.3
Sea M una variedad diferenciable y f 2 C 1 (M ) una función diferenciable. Entonces df es una 1-forma
diferenciable.
Sea (U, x) un sistema de coordenadas y consideremos ✓ una 1-forma diferenciable. Es fácil ver
que, en el abierto U , se tiene la siguiente igualdad:
Xn ✓ ◆
@
✓= ✓ dxi
@xi
i=1
Esta manera de construir 1-formas nos conduce a definir una aplicación d entre las funciones
diferenciables C 1 (M ) y las 1-formas diferenciables ⇤ (M ), denominada la aplicación diferencial y
que posee interesantes propiedades:
Proposición 7.4
(1) d : C 1 (M ) ! ⇤ (M ) es -lineal.
(2) Si f , g 2 C 1 (M ), entonces d(f g) = gdf + f dg .
(3) Si f 2 C 1 (M ) y h 2 C 1 ( ) entonces d(h(f )) = h0 (f )df .
Introducimos a continuación los campos tensoriales de tipo (r, s) sobre una variedad M como
las aplicaciones C 1 (M )-multilineales de ⇤ (M )r ⇥ (M )s en C 1 (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. Más
explı́citamente:
Definición 7.5
(1) Un campo tensorial A de tipo (r, s) sobre una variedad M es una aplicación C 1 (M )-multilineal
A : ⇤ (M )r ⇥ (M )s ! C 1 (M ). Diremos que A 2 Tsr (M ).
(2) Un campo tensorial covariante de orden s sobre una variedad M es una aplicación C 1 (M )-multilineal
A : (M )s ! C 1 (M ).
(3) Un campo tensorial contravariante de orden r sobre una variedad M es una aplicación C 1 (M )-
multilineal A : ⇤ (M )r ! C 1 (M ).
Ejemplo 7.6
(1) Sea la aplicación E : ⇤ (M ) ⇥ (M ) ! C 1 (M ) dada por E(✓, X) = ✓(X). Es fácil ver que E
es un tensor de tipo (1,1).
(3) Todo campo de vectores diferenciable puede interpretarse como un tensor de tipo (1,0), conside-
rando X : ⇤ (M ) ! C 1 (M ) definido por X(✓) = ✓(X).
Cuando disponemos de varios tensores los podemos operar de diversas maneras. Las operaciones
disponibles son las siguientes:
(f A)(✓1 , . . . , ✓r , X1 , . . . , Xs ) = f · A(✓1 , . . . , ✓r , X1 , . . . , Xs )
Producto: Mientras que sólo se pueden sumar dos tensores del mismo tipo, podemos realizar el pro-
0
ducto de dos tensores de cualquier tipo. Sean A 2 Tsr (M ) y B 2 Tsr0 (M ). Definimos A ⌦ B :
0 0
⇤ (M )r+r ⇥ (M )s+s ! C 1 (M ) por
0
(A ⌦ B)(✓1 , . . . , ✓r+r , X1 , . . . , Xs+s0 ) =
0
A(✓1 , . . . , ✓r , X1 , . . . , Xs ) · B(✓r+1 , . . . , ✓r+r , Xs+1 , . . . , Xs+s0 )
r+r 0
Es fácil probar que A ⌦ B 2 Ts+s 0 (M ). La operación ⌦ se denomina producto tensorial.
Como toda función diferenciable f puede considerarse un tensor de tipo (0,0), entonces si A 2
Tsr (M ) se tiene que
f ⌦ A = A ⌦ f = fA
Finalizamos este apartado con el siguiente resultado, cuya demostración es un mero ejercicio de
manipulación algebraica.
Proposición 7.7
(1) El producto tensorial ⌦ es C 1 (M )-bilineal.
(2) El producto tensorial ⌦ es asociativo y no conmutativo.
0
(3) Si f 2 C 1 (M ), A 2 Tsr (M ) y B 2 Tsr0 (M ), entonces se satisface que
f (A ⌦ B) = (f A) ⌦ B = A ⌦ (f B)
Si V es un espacio vectorial y V ⇤ denota el espacio vectorial dual, entonces los tensores de tipo
(r, s) sobre V son las aplicaciones multilineales t : V ⇤r ⇥ V s ! . En esta sección vamos a probar
que todo campo tensorial sobre una variedad diferenciable M puede interpretarse como una aplicación
que asigna a cada punto p de M un tensor en su espacio tangente.
Dado un espacio vectorial V , denotamos por Tsr V el conjunto de las aplicaciones multilineales
de tipo (r, s) definidas anteriormente. Es fácil ver que Tsr V es un espacio vectorial de dimensión nr+s ,
siendo n la dimensión de V . Consideremos ahora M una variedad diferenciable n-dimensional, y
definamos el siguiente conjunto:
[
Tsr M = Tsr (Tp M ) ⌘ {(p, t) : p 2 M, t 2 Tsr (Tp M )}
p2M
Proposición 7.8
El conjunto Tsr M admite estructura de variedad diferenciable de dimensión n+nr+s . Con esta estructura
diferenciable, Tsr M se denomina el fibrado tensorial de tipo (r, s) sobre M .
CAMPOS DE TENSORES 117
Lema 7.9
Sea A 2 Tsr (M ). Si cualquiera de las uno formas ✓i o de los campos Xj es igual a cero en un punto
p 2 M , entonces
A(✓1 , . . . , ✓r , X1 , . . . , Xs )(p) = 0.
Proposición 7.10
Sea A 2 Tsr (M ). Sean 2r uno formas ✓i , ! i , i = 1, . . . , r, y 2s campo de vectores Xj , Yj , i = 1, . . . , s,
tales que ✓i (p) = ! i (p) y Xj (p) = Yj (p) para un punto p 2 M . Entonces
En virtud de este resultado, si A 2 Tsr (M ) podemos definir para cada punto p de M una aplicación
multilineal Ap 2 Tsr (Tp M ). En efecto, si ↵1 , . . . , ↵r 2 Tp⇤ M y v1 , . . . , vs 2 Tp M , se define la
aplicación Ap : (Tp⇤ M )r ⇥ (Tp M )s ! por la siguiente fórmula:
donde las uno formas ✓i y los campos Xj son extensiones globales de los covectores ↵i y de los vectores
vj , respectivamente. Pero, ¿cómo podemos construir tales extensiones?
n
X @
v= ai
@xi p
i=1
n
X @
X0 = ai
@xi
i=1
Sea f 2 C 1 (M ) una función salto en p con soporte contenido en U . Entonces podemos definir una
extensión global X 2 (M ) del vector v como sigue:
(
f (q)Xq0 si q 2 U
X(q) =
0 si q 62 sop(f )
De manera totalmente análoga se puede extender un covector ↵ 2 Tp⇤ M a una uno forma ✓.
Hemos visto en la sección anterior cómo 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 función de la bases canónicas asociadas a un sistema de
coordenadas. Surgen, de este modo, las componentes tensoriales, que identifican unı́vocamente el campo
tensorial del que proceden y permiten dar, al mismo tiempo, la interpretación clásica de los tensores en
coordenadas.
Definición 7.11
Sea A 2 Tsr (M ) y (U, x) un sistema de coordenadas en M . Las componentes de A respecto de (U, x)
son las funciones ✓ ◆
i1 ···ir @ @
Aj1 ···js = A dx , . . . , dx , j1 , . . . , js
i1 ir
@x @x
con todos los ı́ndices variando de 1 a n.
A continuación, y con el fin de relacionar el concepto de tensor con el clásico por coordenadas,
conviene indicar cómo son operados los tensores en coordenadas, y ası́ se calcularán las componentes
del tensor suma, del tensor producto tensorial y del tensor producto por una función diferenciable.
Proposición 7.12
Sean A y B tensores sobre M y f 2 C 1 (M ). Entonces:
Proposición 7.13
Sea A 2 Tsr (M ) y (U, x) un sistema de coordenadas en M . Entonces, en los puntos de U , se satisface
lo siguiente:
X @ @
A= Aij11···ir
···js i
⌦ · · · ⌦ ir ⌦ dxj1 ⌦ · · · ⌦ dxjs
@x 1 @x
donde cada ı́ndice va sumado de 1 a n.
No obstante, una de las operaciones más destacables que podemos hacer con los tensores es la
contracción, la cual transforma tensores de orden (r, s) en tensores de orden (r 1, s 1), y cuya
definición general deriva del caso especial denominado contracción (1, 1), que transforma tensores de
ese orden en funciones diferenciables.
CAMPOS DE TENSORES 119
Lema 7.14
Existe una única función C 1 (M )-lineal C : T11 (M ) ! C 1 (M ), denominada contracción (1,1), tal que
C(X ⌦ ✓) = ✓(X), para todo X 2 (M ) y ✓ 2 ⇤ (M ).
(Cji A)(✓1 , . . . , ✓r 1
, X 1 , . . . , Xs 1) = C{A(✓1 , . . . , •, . . . , ✓r 1
, X1 , . . . , •, . . . , Xs 1 )}
donde A(✓1 , . . . , •, . . . , ✓r 1 , . . . , •, . . . , Xs 1 )
1, X es el tensor de tipo (1,1) definido por
(✓, X) ! A(✓1 , . . . , ✓, . . . , ✓r 1
, X1 , . . . , X, . . . , Xs 1)
Proposición 7.15
Sea 1 i r, 1 j s y A 2 Tsr (M ). Si las componentes de A relativas a un sistema de coordenadas
son Aij11...i i
...js , entonces las componentes de Cj A son
r
i ...i
X i ...m...i
(Cji A)j11 ...jrs 1
1
Aj11 ...m...jrs 1
1
m
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 contracción (1, 1) sobre A es la función diferenciable que
a cada punto le asocia la traza del operador Ap .
Un hecho básico de los covectores y las uno formas, que se generaliza a cualquier tensor de
orden covariante s > 0, es que cualquier aplicación lineal entre espacios vectoriales V y W induce
una aplicación lineal entre los espacios Ts0 (V ) y Ts0 (W ). En exacta analogı́a, cualquier aplicación
diferenciable f : M ! N entre dos variedades diferenciables induce una aplicación 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 .
Definición 7.16
Sea f : M ! N una aplicación diferenciable y A 2 Ts0 (N ), s 1. Pongamos
Ası́ pues, fijada una aplicación diferenciable f , la correspondencia que a cada tensor le asocia su
pullback mediante f permite definir la operación pullback, la cual posee unas propiedades interesantes,
entre las que podemos destacar las siguientes. En primer lugar, el pullback es -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 composición de aplicaciones, ya que si g es otra aplicación entre
variedades, entonces (g f )⇤ = f ⇤ g ⇤ (véase las Actividades de Aplicación).
120 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Para tensores covariantes (o contravariantes) de orden al menos 2, pueden definirse unas subclases
especiales que juegan un papel destacado en el cálculo tensorial. Nos estamos refiriendo, como es
natural, a los tensores simétricos y a los tensores antisimétricos o alternados. Un tensor es simétrico si
la trasposición de cualesquiera dos de sus argumentos deja inalterado su valor, y es antisimétrico si cada
trasposición de argumentos produce un cambio de signo. Más precisamente,
Definición 7.17
Sea A 2 Ts0 (M ) y una permutación de orden s con signatura " , s 2.
(1) A es simétrico si A(X (1) , . . . , X (s) ) = A(X1 , . . . , Xs ).
(2) A es antisimétrico si A(X (1) , . . . , X (s) ) = " A(X1 , . . . , Xs ).
En este sentido, otras de las propiedades fundamentales de la operación pullback es que apli-
ca tensores simétricos (respectivamente, antisimétricos) en tensores simétricos (respectivamente, anti-
simétricos).
Una clase especial de tensores son las formas diferenciales definidas en un abierto de una variedad;
éstas no son más que tensores covariantes antisimétricos.
Definición 7.18
Una forma diferencial de grado s (abreviadamente, una s-forma diferencial) sobre una variedad M
(respectivamente, sobre un abierto U ) es un tensor covariante antisimétrico de tipo (0, s) sobre
VsM (res-
V sobre U ). El conjunto de las s-formas diferenciales sobre M se denota por V(M ), y
pectivamente,
el
S conjunto
Vs (M ) denotará el conjunto de todas las formas diferenciales sobre M , es decir, (M ) =
s 0 (M ).
Ejemplo 7.19
Sea M = 2 y consideremos el tensor A 2 T20 (M ) definido como sigue:
A(X, Y ) = x1 y2 x2 y1
V2
donde X = x1 @1 + x2 @2 e Y = y1 @1 + y2 @2 . Es fácil probar que A 2 (M ).
CAMPOS DE TENSORES 121
y X
A(T ) = " T ,
No es difı́cil probar que el producto tensorial de dos formas diferenciales no es, en general, una
forma diferencial. Sin embargo, como sabemos que cada tensor determina, bajo la acción del operador
A, un tensor antisimétrico, podemos definir otra multiplicación para las formas diferenciales que es
extraordinariamente útil. Se trata lógicamente del producto exterior ^ de formas diferenciales, que a dos
formas de grado r y s le asocia otra forma diferencial de grado r + s.
DefiniciónV7.20 V
Sean ! 2 r (M ), ✓ 2 s (M ). Definimos ! ^ ✓ por la fórmula
1 X
(! ^ ✓)(X1 , . . . , Xr+s ) = " !(X (1) , . . . , X (r) )✓(X (r+1) , . . . , X (r+s) ),
r!s!
Vr+s
donde recorre las permutaciones de r + s letras. Entonces ! ^ ✓ 2 (M ) y se denomina el
producto exterior de ! y ✓.
El producto exterior nos permite generar cualquier forma diferencial, de cualquier grado, a partir
de las formas diferenciales de grado uno (las uno formas). En efecto, si {! 1 , . . . , ! n } es una referencia
local de uno formas sobre una variedad diferenciable M (o sobre un abierto U de la misma) entonces
el conjunto {! i1 ^ · · · ^ V
! is }, con todos
V los ı́ndices variando desde 1 hasta n, tales que i1 < · · · < is ,
constituye una base para s (M ) (ó s (U ), respectivamente).
122 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
A.7.1. (a) Prueba que existe un C 1 (M )-isomorfismo entre ⇤ (M ) y T10 (M ), donde ⇤ (M ) denota
el módulo dual de (M ).
(b) Prueba que existe un C 1 (M )-isomorfismo entre (M ) y T01 (M ).
(c) Deduce que (M ) se identifica con su módulo bidual.
A.7.2. Sea F : M ! N una aplicación diferenciable.
(a) Si i : M ! M es la identidad, entonces i⇤ es la identidad sobre Ts0 (M ).
(b) Para tensores covariantes A y B de tipo (0, s) y (0, t), respectivamente, se verifica:
F ⇤ (A ⌦ B) = F ⇤ (A) ⌦ F ⇤ (B).
(G F )⇤ = F ⇤ G⇤ : Ts0 (M ) ! Ts0 (M ),
para todo s 0.
A.7.3. Sea F : M ! N un difeomorfismo.
(a) Entonces cada campo tensorial 2 Tsr (M ) determina un campo tensorial F⇤ 2 Tsr (N ),
llamado el pushforward de mediante F , por la fórmula
F⇤ (A ⌦ B) = F⇤ (A) ⌦ F⇤ (B) .
(G F )⇤ = G⇤ F⇤ .
A.7.4. Sea A un campo tensorial de tipo (1,2). Sean ⇠ = (x1 , . . . , xn ) y ⌘ = (y1 , . . . , yn ) sistemas
coordenados sobre U ⇢ M . Prueba que las componentes de A relativas a ⌘ están determinadas
como sigue por las componentes de A relativas a ⇠:
X @yc @xi @xj
Aab =
⌘ c ⇠ k
Aij .
@xk @ya @yb
i,j,k
g(X, Y ) : n !
P
p ! g(X, Y )(p) = ni=1 ai (p)bi (p)
X @ X @
donde X = ai ,Y = bi .
@xi @xi
i i
CAMPOS DE TENSORES 123
y1 = x1
y2 = x1 + x2
..
.
yn = x1 + · · · + xn
A.7.7. Sea ' una aplicación p lineal y 2 Sp una permutación de orden p. Se define
(a) ' es simétrica (resp. antisimétrica) si, y sólo si, para todo u1 , . . . , up 2 V, 1 i<k
p, es :
'(. . . , ui , . . . , uk , . . .) = '(. . . , uk , . . . , ui , . . .)
(resp. '(. . . , ui , . . . , uk , . . .) = '(. . . , uk , . . . , ui , . . .)).
(b) ' es antisimétrica si, y sólo si, para todo (u1 , . . . , up ) con ui = uj para algún i 6= j, es
'(u1 , . . . , up ) = 0.
(c) Sea ^p V ⇤ el espacio de todas las aplicaciones p-lineales antisimétricas. Prueba que ^p V ⇤ =
0 para p > dimV . Además, si n = dimV , entonces ^n V ⇤ es 1-dimensional.
A.7.8. Sean 2 ⇤ (M ).
1, . . . , n
P
(a) Si ✓i = j aij j, i = 1, . . . , n, entonces
✓1 ^ . . . ^ ✓n = det(aij ) 1 ^ ... ^ n.
1 ^ ... ^ n 6= 0
en todo punto de M .
A.7.10. Sobre 2 con las coordenadas usuales {x1 , x2 }, sea 2 L( 2) la aplicación lineal con matriz
!
2 1
A=
1 1
(a) Sea T 2 T20 ( 2) dado por T = dx1 ⌦ dx1 + 2dx1 ⌦ dx2 dx2 ⌦ dx1 + 3dx2 ⌦ dx2 . Obten
⇤T .
A.7.11. Sea : 3 ! 2 dado por (x, y, z) = (2x + z, xyz) y T 2 T20 ( 2) definido por T =
(u + 2v)du ⌦ du + u2 du ⌦ dv. Calcula ⇤ T .
(a) Interpreta A 2 T11 (M ) como una aplicación diferenciable que asigna a cada punto p 2 M
un operador lineal Ap sobre Tp M .
(b) Prueba que (CA)(p) = traza(Ap ), donde C es el operador Contracción.
(c) Si A, B 2 T11 (M ), expresa la aplicación p ! Ap Bp como un elemento de T11 (M ).
A.7.13. 1) Sea ' : 2 ! 2 la aplicación diferenciable definida por '(x, y) = (x + 2y, y) y sea
T = 3x@x ⌦ dy + @y ⌦ dy 2 T11 ( 2 ). Calcula el pullback '⇤ (T ) y el pushforward '⇤ (T )
del tensor T .
2) Sean los tensores A = T ⌦ '⇤ (T ) y B = '⇤ (T ) ⌦ T . Calcula C21 A C12 B.
A.7.14. En 2 , con las coordenadas usuales (x, y), consideramos el tensor T 2 T12 ( 2 ) dado por
T = xy@x ⌦ @x ⌦ dy y 2 @x ⌦ @y ⌦ dy + 3x2 y@y ⌦ @x ⌦ dx. ¿Cuánto vale la contracción
C12 (T )?
A.7.15. Sea ' : 2 ! 2 dada por '(x, y) = (x + 2y, y) y sea el tensor T 2 T20 ( 2) dado por
T = 3xdx ⌦ dy + dy ⌦ dy. ¿Cuánto valen C21 ('⇤ T ⌦ '⇤ T ) y C12 ('⇤ T ⌦ '⇤ T )?
W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.
CAMPOS DE TENSORES 125
5. PREGUNTAS DE EVALUACIÓN
E.7.1. Sean A y B dos campos tensoriales de tipo (1,1) sobre una variedad diferenciable M . Pongamos
E.7.2. (a) Sea T 2 T20 ( 2 ) un tensor no nulo. Encuentra una caracterización para que T se pueda
escribir en la forma T = A ⌦ B, con A, B 2 T10 ( 2 ).
aij bij .
i,j
(c) Sean A, B 2 T20 (M ) dos tensores simétricos de componentes respectivas aij , bkl , verifican-
do la igualdad:
aij bkl ail bkj + ajk bil akl bij = 0.
Prueba que aij = bij .
E.7.3. Sea : 2 \{(0, y)|y 2 } ! 2 \{(x, x)|x 2 } la aplicación definida por (x, y) =
(x3 + y, y) y sea el tensor T de tipo (2, 1) dado por
@ @
T =x ⌦ dx ⌦ dy + y ⌦ dy ⌦ dy.
@x @y
Prueba que es un difeomorfismo y calcula:
(a) El pushforward ⇤T .
3 3
'=⇡ ⇡
2
126 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
@ @
T = x⌦ dz + y ⌦ dx
@y @z
A = u du + v dv
1) El pushforward de T , ⇤ (T ).
2) El pullback de A, ⇡ ⇤ (A).
3) ! = C21 ( ⇤ (T ) ⌦ ⇡ ⇤ (A)).
4) ⇤! C21 (T ⌦ '⇤ A)
@ @
5) La derivada de Lie LX ( ⇤ !), donde X = 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 sólo si, existe una n-
forma sobre M que no se anula en ningún punto.
CAMPOS DE TENSORES 127
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
128 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
David Hilbert (1862-1943) asistió a una academia en su pueblo natal de Könisberg. Después de
la graduación, Hilbert abandonó la academia e ingresó en la Universidad de Könisberg, donde estudió
bajo la dirección de C. Ferdinand Lindemann (1852-1939). Obtuvo su doctorado en 1885 con una
tesis doctoral titulada Uber invariante Eigenschaften specieller binärer Formen, insbesondere der Ku-
gelfunctionen, que hizo progresar la teorı́a de los invariantes algebraicos. Uno de los amigos de Hilbert
fue Hermann Minkowski (1864-1909), que también fue estudiante de doctorado en la Universidad de
Könisberg; sus trabajos tuvieron una enorme influencia en el desarrollo posterior de las matemáticas.
En 1884 A. Hurwitz fue admitido en la Universidad de Könisberg y pronto estableció amistad con
Hilbert, influyendo notablemente en el desarrollo matemático de Hilbert. Hilbert fue miembro directivo
de la Universidad desde 1886 hasta 1895, alcanzando las categorı́as de Profesor Extraordinario en 1892
y de Catedrático en 1893.
En 1892 Hermann A. Schwarz (1845-1921)se trasladó de Gotinga a Berlı́n para ocupar la vacante
dejada por Karl Weierstrass (1815-1897), y F. Klein (1849-1925) deseaba ofrecer a Hilbert la vacante
de Gotinga. Sin embargo, Klein no pudo convencer a sus colegas y Heinrich Weber (1842-1913)
fue seleccionado para ocupar dicho puesto. Tres años después, Weber se trasladó a una vacante en
Estrasburgo y entonces sı́ consiguió que Hilbert fuese seleccionado para ocupar el puesto de Weber.
De este modo, Hilbert fue nombrado profesor de la Universidad de Gotinga en 1895, donde estuvo
enseñando durante el resto de su carrera docente.
La eminente posición que ocupaba Hilbert en el mundo de las matemáticas desde 1900 hacı́a
que otras instituciones quisieran convencerlo de que abandonara Gotinga y, en 1902, la Universidad de
Berlı́n le ofreció la Cátedra de L. Fuchs (1833-1902). Hilbert se trasladó a la plaza de Berlı́n, pero sólo
hasta que la Universidad de Gotinga quiso recuperarlo ofreciéndole una cátedra a él y otra a su amigo
Minkowski.
El primer trabajo de Hilbert sobre teorı́a de los invariantes, en 1888, contenı́a su famoso Teorema
de la Base. Veinte años antes P. Gordan (1837-1912) habı́a probado el teorema de la base finita para
formas binarias utilizando una aproximación altamente computacional. Los diversos intentos que se
sucedieron después para intentar generalizar el teorema de Gordan para sistema de más de dos variables
CAMPOS DE TENSORES 129
Hilbert sometió su artı́culo a la revista Mathematische Annalen. Sin embargo, Gordan era el
experto de dicha revista en la teorı́a de invariantes, y encontró el revolucionario método de Hilbert poco
interesante. Revisó el artı́culo de Hilbert y envió los siguientes comentarios a Klein:
El problema no es la forma . . . sino algo mucho más profundo. Hilbert ha desdeñado presentar
sus ideas siguiendo las reglas formales, y piensa que es suficiente con que nadie contradiga su
demostración . . . está contento pensando que la importancia y corrección de sus proposiciones son
suficientes . . . para un trabajo en Annalen no es suficiente.
Sin embargo, Hurwitz le hizo saber a Hilbert de este informe de Gordan, y el propio Hilbert le envió una
carta a Klein en términos muy duros:
. . . No estoy preparado para alterar o eliminar nada, y en relación con el artı́culo, y con toda modes-
tia, esta es mi ultima palabra, ya que no se ha producido ninguna objeción definitiva e irrefutable
contra mi razonamiento.
Klein recibió las cartas de Hilbert y Gordan al mismo tiempo, pero mientras Hilbert era un profesor
ayudante, Gordan era el lı́der mundial reconocido experto en teorı́a de invariantes, y además era amigo
ı́ntimo de Klein. Sin embargo, Klein reconoció la importancia del trabajo de Hilbert y le aseguró que su
trabajo aparecerı́a en Annalen sin cambios, como ası́ fue.
Hilbert desarrolló sus métodos en un trabajo posterior, que también sometió a Annalen, y Klein,
después de leer el manuscrito, escribió a Hilbert diciéndole:
No tengo ninguna duda que éste es el trabajo sobre álgebra general más importante que ha sido
130 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
. . . no es realmente un Recopilatorio en el sentido usual de la palabra, sino más bien una obra de
investigación original que revela que Hilbert no era un mero especialista. . . . [Hilbert] no sólo sinte-
tiza los resultados de investigaciones anteriores . . . sino que crea nuevos conceptos que constituyen
las lı́neas de investigación en teorı́a algebraica de números durante los años posteriores.
el extraño simbolismo de los trabajos de Pasch y Peano, el de Hilbert puede leerse, en gran parte, por
cualquier alumno inteligente que estudie geometrı́a a nivel medio.
Los problemas sugeridos por Hilbert provienen de los diferentes sectores de las matemáticas, y se adivina
fácilmente la profundidad y complejidad de su contenido. Se incluye la hipótesis del continuo, la buena
ordenación de los números reales, la conjetura de Goldbach, la trascendencia de las potencias de números
algebraicos, la hipótesis de Riemann, la extensión del principio de Dirichlet y muchos otros. Muchos
de estos problemas han sido resueltos durante estos años pasados, y cada vez que un nuevo problema es
resuelto supone un momento glorioso para las matemáticas.
Hoy dı́a, 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 situación:
ecuaciones integrales, Hilbert contribuyó al desarrollo de la fı́sica matemática mediante sus impor-
tantes memorias sobre la teorı́a cinética de los gases y la teorı́a de radiaciones.
En 1915 Hilbert descubrió las ecuaciones correctas del campo en teorı́a de la relatividad general. En este
punto, en los últimos años existe una controversia sobre si fue Hilbert el primero, antes que A. Einstein,
que las describió correctamente.
En 1934 y 1939 se publicaron dos volúmenes de Grundlagen der Mathematik que pretendı́an con-
ducir a la “teorı́a de la demostración”, un método para probar la consistencia de las matemáticas. El
artı́culo de Kurt Gödel (1906-1978) de 1931 demostrarı́a que este objetivo era imposible, ya que de-
mostró que en el interior de un sistema siempre existe al menos una proposición (es decir, un enunciado
verdadero) que no puede ser demostrada basándose únicamente en los axiomas del sistema.
Hilbert contribuyó a muchas ramas de las matemáticas, incluyendo la teorı́a de invariantes, los
cuerpos algebraicos de números, el análisis funcional, las ecuaciones integrales, la fı́sica matemática, y
el cálculo de variaciones. Las habilidades matemáticas de Hilbert fueron hábilmente recogidas por Otto
Blumenthal, su primer estudiante:
En el análisis del talento matemático se debe distinguir entre la habilidad para crear nuevos con-
ceptos 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 visión
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 ana-
lizado. A partir de éstos, la sı́ntesis, su obra de arte, era creada. En la medida en que nos referimos
a la creación de nuevas ideas, pondrı́a a Minkowski en un lugar más alto, junto a Gauss, Galois y
Riemann. Pero cuando nos quedamos con la perspicacia penetrante, sólo unos pocos entre los más
grandes pueden compararse con Hilbert.
Entre los estudiantes de Hilbert podemos citar a Hermann Weyl (1885-1955), el famoso campeón
mundial de ajedrez Lasker, y Ernst Zermelo (1871-1953).
Hilbert recibió muchos honores. En 1905 la Academia Húngara de Ciencias le concedió una
distinción especial. En 1930 Hilbert se retiró y la ciudad de Könisberg lo nombró ciudadano honorario de
CAMPOS DE TENSORES 133
la ciudad. Dio un discurso de agradecimiento que finalizaba con seis palabras famosas que demuestran
su entusiasmo por las matemáticas y su dedicación en vida para la resolución de problemas matemáticos:
Wir müssen wissen, wir werden wissen - Nosotros debemos conocer, nosotros conoceremos.
Bibliografı́a
Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 654–661.
Jean-Paul Collete. Historia de las matemáticas, vol. II. Siglo veintiuno de España Editores, S.A., 1985.
pp. 577–586.
Bibliografı́a complementaria
Libros:
Artı́culos:
P. Bernays David Hilbert, Encyclopedia of Philosophy III (New York, 1967), 496-504.
C. Carathéodory Obituary: David Hilbert, S-B Math.-Nat. Abt. Bayer. Akad. Wiss. 1943 (1943)
350-354.
134 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
L. Corry Axiomatics and structural algebra in the works of David Hilbert (Spanish), Mathesis 11 (4)
(1995), 291-329.
J. Dieudonné 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.
D.E. Rowe Klein, Hilbert, and the Göttingen mathematical tradition, Osiris (2) 5 (1989), 186-213.
D.E. Rowe David Hilbert on Poincaré, Klein, and the world of mathematics, The Mathematical Intelli-
gencer 8 (1) (1986), 75-77.
M. Toepell On the origins of David Hilbert’s 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.
CAPÍTULO 8
DERIVACIONES TENSORIALES
Definimos en esta lección lo que se entiende por una derivación tensorial D sobre una variedad
diferenciable M , que es un conjunto de funciones -lineales Dsr que aplica los tensores de tipo (r, s)
en los tensores del mismo tipo, y tales que satisfacen la regla de Leibnitz del producto y conmutan con
las contracciones. En el caso especial en que r = s = 0, entonces se trata de una derivación sobre las
funciones diferenciables y, en consecuencia, proviene de un único campo de vectores diferenciable. Más
precisamente:
Definición 8.1
Una derivación tensorial D sobre una variedad M es un conjunto de aplicaciones -lineales
Las derivaciones tensoriales no son, en general, C 1 (M )-lineales. Por este motivo, el valor del
tensor DA en un punto p de M no puede obtenerse sólo 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 pequeño de p, lo cual nos
recuerda la conocida propiedad relativa a la diferencial de funciones diferenciables. El carácter local
de las derivaciones puede expresarse diciendo que la derivación tensorial conmuta con la restricción a
abiertos de la variedad.
Proposición 8.2
Si D es una derivación tensorial sobre M y U ⇢ M es un abierto, entonces existe una única derivación
tensorial DU sobre U tal que
DU (A|U ) = (DA)|U
para cualquier tensor A sobre M . DU se denomina la restricción de D a U .
Proposición 8.3
Sea D una derivación tensorial sobre M y A 2 Tsr (M ). Entonces
D(A(✓1 , . . . , ✓r , X1 , . . . , Xs )) = (DA)(✓1 , . . . , ✓r , X1 , . . . , Xs )
r
X
+ A(✓1 , . . . , D✓i , . . . , ✓r , X1 , . . . , Xs )
i=1
s
X
+ A(✓1 , . . . , ✓r , X1 , . . . , DXj , . . . , Xs )
j=1
Como un caso particular de la proposición que acabamos de enunciar, si ✓ es una uno-forma sobre
M podemos deducir la siguiente expresión para su derivada tensorial:
Por tanto, basta conocer cómo actúa 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 función : (M ) ! (M ) -lineal, satisfaciendo
(f X) = V (f )X + f (X).
Entonces existe una única derivación que coincide con V actuando sobre las funciones diferenciables y
con actuando sobre los campos de vectores.
DERIVACIONES TENSORIALES 137
Como una de las aplicaciones más importantes del resultado anterior podemos citar la construc-
ción de la derivada de Lie.
Proposición 8.6
Sea V un campo de vectores diferenciable y consideremos la aplicación diferenciable : (M ) !
(M ) dada por (X) = [V, X]. Entonces existe una única derivación 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 (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: (M ) ! D(M )
V ! LV
Proposición 8.7
(1) LaV +bW = aLV + bLW , a, b 2 .
(2) [LV , LW ] = L[V,W ] .
(3) LV (df ) = d(V f ).
Proposición 8.8
Dada una derivación arbitraria D, existe un único campo de vectores V y un único tensor B de tipo (1,1)
tal que la derivación se descompone como LV + DB .
Si en lugar de considerar los tensores arbitrarios de tipo (r, s) nos centramos en las formas dife-
renciales, entonces podemos definir dos tipos de operadores con propiedades muy especiales.
Definición 8.9 V V
Un operador T : (M ) ! (M ) se dice que es una derivación de grado 2k, k 2 , si satisface las
siguientesVtres propiedades: V
(1) T ! 2 p+2k (M ) para toda ! 2 p (M );
138 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
(2) T es -lineal;
(3) T (! ^ ✓) = (T !) ^ ✓ + ! ^ (T ✓).
Definición 8.10
Un operador T es una antiderivación de grado 2k + 1, k 2 , si satisface:
V V
(1) T ! 2 p+2k+1 (M ) para toda ! 2 p (M );
(2) T es -lineal;
(3) T (! ^ ✓) = (T !) ^ ✓ + ( 1)p ! ^ (T ✓), siendo p el grado de !.
Proposición 8.11
(1) Si D1 y D2 son derivaciones entonces [D1 , D2 ] es una derivación de grado igual a la suma de los
grados de D1 y D2 ;
(2) Si D es una derivación y A es una antiderivación, entonces [D, A] es una antiderivación;
(3) Si A1 y A2 son dos antiderivaciones, entonces A1 A2 +A2 A1 es una derivación. Como consecuencia,
si A es una antiderivación, entonces A2 es una derivación.
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 ! 2 (M ). Entonces demostramos que las
derivaciones y antiderivaciones son locales, es decir:
Proposición 8.12 V
Vsobre (M ) y U ⇢ M es un abierto, entonces existe una única
Si D es una derivación (antiderivación)
derivación (antiderivación) DU sobre (U ) tal que
DU (✓|U ) = (D✓)|U
Este resultado permite probar que si T es una derivación (o antiderivación) tal que T (f ) = 0 para
toda función diferenciable f y T (!) = 0 para toda uno forma !, entonces T ⌘ 0. Como consecuencia,
si T1 y T2 son dos derivaciones (o antiderivaciones) que coinciden sobre las funciones diferenciables y
sobre las uno formas, entonces son iguales.
Para finalizar el capı́tulo introducimos dos antiderivaciones que están ı́ntimamente relacionadas
con la derivada de Lie: la diferencial exterior y el producto interior por un campo de vectores diferen-
ciable.
Proposición 8.13
Existe una única antiderivación d de grado +1 tal que:
(1) d(f ) = df (la diferencial ordinaria) para toda función diferenciable f .
(2) d2 = 0.
d se denomina la diferencial exterior.
DERIVACIONES TENSORIALES 139
Proposición 8.14 V V
Sea X 2 (M ) un campo de vectores diferenciable. La aplicación iX : (M ) ! (M ) dada por
Entre las igualdades más importantes que relacionan estos tres operadores están las siguientes:
Proposición 8.15
(1) LX = iX d + diX ;
(2) LX d = dLX = diX d;
(3) LX iX = iX LX ,
(4) LX iY iY LX = i[X,Y ] ;
donde X e Y son campos de vectores diferenciables.
A.8.1. Sea ! 2 ^p (M ), p 0. Para todo X1 , . . . , Xp+1 campos de vectores, definimos para p > 0:
(d!)(X1 , . . . , Xp+1 ) =
p+1
X
( 1)i+1 Xi (!(X1 , . . . , X̂i , . . . , Xp+1 ))
i=1
X
+ ( 1)i+j !([Xi , Xj ], X1 , . . . , X̂i , . . . , X̂j , . . . , Xp+1 ),
i<j
y para p = 0:
(d!)(X) = X(!).
Prueba que d! 2 ^p+1 (M ). d! es la diferencial exterior de !, y la aplicación d : ^(M ) !
^(M ) es la diferencial exterior.
A.8.2. Prueba las siguientes propiedades de la diferencial exterior, utilizando la definición dada en el
ejercicio anterior:
5. PREGUNTAS DE EVALUACIÓN
E.8.2. Sea : 2 \{(0, y)|y 2 } ! 2 \{(x, x)|x 2 } definida por (x, y) = (x3 + y, y) y sea
@ @
T =x ⌦ dx ⌦ dy + y ⌦ dy ⌦ dy.
@x @y
@ @
¿Cuál es la traza del producto interior de T con +x ?
@x @y
E.8.3. Para todo campo de vectores X 2 (M ) y todo tensor covariante A 2 Ts0 (M ) se verifica
1 ⇤
LX A = lim ( t (A) A) ,
t!0 t
donde { t } es el flujo de X. Probarlo para s = 2. (Si el flujo es local, la ecuación anterior es
válida localmente).
142 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
DERIVACIONES TENSORIALES 143
Elie Joseph Cartan (1869-1951) nació en Dolomieu (cerca de Chambéry), en la Saboya francesa,
y murió en Parı́s, Francia. Trabajó en grupos continuos, álgebras de Lie, ecuaciones diferenciales y
geometrı́a, proporcionando sus trabajos una sı́ntesis de estas áreas.
Cartan ingresó en la Escuela Normal en 1888 y obtuvo su doctorado en 1894. Fue profesor en las
universidades de Montpellier (1894-1896), Lyon (1896-1903), Nancy (1903-1909) y Parı́s (1909-1940).
Tuvo cuatro hijos, uno de ellos Henri Cartan (), que se convertirı́a también en un brillante matemático.
Por contra, otros hijos murieron en trágicas circunstancias; Jean, compositor, murió a la edad de 25 años,
mientras que Louis, fı́sico, fue arrestado por los alemanes en 1942 y ejecutado después de 15 meses en
cautividad.
Cartan se sumó brillantemente a la teorı́a de grupos continuos que habı́a sido iniciada por Marius
Sophus Lie (1842-1899). Su tesis doctoral (1894) puede considerarse una contribución de importancia
capital a las álgebras de Lie, y en ella completa la clasificación de las álgebras semisimples que Killing
habı́a prácticamente encontrado. Posteriormente se volcó en la teorı́a de las álgebras asociativas e inves-
tigó la estructura de estas álgebras sobre los cuerpos de los números reales y complejos. Wedderburn
completarı́a el trabajo de Cartan en este área.
Las representaciones de los grupos de Lie semisimples también atrajeron su atención. Su trabajo
es una sı́ntesis asombrosa de teorı́a de Lie, geometrı́a clásica, geometrı́a diferencial y topologı́a, que se
encuentra a lo largo de toda la obra de Cartan. Asimismo, Cartan aplicó el álgebra de Grassmann a la
teorı́a de las formas diferenciales exteriores.
Hacia 1904, Cartan se vuelca en el estudio de las ecuaciones diferenciales, y desde 1916 su inves-
tigación está centrada en la geometrı́a diferencial, área en la que publica la mayorı́a de sus trabajos. El
Programa de Erlangen de Felix Klein (1849-1925) habı́a sido considerado inadecuado para describir la
geometrı́a por Hermann Weyl (1885-1955) y Oswald Veblen (1880-1960), y en este apartado Cartan
jugarı́a un papel destacado. Examinó las acciones de los grupos de Lie de transformaciones sobre un
espacio, desarrollando la teorı́a de las referencias móviles, que generalizaban la teorı́a cinemática de
Jean G. Darboux (1842-1917).
144 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Cartan contribuyó a la geometrı́a con su teorı́a de los espacios simétricos, que tiene su origen en
los artı́culos publicados en 1926, donde desarrolla las ideas estudiadas anteriormente por William K.
Clifford (1845-1879) y Arthur Cayley (1821-1895), y usa los métodos topológicos desarrollados por
Weyl en 1925. Estos trabajos serı́an completados en 1932.
Cartan examinó después varios problemas que previamente habı́an sido estudiados por Henri
Poincaré (1854-1912). Por esta época, su hijo Henri Cartan realizaba contribuciones importantes a
las matemáticas, y Elie Cartan utilizó muchos de sus teoremas en sus investigaciones. Cartan también
publicó varios trabajos sobre la teorı́a de la relatividad y de los espinores. Sin duda alguna, Cartan puede
considerarse como uno de los matemáticos más importantes e influyentes de la primera mitad del siglo
XX .
Bibliografı́a
Bibliografı́a complementaria
Libros:
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).
Artı́culos:
J. Dieudonné Les travaux de Elie Cartan sur les groupes et algèbres de Lie, Elie Cartan, 1869-1951
(homenaje de l’Acad. République Socialiste de Roumanie con ocasión del centenario de su naci-
miento) (Bucharest, 1975), 29-31.
W.V.D. Hodge Obituary: Elie Cartan , J. London Math. Soc. 28 (1953), 115-119.
M. Javillier Notice nécrologique sur Elie Cartan (1869-1951), C. R. Acad. Sci. Paris 232 (1951),
1735-1791.
S-S. Chern y C. Chevalley Obituary: Elie Cartan and his mathematical work, Bull. Amer. Math. Soc.
58 (1952), 217-250.
DERIVACIONES TENSORIALES 145
Levi-Civita se graduó en la Universidad de Padua, siendo uno de sus profesores Gregorio Ricci
(1853-1925), con quien Levi-Civita colaboró en diversos trabajos de investigación.
Levi-Civita fue seleccionado para ocupar la Cátedra de Mecánica de Padua en 1898, un puesto
donde estuvo durante veinte años. En 1918 abandonó Padua y se trasladó a Roma, donde también ocupó
la Cátedra de Mecánica durante veinte años, hasta que fue cesado por la polı́tica discriminatoria del
gobierno, ya que era descendiente de judı́os.
La formación en matemáticas puras de Levi-Civita era extensa, su intuición geométrica era parti-
cularmente excelente, e hizo buen uso de ella en diversos problemas de matemáticas aplicadas. En uno
de sus trabajos de 1895 Levi-Civita mejoraba la fórmula integral de B. Riemann (1826-1866) para el
número de primos pertenecientes a un intervalo dado.
Sin embargo, Levi-Civita es más conocido por sus trabajos en el cálculo diferencial absoluto con
sus aplicaciones a la teorı́a de la relatividad. En 1887 publicó un famoso artı́culo en el que desarrollaba
el cálculo de tensores, siguiendo el trabajo de E.B. Christoffel (1829-1900), incluyendo la diferencia-
ción covariante. En 1900 publicó, conjuntamente con Ricci, la teorı́a de tensores Méthodes de calcul
differential absolu et leures applications (Métodos de cálculo diferencial absoluto y sus aplicaciones),
que quince años después serı́a utilizada hábilmente por A. Einstein.
Hermann Weyl (1885-1955) profundizó en las ideas de Levi-Civita y construyó una teorı́a uni-
ficada de la gravitación y el electromagnetismo. El trabajo de Levi-Civita es, sin duda alguna, de una
importancia capital en la teorı́a de la relatividad, y entre su producción cientı́fica merecen ser destacados
los artı́culos sobre los campos gravitacionales estáticos, los cuales desarrolla de una forma elegante e
ingeniosa.
Otro de los tópicos estudiados por Levi-Civita es la dinámica analı́tica, dedicando numerosos
146 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
artı́culos al estudio del problema de los tres cuerpos. También escribió sobre hidrodinámica y sobre la
teorı́a de sistemas de ecuaciones en derivadas parciales. Se sumó a la teorı́a de A.L. Cauchy (1789-1857)
y S. Kovalevskaya (1850-1891), escribiendo un excelente libro sobre este tema en 1931. Posteriormen-
te, en 1933, Levi-Civita contribuyó de forma importante a la ecuaciones de P.A.M. Dirac (1902-1984)
que aparecen en la teorı́a cuántica.
Levi-Civita, como Volterra y muchos otros cientı́ficos italianos, se opuso dura y activamente
al fascismo. Después de ser apartado de su puesto en la Universidad de Roma, su salud empeoró
rápidamente, su corazón mostró sı́ntomas de gran debilidad, muriendo finalmente de un derrame ce-
rebral.
Bibliografı́a
Bibliografı́a complementaria
E. Cartan Notice sur M Tullio Levi-Civita, C. R. Acad. Sci. Paris 215 (1942), 233-235.
L. Dell’Aglio y G. Israel The themes of stability and qualitative analysis in the works of Levi-Civita and
Volterra (Italian),, Italian mathematics between the two world wars (Bologna, 1987), 125-141.
A. Einstein Tullio Levi-Civita, Annuario della Pontificia Accademia delle Scienze 1 (1936-37), 496-
511.
D. Galletto Tullio Levi-Civita (1873-1941), Boll. Un. Mat. Ital. (4) 8 (1973), 373-390.
W.V.D. Hodge Obituary: Tullio Levi-Civita, J. London Math. Soc. 18 (1943), 107-114.
W.V.D. Hodge Obituary: Tullio Levi-Civita. 1873-1941, Obituary Notices of Fellows of the Royal
Society of London 4 (1942), 151-165.
G. Krall Tullio Levi-Cività nella meccanica del suo tempo, Civiltà delle Macchine 1 (4) (1953), 33-37.
G. Krall Tullio Levi-Cività e la relatività, Civiltà delle Macchine 1 (6) (1953), 42-48.
B. Levi Obituary: Tullio Levi-Civita (1873-1941) (Spanish), Math. Notae 2 (1942), 155-159.
A. Masotti Bibliografie di Tullio Levi-Civita e Vito Volterra, Rend. Sem. Mat. Fis. Milano 17 (1946),
16-61.
M. Montagnana Tullio Levi-Civita nel centenario della nascita, Archimede 25 (1973), 318-322.
H.S. Ruse Obituary: Tullio Levi-Civita, Edinburgh Math. Notes 1943 33 (1943), 19-24.
C. Somigliana Obituary: Tullio Levi-Civita e Vito Volterra, Rend. Sem. Mat. Fis. Milano 17 (1946),
1-15.
148 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
CAPÍTULO 9
CONEXIONES AFINES
Definición 9.1
Una conexión afı́n sobre una variedad diferenciable M es una aplicación r : (M )⇥ (M ) ! (M ),
denotada por r(X, Y ) = rX Y , verificando las dos propiedades siguientes:
(1) rf X+gY Z = f rX Z + grY Z;
(2) rX (f Y + gZ) = X(f )Y + f rX Y + X(g)Z + grX Z, para todo trı́o de campos X, Y , Z 2 (M )
y todo par de funciones diferenciables f y g.
Escribamos
n
X @
r@i @j = k
ij , k
ij 2 C 1 (U )
@xk
k=1
Entonces, en el abierto U , se verifica
8 9
n <
X X = @
rX Y = X(bk ) + ai bj k
ij
: ; @xk
k=1 i,j
Esta visión permite deducir que el valor de rX Y en un punto p sólo depende de Xp , de Yp y de las
derivadas de las funciones componentes de Y en la dirección de Xp . Por tanto, es posible construir una
aplicación lineal rv , para cada vector tangente v en p, rv : (p) ! Tp M , satisfaciendo la condición
rv (f Y ) = v(f )Yp + f (p)rv Y para toda función f diferenciable en un entorno de p. De este modo
definimos una función lineal r(p) , denominada conexión afı́n en p, que a cada vector v tangente a M
en p le asocia la aplicación rv . Ası́ pues, a partir de una conexión afı́n r sobre M podemos construir
conexiones afines r(p) en cada punto p de la variedad. Una especie de recı́proco se presenta en el
siguiente resultado.
CONEXIONES AFINES 151
Proposición 9.3
Sea r una correspondencia que asocia a cada punto p de la variedad una conexión afı́n r(p) en p.
Entonces r define una conexión afı́n sobre M si, y solamente si, para todo par de campos de vectores
diferenciables X e Y , la función p ! r(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 conexión de la siguiente
P
manera. Si x = (x1 , . . . , xn ) e Y = i bi @x
@
i
, entonces
n
X @
rX Y = X(bi )
@xi
i=1
r se denomina la conexión afı́n canónica asociada a la carta (U, x). Como consecuencia, toda variedad
diferenciable con una carta global admite una conexión.
Proposición 9.5
Toda variedad diferenciable Hausdorff con una base numerable admite una conexión afı́n.
Dada una conexión afı́n sobre una variedad diferenciable, existen dos tensores asociados de gran
importancia, aunque su verdadera potencia aparece cuando se estudian sobre variedades riemannianas.
Proposición 9.6
Sea r una conexión afı́n sobre una variedad diferenciable M y definamos T : (M ) ⇥ (M ) ! (M )
por T (X, Y ) = [X, Y ] rX Y + rY X . Entonces T es un tensor de tipo (1,2) sobre M denominado
tensor torsión de r.
Algunos autores consideran a T como el tensor torsión. Si denotamos por Tij a los campos de
vectores
@
Tij = T (@i , @j ), @i =
@xi
entonces es fácil probar que
n
X @
Tij = ( k
ji ij )
k
@xk
k=1
El siguiente resultado es ahora obvio.
Proposición 9.7
Una conexión afı́n r tiene torsión cero si, y sólo si, en cualquier sistema de coordenadas sus compo-
nentes satisfacen kji = kij . Una tal conexión se dice que es simétrica.
Ejemplo 9.8
La conexión canónica definida anteriormente es simétrica ya que sus sı́mbolos de Christoffel son nulos
en todo punto.
152 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Mientras que el corchete de Lie de dos campos [X, Y ] mide la diferencia en el intercambio en el
orden de diferenciación para las funciones, no ocurre lo mismo para los campos. No es difı́cil probar que,
en general, rX (rY Z) rY (rX Z) 6= 0; por tanto, dicha diferencia determina un campo de vectores
sobre M que puede ser pensado como el análogo a [X, Y ]. Surge de este modo un nuevo tensor.
Proposición 9.9
Sea r una conexión afı́n sobre una variedad diferenciable M y definamos R : (M )⇥ (M )⇥ (M ) !
(M ) por R(X, Y )Z = r[X,Y ] Z rX (rY Z) + rY (rX Z). Entonces R es un tensor de tipo (1,3)
sobre M denominado tensor curvatura de r.
La noción de paralelismo introducida por Levi-Civita es anterior a las conexiones afines y a las
derivadas covariantes. Sin embargo, y por razones pedagógicas, nosotros hemos invertido el orden de
presentación.
Proposición 9.10
Sea M una variedad diferenciable con una conexión afı́n. Entonces existe una única correspondencia
que asigna a cada campo vectorial V a lo largo de una curva diferenciable c : I ! M otro campo
vectorial DVdt a lo largo de c, denominado derivada covariante de V a lo largo de c, satisfaciendo las
siguientes propiedades:
D
(1) dt (V + W ) = DV dt + dt ;
DW
D
(2) dt (f V ) = df
dt V + f dt , para toda función diferenciable f : I ! ; y
DV
(3) Si V está inducido por un campo de vectores Y 2 (M ), es decir, V (t) = Y (c(t)), entonces
dt = rċ(t) Y .
DV
Este resultado prueba que la elección de una conexión afı́n conduce a una buena definición de la derivada
de campos de vectores a lo largo de curvas. La noción de conexión proporciona, además, una manera de
diferenciar vectores a lo largo de curvas, permitiendo hablar por ejemplo de la aceleración de una curva.
Definición 9.11
Un campo de vectores Y sobre M se dice constante o paralelo si rXp Y = 0 para todo punto p y todo
vector Xp tangente a M en p.
En general no existen tales campos de vectores, ni siquiera sobre pequeños subconjuntos de M . Sin
embargo, dada una curva diferenciable c : I ! M , siempre existe un campo de vectores V (t) paralelo
dt = 0. Esto permite construir una aplicación entre espacios
a lo largo de c, lo que se indica por DV
tangentes denominada el transporte paralelo, que constituye una herramienta muy útil en Geometrı́a de
Riemann.
CONEXIONES AFINES 153
Proposición 9.12
Sea M una variedad diferenciable con una conexión afı́n. Sea c : I ! M una curva diferenciable en M
y v un vector tangente a M en c(t0 ). Entonces existe un ú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.
Para definir una derivación en los campos tensoriales basta definirla en las funciones y en los
campos diferenciables. Esto nos conduce al siguiente resultado.
Proposición 9.14
Sea M una variedad diferenciable con una conexión afı́n r y consideremos un campo de vectores V 2
(M ). Entonces existe una única derivación tensorial rV tal que rV (f ) = V (f ) y rV (W ) = rV W .
rV se denomina la diferencial covariante respecto de V .
A.9.1. Sea M una variedad diferenciable con una conexión lineal r. Consideremos X, Y 2 (M ) y
supongamos que X = 0 o Y = 0 en un abierto U de M . Entonces se verifica que rX Y = 0
sobre U .
A.9.2. (a) Sea r+ una conexión con torsión no nula T sobre una variedad M . Prueba que r definida
por
r X Y = r+ X Y + T (X, Y )
es una nueva conexión con torsión T.
154 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
(b) Sea r+ una conexión con torsión no nula T sobre una variedad M y r la conexión aso-
ciada que nos da el apartado anterior. Prueba que
1
rX Y = (r+ Y + rX Y )
2 X
define una conexión r que es simétrica.
(c) Si ijk son los coeficientes de una conexión lineal dada sobre M , prueba que la conexión
simétrica asociada tiene coeficientes
1
( i
jk + kj ).
i
2
A.9.3. Sea M una variedad diferenciable y r una conexión. Prueba que las dos condiciones siguientes
son equivalentes:
A.9.5. Sea M una variedad diferenciable y r una conexión sobre M . Prueba la igualdad:
A.9.6. Sea M una variedad diferenciable y r una conexión sobre M . Representamos por A(M ) el
conjunto de las transformaciones afines de M . Demuestra que A(M ) es un grupo.
A.9.10. Sea M una variedad diferenciable con una conexión D simétrica y s : ⌦ ! M una superficie
parametrizada. Entonces:
D @s D @s
=
@v @u @u @v
W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.
5. PREGUNTAS DE EVALUACIÓN
E.9.2. Sea r una conexión sobre 2 definida por los sı́mbolos siguientes (respecto de la base global
canónica de ( 2 )):
1
21 = 1, k
ij = 0 (i, j, k) 6= (2, 1, 1).
Consideremos la curva : ! 2 dada por (t) = (3e t , 4t + 5). Encuentra el campo de
vectores Y a lo largo de que nos da el desplazamiento paralelo con Y ( (0)) = 0 (0).
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
CONEXIONES AFINES 157
Luther Pfahler Eisenhart (1876-1965) fue estudiante en el Colegio de Getisburgo desde 1892
hasta 1896, recibiendo su tı́tulo de Bachiller en 1896. Después de estudiar en un colegio durante un año,
ingresó en la Universidad de Johns Hopkins para proseguir con los estudios de graduado. Obtuvo el
doctorado en 1900 con una tesis doctoral titulada Infinitesimal deformations of surfaces (Deformaciones
infinitesimales de superficies). Este trabajo estuvo fuertemente influido por el clásico tratado de J.G.
Darboux (1842-1917) sobre el tópico, y durante su elaboración recibió muy poca atención de parte de
su supervisor.
Eisenhart pasó la mayor parte de su carrera en Princeton, donde llegó a ser instructor en 1900
y profesor en 1909, cargó que desempeñó hasta que se retiró en 1945. Fue nombrado Decano de la
Facultad en 1925, desempeñando el cargo hasta 1933, cuando fue nombrado Decano de la Escuela
Graduada.
Los trabajos de Einsenhart pueden agruparse en dos etapas diferenciadas, aunque ambas dedicadas
a la geometrı́a diferencial. Durante la primera época continuó las investigaciones de su tesis doctoral
estudiando deformaciones de superficies. Su primer libro A Treatise in the Differential Geometry of
Curves and Surfaces (Tratado de Geometrı́a Diferencial de Curvas y Superficies), publicado en 1909,
trataba sobre este tema y está basado en los distintos cursos que Einsenhart impartió en la Universidad
de Princeton a lo largo de varios años. R.C. Archibald describe este libro como sigue:
. . . en forma de libro de texto, con numerosos problemas, introduciendo al estudiante en los métodos
clásicos y modernos. Una de las novedades más interesantes del volumen es el llamado “triedro
móvil” para curvas alabeadas, ası́ como las superficies, utilizado frecuentemente por Darboux y
otros. Del primero se toman los métodos de teorı́a de funciones reales de una variable real. La obra
introduce al estudiante americano en un importante campo utilizando para ello los métodos más
modernos.
El reconocimiento de Eisenhart por Darboux era notorio y en un artı́culo publicado en la revista Bull.
Amer. Math. Soc. al año siguiente a la muerte de Darboux, Eisenhart escribe:
Darboux fue un férreo defensor del uso de los elementos imaginarios en geometrı́a. Creı́a que su uso
en geometrı́a era tan necesario como lo es en análisis. Estaba impresionado por el éxito que habı́an
tenido en la solución del problema de las superficies minimales. . . . Darboux reconoce a E. Combes-
cure como el primero en aplicar consideraciones cinemáticas al estudio de la teorı́a de superficies,
con el consiguiente uso de las referencias móviles. Pero todos le debemos a Darboux, además del
método, su sistemático desarrollo y exposición . . . La habilidad de Darboux es una rara combinación
entre elaboración geométrica y potencia analı́tica. No simpatizaba con aquellos que sólo utilizaban
un razonamiento geométrico cuando intentaban resolver problemas geométricos, ni tampoco con
aquellos que sentı́an una especial necesidad de seguir sólo procedimientos analı́ticos. . . Tenı́a en
común con Monge la necesidad de hacer discı́pulos, además de realizar investigaciones y descubri-
mientos. . . . Sus brillantes investigaciones [la de sus discı́pulos] es el mejor tributo a su maestro.
La segunda época comienza en 1921, cuando Einsehart, animado por la teorı́a de la relatividad
de A. Einstein y las geometrı́as relacionadas, estudia diversas generalizaciones de la geometrı́a de Rie-
mann. Fruto de estas investigaciones serı́an los dos libros Riemannian Geometry (Geometrı́a rieman-
niana, 1926) y Non-Riemannian Geometry (Geometrı́a no riemanniana, 1927). Sobre el primero de los
libros S. Lefschetz dice:
158 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Riemann propuso la generalización de la teorı́a de superficies como las habı́a desarrollado Gauss,
para espacios de cualquier orden, e introdujo ciertas ideas fundamentales en esta teorı́a general.
Contribuciones importantes fueron hechas por Bianchi, Beltrami, Christoffel, Schur, Voss, y otros,
y Ricci-Curbastro coordinó y extendió la teorı́a con el uso del análisis tensorial y su cálculo dife-
rencial. El libro presenta la teorı́a existente sobre geometrı́a riemanniana después de un periodo de
considerable estudio y desarrollo del tema por Levi-Civita, Einsehart y muchos otros.
El estudio de grupos continuos de transformaciones fue inaugurado por Lie y continuado posterior-
mente por Engel, Killing, Scheffers, Schur, Cartan, Bianchi y Fubini, un capı́tulo que se cerró con el
cambio de siglo. El nuevo capı́tulo comenzó alrededor de 1920 con los estudios del análisis tenso-
rial, geometrı́a riemanniana y sus generalizaciones, y la aplicación de la teorı́a de grupos continuos
a las nuevas teorı́as fı́sicas. 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 Matemática Americana durante muchos años, pues fue Vice-
presidente en 1914, Colloquium lecturer en 1925, donde impartió conferencias sobre geometrı́a no rie-
manniana, editó la revista Transactions of the American Mathematical Society desde 1917 hasta 1923,
siendo editor jefe durante el periodo 1920-1923, y Presidente durante dos años (1931-1932).
Bibliografı́a
Bibliografı́a complementaria
Artı́culos:
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 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Shiing-shen Chern (1911- ) comenzó sus estudios en la Universidad Nankai, en Tientsin (China),
graduándose en la Universidad de Tsing Hua, Pekı́n. Fue el único estudiante de matemáticas que ingresó
en la universidad en 1930 y durante los cuatro años que estuvo en la Universidad estudió profunda y
ampliamente la geometrı́a diferencial proyectiva, publicando sus propios artı́culossobre este tema.
En 1934 consiguió una beca para estudiar en los Estados Unidos, pero Chern solicitó encareci-
damente que se le permitiera ir a Hamburgo, ya que habı́a conocido a W. Blaschke cuando éste visitó
Pekı́n en 1932, encontrando sus matemáticas atractivas. Después de trabajar apenas un año con Blas-
chke, Chern obtuvo el doctorado por la Universidad de Hamburgo en 1936.
En este punto Chern fue obligado a elegir entre dos opciones muy atractivas para él: permanecer en
Hamburgo y trabajar en álgebra bajo las órdenes de Artin, o marchar a Paris para estudiar con Cartan.
Aunque Chern conocı́a a Artin muy bien y le hubiera apetecido trabajar con él, sus deseos de seguir
investigando en geometrı́a diferencial fueron el factor decisivo para que recalara en Paris. Su estancia
en Parı́s fue muy productiva, aprendiendo a acercarse a las matemáticas de un modo especial, como el
propio Cartan señala:
. . . desde la evidencia y los fenómenos que nacen de casos especiales en lugar de utilizar un punto
de vista general y abstracto.
En 1937 Chern deja Parı́s para convertirse en profesor de la Universidad de Tsing Hua. Sin embargo éste
fue el momento en el que comenzó la guerra chino-japonesa, y desde 1938 hasta 1943 trabajó para la
Universidad Asociada del Sudeste. En 1943 se traslada a los Estados Unidos y hasta 1945 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.
Desde 1949 Chern es miembro de la Universidad de Chicago, ocupando una cátedra en geometrı́a.
En 1969 Chern se traslada a la Universidad de California, en Berkeley.
En 1975 ganó la Medalla Nacional de la Ciencia, en 1983 obtuvo el Premio Wolf, en 1985 fue
elegido miembro de la Real Sociedad de Londres y al año siguiente lo nombraron miembro honorario
de la Sociedad Matemáticas de Londres.
Su área de investigación fue geometrı́a diferencial, donde estudió las clases caracterı́sticas en es-
pacios fibrados (hoy llamadas, en su honor, clases de Chern). Estas clases son importantes no sólo en
matemáticas sino también en fı́sica matemática. Trabajó en las clases caracterı́sticas durante el periodo
1943-1945 que pasó en la Universidad de Princeton, y en esta misma época obtuvo su famosa demostra-
ción de la fórmula de Gauss-Bonnet.
Cuando Chern trabajaba en geometrı́a diferencial por los años cuarenta, este área de las ma-
temáticas tenı́a un nivel muy bajo. La geometrı́a diferencial global estaba en sus comienzos y la
teorı́a de Morse sólo era comprendida y utilizada por unos pocos matemáticos. En la actualidad, la
geometrı́a diferencial es una de las áreas principales de las matemáticas y una de las personas que
más ha contribuido a este cambio ha sido el profesor Chern.
Bibliografı́a
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), 102-
103.
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.
CAPÍTULO 10
GEODÉSICAS
Consideremos una superficie S embebida en 3 y equipada con la métrica inducida g (la prime-
ra forma fundamental de la superficie). Las curvas “dibujadas” sobre esta superficie, parametrizadas
proporcionalmente a la longitud de arco y que, localmente, son el camino más corto entre dos puntos
son las curvas con vector aceleración normal, lo cual se deduce de las ecuaciones de Euler-Lagrange
para el problema. Si c : I ! S ⇢ 3 es una de tales curvas y D es la derivada covariante asociada
dt = 0. Nosotros ahora imitamos esta propiedad
D dc
a g, entonces dicha condición es, justamente, dt
e introducimos la noción de geodésica sobre una variedad diferenciable cualquiera, con una conexión
afı́n, como aquellas curvas cuyos campos de vectores tangentes son paralelos.
Definición 10.1
Sea (M, r) una variedad afı́n. Una curva parametrizada : I ! M es geodésica en t0 2 I si
⇣ ⌘
D d
dt dt = 0 en el punto t0 . Se dice que es una geodésica si es una curva geodésica en todos los
puntos de su dominio. Si [a, b] ⇢ I y : I ! M es una geodésica, la restricción de al intervalo [a, b]
será denominada (segmento de) geodésica entre (a) y (b).
A veces, y por abuso del lenguaje, se denomina geodésica a la traza de , lo cual es incorrecto
como fácilmente se puede ver en 2 : las rectas de 2 son geodésicas si, y sólo si, su parametrización es
164 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
lineal. Esto significa que el parámetro de una geodésica no es arbitrario, y el hecho de que una curva sea
una geodésica depende tanto de su forma como de su parametrización.
Con objeto de enunciar resultados generales sobre geodésicas en variedades debemos estudiar
con cierto detalle la ecuación que las define. No obstante, ya desde el comienzo pueden presentarse
numerosos ejemplos de geodésicas en virtud de las siguientes dos observaciones. En primer lugar, la
ecuación de una geodésica impone solamente una condición local sobre la curva. Más precisamente, si
0
cada punto de una curva tiene un entorno en el cual puede ser escrita en la forma (t) con Ddt = 0,
entonces es una geodésica. En segundo lugar, la propiedad de ser una geodésica es preservada por
transformaciones afines, ya que la diferenciación covariante lo es y, por tanto, también el paralelismo de
un campo de vectores.
La ecuación que define una geodésica se traduce, cuando pasamos a un sistema de coordenadas
locales, en un sistema de n ecuaciones diferenciales de segundo orden. Dicho sistema, considerado en
el fibrado tangente, se transforma en un sistema de 2n ecuaciones diferenciales de primer orden, lo que
permite asegurar que existe una única geodésica que pasa por un punto en una dirección dada, utilizando
para ello la teorı́a de existencia y unicidad de soluciones de ecuaciones diferenciales ordinarias.
Sea : I ! M una geodésica y consideremos (U, x) una carta local tal que (I) \ U 6= ;. Sea
(x1 , . . . , xn ) el sistema de coordenadas asociado, entonces
8 9
✓ ◆ X< 2 X = @
D d d d d
0= = (x )+ ( ij
k
) (xi ) (xj )
dt dt : dt2 k dt dt ; @xk (t)
k i,j
Luego la geodésica está caracterizada en U por satisfacer el siguiente sistema de ecuaciones diferen-
ciales de segundo orden:
d2 X d d
2
(xk ) + ( kij ) (xi ) (xj ) = 0, k = 1, . . . , n. (10.1)
dt dt dt
i,j
Es usual escribir xi (t) = xi ( (t)) y kij (t) = kij ( (t)), por lo que la ecuación anterior puede transfor-
marse en la siguiente: X
x00k + k 0 0
ij xi xj = 0, k = 1, . . . , n.
i,j
Para estudiar más detalladamente el sistema (10.1) es conveniente que consideremos el fibrado tangente
T M . Recordemos cuál es la estructura diferenciable en T M . Si (U, x) es una carta en M , definimos
z : W ! 2n , con W = {(p, v) 2 T M ; p 2 U, v 2 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 geodésica entonces la curva ( , 0 ) satisface el siguiente sistema de ecuaciones:
x0k = yk , k = 1, . . . , n
X
yk0 = k
ij yi yj , k = 1, . . . , n
imj
GEOD ÉSICAS 165
Proposición 10.2
Existe un único campo G en T M cuyas trayectorias son de la forma t ! ( (t), 0 (t)), donde es una
geodésica de M . El campo G se denomina el campo geodésico en T M .
El hecho de que ser geodésica sea una propiedad local de curvas parametrizadas, como hemos
indicado, permite deducir que si dos geodésicas coinciden (como conjuntos) en algún intervalo, entonces
su unión, con una adecuada parametrización, es también una geodésica. Además, si dos geodésicas
tienen un punto en común y son tangentes en ese punto, entonces su unión es también una geodésica.
Más precisamente,
Proposición 10.5
Sean ↵, : I ! M , I conexo, dos geodésicas. Si existe un número a 2 I tal que ↵0 (a) = 0 (a)
entonces ↵ = .
Esto implica que cada geodésica está contenida en una única geodésica maximal (p,v) , esto es,
en una geodésica que no es un subconjunto propio de ninguna otra geodésica. Se dice que (p,v) es
geodésicamente inextendible.
Lema 10.7 (Lema de Homogeneidad)
Si la geodésica (t, p, v) está definida en ( , ), entonces la geodésica (t, q, av), a > 0, está definida
en ( /a, /a) y se verifica
(t, q, av) = (at, q, v).
Como consecuencia, es posible aumentar (disminuir) la velocidad de una geodésica disminuyendo (au-
mentando, respectivamente) su intervalo de definición. El lema de homogeneidad nos sitúa en la pista
del siguiente problema: ¿qué reparametrizaciones de una geodésica conservan el carácter de geodésica?
Proposición 10.8
Sea : I ! M una geodésica no constante. Una reparametrización h : J ! M es una geodésica
si, y sólo si, h(t) = at + b.
Las propiedades de homogeneidad de las geodésicas tienen como consecuencia que, dado un
punto, existe un entorno tal que todas las geodésicas que parten de ese punto están definidas en un
mismo intervalo de . Este hecho permite construir, para cada punto m de M , la aplicación exponencial
expm : Tm M ! M , que a cada vector tangente a M en m le hace corresponder la imagen de 1 por la
geodésica que parte de m en la dirección de dicho vector.
Proposición 10.9
Dado p 2 M , existen un entorno V de p en M , un número " > 0 y una aplicación diferenciable
: ( 2, 2) ⇥ U ! M , donde U = {(q, w) 2 T M ; q 2 V, w 2 Tq M, |w| < "}, tal que (t, q, w),
t 2 ( 2, 2), es la única geodésica de M que en el instante t = 0 pasa por q con velocidad w, para cada
(q, w) 2 U .
Definición 10.10
Sea p 2 M y U ⇢ T M el abierto dado en la proposición anterior. Entonces la aplicación exp : U ! M
dada por
v
exp(q, v) = (1, q, v) = (|v|, q, ), v 6= 0,
|v|
se llama la aplicación exponencial en U.
La aplicación exponencial puede interpretarse de otra manera, que pasamos a describir. Sea un
punto q 2 ⇡(U), donde ⇡ : T M ! M es la proyección canónica.
Definición 10.11
La aplicación expq : B(0, ") ⇢ Tq M ! M definida por
donde B(0, ") es la bola abierta de centro 0 2 Tq M y radio " > 0, se denomina la aplicación exponencial
en q.
GEOD ÉSICAS 167
Geométricamente, la exponencial expq (v) es el punto de M que se obtiene al recorrer una distan-
cia |v|, a partir de q, a lo largo de la geodésica 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 geodésica que parte de q con velocidad v.
El hecho de que, para cada punto, la aplicación 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
están definidas entorno normal. Precisemos un poco más estas ideas.
Consideremos {e1 , . . . , en } una base de Tm M . Para todo punto p 2 V se tiene que (expm ) 1 (p) 2
U por lo que existen números (x1 (p), . . . , xn (p)) tales que
n
X
(expm ) 1
(p) = xi (p)ei .
i=1
Las coordenadas normales poseen un comportamiento especial que hace de ellas un instrumento
muy útil en el estudio de la geometrı́a de la variedad. De entre sus propiedades más importantes destacan
las siguientes:
Proposición 10.15
(1) Las ecuaciones locales de las geodésicas que parten de m son de la forma xi (t) = tvi .
(2) Los coeficientes de la conexión o sı́mbolos de Christoffel se anulan en m: kij (m) = 0 para todo
(i, j, k).
168 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Una curva diferenciable a trozos es una aplicación c : [a, b] ! M de un intervalo cerrado [a, b] ⇢
en M satisfaciendo la siguiente condición: existe una partición a = t0 < t1 < · · · < tk 1 < 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 vértices de c y el ángulo determinado por c0 (t+ i ) =
limt!t+ c0 (t) y c0 (ti ) = limt!t c0 (t) se llama el ángulo del vértice c(ti ).
i i
La primera observación que debemos hacer es que el transporte paralelo puede ser fácilmente
extendido a curvas diferenciables a trozos. En efecto, dado v0 2 Tc(t) M , t 2 [ti , ti+1 ], se extiende
v0 a un campo paralelo V (t), t 2 [ti , ti+1 ]; tomando V (ti ) y V (ti+1 ) como nuevos valores iniciales,
podemos extender V (t) paralelamente al intervalo [ti 1 , ti+2 ], y ası́ sucesivamente.
Definición 10.16
Sea A un conjunto conexo de 2 tal que la frontera @A de A es una curva diferenciable a trozos con
ángulos en los vértices distintos de ⇡. Una superficie parametrizada en M es una aplicación diferenciable
s : A ⇢ 2 ! M.
Merece la pena hacer algunas observaciones respecto de la definición 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 condición sobre los ángulos de los vértices de A es necesaria para
que la diferencial de s no dependa de la extensión considerada.
Definición 10.17
Un campo de vectores V a lo largo de una superficie parametrizada s es una aplicación V : A ! T M
que asocia a cada punto q de A un vector V (q) 2 Ts(q) M , que es diferenciable en el siguiente sentido:
si f 2 C 1 (M ) es una función diferenciable, entonces la aplicación q ! V (q)f es diferenciable.
El siguiente razonamiento es análogo al que se hace para superficies en 3 . Sean (u, v) las coor-
denadas cartesianas de 2 . Para v0 fijo, la aplicación u ! (u, v0 ), donde u pertenece a una componente
conexa de A \{v = v0 }, es una curva en M cuyo vector tangente @u @s
= ds( @u
@
) define un campo de
vectores a lo largo de dicha curva. Si razonamos igual para cualquier punto v0 podemos construir un
@s
campo de vectores @u a lo largo de la superficie parametrizada s. De forma totalmente análoga podemos
@s
definir @v .
La derivada covariante puede extenderse a superficies parametrizadas del siguiente modo. Sea V
@u (u, v0 ) es la derivada covariante a lo largo de la curva
un campo de vectores a lo largo de s, entonces DV
u ! s(u, v0 ) de la restricción de V a esta curva. Esto define DV @u (u, v) para todo punto (u, v) 2 A.
Análogamente se define DV@v (u, v).
Una de las principales aplicaciones del Lema de Simetrı́a es el Lema de Gauss, enunciado en
variedades riemannianas, que afirma que las geodésicas radiales son ortogonales a las esferas geodésicas.
Para finalizar este capı́tulo probaremos un refinamiento del teorema de existencia de entornos normales.
GEOD ÉSICAS 169
Proposición 10.19
Para cada punto p 2 M existe un entorno W de p y un número > 0 tales que para cada q 2 W , la
aplicación 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.
(1) Dados dos puntos q1 , q2 en W existe una única geodésica ‘minimizante’ uniendo q1 con q2 .
(2) La geodésica depende diferenciablemente de (q1 , q2 ) en el siguiente sentido: dado (q1 , q2 ) existe
un único vector v 2 Tq1 M , que depende diferenciablemente de (q1 , q2 ), tal que 0 (0) = v.
A.10.1. Sean (x1 , x2 ) las coordenadas habituales de 2 y sea la conexión definida por los sı́mbolos
siguientes:
ij = 0, excepto = 3, = 2.
k 2 2
12 21
(a) Escribe y resuelve las ecuaciones diferenciales de las geodésicas en un punto cualquiera de
2.
(b) ¿Es una conexión completa, es decir, el campo geodésico asociado es completo?
(c) Si y son dos geodésicas tales que (0) = (0) y 0 (0) = b 0 (0), b 2 , prueba
que (t) = (bt) para todo t posible. (Esta afirmación es consecuencia del teorema de
existencia y unicidad de geodésicas; sin embargo, aquı́ hay que demostrarlo sin hacer uso de
este teorema).
A.10.2. Consideremos el cilindro
C = {(x, y, z) 2 3
; x2 + y 2 = r2 }
Prueba que las geodésicas de C son las hélices, las rectas generadoras y los cı́rculos (inter-
sección de C con planos z=constante).
(b)
(a) Dados dos puntos p, q 2 C, ¿cuántas geodésicas conectan p y q?
A.10.4. Una curva ↵ : I ! M es una pregeodésica si admite una reparametrización como geodésica.
Prueba que una curva ↵ es una pregeodésica si, y sólo si, su vector aceleración es proporcional a
su vector velocidad, es decir, ↵00 (t) = f (t)↵0 (t) para una cierta función diferenciable f .
A.10.5. Prueba que la geodésica de n (r 2 ) que pasa en el instante 0 por un punto p a velocidad v 2
Tp n (r2 ) viene dada por
✓ ◆ ✓ ◆
|v|t r |v|t
(t, p, v) = cos p+ sen v.
r |v| r
170 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Como consecuencia, dado un punto p 2 n (r2 ), un vector v 2 Tp n (r2 ) es crı́tico para la aplica-
ción exponencial expp : Tp n (r2 ) ! n (r2 ) si, y sólo si, |v| = m⇡r, con m 2 + .
W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.
5. PREGUNTAS DE EVALUACIÓN
E.10.1. Sean (x1 , x2 ) las coordenadas habituales de 2. Definimos una conexión en 2 considerando
los sı́mbolos siguientes:
k
ij = 0, excepto 1
12 = 1
21 = 1.
(a) Escribe y resuelve las ecuaciones diferenciales de las geodésicas en un punto cualquiera de
2.
(b) ¿Es una conexión completa, es decir, el campo geodésico asociado es completo? ¿Salen
geodésicas del origen pasando por cada punto del plano?
(c) Si y son dos geodésicas tales que (0) = (0) y 0 (0) = b 0 (0), b 2 , prueba
que (t) = (bt) para todo t posible. (Esta afirmación es consecuencia del teorema de
existencia y unicidad de geodésicas; sin embargo, aquı́ hay que demostrarlo sin hacer uso de
este teorema).
E.10.2. Una geodésica a trozos es una curva diferenciable a trozos cuyos subsegmentos diferenciables
son geodésicas. Prueba que una variedad diferenciable M , con una conexión afı́n r, es conexa si,
y sólo si, cualesquiera dos puntos de M se pueden unir mediante una geodésica a trozos.
GEOD ÉSICAS 171
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
172 VARIEDADES DIFERENCIABLES Y TOPOLOG ÍA
Klingenberg obtuvo su doctorado en 1950 con una tesis sobre geometrı́a diferencial afı́n. Desde 1950
hasta 1952 fue un investigador asistente en la Universidad de Kiel, donde F. Bachmann le hizo interesar-
se por los fundamentos de la geometrı́a. Durante esta época resolvió un problema sobre las equivalencias
de las configuraciones en un plano afı́n sobre el que Ruth Moufabg habı́a estado trabajando. Blaschke
le aconsejó que viajase a Italia, y Klingenberg pasó cierto tiempo durante el curso 1952/1953 en la
Universidad de Roma, donde estuvo fuertemente influido por F. Severi, E. Bompiani y B. Segre.
Tengo bonitos recuerdos de nuestros años allı́; Reidemeister poseı́a una mente brillante y un gran
abanico de intereses, siendo su esposa Elisabeth una renombrada fotógrafa.
Le conocı́ en Hamburgo en 1953, cuando estaba visitando a su viejo profesor Blaschke, y desde
entonces estuvo apoyándome en cada ocasión que se le presentaba.
Mientras estaba en Berkeley, Klingenberg recibió ofertas para ocupar sendas cátedras en las universi-
dades de Würzburg y Mainz, inclinándose finalmente por la Universidad de Mainz. Tres años después,
en 1966, las universidades de Zurich y Bonn le ofrecieron cátedras. Klingenberg eligió, no sin algunas
dificultades, la cátedra en Bonn. Sin embargo, Bonn creció rápidamente, tanto en profesorado como en
alumnado:
. . . y parte del ı́ntimo atractivo de un grupo unido se vino abajo. No sin tristeza y lucha, finalmente
acepté el cambio y concentré todas mis energı́as en mi propio grupo de geometrı́a diferencial.
Klingenberg estuvo trabajando, durante sus años en la Universidad de Bonn, sobre geodésicas cerradas,
retirándose en 1989. Entre sus principales libros pueden destacarse los siguientes: A course in differen-
tial geometry (Un curso en geometrı́a diferencial, 1978), Lectures on closed geodesics (Lecturas sobre
geodésicas cerradas, 1978) y Riemannian geometry (Geometrı́a riemanniana, 1982). Acerca de ésta
última obra, Klingenberg comenta:
Es el libro más importante acerca de este tema desde la monografı́a de L.P. Eisenhart en 1926.
Bibliografı́a
Bibliografı́a complementaria
Simon Kirwan Donaldson (1957-) asistió al colegio Sevenoaks en Kent desde 1970 hasta 1975,
trasladándose en dicho año al College Pembroke, en Cambridge, donde estuvo hasta 1980, recibiendo
su B.A. en 1979. Uno de sus tutores en Cambridge lo describe como un estudiante muy bueno, aunque
no el mejor de su año.
En 1982, cuando era un estudiante postgraduado de segundo año, Simon Donaldson demostró un
resultado que asombró a la comunidad matemática.
Este resultado fue publicado por Donaldson en el Boletı́n de la American Mathematical Society, y en
él analizaba las conexiones autoduales y la topologı́a de las variedades de dimensión cuatro. Atiyah
continúa la descripción de Donaldson:
Junto al importante trabajo de Michael Freedman . . . , el resultado de Donaldson implica que exis-
ten espacios de dimensión 4 “exóticos”, es decir, variedades diferenciables de dimensión 4 que son
equivalentes topológicamente pero no diferenciablemente al espacio euclı́deo 4 . Lo sorprendente
de este resultado es que el valor n = 4 es el único posible para el cual existen espacios exóticos de
esa dimensión. Estos espacios exóticos tienen la notable propiedad de contener conjuntos compac-
tos que no están contenidos en ninguna esfera tridimensional embebida.
Donaldson ha recibido muchos honores y premios por su trabajo. En 1985 recibió el Premio
Whitehead Junior de la Sociedad Matemática de Londres, en 1986 fue elegido miembro de la Real
GEOD ÉSICAS 175
Sociedad y, en el mismo año, recibió la Medalla Fields en el Congreso Internacional que se celebró en
Berkeley. En 1991 recibió el premio Sir Williams Hopkins de la Sociedad Filosófica de Cambridge y,
al año siguiente, la Real Sociedad le ofreció la Medalla Real. En 1994 recibió el Premio Crafoord de la
Real Academia Sueca de las Ciencias:
Atiyah describe del siguiente modo la contribución de Donaldson que le permitió obtener la Medalla
Fields:
Cuando Donaldson obtuvo sus primeros resultados sobre 4-variedades, las ideas eran tan novedosas
y extrañas para los geómetras y topólogos de la época que simplemente lo miraron con admiración.
Lentamente el mensaje ha ido calando y hoy las ideas de Donaldson están ya siendo utilizadas por
otros matemáticos en muchos campos . . . Donaldson ha creado un área enteramente nueva, de modo
que inesperados y misteriosos fenómenos acerca de las 4-variedades han sido descubiertos. Además
los métodos son nuevos y profundos, con utilización de difı́ciles ecuaciones no lineales en derivadas
parciales. Por otra parte, la teorı́a se halla perfectamente anclada en el reino de las matemáticas,
incorporando ideas de la fı́sica teórica y estando bien relacionada con la geometrı́a algebraica.
El artı́culo de Donaldson, citado en la bibliografı́a, es muy interesante, pues contiene numerosos co-
mentarios acerca de cómo Donaldson consiguió demostrar sus famosos resultados cuando sólo era un
estudiante en Oxford, ası́ como un recopilatorio de sus últimas lı́neas de investigación, en las que ha
estado trabajando en los años recientes.
En 1982, Simon Donaldson inició un rico viaje geométrico que nos ha conducido a una de las
conclusiones más excitantes de este siglo. Ha creado un área nueva y excitante de investigación
sobre la que trabajan numeros matemáticos, y que todavı́a continúa proporcionando misteriosos e
inesperados fenómenos acerca de la topologı́a y la geometrı́a de las 4-variedades diferenciables.
Bibliografı́a
M. Atiyah On the work of Simon Donaldson, Proceedings of the International Congress of Mathemati-
cians, 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.
View publication