CAPITULO

3
EN VARIEDADES
DIFERENCIACION

1.

INTERROGANTES CENTRALES DEL CAPITULO

Se pretende que el alumno sepa definir, establecer o determinar lo siguiente:

Derivacion sobre C (p).

Covectores tangentes.

Vector tangente a una variedad.

El espacio cotangente.

Vectores asociados a las funciones coordenadas.

Diferencial de una aplicacion diferenciable.

El espacio tangente.

Teorema de la funcion inversa.

Las curvas coordenadas.

El fibrado tangente.

Ecuaciones del cambio de base.

El fibrado cotangente.

Rango de una aplicacion diferenciable.

2. CONTENIDOS FUNDAMENTALES DEL CAPITULO

Uno de los puntos cruciales para generalizar el Calculo Diferencial de Rn a una variedad diferenciable es la definicion que demos de vector tangente y de derivada direccional de una funcion
diferenciable. Por este motivo es conveniente recordar estos conceptos en Rn y volverlos a interpretar.
Un vector v en un punto p del espacio eucldeo Rn se define como el vector tangente en p a
una curva diferenciable que pasa por p, curva que en Analisis se suele tomar como la recta p + tv.
Sin embargo, el vector v puede pensarse como un operador en el conjunto C (p) de las funciones
diferenciables en un entorno de p, que asigna a cada funcion f el numero real v(f ) = Dv f (p), que
no es mas que la derivada direccional de la funcion f segun la direccion determinada por v. Es facil
ver que esta aplicacion es R -lineal y satisface la regla de Leibnitz. Por todo ello decimos que v es una
derivacion sobre C (p). Esta interpretacion de los vectores tangentes tiene un caracter intrnseco, por
lo que su generalizacion a variedades no tiene problemas.

48

VARIEDADES DIFERENCIABLES Y TOPOLOGI A

2.1. El espacio tangente

Sea M una variedad diferenciable. Una curva en M es una aplicacion diferenciable : I M
de un intervalo abierto I R en M . Sin perdida de generalidad podemos suponer que 0 I. Dado un
punto p M y una curva en M , se dice que pasa por p si existe un valor t0 R tal que (t0 ) = p.
Si una curva pasa por un punto p siempre podemos reparametrizar la curva para que (0) = p.
Definicion 3.1
Sea una curva en M que pasa por p, (0) = p. El vector tangente a en p es la aplicacion 0 (0) :
C (p) R definida por

d 
0
(0)(f ) =  (f ).
dt
t=0

Haciendo un razonamiento totalmente analogo al que se realiza en

0
(0) es una derivacion sobre C (p).

Rn , se puede demostrar que

Definicion 3.2
Un vector tangente a M en p es un vector tangente a una curva en el punto p. El conjunto de todos los
vectores tangentes a M en p se denomina el espacio tangente a M en p y se denota por Tp M .
Antes de poner algun ejemplo de vector tangente vamos a introducir un concepto importante en el
calculo diferencial en variedades.
Definicion 3.3
Sea p M y consideremos (U, x) una carta local alrededor del punto p con funciones coordenadas
(x1 , x2 , . . . , xn ). Dada una funcion f C (p), la derivada parcial de f con respecto a xi en el punto
p es
f
(f x1 )
(p) =
(x(p))
xi
ui
donde (u1 , . . . , un ) son las coordenadas naturales de Rn .

Sea (U, x) una carta local y consideremos un punto p U . Entonces podemos construir la
aplicacion


: C (p) R
xi p
definida por



f
(f ) =
(p)
xi p
xi

Es facil demostrar que dicha aplicacion es una derivacion sobre C (p). A continuacion vamos probar
que tambien es un vector tangente a M en p. Para ello debemos construir una curva i que pase por el
punto p y lo tenga por vector tangente.
Sea {e1 , . . . , en } la base canonica de Rn y consideremos la curva en M definida por i (t) =
x1 (x(p) + tei ), denominada la i-esima curva coordenada de x en el punto p. Supongamos que las
representantes locales de i y f estan dadas por
i (t) = (x i )(t) = (u1 (t), . . . , un (t))

 EN VARIEDADES
DIFERENCIACI ON

49

y
F (u1 , . . . , un ) = (f x1 )(u1 , . . . , un )
Entonces se tiene
i0 (0)(f ) =
=

t=0



(F i )(t) = 

t=0

F (u1 (t), . . . , un (t)) =

n
X
duj
F
(i (0))
(0
uj
dt
j=1



(f )
xi 
p

lo que demuestra nuestra afirmacion anterior.

Figura 3.1: Curvas coordenadas y campos basicos

Proposicion 3.4
El conjunto de todas las derivaciones sobre C (p) tiene estructura
de
Si (U, x) es una

 espacio vectorial.




carta local cuyo dominio contiene al punto p, entonces { x1  , x2  , . . . , xn  } constituye una base.
p

Puede demostrarse sin mucha dificultad que si f C (p) entonces la funcion f se escribe en un
entorno de p como
n
X
f = f (p) +
(xi xi (p))hi ,
i=1

para ciertas funciones h1 , . . . , hn C (p). Como consecuencia de este resultado se obtiene que toda
derivacion sobre C (p) es, de hecho, un vector tangente a M en p. Esto conduce al siguiente teorema.
Teorema 3.5
Sea p M n . El espacio tangente Tp M es un espacio vectorial (real) de dimension n.

Hemos probado que cada sistema de coordenadas o carta local que contenga al punto p en su
dominio nos proporciona una base canonica de Tp M , por lo que es natural plantearse como estaran
relacionadas dos bases asociadas a sistemas de coordenadas distintos. La respuesta a esta cuestion es
muy sugerente:
Proposicion 3.6
La matriz del cambio de base es la matriz jacobiana del cambio de cartas.

VARIEDADES DIFERENCIABLES Y TOPOLOGI A

50
2.2. El espacio cotangente

Definicion 3.7
Un covector tangente a una variedad M en un punto pes una forma lineal sobre Tp M . El conjunto
de tales covectores constituye el espacio vectorial dual del espacio tangente y se denomina espacio
cotangente a M en p, denotandose, como es habitual, por (Tp M ) .
Dada una funcion diferenciable f C (M ), se define la diferencial de f en un punto p como el
covector dfp dado por
dfp (v) = v(f )
para todo vector v Tp M . Vamos a obtener ahora una base distinguida de Tp M . Sea (U, x) un sistema
de coordenadas con funciones coordenadas asociadas (x1 , . . . , xn ) y sea p U . Entonces el conjunto
{dx1p , . . . , dxnp } constituye una base de Tp M . Es facil ver que todo covector Tp M se expresa de
forma u nica como
n
X
=
(i |p )dxip
i=1

donde i |p denota el i-esimo campo coordenado asociado a la carta x. En particular, para toda funcion
diferenciable f y todo punto p se satisface lo siguiente
dfp =

n
X
f
dxip
xi
i=1

2.3. La diferencial de una aplicacion

Una vez introducido el espacio eucldeo adecuado para poder generalizar el calculo diferencial
real, se hace preciso indicar como se deriva/diferencia una aplicacion diferenciable. La diferencial
de una aplicacion diferenciable entre espacios eucldeos es una aplicacion lineal, la mas proxima de
todas las lineales, cuya matriz asociada es la matriz jacobiana de la aplicacion. En la presente seccion
pretendemos extender estas ideas a variedades diferenciables.
En primer lugar se observa que toda aplicacion diferenciable f entre variedades M y N determina,
de manera natural, una aplicacion 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 Tp M podemos considerar
la aplicacion w C (f (p)) definida por w(g) = v(f g). Es facil ver que w es un vector tangente a
N en f (p). Llegamos as a la siguiente definicion.
Definicion 3.8
Sea f : M N una aplicacion diferenciable. La diferencial de f en p se define como la aplicacion
dfp : Tp M Tf (p) N dada por dfp (v)(g) = v(f g).
Esta aplicacion, tambien denotada por fp , es R -lineal. Como 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 definicion se deduce facilmente que dfp (v) = 0 (0), donde es la curva en N que
pasa por f (p) definida por = f .

 EN VARIEDADES
DIFERENCIACI ON

51

El paso siguiente es encontrar la matriz de la aplicacion diferencial dfp , una vez que hemos fijado
las bases en los espacios tangentes de partida y de llegada. Como consecuencia del teorema de la base
es facil probar que si se escogen las bases canonicas asociadas a dos sistemas de coordenadas, uno para
el punto p y otro para el punto imagen f (p), la matriz de la diferencial de f no es mas que la matriz
jacobiana de su representante local.
Proposicion 3.9 (Regla de la Cadena)
Sean f : M N y g : N P dos aplicaciones diferenciables y sea p un punto del dominio de g f .
Entonces
d(g f )p = dgf (p) dfp

Definimos a continuacion el concepto de rango de una aplicacion diferenciable f .

Definicion 3.10
Sea f : M N una aplicacion diferenciable, y consideremos un punto p M . El rango de f en p es
la dimension del subespacio vectorial imagen de la aplicacion dfp .

Introducimos un metodo practico para su computo, ya que dicho rango coincide con el rango de
la matriz jacobiana.
Como una aplicacion inmediata de la regla de la cadena se deduce que si f es un difeomorfismo
entre dos variedades, entonces la diferencial de f en todo punto es un isomorfismo lineal. El siguiente
resultado nos dice que, localmente, se verifica tambien el recproco.
Proposicion 3.11 (Teorema de la Funcion Inversa)
Sea f : M N una aplicacion diferenciable y sea p un punto de su dominio. La aplicacion diferencial
dfp es un isomorfismo lineal si, y solo si, existe un entorno U de p tal que f |U : U f (U ) es un
difeomorfismo.

El teorema anterior justifica que introduzcamos la siguiente definicion. Un difeomorfismo local es

una aplicacion diferenciable f tal que para todo punto p M existe un entorno U de p tal que f |U es un
difeomorfismo. Consecuentemente, f es un difeomorfismo local si, y solo si, la aplicacion diferencial
de f en cualquier punto de M es un isomorfismo lineal, es decir, tiene rango maximo.
Ejemplo 3.12
Un difeomorfismo local no es necesariamente un difeomorfismo global. Consideremos la aplicacion f :
R2 R2 definida por f (x, y) = (ex cos y, ex sen y). Es facil ver que f es una aplicacion diferenciable
cuya matriz jacobiana viene dada por
ex cos y ex sen y
ex sen y
ex cos y

Por tanto f es un difeomorfismo local. Sin embargo, f no puede ser un difeomorfismo global porque no
es biyectiva.

VARIEDADES DIFERENCIABLES Y TOPOLOGI A

52
2.4. Los fibrados tangente y cotangente

Para finalizar esta leccion probamos que la union T M de todos los espacios tangentes a una variedad diferenciable, en todos sus puntos, admite una estructura de variedad diferenciable de dimension
el doble de la dimension de la variedad M y se denomina el fibrado tangente de M . Asimismo introducimos el fibrado cotangente de M , que tambien posee una estructura diferenciable de la misma
dimension.
Sea el conjunto T M definido por
T M = Tp M
pM

Es facil comprobar que podemos identificar T M con el siguiente conjunto:

T M = {(p, v) : p M, v Tp M }
Podemos construir una aplicacion proyeccion de manera natural entre T M y M de la siguiente forma:
: T M M , (p, v) = p. Veamos que el conjunto T M admite estructura de variedad diferenciable
de dimension 2n, siendo n la dimension de M .
Sea {(Vi , i )}i un atlas de M y consideremos los siguientes subconjuntos de T M :
Wi = {(p, v) T M : p Vi }
y las siguientes aplicaciones:
i : Wi R2n ,

i (p, v) = (i (p), dip (v))

donde dip (v) = (v(x1 ), . . . , v(xn )), siendo (x1 , . . . , xn ) las funciones coordenadas de la carta i . Es
facil probar que {(Wi , i )}i constituye un atlas 2n-dimensional sobre T M , con el cual recibe el nombre
de fibrado tangente de M .
De manera analoga podemos construir el fibrado cotangente de M . Sea el conjunto T M definido
por
T M = Tp M
pM

que podemos identificar con el siguiente conjunto:

T M = {(p, ) : p M, Tp M }
Podemos definir una aplicacion proyeccion de manera natural entre T M y M de la siguiente forma:
: T M M , (p, ) = p.
Consideremos los siguientes subconjuntos de T M :
Wi = {(p, ) T M : p Vi }
y las siguientes aplicaciones:
i : Wi R2n ,

i (p, ) = (i (p), (1 |p ), . . . , (n |p ))

siendo (x1 , . . . , xn ) las funciones coordenadas de la carta i . Es facil probar que {(Wi , i )}i constituye un atlas 2n-dimensional sobre T M .
Si f : M N es una aplicacion diferenciable, entonces podemos construir una aplicacion entre
los fibrados tangentes de la siguiente manera: df : T M T N dada por df (p, v) = (f (p), dfp (v)). La
aplicacion df , tambien denotada por f , se denomina la aplicacion diferencial de f .

 EN VARIEDADES
DIFERENCIACI ON
3.

53

DE LOS CONOCIMIENTOS
ACTIVIDADES DE APLICACION

A.3.1.

(a) Sea (U, x), con x = (x1 , . . . , xn ), una carta en una variedad diferenciable M . Prueba que
xi
xj (p) = ij , donde ij representa la delta de Kronecker, para todo punto p U .

(b) Sea x es una carta de M y f : M R una funcion diferenciable cuya representante local
F = f x1 esta dada por F (u1 , . . . , un ) = sen u1 + cos u2 . Prueba que
f
= cos x1
x1
A.3.2.

f
= sen x2 .
x2

(a) Sea V un espacio vectorial n-dimensional real dotado con su estructura estandar de variedad diferenciable y p V un punto de V . Prueba que Tp V es canonicamente isomorfo a V .
De este modo, V y Tp V son, como variedades diferenciables, difeomorfas.
(b) Sea : V W una aplicacion lineal entre dos espacios vectoriales de dimensiones n y
m, respectivamente. Prueba que es una aplicacion diferenciable y calcula su diferencial
en un punto p V arbitrario.

A.3.3.

(a) Si i es la aplicacion identidad en algun entorno de m M , prueba que dim es la aplicacion

identidad sobre el espacio tangente Tm M .
(b) Si : M M 0 es una aplicacion constante en algun entorno de m, prueba que dm es la
funcion cero.
(c) Deduce que si y son dos aplicaciones de M en M 0 que coinciden en algun entorno de
un punto m M , entonces dm = dm .

(d) Sea M una variedad diferenciable conexa y f : M R una funcion diferenciable tal que
dfp = 0 en todo punto p de M . Prueba que f es una funcion constante.
A.3.4. Sea C (m) el a lgebra de las funciones diferenciables en un entorno de m. Definimos el subconjunto C s (m) de C (m) del siguiente modo. Una funcion f : M R esta en Fs (m) si, y solo
si, en algun entorno de m
X
f g ,
f =c+
finita

donde c R es una constante y las funciones f , g C (m) verifican f (m) = g (m) = 0.

Prueba que un operador lineal D : F(m) R es una derivacion si, y solo si, D 0 sobre
C s (m).
A.3.5. Sea x una carta de M tal que x(m) = a Rn . Prueba que para toda funcion f C (m) existen
funciones h1 , h2 , . . . , hn C (m) y un entorno U de m tal que
f (q) = f (m) +

n
X

(xi (q) ai )hi (q)

i=1

para todo punto q U .

A.3.6. Sean M1 y M2 dos variedades diferenciables y consideremos M = M1 M2 la variedad diferenciable producto. Prueba que para cualquier punto (p, q) de M , la aplicacion F : T(p,q) M
Tp M1 Tq M2 dada por
F (v) = ((d1 )p (v), (d2 )q (v))
es un isomorfismo de espacios vectoriales cuyo inverso viene dado por
F 1 (v1 , v2 ) = (diq )p (v1 ) + (djp )q (v2 ).

VARIEDADES DIFERENCIABLES Y TOPOLOGI A

54

En vista de esto, es usual identificar los vectores de T(p,q) M con sus imagenes por F . As v =
(v1 , v2 ) significara que F (v) = (v1 , v2 ).
A.3.7. Sean f : M M 0 y g : M 0 M 00 dos aplicaciones diferenciables y p un punto que esta en
el dominio de g f . Prueba:
(a) Si el rango de g en f (p) es igual a la dimension de M 0 , entonces g f y f tienen el mismo
rango en p.
(b) Si el rango de f en p es igual a la dimension de M 0 , entonces el rango de g f en p coincide
con el rango de g en f (p).
A.3.8.

(a) Sea f : M N una aplicacion diferenciable con rango constante e igual a dimM =
dimN . Prueba que f (M ) es un abierto en N .
(b) Sea f : M N una aplicacion diferenciable y biyectiva. Supongamos que f tiene rango
constante e igual a dimM =dimN . Prueba que f es un difeomorfismo.
(c) Demuestra que la proyeccion natural : Sn P n (R ) tiene rango constante e igual a n.
Deduce que es un difeomorfismo local pero no un difeomorfismo global.

A.3.9.

(a) Sea j : S2 R3 la inyeccion canonica de la esfera S2 en el espacio eucldeo tridimensional. Calcula explcitamente la diferencial de la aplicacion j y determina su rango.
(b) Identicas cuestiones para la inyeccion canonica j : Sn Rn+1 .

A.3.10. Consideremos Ma el conjunto formado por todas las matrices reales de orden 2 2 con determinante a, siendo a un numero real no nulo.
(a) Prueba que Ma admite una estructura de variedad diferenciable. Cual es su dimension?
(b) Calcula el espacio tangente a Ma en el punto
p=

a 0
0 1

A.3.11. Sea : I R una curva regular en R3 y sea M el conjunto de todos los vectores normales a
. Admite M estructura de variedad diferenciable? En caso afirmativo, de que dimension?
A.3.12. Sea f : R3 R la funcion diferenciable definida en coordenadas esfericas por f (r, , ) =
r tan . Encuentra las constantes a, b, c tales que la diferencial de f se expresa en el punto p =
(r, , ) = (1, /4, 0) como
dfp = adx + bdy + cdz.

A.3.13. Sea M una variedad diferenciable compacta de dimension n y consideremos f : M

una aplicacion diferenciable. Existe algun punto p M tal que dfp es singular?

Rn

DEL CAPITULO

4. BIBLIOGRAFIA
W. BOOTHBY. An Introduction to Differentiable Manifolds and Riemannian Geometry. Academic
Press, 1986.

 EN VARIEDADES
DIFERENCIACI ON

55

R. BRICKELL y R. CLARK . Differentiable Manifolds. Van Nostrand, 1970.

L. CONLON. Differentiable Manifolds. A First Course. Birkhauser, 1993.
W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.

5. PREGUNTAS DE EVALUACION
E.3.1. (Formula de Leibnitz) Sean M1 y M2 dos variedades diferenciables y consideremos M = M1
M2 la variedad diferenciable producto. Sea : M P una aplicacion diferenciable. Prueba
que
(d)(p,q) (v) = (dq )p (v1 ) + (dp )q (v2 ),
donde p = jp , q = iq y v = (v1 , v2 ). Como consecuencia, si f : M
funcion diferenciable sobre M , entonces

R es una

v(f ) = v1 (fq ) + v2 (fp ).

E.3.2. Consideremos la aplicacion : Rn+1 \{0} Sn definida por (z) =

z
.
|z|

(a) Prueba que es una aplicacion diferenciable.

(b) Calcula su diferencial, as como su rango y su nucleo.
E.3.3. Sea M n una variedad diferenciable n-dimensional y consideremos f : M Rm una inmersion.
Denotamos por N M el fibrado normal de M en Rm , es decir,
N M = {(p, v) M Rm : v Tp M Rm }
Definimos la aplicacion : N M Rm por (p, v) = f (p) + v. Prueba que es una aplicacion
regular en (p, 0) para todo punto p de M .

56

VARIEDADES DIFERENCIABLES Y TOPOLOGI A

ANOTACIONES

...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................

 EN VARIEDADES
DIFERENCIACI ON
6.

57

LAZARE CARNOT (-)

BIOGRAFIA:

Lazare Nicolas Marguerite Carnot (-) nacio en Nolay, en Borgona. Ingreso en la

Escuela Militar de Mezieres donde, al ser plebeyo y no tener ttulo, solo poda llegar a capitan. Fue
alumno de Gaspard Monge (-) y en comenzo su carrera como ingeniero militar. Sus
trabajos cotidianos en materia de fortificaciones le dejaban tiempo suficiente para leer y escribir, tanto
sobre cuestiones cientficas como sobre problemas de interes mas amplio.
En , Carnot publica su Ensayo sobre las maquinas en general, obra que se refiere a los
principios, las leyes generales del choque y la ley de conservacion del trabajo. En la misma e 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 rapido, y su espritu demasiado independiente
le lleva a enemistarse con las autoridades del real cuerpo de ingenieros militares. Si se anade a esto
su imposibilidad de contraer matrimonio con su amada, no hace falta nada mas para enfrentarle a las
instituciones y las autoridades del antiguo regimen.
En es elegido diputado en la Asamblea legislativa, en donde encarna los meritos y las pretensiones de la burguesa con talento; su resolucion y su actividad le aseguran rapidamente una notoriedad
local. La Convencion le llama, en , para dirigir los destinos del ejercito del norte. Su victoria
de Wattignies le valdra el ttulo 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.
Despues del golpe de Fructidor en huye, porque se le acusa de complicidad con la causa realista.
Matematicamente, la proscripcion de Carnot se convirtio en algo bueno, ya que le dio la oportunidad,
aunque en el exilio, para completar un trabajo que haba concebido haca tiempo. Uno espera que un
hombre que se ha dedicado a tareas de enorme exigencia practica, como lo haba estado Carnot, piense
en cosas de utilidad practica inmediata. Sin embargo, en , Carnot publica su libro Reflexions sur la
metaphysique du calcul infinitesimal (Reflexiones sobre la metafsica del calculo infinitesimal), con las
cuales Carnot intenta demostrar que los metodos de Isaac Newton (-) y Gottfried Wilhelm
Leibnitz (-) son algoritmos equivalentes al metodo de exhaucion de Arqumedes (-
A.C.).

Figura 3.2: Grabado de Lazare Carnot

Durante la segunda mitad del siglo XVIII exista un gran entusiamos por los resultados que se obtenan con el calculo infinitesimal, aunque tambien haba preocupacion acerca de sus principios basicos.

58

VARIEDADES DIFERENCIABLES Y TOPOLOGI A

Ninguna de las interpretaciones habituales (las fluxiones de Newton, las diferenciales de Leibnitz o
los lmites de dAlembert) eran satisfactorias, por lo que Carnot se propuso aclarar en que consista
el nuevo analisis. Sin embargo, su eleccion del principio unificador no pudo ser mas desacertada. Su
conclusion fue que los verdaderos principios metafsicos son los principios de compensacion de errores.
Segun su razonamiento, los infinitesimales son cantidades despreciables que son introducidas, al igual
que los numeros imaginarios, para facilitar los calculos, y son eliminadas para alcanzar el resultado final. Asimismo, las ecuaciones imperfectas se vuelven perfectamente exactas en el calculo mediante la
eliminacion de cantidades tales como los infinitesimos de orden superior, que son una fuente de errores.
Las Reflexiones de Carnot llegaron a ser muy populares, editandose en varios pases y lenguas.
A pesar de su desacertada aproximacion al calculo, no cabe duda de que su punto de vista ayudo a que
se examinara con mas rigor. Sin embargo, la reputacion actual de Carnot debemos buscarla en otros
libros. En publica De la correlation des figures de geometrie (De la correlacion de las figuras de
geometra), un trabajo caracterizado por su alto grado de generalidad. Carnot intento establecer para la
geometra pura una universalidad comparable a la que disfrutaba la geometra analtica.
Carnot desarrollo su correlacion de las figuras en la obra Geometrie de position (Geometra de
posicion, ), que le situa junto a Monge como un fundador de la geometra pura moderna. El
desarrollo de las matematicas se caracteriza por la consecucion de mayores cotas de generalidad, y es
esta cualidad la que caracteriza la obra de Carnot. Su inclinacion hacia la generalizacion le conduce a
formas elegantes equivalentes de teoremas bien conocidos. Esta misma inclinacion le incita a realizar
investigaciones para determinar las coordenadas intrnsecas, es decir, las coordenadas naturales de
una curva. Carnot pensaba que deberan existir unas coordenadas que no dependieran de unas hipotesis
particulares o de una base elegida para el espacio absoluto. Por ejemplo, las coordenadas de un punto
sobre una curva pueden ser el radio de curvatura y la longitud de arco, como sugiere Ernesto Cesaro
(-) en su obra Geometra intrnseca.
El nombre de Carnot ha quedado unido a un teorema que aparece en su obra Essai sur le theorie
des transversales (Ensayo sobre la teora de las transversales, ). Este teorema constituye una
generalizacion de un teorema de Menelao de Alejandra: dada una curva algebraica cualquiera de
orden n que corta a un triangulo ABC, sea A1 el producto de las n distancias, reales o imaginarias, de
A a los n puntos de interseccion de la curva con el lado AB, y lo mismo para B1 y C1 , definidas por los
lados BC y CA; sean A2 , B2 y C2 los productos semejantes correspondientes a los lados AC, CB y
BA, respectivamente. Entonces se verifica
A1 B1 C1 = A2 B2 C2
Si la curva es una lnea recta, es el teorema de Menelao; si la curva es una cubica, del teorema de Carnot
se deduce que los tres puntos de inflexion se situan en una lnea recta, resultado bien conocido en la
e poca.
La teora de transversales es solo una pequena parte de un trabajo que contiene otras interesantes
generalizaciones. De la conocida formula de Heron de Alejandra para el a rea de un triangulo en
terminos de sus tres lados a, b y c:
p
A = s(s a)(s b)(s c),
donde s es el semipermetro, Carnot busco la formula para el volumen de un tetraedro en funcion de sus
seis aristas, y encontro una formula con 130 terminos.
Las obras de Carnot conocieron un gran e xito e influyeron considerablemente en las investigaciones geometricas de principios del siglo XIX, por la difusion del conocimiento de numerosos teoremas,

 EN VARIEDADES
DIFERENCIACI ON

59

de los que un gran numero eran de naturaleza proyectiva, popularizando la geometra de la regla y
volviendo a habituar a los geometras al estudio de las transformaciones geometricas.

Bibliografa
Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 523529.
Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. pp. 276277.
Jean-Paul Collete. Historia de las matematicas, vol. II. Siglo veintiuno de Espana Editores, S.A., 1985.
pp. 261265.
Internet. URL de la pagina:
www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Carnot.html

Bibliografa complementaria
Dictionary of Scientific Biography (New York 1970-1990).
Encyclopaedia Britannica
Libros:
H. Dupre Lazare Carnot, Republican Patriot (1975).
C.C. Gillispie Lazare Carnot Savant (Princeton, 1971).
J. Harthong Lazare Carnot et le calcul infinitesimal, Seminaires de mathematiques. Science, histoire,
societe (Rennes, 1984).
Artculos:
H. Barreau Lazare Carnot et la conception leibnizienne de linfini mathematique, La mathematique non
standard (Paris, 1989), 43-82.
C.B. Boyer Carnot and the concept of deviation, The American Mathematical Monthly 61 (1954), 459463.
E.-J. Giessmann Lazare Carnot : Biografischer Abriss aus Anlass der Centenaire der u berfuhrung in
das Pantheon zu Paris, 200 Jahre Grosse Franzosische Revolution, Wiss. Z. Tech. Univ. Magdeburg 33 (2) (1989), 3-15.
T. Hanseroth y K. Mauersberger Lazare Carnots Werk im Lichte der Herausbildung der Bau- und Maschinenmechanik in Frankreich, 200 Jahre Grosse Franzosische Revolution, Wiss. Z. Tech. Univ.
Magdeburg 33 (2) (1989), 45-54.
R. Irrgang Lazare Carnots naturwissenschaftliche Schriften, 200 Jahre Grosse Franzosische Revolution, Wiss. Z. Tech. Univ. Magdeburg 33 (2) (1989), 55-60.
D. Krone Leben und Wirken von Lazare Carnot aus der Sicht seines Biographen Wilhelm Korte, 200
Jahre Grosse Franzosische Revolution, Wiss. Z. Tech. Univ. Magdeburg 33 (2) (1989), 23-27.

60

VARIEDADES DIFERENCIABLES Y TOPOLOGI A

H. Meyer Unendlichkeitsbegriff und Infinitesimalrechnung im Denken Lazare Carnots, 200 Jahre Grosse Franzosische Revolution, Wiss. Z. Tech. Univ. Magdeburg 33 (2) (1989), 61-62.
R. Thiele A French officer in Prussian Magdeburg, The Mathematical Intelligencer 15 (1) (1993), 5357.
R. Thiele Carnots Betrachtungen u ber die Grundlagen der Infinitesimalrechnung, en Rechnen mit dem
Unendlichen (Basel, 1990), 79-94.