CAPITULO 4 INMERSIONES Y SUBVARIEDADES

1.

INTERROGANTES CENTRALES DEL CAPITULO

Se pretende que el alumno sepa denir, establecer o determinar lo siguiente: Inmersi on. Existencia de cartas especiales para una inmersi on. Embebimiento. Subvariedad o subvariedad regular. Subvariedad inmersa. Rebanada. Teorema de la funci on impl cita. Teorema de Whitney.

2. CONTENIDOS FUNDAMENTALES DEL CAPITULO

El objetivo principal de este tema es introducir los objetos geom etricos que generalicen a las ste, es decir, como subvariedades. curvas y supercies del espacio eucl deo en cuanto a su relaci on con e Para ello ser a esencial trabajar con aplicaciones diferenciables de rango m aximo, y relativo a esto ser a el primer concepto que introduzcamos. Denici on 4.1 Una aplicaci on diferenciable f : M N se dice que es una inmersi on si dfp es inyectiva para todo punto de M . Se dice que M est a inmersa en N . En otras palabras, una inmersi on es la aplicaci on diferenciable entre variedades cuyo rango coincide en todos los puntos con la dimensi on de la variedad de partida. til que nos permitir A continuaci on, y como era de esperar, mostramos un resultado u a decidir si una aplicaci on diferenciable es una inmersi on o no. Este resultado t ecnico nos facilitar a la b usqueda de ejemplos y nos permitir a obtener algunas propiedades de las inmersiones. Proposici on 4.2 Sea f : M m N n una aplicaci on diferenciable y p M . Entonces son equivalentes las siguientes condiciones:

62

VARIEDADES DIFERENCIABLES Y TOPOLOG IA

1) La diferencial dfp es inyectiva. 2) La matriz jacobiana tiene rango m relativo a un sistema de coordenadas (y, por tanto, relativo a todos). 3) Si {yi }i es un sistema de coordenadas en N para f (p), existen enteros 1 T i1 T i2 T T im T n tales que las funciones {yi1 f, yi2 f, . . . , yim f } constituye un sistema de coordenadas en un entorno de p. A continuaci on vamos a describir algunos ejemplos de inmersiones.

Ejemplos. 4.3. Sea : I Rn una curva diferenciable y regular, es decir, (t) = 0 para todo t. 4.4. Sea : I = (, ) R2 denida por (t) = (t3 , t2 ).

Entonces la matriz jacobiana viene dada por J (t) = (2t, 3t2 ) la cual tiene rango uno en todos los puntos salvo en t = 0. Luego no es una inmersi on. 4.6. Sea : R R2 denida por (t) = (a cos t, b sen t). Es f acil ver que es una inmersi on.

2.1. Propiedades de las inmersiones Las siguientes propiedades de las inmersiones pueden probarse muy f acilmente recurriendo a las representantes locales de las aplicaciones diferenciables. Proposici on 4.8 Sea f : M N una inmersi on y g : M N una aplicaci on diferenciable. Entonces (f, g ) : M N N es una inmersi on. Proposici on 4.9 Sean f : M N y g : M N dos inmersiones. Entonces la aplicaci on producto f g : M M N N es una inmersi on.

INMERSIONES Y SUBVARIEDADES

63

Proposici on 4.10 Sea f : M N una inmersi on y g : M M una aplicaci on diferenciable. Entonces f g y g tienen el mismo rango. En particular, queremos destacar la propiedad que arma que dada una inmersi on 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 on. M as concretamente: Proposici on 4.11 Sea f : M N una inmersi on y p un punto de M . Entonces existen cartas (V, x) y (W, y ) de p y f (p), respectivamente, tales que la representante en coordenadas y f x1 est a dada por z (z, 0). Veamos seguidamente, a trav es de un ejemplo, c omo se pueden obtener expl citamente las cartas a las que se reere el resultado anterior. Consideremos la inmersi on f : R R2 dada por f (t) = (sen t, cos t) y sea el punto t = 0. La matriz jacobiana en t = 0 est a dada por Jf (0) = (cos t, sen t)|t=0 = (1, 0) Entonces la aplicaci on p1 f : R R dada por t sen t tiene rango uno en t = 0 por lo que es un difeomorsmo local. Consideremos la aplicaci on = (p1 f )1 i2 : R2 R2 dada por (t, s) = (arcsent, s) y sea la aplicaci on k = p2 f . Entonces podemos construir la aplicaci on h = q , donde 2 2 q : R R est a denida por q (t, s) = (t, s k (t)) = (t, s cos t) En consecuencia, debemos considerar para t = 0 la carta identidad sobre podemos utilizar la carta h : R2 R2 dada por h(t, s) = (arcsent, s cos(arcsent))

R , y para f (0)

= (0, 1)

2.2.

Embebimientos y subvariedades

Se denen en esta secci on los conceptos de embebimiento y subvariedad, haciendo hincapi e en el hecho de que el t ermino subvariedad se aplica en ocasiones a objetos con propiedades distintas, surgiendo las subvariedades inmersas y las subvariedades regulares, que es en el sentido en que nosotros las entenderemos. Denici on 4.12 Una inmersi on f : M N se dice que es un embebimiento si es un homeomorsmo en la imagen (con la topolog a relativa de N ). Denici on 4.13 Una variedad P M se dice que es una subvariedad de una variedad M si la inyecci on can onica j : P M es un embebimiento. La codimensi on de la subvariedad es la diferencia dimM -dimP .

64

VARIEDADES DIFERENCIABLES Y TOPOLOG IA

Presentamos a continuaci on algunos ejemplos de subvariedades.

Ejemplos. 4.14. Sea M una variedad y consideremos P M un subconjunto abierto. Entonces P admite de manera trivial una estructura diferenciable con la que se convierte en subvariedad de M . P se denomina subvariedad abierta de M . 4.15. Sea GL(n, R ) el conjunto de las matrices cuadradas regulares de orden n. Entonces GL(n, R ) = det1 (R \{0}), y puesto que la aplicaci on determinante det es diferenciable, y consecuentemente continua, GL(n, R ) es una subvariedad abierta de Mn (R ). 4.16. La aplicaci on f : Rm Rn , m < n, dada por f (x1 , . . . , xm ) = (x1 , . . . , xm , 0, . . . , 0), es claramente un embebimiento. 4.17. Cualquier inmersi on es localmente un embebimiento.

En algunas ocasiones se relajan las condiciones de subvariedad, exigiendo solamente que la inclusi on can onica sea una inmersi on, en lugar de exigir que sea un embebimiento. Nosotros las distinguiremos a nadi endole el apellido inmersa. Toda subvariedad es una subvariedad inmersa, pero no rec procamente. En efecto, es f acil ver que la gura ocho es una subvariedad inmersa que no se puede 2 embeber en R .

Proposici on 4.18 Toda subvariedad compacta inmersa en un espacio Hausdorff es una subvariedad (embebida o regular). Con el n de encontrar una caracterizaci on de las subvariedades, se introducen los sistemas de coordenadas adaptados y se prueba que toda subvariedad de una variedad admite un sistema de coordenadas adaptado en cada punto, sirviendo esta propiedad como criterio para decidir si un subconjunto de una variedad admite una estructura diferenciable. Sea (V, x) una carta en una variedad M . El subconjunto de V que se obtiene haciendo n m funciones coordenadas constantes es una subvariedad m-dimensional de M denominada x-rebanada m-dimensional de U . Vamos a probar que toda subvariedad puede construirse pegando adecuadamente x-rebanadas.

INMERSIONES Y SUBVARIEDADES

65

Denici on 4.19 Sea P un subconjunto de una variedad M . Un sistema de coordenadas (V, x) se dice que est a adaptado a P si V P es una x-rebanada de V . Un criterio b asico para saber si un subconjunto de una variedad diferenciable es una subvariedad es el siguiente. Proposici on 4.20 Un subconjunto P de una variedad M es una variedad m-dimensional de M si para cada punto p de P existe un sistema de coordenadas (V, x) en M adaptado a P tal que V P es una rebanada mdimensional. En esta l nea, una cuesti on sumamente interesante es saber de cu antas maneras se puede dotar a un subconjunto de estructura de variedad diferenciable de forma que constituya una subvariedad. La respuesta, de sencilla demostraci on, nos dice que a lo sumo hay una manera de convertir un subconjunto de una variedad en subvariedad de la misma.

2.3.

El teorema de la funci on impl cita

til y pr Un criterio u actico para encontrar subvariedades nos lo proporciona el teorema de la funci on impl cita, consecuencia del teorema de la funci on inversa, y que nos permite averiguar cu ando las bras de una aplicaci on diferenciable son subvariedades. Denici on 4.21 Sea f : M N una aplicaci on diferenciable. Un punto q N se dice que es un valor regular de f si 1 f (q ) = 0 y dfp es sobreyectiva en todo punto p f 1 (q ). Proposici on 4.22 (Teorema de la Funci on Impl cita) m n Sea f : M N una aplicaci on diferenciable y q N un valor regular de f . Entonces P = f 1 (q ) es una subvariedad (m n)-dimensional de M . Describimos a continuaci on algunos ejemplos de subvariedades obtenidas utilizando este resultado. Ejemplos. 4.23. Sea f : Rn R una funci on diferenciable y consideremos S = f 1 (0). Si en cada punto p de S , f la matriz { xi (p)} tiene rango 1, entonces S es una subvariedad (n 1)-dimensional de Rn , es decir, S es una hipersupercie. 4.24. Las hiperesferas y los hipercilindros son subvariedades regulares del espacio eucl deo. 4.25. Sea f : R3 R la aplicaci on 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 supercie de R3 . Puede comprobarse f acilmente que S es el toro de revoluci on en R3 .

66

VARIEDADES DIFERENCIABLES Y TOPOLOG IA

Corolario 4.26 Sea M n una variedad diferenciable y sean f1 , . . . , fk funciones diferenciables sobre M . Consideremos el subconjunto P de M dado por P = {p M : fi (p) = 0, i = 1, . . . , k }. Si en cada punto p de P se verica que {df1p , . . . , dfkp } son covectores linealmente independientes, entonces P es una subvariedad cerrada de M de dimensi on n k . Observaci on 4.27 Si M es una variedad diferenciable y P M es una subvariedad diferenciable cerrada tal que P = 1 k on i=1 fi (0), para ciertas funciones diferenciables f1 , . . . , fk , entonces no necesariamente la dimensi de P es n k , ya que los covectores {df1p , . . . , dfkp } no tienen por qu e ser linealmente independientes. Una pregunta que cabe plantearse es si cualquier variedad abstracta M es difeomorfa a una subvariedad regular de un espacio eucl deo. La respuesta, de muy dif cil demostraci on, es armativa y se denomina teorema del embebimiento de Whitney. Dicho teorema establece que cualquier variedad diferenciable n-dimensional se puede embeber en un espacio eucl deo R2n . Una versi on m as sencilla de este resultado pero que admite una demostraci on asequible a este nivel, utilizando particiones diferenciables de la unidad, es la siguiente: Proposici on 4.28 Toda variedad diferenciable compacta se puede embeber como subvariedad regular en un cierto espacio eucl deo.

DE LOS CONOCIMIENTOS 3. ACTIVIDADES DE APLICACION A.4.1. Determina si las funciones c : R R2 denidas por (a) s (sen 2s, sen s) (b) s (cos 2s, cos s)

son inmersiones. El grafo de la primera funci on es la gura ocho. A.4.2. Determina si la funci on f : R2 R3 denida por (x, y ) (y cos x, y sen x, x)

INMERSIONES Y SUBVARIEDADES

67

es una inmersi on. A.4.3. Sea M = (R {0}) (R {1}) y se considera la estructura diferenciable dada por las cartas x : R {0} R , x(s, 0) = s, Sean las aplicaciones : R M, (s) = (s, 1) si s = 0, y (0) = (0, 0), : M R , (s, 1) = (s, 0) = s, s R .
(0, 1)

y : R {1} R , y (s, 1) = s.

(0, 0)

Prueba que es una inmersi on y que es diferenciable, aunque no es diferenciable. A.4.4. (a) Sea S = {(x, y ) R2 : x2 y 2 = 1} la hip erbola equil atera.

Justica que S es una subvariedad 1-dimensional cerrada de R2 y dotale de un atlas de una sola carta. (b) Deduce que el siguiente conjunto (el toro) es una subvariedad 2-dimensional de {(x, y, z, w) R4 : x2 y 2 = 1, z 2 w2 = 1}.

R4 :

F =

68

VARIEDADES DIFERENCIABLES Y TOPOLOG IA

A.4.5. Consideremos las funciones f : R3 R denidas por (a) (x, y, z ) x2 + y 2 z 2 1, (b) (x, y, z ) x2 y 2 z 2 1.

Prueba que la inyecci on can onica j de f 1 (0) en R3 tiene rango 2 en todos los puntos calculando expl citamente la aplicaci on diferencial. A.4.6. (a) Prueba que el conjunto S = {(x, y, z ) R3 : x3 + y 3 + z 3 2xyz = 1} es una subvariedad cerrada de R3 de dimensi on 2. (b) Prueba que el conjunto S = {(x, y, z ) R3 : 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 R3 . A.4.7. (a) Sean M y N dos variedades diferenciables de la misma dimensi on y f : M N una inmersi on. Si M es compacta y N es conexa y Hausdorff, prueba que f es sobreyectiva. (b) Deduce que no existe ninguna inmersi on de S1 en R ni de P n (R ) en Rn . A.4.8. Consideremos los siguientes subconjuntos de R2 : A = {(x, y ) R2 : y 2 = |x|}, B = {(x, y ) R2 : x3 + y3 3xy = 1}, C = {(x, y) R2 : x2 = y2 }. Cu ales de ellos son subvariedades de 2 R? A.4.9. Cu ales de los siguientes conjuntos son subvariedades de R2 ? A = {(t, t2 ) : t R } {(t, t2 ) : t R+ } B = {(x, y ) : x = 0 o y = 0} C = {(cos(t), cos(t/3) + sen(t/3)) : t (0, 4 + 3 )} 4

INMERSIONES Y SUBVARIEDADES

69

A.4.10. Sea S = {(x, y ) R2 : xy = 0}. Construyamos dos cartas aplicando cada eje en la recta real mediante (x, 0) x, (0, y ) y . Denen las cartas anteriores un atlas sobre el conjunto abstracto S ? Si no es as , admite S estructura de variedad diferenciable? En caso armativo, es S una subvariedad de R2 ? A.4.11. Sea M = M (n, R ) el conjunto de todas las matrices reales de orden n n, con su estructura can onica de variedad diferenciable. Entonces det : M R es una aplicaci on diferenciable y GL(n) = det1 (R {0}) es un subconjunto abierto de M; por tanto, GL(n) es una subvariedad diferenciable de dimensi on n2 . Prueba: a) det : GL(n) R tiene rango constante e igual a 1. En consecuencia, det1 (1) = SL(n) es una hipersupercie de GL(n), que llamaremos el grupo especial lineal. b) El espacio tangente TI (SL(n)) M, donde I denota la matriz identidad de orden n, est a formado por las matrices de traza cero. A.4.12. Sea F : (1, ) R2 la aplicaci on dada por F (t) = t+1 t+1 cos(2t), sen(2t) . 2t 2t

Es F una inmersi on?

A.4.14. Sea f : M R una funci on diferenciable que tiene rango 1 en todos los puntos de una bra 1 F = f (a). Si p es un punto de F y v Tp M , prueba que v Tp F si, y s olo si, dfp (v ) = 0. A.4.15. Sea M una variedad diferenciable y G un grupo. Se dice que G act ua sobre M si existe una aplicaci on : G M M tal que: i) las aplicaciones g = (g, ) son difeomorsmos, y ii) gh = g h , para todo g, h G. nico elemento de G que tiene alg La acci on es libre si el elemento identidad es el u un punto jo; y es discontinua si todo punto m tiene un entorno U tal que g (U ) U = para todo g = e. Si G act ua sobre M entonces determina una relaci on de equivalencia: dos puntos p y q est an relacionados si existe g G tal que q = g (p). Denotemos por M/G al conjunto cociente y por : M M/G la proyecci on can onica. Prueba que si : G M M es una acci on libre y discontinua de G sobre M , entonces M/G admite estructura de variedad diferenciable tal que es un difeomorsmo local.

70

VARIEDADES DIFERENCIABLES Y TOPOLOG IA

A.4.16. Prueba que Z act ua libre y discontinuamente como un grupo de transformaciones sobre R2 si la acci on est a determinada por la funci on global : R2 Z R2 denida por ((x, y ), n) = (x + n, (1)n y ) A.4.17. Prueba que la funci on global : Z Z R R denida por (m, n, s) = s + m + n, donde y son n umeros cuya raz on es irracional, determina una acci on de Z Z sobre R que es libre pero no discontinua. A.4.18. Consideremos en R2 el grupo G de difeomorsmos generado por las siguientes transformaciones: 1 (x, y ) = (x + 1, y ) 2 (x, y ) = (x, y + 1) Comprueba que el grupo G act ua libre y discontinuamente sobre R2 . (La variedad cociente R2 /G se conoce como la botella de Klein). A.4.19. Sea F (k, n) el conjunto formado por todas las familias de k vectores de Rn linealmente independientes (en general, cualquier espacio vectorial real n-dimensional). Dota a F (k, n) de estructura de variedad diferenciable. Las variedades F (k, n) se denominan variedades de Stiefel. A.4.20. Sea G(k, n) el conjunto de todos los k -planos (subespacios lineales de dimensi on k ) pasando por el origen de Rn (en general, cualquier espacio vectorial real n-dimensional). Dota a G(k, n) de estructura de variedad diferenciable. Las variedades G(k, n) se denominan variedades de Grassmann y, en particular, G(1, n) = P n (R ). A.4.21. Prueba que para cualquier k , las variedades de Grassmann G(k, n) y G(n k, n) son naturalmente difeomorfas. A.4.22. Sea el toro de revoluci on T 2 R3 , sim etrico respecto del origen 0 R3 . Sea G = {A, I } Isom(T 2 ), donde A es la aplicaci on ant poda e I es la identidad. Entonces: a) El cociente K = T 2 /G admite estructura de variedad diferenciable. K se denomina la Botella de Klein. b) La aplicaci on : R2 R4 dada por (x, y ) = ((r cos y + a) cos x, (r cos y + a) sen x, r sen y cos(x/2), r sen y sen(x/2)) induce un embebimiento de la botella de Klein en R4 . A.4.23. (a) Una aplicaci on diferenciable f : M N es una sumersi on si tiene rango constante e igual a dimN . Sea M = n M . Prueba que las proyecciones pk : M Mk son i i=1 sumersiones. (b) Sean i : Mi Ni , i = 1, . . . , n, sumersiones. Prueba que la aplicaci on producto n = 1 . . . n : n M N es una sumersi o n. i i=1 i=1 i

INMERSIONES Y SUBVARIEDADES

71

4.

DEL CAPITULO BIBLIOGRAFIA

W. BOOTHBY. An Introduction to Differentiable Manifolds and Riemannian Geometry. Academic Press, 1986. R. BRICKELL y R. CLARK . Differentiable Manifolds. Van Nostrand, 1970. L. CONLON. Differentiable Manifolds. A First Course. Birkh auser, 1993. W.D. CURTIS y F.R. MILLER. Differential Manifolds and Theoretical Physics. Academic Press, 1985.

5. PREGUNTAS DE EVALUACION E.4.1. Prueba que para cualesquiera n umeros reales a, b y c (no todos nulos), la funci on f : R3 R , denida por f (x, y, z ) = ayz + bxz + cxy 1,

determina sobre f 1 (0) la estructura de una variedad diferenciable cerrada no compacta. E.4.2. Estudia si existe una inmersi on inyectiva f : S 2 S 3 R5 . En caso negativo, qu e es lo que lo impide? E.4.3. Consideremos la aplicaci on diferenciable F : R3 R4 denida por F (x, y, z ) = (x2 y 2 , xy, xz, yz ) y sea : S2 P 2 (R ) la proyecci on can onica de la esfera unidad en el plano proyectivo. Sean : S2 R 4 y : P 2 (R ) R4 las aplicaciones que hacen el siguiente diagrama conmutativo:

R  ddF j d Ed R S dd  d P (R)
3 2 2

72

VARIEDADES DIFERENCIABLES Y TOPOLOG IA

donde j : S2 R3 es la inclusi on can onica; en otras palabras, = F |S2 y ([(x, y, z )]) = (x, y, z ). Prueba que es un embebimiento. E.4.4. Sea la aplicaci on diferenciable : GL(n) GL(n) denida por (A) = At A, donde At indica la matriz transpuesta. Prueba: a) Relativa a la identicaci on est andar TI (GL(n)) = M(n), la aplicaci on diferencial dI : TI (GL(n)) TI (GL(n)) est a dada por dI (B ) = B t + B . b) La aplicaci on tiene rango constante n(n + 1)/2. c) Deduce que el grupo ortogonal O(n) GL(n) es una subvariedad compacta de dimensi on n(n 1)/2. d) Prueba que el subespacio TI (O(n)) M(n) est a formado por las matrices antisim etricas. E.4.5. Consideremos la funci on f : R3 R denida por f (x, y, z ) = (x2 + y 2 + z 2 + a2 b2 )2 4a2 (x2 + y 2 ), a>b>0

a) Determina los valores c R para los que f 1 (c) es una supercie regular de R3 . b) Sea S = f 1 (0) y consideremos el punto p = (a, 0, b) S . Calcula una base del plano tangente Tp S R3 . E.4.6. Sea f : R3 R6 la aplicaci on denida por f (x, y, z ) = (x2 , y 2 , z 2 , 2yz, 2xz, 2xy ) Prueba que f induce un embebimiento de la esfera S2 (1) en el espacio eucl deo R6 . La subvariedad 2 f (S ) se denomina supercie de Veronese. E.4.7. Sea F : Rn positivo. Prueba:

R una funci on polin omica homog enea de grado r b 1 con al menos un valor

a) La funci on f : Rn R , denida por f (x) = F (x)1, determina en f 1 (0) una estructura de variedad diferenciable. (Ind.: Utiliza el teorema de Euler para funciones homog eneas). b) Si F (z ) > 0 excepto para z = 0, entonces f 1 (0) es una subvariedad compacta de (Ind.: Prueba que est a acotada). E.4.8. Sea f : S2 R3 R4 dada por f (x, y, z ) = (yz, xz, xy, x2 + 2y 2 + 3z 2 ) y consideremos f : P 2 (R ) R4 denida por f ([p]) = f (p), donde estamos identicando P 2 (R ) con S2 /{1, A}. Prueba que f es un embebimiento de P 2 (R ) en R4 . E.4.9. Sea f : M M una sumersi on 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 x1 de f est a dada por y f x1 (z, w) = z .

Rn .

INMERSIONES Y SUBVARIEDADES

73

ANOTACIONES

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

74

VARIEDADES DIFERENCIABLES Y TOPOLOG IA

KARL-FRIEDRICH GAUSS (-) 6. BIOGRAFIA:

Karl-Friedrich Gauss (-) naci o en Gotinga el 30 de abril. Sin ayuda de ning un tipo, Gauss aprendi o a calcular antes de hablar. A los tres a nos corrigi o un error en la paga de los obreros de su padre, y por s solo estudi o y profundiz o la aritm etica. A los ocho a nos mostr o un genio precoz con ocasi on de un problema propuesto por su profesor de la escuela elemental: encontrar la suma de los cien primeros n umeros naturales. Gauss sum o casi instant aneamente los enteros al darse cuenta que eran 50 parejas de n umeros que sumaban 101. El profesor tuvo la sabidur a de procurarle libros de aritm etica para que Gauss prosiguiera su aprendizaje. A los once a nos Gauss conoci o a Johann Martin Bartels (-), entonces profesor ayu l al duque de Brunswick, dante de la escuela y m as tarde profesor de Lovachevski. Bartels habl o de e quien lo llev o a estudiar a sus expensas al Brunswick Collegium Carolinum. En la academia Gauss descubri o la ley de Bode, el teorema del binomio y la media aritm etico-geom etrica, as como la ley de reciprocidad cuadr atica y el teorema de los n umeros primos. En Gauss dej o Brunswick y se march o a la Universidad de Gotinga. El profesor de Gauss era Abraham Gotthelf Kaestner (-), nico amigo conocido entre los estudiantes fue Farkas a quien Gauss ridiculizaba frecuentemente. Su u Bolyai (-), a quien conoci o en y con quien mantuvo correspondencia durante muchos a nos. En marzo de obtiene la construcci on del pol gono regular de 17 lados por medio de la regla y el comp as, y desde ese d a consigna la primera anotaci on en su c elebre diario matem atico en el que durante dieciocho a nos inscribir a 146 enunciados matem aticos breves de los resultados de sus trabajos. Este diario no fue encontrado hasta , y su contenido fue publicado por primera vez por Felix Klein (-) en . En , Gauss vuelve a Brunswick para continuar all sus trabajos en solitario. Al a no siguiente obtiene el doctorado por la Universidad de Helmsted bajo la direcci on de Johann Friedrich Pfaff (-). Su tesis de doctorado contiene una demostraci on del teorema fundamental del a lgebra, es decir, que toda ecuaci on polin omica p(x) = 0 con coecientes reales o imaginarios posee al menos una ra z. En , Gauss escribe y publica su gran tratado titulado Disquisitiones aritmeticae, en el que presenta un resumen de los trabajos aislados de sus predecesores, da soluciones a las cuestiones m as dif ciles, formula conceptos y cuestiones que indicar an, al menos durante un siglo, las l neas maestras de la investigaci on en teor a de n umeros. En junio de , Zach, un astr onomo a quien Gauss hab a conocido dos o tres a nos antes, publica las posiciones orbitales de Ceres, un nuevo peque no planeta que hab a sido descubierto por el observador italiano Giuseppe Piazzi en enero. Desafortunadamente, Piazzi s olo pudo observar nueve rbita antes de que desapareciera detr grados de su o as del Sol. Zach public o diversas predicciones de su posici on, 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 o sus poca, utiliz m etodos en esa e o una teor a orbital de los planetas fundamentada en la elipse y recurri oa m etodos num ericos basados en el m etodo de m nimos cuadrados. Esta haza na coincide con el comienzo de sus investigaciones astron omicas, que absorver an una buena parte de sus energ as durante casi veinte a nos. En Gauss es nombrado profesor de astronom a y director del observatorio de Gotinga, donde permaneci o el resto de su vida. Sus trabajos de astronom a le llevaron a publicar su Theoria motus

INMERSIONES Y SUBVARIEDADES

75

Figura 4.1: Gauss en

corporum coelestium in sectionibus conicis solem ambientium (), en la cual Gauss desarrolla sistem aticamente su m etodo del c alculo orbital. En 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 . Estos dos acontecimientos sumieron a Gauss en una profunda soledad que nunca fue capaz de superar. Durante los primeros a nos en Gotinga, Gauss realiza estudios y lleva a cabo investigaciones en diversos frentes, a la vez que redacta numerosas memorias: Disquisitiones generales circa seriem innitam, un primer estudio riguroso de las series y la introducci on de las funciones hipergeom etricas (); Methodus nova integralium valores per approximationem inveniendi, una contribuci on importante a la aproximaci on de las integrales y Bestimmung der Genauigkeit der Beobachtungen, uno de los primeros an alisis de los estimadores estad sticos (); trabajos en astronom a, inspirados por su estudio del rbita, planeta Palas y una memoria notable sobre la determinaci on de la atracci on de un planeta a su o Theoria attractionis corporum sphaeroidicorum ellipticorum homogeneorum methodus nova tractata.

Figura 4.2: Gauss en

En Gauss gan o el Premio de la Universidad de Copenhagen con su Theoria attractionis..., junto con la idea de aplicar una supercie en otra de tal forma que ambas sean similares localmente. Este trabajo fue publicado en y dio origen a su publicaci on Untersuchungen u ande der ber Gegenst

76

VARIEDADES DIFERENCIABLES Y TOPOLOG IA

H oheren Geod asie ( y ). El trabajo Theoria combinationis observationum erroribus minimis obnoxiae (), junto con su suplemento de , se dedic o a la estad stica matem atica, en particular al m etodo de los m nimos cuadrados. La publicaci on, en , de su Disquisitiones circa generales supercies curvas supone una contribuci on denitiva a la geometr a diferencial de supercies en el espacio de tres dimensiones, constituyendo esencialmente la primera etapa en el desarrollo de la geometr a de Riemann. Gauss emprende un estudio de las supercies, demostrando, en particular, que si dos supercies son isom etricas el producto de los dos radios de curvatura principales es el mismo en dos puntos correspondientes (teorema egregium). En su memoria de , Gauss trata tambi en el problema de determinar las geod esicas sobre las supercies. Gauss consigue demostrar un c elebre teorema sobre la curvatura de un tri angulo cuyos lados son geod esicas. Determina que la curvatura total de un tri angulo geod esico de lados a, b y c viene dada por Kds = a + b + c Sus trabajos en geometr a diferencial demuestran que el estudio de la geometr a de una supercie puede hacerse concentr andonos esencialmente en la supercie misma. As , las l neas rectas sobre la supercie son las geod esicas y, por consiguiente, la geometr a de la supercie es no eucl dea. Durante los primeros a nos en Gotinga, Gauss hab a estudiado la posibilidad de la existencia de una geometr a no eucl dea. Convencido de la inecacia de las diversas tentativas anteriores para demostrar el postulado de las paralelas, Gauss acepta cada vez m as la idea de que debe abandonar los caminos trillados y elaborar una nueva geometr a. A partir de desarrolla esta nueva geometr a, llamada sucesivamente antieucl dea, geometr a astral y, por n, geometr a no eucl dea. En escribe un ensayo sobre las l neas paralelas, y en una carta dirigida a H.K. Schumaker le dice:
Despu es de haber meditado durante casi cuarenta a nos sin escribir nada, me he tomado la molestia al menos de poner por escrito algunas de mis ideas, con el n de que no desaparezcan conmigo.

Este mismo a no, Gauss conoce los trabajos de Janos Bolyai (-), a trav es de un libro que le ste, le comunica sus propios trabajos sobre el tema y reivindica env a su padre, y en una carta dirigida a e la propiedad de sus descubrimientos:
Si digo que soy incapaz de elogiar este estudio, quiz as le extra ne. Pero no puede ser de otra manera, porque ello equivaldr a a alabar mis propios trabajos. En efecto, el enfoque preconizado por vuestro hijo y los resultados que ha obtenido coinciden casi enteramente con las ideas que han ocupado mi esp ritu desde hace 30 o 35 a nos. No tengo la intenci on de publicar estas meditaciones durante mi vida, pero he decidido escribirlas para que puedan conservarse. Es, en consecuencia, una sorpresa agradable para m ahorrarme este trabajo, y me llena de 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 , Wilhelm Weber llega a Gotinga como profesor de f sica, ocupando el puesto de Tobias Mayer. Gauss hab a conocido a Weber en y apoy o este nombramiento. Gauss hab a trabajado en f sica antes de , publicando Uber ein neues allgemeines Grundgesetz der Mechanik y Principia generalia theoriae gurae uidorum in statu aequilibrii which discussed forces of attraction. Estos trabajos 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 etodo de los m nimos cuadrados proporcionaban una relaci on vital entre la ciencia y la naturaleza.

Figura 4.3: Gauss en

En , Gauss y Weber comenzaron a estudiar la teor a del magnetismo terrestre, despu es de que Alexander von Humboldt intentase obtener la ayuda de Gauss para construir una red de puntos de observaci on magn eticos alrededor de la Tierra. Gauss se interes o por este tema, y public o tres importantes trabajos: Intensitas vis magneticae terrestris ad mensuram absolutam revocata (), Allgemeine Theorie des Erdmagnetismus () y Allgemeine Lehrs atze in Beziehung auf die im verkehrten Verh altnisse des Quadrats der Entfernung wirkenden Anziehungs- und Abstossungskr afte (). En , Weber fue forzado a abandonar Gotinga cuando se vio envuelto en una disputa pol tica, y desde entonces la actividad de Gauss decreci o. Aunque parece ser que sigui o trabajando con asiduidad, no se animaba a publicar los resultados que obten a. Algunas veces se sinti o muy complacido por los avances realizados por otros matem aticos, especialmente por Eisenstein y Lovachevsky. Despu es de , el estado de su coraz on se deterior o r apidamente y debi o reducir considerablemente sus actividades. En Gauss aprob o la tesis doctoral de Riemann sobre los fundamentos del an alisis complejo y en asiste feliz a la lecci on inaugural de Riemann en Gotinga. Su salud se deterior o lentamente y muri o en la cama el 23 de febrero de . ltimos estudiantes de doctorado de Gauss fueron Moritz Cantor y Dedekind, que Dos de los u describi o a su tutor con las siguientes palabras:

. . . usualmente se sentaba en una actitud confortable, con la mirada baja, ligeramente inm ovil 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 jamente, con ojos penetrantes, mientras duraba su alocuci on. Si proced a a realizar una explicaci on acerca de los principios de desarrollo de unas f ormulas matem aticas, entonces se levantaba y, con una postura muy erguida, escrib a en una pizarra detr as de e l con su particular y esmerada escritura: siempre procuraba escribir ordenadamente para utilizar el menor espacio.

78

VARIEDADES DIFERENCIABLES Y TOPOLOG IA

Figura 4.4: Gauss en su madurez

Bibliograf a Carl B. Boyer. A History of Mathematics. Princeton University Press, 1985. pp. 544557. Florian Cajori. A History of Mathematics. Chelsea Publising Company, 1995. pp. 434438. Jean-Paul Collete. Historia de las matem aticas, vol. II. Siglo veintiuno de Espa na Editores, S.A., 1985. pp. 286308. Internet. URL de la p agina: www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Gauss.html

Bibliograf a complementaria Dictionary of Scientic Biography (New York 1970-1990). Encyclopaedia Britannica Libros: W.K. B uhler Gauss: A Biographical Study (Berlin, 1981). G.W. Dunnington Carl Friedrich Gauss : Titan of Science (New York, 1955). T. Hall Carl Friedrich Gauss : A Biography (1970). G.M. Rassias (ed.) The mathematical heritage of C F Gauss (Singapore, 1991). H. Reichardt Gauss, en H Wussing y W Arnold, Biographien bedeutender Mathematiker (Berlin, 1983). H. Reichardt (ed.) C F Gauss Gedenkband anl asslich des 100. Todestages am 23. Februar 1855 (1957). W.S. von Waltershausen Gauss, a Memorial (Colorado Springs, Colo., 1966). 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 ottingen Mitt. 30 (1993), 3-56. E. Breitenberger Gausss geodesy and the axiom of parallels, Arch. Hist. Exact Sci. 31 (3) (1984), 273-289. D.A. Cox Gauss and the arithmetic - geometric mean, Notices Amer. Math. Soc. 32 (2) (1985), 147151. D.A. Cox The arithmetic-geometric mean of Gauss, Enseign. Math. (2) 30 (3-4) (1984), 275-330. H.S.M. Coxeter Gauss as a geometer, Historia Math. 4 (4) (1977), 379-396. J. Dieudonn e 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 at G ottingen, GaussGes. G ottingen 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 rst 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 ottinger 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 ottingen Mitt. 29 (1992), 39-42. K-R. Biermann Zu den Beziehungen von C F Gauss und A v Humboldt zu A F M obius, 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 IA

rsepp Gauss and Tartu University, Historia Math. 5 (4) (1978), 455-459. P. M uu W. Narkiewicz The work of C F Gauss in algebra and number theory, Festakt und Tagung aus Anlass des 200 : Geburtstages von Carl Friedrich Gauss (Berlin, 1978), 75-82. J.G. OHara Gauss and the Royal Society : the reception of his ideas on magnetism in Britain (18321842), Notes and Records Roy. Soc. London 38 (1) (1983), 17-78. R.L. Plackett The inuence of Laplace and Gauss in Britain, Bull. Inst. Internat. Statist. 53 (1) (1989), 163-176. D.E. Rowe Gauss, Dirichlet and the Law of Biquadratic Reciprocity, The Mathematical Intelligencer 10 (1988), 13-26. O. Sheynin C F Gauss and geodetic observations, Arch. Hist. Exact Sci. 46 (3) (1994), 253-283. D.A. Sprott Gausss contributions to statistics, Historia Math. 5 (2) (1978), 183-203. G.W. Stewart Gauss, statistics, and Gaussian elimination, J. Comput. Graph. Statist. 4 (1) (1995), 1-11. S.M. Stigler The History of Statistics. The Measurement of Uncertainty before 1900 (Cambridge, Mass.London, 1986), 140-. S.M. Stigler Gauss and the invention of least squares, Ann. Statist. 9 (3) (1981), 465-474. S.M. Stigler An attack on Gauss, published by Legendre in 1820, Historia Math. 4 (1977), 31-35. W. Waterhouse Gausss rst argument for least squares, Arch. Hist. Exact Sci. 41 (1) (1990), 41-52. W. Waterhouse Gauss on innity, Historia Math. 6 (4) (1979), 430-436. K. Zormbala Gauss and the denition of the plane concept in Euclidean elementary geometry, Historia Math. 23 (4) (1996), 418-436.