SOBRE EL NACIMIENTO DE LA GEOMETRA RIEMANNIANA

Sobre elel nacimiento Sobre nacimento dela la Geometr a Riemanniana de Geometra Riemanniana

Matemticas y Estadstica

Oscar M. Perdomo Department of Mathematics, Central Connecticut State University, USA1. Resumen El 10 de junio de 1854, George Friedrich Bernhard Riemann ofreci o una conferencia a los profesores de la Universidad de Gotinga. Seg un los historiadores, dicha conferencia s olo fue entendida en su totalidad por Gauss. En la charla, Riemann, sin tan siquiera tener una denici on precisa de variedad n-dimensional, introdujo el concepto de m etrica riemanniana, explic o el tensor de curvatura, la curvatura seccional, ciertas relaciones entre la m etrica y la curvatura, y una serie de resultados que fueron establecidos de una manera precisa y con una demostraci on rigurosa s olo despu es de 60 a nos. Esta conferencia, que mostraba el plan investigativo de Riemann, constituye la base de la Geometr a Diferencial y la Teor a de la Relatividad. Aqu se explicar a con sencillez gran parte de los conceptos y resultados introducidos por Riemann en aquella charla y c omo nalmente fueron formalizados.
Palabras y frases clave: Geometr a Riemanniana, tensor de curvatura, curvatura seccional, m etricas riemannianas, geometr as no euclidianas.

Abstract On June 10th, 1854, George Friedrich Berhard Riemann gave a conference to the University of G ottingens faculty. According to historians, this conference was only understood in its totality by Gauss. In this talk, Riemann without even having a precise denition of n-dimensional manifold, introduced the concept of Riemannian metric and explained the notion of the curvature tensor and sectional curvature. He also found relations between the metric and the curvature, and mentioned several results that were only rigorously proved 60 year later. The conference that was initially intended to show Riemanns research plan, ended up being the base of dierential geometry and relativity areas. In this notes we will explain in a simple way most of the concepts and results introduced by Riemann and the way these concepts were formalized.
Key words and phrases: Riemannian Geometry, curvature tensor, sectional curvature, Riemannian metrics, non Euclidean geometries. Clasicaci on de materias (AMS): 53A35,58A05,53A35.
Correo 1 electrnico: perdomoosm@mail.ccsu.edu

Correo electr onico: perdomoosm@mail.ccsu.edu

1

157

Revista Tumbaga (2008), 3, 157-173

scar M. Perdomo
2

1.

n Introduccio

El tema central de este art culo es la conferencia Uber die Hypotheses, welche der Geometrie zu Grunde liegen (Sobre las hip otesis que son cimientos de la geometr a), ofrecida por Riemann el 10 de junio de 1854 como requisito para poder ense nar en la Universidad de Gotinga. Los otros requisitos eran la tesis doctoral, un art culo inaugural y presentar tres temas, uno de los cuales ser a escogido por un jurado de la universidad para que el candidato ofreciera una charla inaugural. La tesis doctoral de Riemann se titul o Fundamentos para una teor a general de funciones en una variable compleja y fue presentada en 1851. El art culo inaugural que someti o se titulaba Sobre la representaci on de una funci on por una serie trigonom etrica y, para los temas que deb a escoger, tom o, adem as de los dos temas anteriores, el tema de fundamentos de geometr a. Era costumbre que el jurado escogiera uno de los temas que el candidato ya hab a trabajado, pero esta vez Gauss, quien tambi en hab a sido jurado de su tesis de doctorado, decidi o que Riemann hiciese su charla sobre geometr a, ya que conoc a de los excelentes trabajos que Riemann hab a elaborado y porque, adem as, la geometr a era uno de los temas en el que Gauss estaba trabajando en ese entonces. La charla de Riemann fue planteada como su proyecto de investigaci on. Es interesante y asombroso darse cuenta de c omo este proyecto de investigaci on result o ser el plan de trabajo de una gran cantidad de matem aticos, quienes a lo largo de casi cien a nos han venido desarroll andolo y vericando que, efectivamente, la intuici on de Riemann era correcta. Hubiese sido grandioso que Riemann hubiera vivido 60 a nos m as (muri o a los 40), para que as hubiese tenido la satisfacci on de ver c omo sus ideas, entendidas por pocos en su epoca, fueron evolucionando y aclar andose para dar lugar a una de las areas m as importantes de las Matem aticas. Me lo imagino haciendo los siguientes comentarios acerca de la bien conocida expresi on Gravedad es curvatura del espacio tiempo, de la Teor a General de la Relatividad: Como lo dije en mi plan investigativo, la geometr a es esencialmente la m etrica que pongamos en nuestro espacio; la m etrica queda determinada por la curvatura, y la curvatura debe sacarse de la f sica del espacio, de lo medible, es decir, de la experiencia. O haciendo el siguiente comentario sobre las limitaciones de la Teor a General de la Relatividad para explicar el comportamiento f sico en lo relacionado con peque nas distancias: Sab a que la Geometr a Riemanniana tendr a dicultades modelando magnitudes peque nas y present a que para modelar la f sica de lo innitamente peque no se deb a utilizar algo discreto.

Revista Tumbaga (2008), 3, 157-173

158

SOBRE EL NACIMIENTO DE LA GEOMETRA RIEMANNIANA

Era bien conocido que Riemann era un amante de la F sica; por ejemplo, cuando Gauss decidi o que Riemann hiciese su conferencia en geometr a, charla que Riemann no ten a preparada, este se encontraba investigando sobre las conexiones entre electricidad, magnetismo, luz y gravedad, adem as de estar asistiendo a un seminario de matem atica f sica. Al analizar la conferencia de Riemann se puede observar la gran visi on que ten a sobre la F sica, tanto as que la charla bien se hubiese podido titular Sobre las hip otesis que son cimientos de la F sica, o 60 a nos m as tarde, Sobre las hip otesis que son cimientos de la Teor a General de la Relatividad. Con el n de que el lector aprecie mejor la belleza de la charla ofrecida por Riemann, en este documento se har a un breve recorrido en orden cronol ogico por la Geometr a Diferencial partiendo de lo m as b asico. Durante este recorrido se motivar an, tomando algunos apartes de la conferencia de Riemann, los resultados que fueron explicados por el mismo y que present a deber an ser ciertos. 2. n en la Geometr Breve incursio a Diferencial

2.1. Geometr a de curvas planas. Empezaremos esta secci on con algunos resultados bien conocidos sobre curvas planas. Teorema 2.1. Dada una curva diferenciable : [a, b] R2 con (t) = (x1 (t), x2 (t)), se dene la longitud de como b 2 2 | (t)|dt, donde | (t)| = x 1 (t) + x2 (t) .
a

A pesar de la sencillez de esta f ormula, ella es la que motiva a Riemann a dar la noci on de m etrica en una variedad. Teorema 2.2. Dada una curva diferenciable : [a, b] R2 dada por (t) = (x1 (t), x2 (t)), con (t) = (0, 0), existe un cambio de par ametro t = g (s) donde g : [c, d] [a, b] tal que (s) = (g (s)) es una curva cuyo vector velocidad siempre mide 1. N otese que la longitud de es igual a la longitud de y es igual a d c. Las curvas cuyo vector velocidad mide siempre 1 son llamadas curvas parametrizadas por longitud de arco. Denici on 2.1. Dada una curva diferenciable : [a, b] R2 , parametrizada por longitud de arco, diremos que n : [a, b] R2 es un vector normal unitario a largo de si n(t) es perpendicular a (t) para todo t [a, b]. Denimos la curvatura de en el punto (t0 ) con respecto a un vector normal unitario n como n(t0 ) (t0 ),

159

Revista Tumbaga (2008), 3, 157-173

scar M. Perdomo
4

donde v w denotar a el producto punto euclidiano. De la Geometr a Euclidiana, es bien conocido que tres puntos no colineales en R2 determinan una u nica circunferencia. Si p1 , p2 , p3 son estos tres puntos, denotaremos por C (p1 , p2 , p3 ) al centro de esta circunferencia y por r (p1 , p2 , p3 ) al radio de la misma. Teorema 2.3. Consideremos una curva diferenciable : [a, b] R2 , parametrizada por longitud de arco, y n : [a, b] R2 un vector normal unitario a largo de . Si para alg un t0 (a, b) se tiene que la curvatura de en el punto (t0 ) con respecto a un vector normal unitario n es k = 0, entonces 1. Existe un > 0 tal que para todo 0 < h < los puntos (t0 h), (t0 ), (t0 + h) no son colineales. 1 2. l mh0 r ((t0 h), (t0 ), (t0 + h)) = |k . | 1 3. l mh0 C ((t0 h), (t0 ), (t0 + h)) = (t0 ) + k n(t0 ). 2.2. Supercies antes de Gauss. Continuaremos ahora con la teor a de supercies que se desarroll o antes de Gauss. Ya que esta teor a es esencialmente local, trabajaremos con la siguiente denici on de supercie. Denici on 2.2. Diremos que S = ((a, b) (c, d)) es una supercie parametrizada regular, si para alg un > 0, : (a , b + ) (c , d + ) R3
y u son es una funci on inyectiva tal que los dos vectores en R3 , u 1 2 0 0 linealmente independientes para todo (u1 , u2 ) (a, b+)(c, d+).

Antes de Gauss, las supercies se estudiaron analizando las curvas que ellas conten an. Para ser m as precisos, consideremos para cada p R3 y cada par de vectores linealmente independientes v, w R3 el plano que pasa por p y es paralelo al plano generado por v y w , es decir: (p, v, w ) = {x = (x1 , x2 , x3 ) R3 : x = p + sv + tw con s, t R}. El siguiente teorema muestra la forma como se estudiaba la supercie analizando las curvas que se obtienen cuando nuestra supercie se interseca con ciertos planos.
0 Teorema 2.4. Sea (u0 1 , u2 ) = p0 un punto en una supercie para 0 0 0 (u0 metrizada regular S . Para cada v (s, t) = s u 1 , u2 ) + t u2 (u1 , u2 ) y 1 0 0 0 w = u1 (u0 1 , u2 ) u2 (u1 , u2 ), se tiene que 1. s,t = S (p0 , v (s, t), w ) es una curva que se puede parametrizar por longitud de arco cerca de p0 .

Revista Tumbaga (2008), 3, 157-173

160

SOBRE EL NACIMIENTO DE LA GEOMETRA RIEMANNIANA

2. Si denotamos k (s, t) la curvatura de s,t , se tiene que existen dos vectores propios perpendiculares v (s1 , t1 ) y v (s2 , t2 ) con valores propios k1 = k (s1 , t1 ) = max{k (s, t) : s, t R} y k2 = k (s2 , t2 ) = min{k (s, t) : s, t R} respectivamente, m as a un: k (s, t) = k1 cos2 () + k2 sen2 (), donde es el angulo que forma v (s, t) con v (s1 , t1 ). Este teorema fue probado inicialmente por Euler. Los n umeros k1 y k2 son llamados curvaturas principales de S en el punto p0 . 2.3. Algunos aportes de Gauss a la teor a de supercies. Pasemos ahora a explicar dos teoremas sobre supercies en R3 demostrados por Gauss en su art culo Disquisitiones generales circa supercies curvas, publicado en 1827, un a no antes del nacimiento de Riemann. Denici on 2.3. Diremos que dos supercies S1 y S2 son isom etricas si existe una funci on biyectiva y diferenciable : S1 S2 tal que para toda curva : [a, b] S1 se tiene que la longitud de es igual a la longitud de : [a, b] S2 . La funci on es llamada isometr a. El siguiente teorema, conocido como Theorema Egregium de Gauss, es el que motiva el concepto de curvatura de una variedad riemanniana. Teorema 2.5. Si : S1 S2 es una isometr a, entonces el producto de las curvaturas principales de S1 en p S1 es igual al producto de las curvaturas principales de S2 en (p) S2 . Denici on 2.4. Dada una supercie S , denimos la curvatura de Gauss en p S como el producto de las curvaturas principales. Denotaremos a esta funci on como K : S R. El Teorema 2.5 establece que la curvatura de Gauss en una supercie no depende de la forma c omo la supercie yace en R3 , sino de la forma de medir en ella, es decir, es un invariante isom etrico. Esto explica por qu e la curvatura de Gauss de un cilindro es cero, pues f acilmente se puede ver que localmente un cilindro es isom etrico a un plano. Denici on 2.5. Sea S una supercie regular. Dada una curva diferenciable : [a, b] S , diremos que es una geod esica si (t) es perpendicular a la supercie para todo t (a, b). Teorema 2.6. Sea S una supercie regular y g : = {(u, v ) R2 : u 0, v 0, u + v 0} S una funci on diferenciable tal que las

161

Revista Tumbaga (2008), 3, 157-173

scar M. Perdomo
6

curvas i : [0, 1] S dadas por 1 (t) = g (t, 0), 2 (t) = g (1 t, t) y 3 (t) = g (0, 1 t) son geod esicas, entonces K = 1 + 2 + 3 ,
g ()

angulos internos del tri angulo formado por las donde los i son los tres geod esicas, por ejemplo, 1 es el (0) y angulo entre los vectores 1 3 (1). En el teorema anterior, una forma de denir g() K es como la integral g g K (g (u, v )) (u, v )dudv. u v El Teorema 2.6 ratica el hecho de que la curvatura de Gauss s olo depende de la forma de medir en S , pues el teorema nos dice que la curvatura de Gauss en un punto es, aproximadamente, el cociente a b donde a es la diferencia entre la suma de los angulos internos de un tri angulo geod esico peque no que contiene a p y , y b es el area del tri angulo. Este teorema extiende el teorema de Geometr a Euclidiana que establece que la suma de los angulos internos de un tri angulo en un plano es . 2.4. Resultados de Geometr a Riemanniana motivados por la conferencia de Riemann. La primera noci on que trata de denir Riemann en su conferencia es la de variedad n-dimensional. Para Riemann era evidente que una variedad riemanniana n-dimensional es un conjunto que localmente es difeomorfo a un subconjunto abierto de Rn , un conjunto en el cual, localmente, todo punto queda completamente determinado por n n umeros. Observemos los siguientes apartes de su conferencia que abordan el problema de denir el concepto de variedad.
Aparte 1: ... una variedad extendida simple, cuya caracter stica esencial es que a partir de un punto en ella, un movimiento cont nuo s olo es posible en dos direcciones, hacia adelante y hacia atr as. Si uno imagina que de esta variedad se pasa a otra, completamente diferente y, una vez m as, en una forma bien determinada, es decir, de forma que todos los puntos pasan a puntos bien determinados en la otra variedad, entonces el ejemplo construido es una variedad extendida doble. De la misma forma, uno obtiene una variedad extendida triple cuando uno imagina que de una variedad extendida doble, uno pasa a otra variedad extendida doble completamente diferente y de una manera bien determinada. Es f acil ver como se puede continuar con esta construcci on.

Revista Tumbaga (2008), 3, 157-173

162

SOBRE EL NACIMIENTO DE LA GEOMETRA RIEMANNIANA

Aparte 2: ... En otras palabras, nosotros tomamos en una variedad dada una funci on continua que depende de la posici on la cual no es constante en ninguna parte de la variedad. Cada sistema de puntos donde la funci on tiene un valor constante forma una variedad de dimensi on menor que la original. Estas variedades pasan continuamente de una a la otra cuando la funci on cambia; as uno puede pensar que todas ellas emanan de una de ellas, y generalmente hablando, esto ocurrir a en tal forma que cada punto de la primera pasa a un punto bien denido de cualquier otra; los casos excepcionales, cuya investigaci on es importante, no ser a necesario considerarlos ac a. De esta manera, la determinaci on de la posici on en una variedad queda reducida a una determinaci on num erica y a la determinaci on de la posici on en una variedad de menor dimensi on. Es f acil mostrar que esta variedad tiene dimensi on n 1, si la variedad inicial tiene dimensi on n. Repitiendo este proceso n veces, se tiene que la determinaci on de la posici on en una variedad extendida n-dimensional queda reducida a la determinaci on de n n umeros...

Pasemos a dar una denici on de variedad para avanzar en nuestro recorrido por la Geometr a Diferencial. Denici on 2.6. Diremos que un conjunto M RN es una variedad n-dimensional, si para cada p M existe un abierto U de RN que contiene a p y una funci on inyectiva y diferenciable : (a1 , b1 + ) (an , bn + ) M
, . . . , x son linealmente independientes en RN tal que los vectores x n 1 para todo punto (x1 , . . . , xn ) en el dominio de , y tal que

((a1 , b1 ) (an , bn )) = M U. Las n funciones a las que hace referencia Riemann y que determinan la posici on de un punto en una variedad son las funciones coordenadas, m as precisamente las funciones fi = i 1 donde i : Rn R es la i- esima proyecci on, i (x1 , . . . , xn ) = xi . F acilmente se puede vericar que, efectivamente, el conjunto de puntos en M U , que son enviados por la funci on fi a una constante ci , es una variedad (n1)-dimensional; m as precisamente la (n 1)-variedad dada por los puntos de la forma {(x1 , . . . , xi1 , ci , xi+1 , . . . , xn ) : xj (aj , bj )}. El paso continuo de las variedades de dimensi on menor a las que se refer a Riemann cuando la funci on cambia es el cambio de las variedades f 1 (c) cuando c var a. La denici on que estamos brindando no es exactamente la que Riemann ten a en mente, pues el quer a denir un modelo apropiado para

163

Revista Tumbaga (2008), 3, 157-173

scar M. Perdomo
8

el universo, y para el, nuestro universo no est a contenido dentro de otro conjunto. La raz on por la cual brindamos esta denici on es que ella facilita la denici on de vector tangente y porque, debido al teorema de encaje isom etrico de Nash (1956), no se pierde generalidad con respecto a las deniciones abstractas de variedad. En su conferencia Riemann se refer a a las variedades n-dimensionales tambi en como variedades extendidas n-dimensionales y como cantidad extendida m ultiple. Antes de denir m etricas riemannianas es necesario dar el concepto de vector tangente y de espacio tangente a la variedad en un punto dado. Teorema 2.7. Sea M RN una variedad n-dimensional y p un punto en M . El conjunto { (0) : : (, ) M con (0) = p}

es un espacio vectorial ndimensional llamado espacio tangente a M en p y denotado Tp M ; m as a un, si es una funci on como en la deni0 ci on de variedad y (x ) = p entonces
Tp M = subespacio generado por los vectores 0 0 (x ), . . . , (x ). x1 xn

Una vez tenemos la noci on de espacio tangente, la observaci on b asica est a en la f ormula para hallar la longitud de una curva dada en el Teorema 2.1. N otese que para calcular la longitud de una curva basta saber c omo calcular la norma de los vectores velocidad en cada punto de la curva. Por tanto, si denimos una norma en cada espacio tangente, podremos calcular la longitud de cualquier curva en M (ver Apartes 5 y 6). Riemann supone que esta norma var a continuamente con respecto a los puntos en la variedad, y tambi en supone que esta norma proviene de un producto interno como lo dicen los Apartes 4,5,6 y 7. Es decir, Riemann supone que en cada punto p M se tiene una forma bilineal sim etrica denida positiva g (p) : Tp M Tp M R. Ya que Riemann no ten a la denici on moderna de espacio tangente, el trabaj o estos conceptos localmente usando las funciones coordenadas; as , una curva en la variedad : [a, b] M determina una u nica curva que depende de las variables (t) = (x1 (t), . . . , xn (t)). En el caso en que las coordenadas sean las funciones 1 , entonces la curva ser a la curva 1 . La denici on de esta curva es explicada por Riemann en el Aparte 3. Por la regla de la cadena tenemos que (t) =
n i=1

x i (t)

((t)). xi

Revista Tumbaga (2008), 3, 157-173

164

SOBRE EL NACIMIENTO DE LA GEOMETRA RIEMANNIANA

Por tanto, la norma del vector (t) viene dada por

n g ( (t))( (t), (t)) = xi (t)x j (t)gij (x1 (t), . . . , xn (t)),
i,j =1

donde las funciones gij son funciones denidas en el dominio de dadas por la expresi on
gij (x) = g ((x))( (x), (x)). xi xj

La simetr a de g implica que gij = gji ; por consiguiente, s olo se necen(n+1) etrica riemanniana localsitan 2 funciones para determinar una m mente en M . Pero ya que las funciones gij dependen de las coordenadas, y casi toda escogencia de n funciones determina un nuevo sistema de coordenadas, entonces la escogencia adecuada de coordenadas nos +1) permite predeterminar n de las n(n2 funciones que denen la m etrica n(n1) y, por tanto, para determinar la m etrica se necesitan 2 funciones. Este argumento de conteo hecho por Riemann en el Aparte 8 es de suma importancia, y como se explicar a despu es, el establece un teorema probado casi cien a nos despu es por Cartan en una versi on local, y por Ambrose en una versi on global (1956), el cual establece esencialmente que la curvatura determina la m etrica. La explicaci on del casi todaen el argumento que se acaba de hacer es que si tomamos n funciones en un subconjunto abierto de Rn y miramos sus gradientes en un punto dado, entonces ellos son n vectores en Rn ; si estos n vectores son linealmente independientes, entonces estas n funciones determinan un cambio local de coordenadas por el teorema de la funci on inversa. Pero ya que casi todas las matrices n n son invertibles porque el conjunto 2 de matrices invertibles n n es denso en Rn , entonces se tendr a que en general estos vectores gradientes ser an linealmente independientes y, por tal raz on, estas n funciones determinar an, casi siempre, un cambio de coordenadas.
Aparte 3: ... la posici on de un punto en una variedad extendida n-dimensional queda expresada por n cantidades x1 , x2 hasta xn , entonces para especicar una l nea equivale a dar las cantidades x = (x1 , . . . , xn ) como funciones de una variable. Aparte 4: ... me limitar e a l neas cuyas cantidades de radio dx -el incremento en la cantidad x- var a continuamente. Aparte 5: ... El problema entonces se reduce a encontrar una expresi on del elemento de l nea ds en cada punto, una expresi on la cual involucre las cantidades x y las cantidades dx.

165

Revista Tumbaga (2008), 3, 157-173

scar M. Perdomo
10

Aparte 6: ... Bajo estas condiciones, el elemento de l nea debe ser una funci on homog enea de primer orden en la cantidad dx y debe permanecer igual cuando la cantidad dx cambia de signo, y en la cual los coecientes de la funci on homog enea son funciones de la cantidad x. Aparte 7: ... Consecuentemente me restringir e a aquellas variedades cuyo elemento de l nea puede ser expresado por la ra z cuadrada de una expresi on diferencial de segundo orden. Aparte 8: ... Ya que la expresi on contiene n n+1 2 coecientes los cuales son funciones arbitrarias de las variables independientes, al introducir nuevas variables uno puede lograr que n de estos n n+1 2 1 coecientes tomen valores dados. Por tanto los otros n n , quedan 2 completamente determinados por la naturaleza de la variedad que 1 ellos est an representando; as , n n funciones de la posici on son 2 necesarias para determinar las relaciones m etricas.

Despu es del u ltimo argumento que expusimos (explicado por Riemann en el Aparte 8), el se da cuenta de que para continuar estudiando las propiedades de la m etrica es necesario limitar esta exibilidad del cambio de coordenadas, y toma unas coordenadas que se construyen de una manera geom etrica. Antes de explicar las coordenadas que introdujo Riemann, mencionaremos un teorema, probado por Nash en 1956, que nos facilitar a la denici on de geod esica. Denici on 2.7. Una variedad M donde se ha denido una m etrica riemanniana es llamada una variedad riemanniana. Dada una curva diferenciable : [a, b] M , denimos la longitud de como b l() = g ((t))( (t), (t))dt.
a

Denici on 2.8. Diremos que dos variedades riemanniana n-dimensionales M1 y M2 son isom etricas si existe una funci on diferenciable y biyectiva h : M1 M2 tal que para toda curva : [a, b] M1 se tiene que la longitud de es igual a la longitud de h : [a, b] M2 . La funci on h es llamada una isometr a. Teorema 2.8 (Nash, 1956). Toda variedad riemanniana M1 RN1 es isom etrica a una variedad riemanniana M2 RN2 con la propiedad de que el producto punto entre dos vectores tangentes a M2 es el producto punto euclidiano en RN2 . En particular, las curvas en M2 se miden como si estuviesen en RN2 . Haciendo uso de este teorema, en adelante supondremos que la m etrica en las variedades que consideremos ser a tal que las curvas en ella

Revista Tumbaga (2008), 3, 157-173

166

SOBRE EL NACIMIENTO DE LA GEOMETRA RIEMANNIANA

11

se miden como si estuviesen en el espacio euclideano ambiente que las contiene. Denici on 2.9. Sea M una variedad riemanniana. Dada una curva diferenciable : [a, b] M , diremos que es una geod esica si (t) es perpendicular al espacio tangente T(t) M para todo t (a, b). El siguiente teorema es una consecuencia del teorema de existencia y unicidad para ecuaciones diferenciales ordinarias. Teorema 2.9. Sea M una variedad riemanniana y p M un punto en ella. a. Para todo vector tangente v Tp M en p, existe una unica geod esica v : [0, a] M tal que v (0) = p y v (0) = v . b. La funci on denida por expp (v ) = v (1) que toma vectores tangentes en p y los env a a puntos en M est a bien denida en W = {v Tp M : g (p)(v, v ) < } para alg un . c. La inversa de la funci on expp dene coordenadas en M . on exponencial. Como se La funci on expp es conocida como la funci aprecia en el Aparte 9, las coordenadas dadas por la funci on exponencial eran las que Riemann decidi o jar para hacer su estudio de la m etrica, pues no es dif cil probar que para cada v Tp M , expp (v ) es un punto en la variedad que se encuentra a una distancia |v |, en la geod esica que parte de p con direcci on v .
Aparte 9: ... Construiremos un sistema de l neas m as cortas que parten de un punto dado; as , la posici on de un punto arbitrario puede ser determinado por la direcci on inicial de la l nea m as corta el cual lo contiene, y su distancia, en esta l nea, desde el punto inicial.

Lo siguiente que expone Riemann es la noci on de curvatura. El signicado geom etrico de la curvatura de una variedad fue explicado de una manera muy clara por Riemann en el Aparte 10 usando el Teorema 2.5, probado por Gauss. A nos despu es, para dar una denici on precisa de la curvatura fue necesario introducir la noci on de tensor, noci on que fue elaborada principalmente por Ricci durante los a nos 1887 y 1896.
Aparte 10: ... Para dar un signicado tangible a la curvatura de una variedad extendida n-dimensional en un punto dado, y en la direcci on de una supercie que pasa a trav es de el, nosotros primero mencionaremos que la linea m as corta que emana de un punto est a completamente determinada si su direcci on inicial est a dada. Consecuentemente nosotros obtendremos cierta supercie si nosotros prolongamos todas las direcciones, en l neas m as

167

Revista Tumbaga (2008), 3, 157-173

scar M. Perdomo
12

cortas dentro de la variedad, a partir del punto dado que est an en el elemento de supercie dado. Esta supercie que se obtiene posee una curvatura bien denida en el punto dado, la cual es la curvatura de la variedad extendida n dimensional en el punto dado en la direcci on de la supercie dada.

N otese que la primera frase del Aparte 10 hace referencia a la parte a. del Teorema 2.9. Ya que Riemann no ten a una denici on precisa de espacio tangente, el hace referencia a la curvatura en la direcci on de una supercie que pasa por un punto. Esta curvatura que dene Riemann es conocida en la actualidad como la curvatura seccional, y ella asigna a cada subespacio bidimensional de Tp M un n umero real. Cabe destacar que en lugar de hablar de la curvatura en la direcci on de la supercie, se habla de la curvatura seccional en un subespacio bidimensional, la identicaci on hecha es: todo subespacio bidimensional determina una direcci on con respecto a una supercie que tenga este subespacio como su plano tangente. La supercie a la cual se le calcula la curvatura de Gauss, cuyo valor es la curvatura seccional en el subespacio bidimensional Tp M , es la supercie = {expp (v ) : |v | < and v }.

Esta supercie es la que se obtiene al prolongar las geod esicas que parten de p con vector velocidad en el subespacio Tp M . El siguiente aparte explica c omo las variedades con curvatura seccional constante modelan una de las propiedades primordiales del concepto que ten a Euclides sobre lo que deber a ser una geometr a. M as precisamente, la propiedad de la invariancia de los objetos bajo movimientos euclidianos.
Aparte 11: ... Las variedades cuya curvatura es 0 en todas partes, pueden ser consideradas como un caso especial de aquellas variedades cuya curvatura es constante en todas partes. La caracter stica com un de estas variedades cuya curvatura es constante puede expresarse como sigue: toda gura puede moverse sin ser estirada. Obviamente, las guras no podr an ser trasladadas libremente y rotadas dentro de la variedad si la curvatura no fuese la misma en todas las direcciones y en todos los puntos. Por otra parte, las propiedades m etricas de una variedad est an completamente determinadas por la curvatura;...

Usando la noci on de geometr a riemanniana, Riemann da un primer ejemplo concreto para una geomet a no euclidiana, como lo muestra el Aparte 12. En 1829, Lobachevsky y Bolyai construyeron independientemente un sistema de geometr a en el cual se ten a que a trav es de un

Revista Tumbaga (2008), 3, 157-173

168

SOBRE EL NACIMIENTO DE LA GEOMETRA RIEMANNIANA

13

punto exterior a una recta pasaba m as de una paralela. En 1854 cuando Riemann dio su conferencia Sobre las hip otesis que son cimientos de la geometr a, a un hab a confusi on sobre las geometr as no euclidianas y los ejemplos de Lobachevsky y Bolyai no eran aceptados por completo.
Aparte 12: Las relaciones m etricas de estas variedades con curvatura constante , pueden ser mencionadas, con respecto a una presentaci on anal tica, usando la siguiente expresi on para el elemento de linea 1 dx2 i. 2 1+ 4 |x|

El ejemplo concreto ser a tomar = 4, n = 2 y el dominio de 2 la m etrica como el conjunto B = {(x1 , x2 ) : x2 1 + x2 < 1}. Se puede vericar que las geod esicas de esta variedad riemanniana son porciones de circunferencia en B que cortan perpendicularmente a la circunferencia unidad B , o porciones de l neas que pasan por el origen. Todas las geod esicas en este espacio tienen longitud innita; veriquemos por ejemplo que efectivamente la geod esica (t) = (t, 0) donde 1 < t < 1 tiene longitud innita. Usando la f ormula de la Denici on 2.7 se tiene que 1 1 1 1 1 2 1 l() = + ))dt = . ( (1 t ) dt = ( 2 1 t 1 + t 1 1 Este modelo de geometr a se puede apreciar en algunos cuadros de Escher; para citar uno en particular, pensemos en el cuadro que lleva como t tulo L mite circular IV, cielo e inerno podemos ver que no todos los diablos y angeles tienen la misma area, lo cual es cierto desde el punto de vista de m etrica euclidiana; sin embargo, si medimos usando la m etrica en el disco B dada por Riemman en el Aparte 12, se puede pensar que todos los diablos tiene la misma area al igual que los angeles tienen la misma area, como un resultado; dadi que hay innitos angeles e innitos diablos, se tiene que el area de la bola, con esta m etrica, no es nita. La demostraci on de que, en una variedad con curvatura seccional constante, toda porci on de variedad puede trasladarse a cualquier otro punto de la variedad y rotarse en cualquier direcci on fue realizada por Cartan (1951). En esta misma referencia, Cartan tambi en demuestra que las curvaturas seccionales determinan la m etrica como lo sugiere Riemann en el siguiente aparte:
Aparte 13: ... Previamente se hab a discutido que eran nece1) sarias n(n2 funciones para determinar las relaciones de la m etrica en una variedad extendida ndimensional, por tanto, si la cur1) vatura es dada en n(n2 direcciones de supercies en cada punto,

169

Revista Tumbaga (2008), 3, 157-173

scar M. Perdomo
14

entonces las relaciones m etricas de la variedad pueden ser determinadas ...

2.5. Fundamentos de la Teor a General de la Relatividad dados en la conferencia de Riemann. La tercera y u ltima parte de la charla de Riemann se titul o Aplicaciones al espacio. Aqu , y en general en toda su charla, Riemann dio a entender que el objetivo principal de los conceptos que acababa de crear era el de entender el espacio donde vivimos. Para el, era claro que nuestro espacio era tridimensional, pero no aceptaba el hecho de que las mediciones en el universo debiesen hacerse usando el teorema de Pit agoras; para Riemann nuestro universo no ten a curvatura cero. Riemann armaba, como se puede apreciar en el siguiente aparte, que la m etrica del espacio deb a ser deducida de las propiedades f sicas, de la experiencia.
Aparte 14: ... A partir de esto, sin embargo, es una consecuencia necesaria que los teoremas de geometr a no pueden ser deducidos de la noci on general de variedad, sino de aquellas propiedades que distinguen el espacio de cualquier otra cantidad extendida triple concebible y que s olo pueden ser deducidas de la experiencia.

Combinando el Aparte 14 con el Aparte 13, observamos que para Riemann la naturaleza, o la experiencia, determina la m etrica del espacio; la curvatura determina la m etrica y, obviamente, la m etrica determina la curvatura. Por tanto, para Riemann, de alguna forma hab a que determinar la m etrica del espacio observando la naturaleza. Esto es lo que precisamente se hace en la Teor a General de la Relatividad: de la observaci on se deduce lo que es conocido como el tensor de energ a-momento, conocer este tensor determina la curvatura del espacio (o ciertos promedios que son llamados curvatura de Ricci), y este conocimiento de la curvatura determina la m etrica, como lo armaba Riemann. Vemos as que la parte fundamental de la Teor a de la Relatividad se empez o a gestar desde el comienzo de la Geomet a Riemanniana. Algunas diferencias entre la idea primera de Riemann y el resultado nal de esta idea dado por Einstein, se dieron ya que, por razones f sicas, fue necesario considerar el tiempo como parte de la variedad por estudiar; esto implicaba estudiar una variedad tetradimensional, el espacio-tiempo, en lugar de una variedad tridimensional. Al incluir el tiempo como nueva cantidad de la variedad, se observa de inmediato que esta cantidad no se comporta como las dem as, pues f acilmente podemos ir y regresar a un lugar pero no podemos devolvernos en el tiempo. Esta observaci on implic o que deb a usarse una forma de medir distancias que tuviese esto en cuenta. El trabajo de distinguir la

Revista Tumbaga (2008), 3, 157-173

170

SOBRE EL NACIMIENTO DE LA GEOMETRA RIEMANNIANA

15

variable tiempo de las dem as lo hacen las m etricas semi-riemannianas, que son esencialmente las mismas, pero cambiando la condici on sobre las m etricas riemannianas de ser una forma bilineal denida positiva, por la condici on de ser una forma bilineal no degenerada. El siguiente aparte muestra un muy bonito argumento dado por Riemann, que indica que es probable que nuestro universo sea nito (en el sentido de que tiene un di ametro nito). Este modelo de universo fue tambi en sugerido por Einstein.
Aparte 15: ... La carencia de frontera del espacio consecuentemente tiene una certeza emp rica m as grande que cualquier experiencia del mundo externo. Pero su innitud no se tiene; es m as, el espacio deber a ser necesariamente nito si uno supone la independencia de los cuerpos con respecto a su posici on, y si se supone que nuestro espacio tiene curvatura constante positiva, aun si el valor de la curvatura es muy peque no.

El argumento parte del supuesto de que un cuerpo determinado se puede llevar a cualquier parte del universo y puede ser puesto en cualquier direcci on sin que el cuerpo en cuesti on se distorsione. Luego, teniendo en cuenta lo explicado en el Aparte 11, se tiene que la curvatura del espacio debe ser constante, y en caso de que esta curvatura sea positiva, Riemann arma, en el Aparte 15, que el espacio debe ser nito. El Aparte 15 en el que Riemann arma que espacios con curvatura constante positiva son nitos, se generaliz o al siguiente corolario de un teorema probado por Myers. Corolario 2.1 (Myers, 1941). Sea M una variedad riemanniana completa. Si M tiene curvatura seccional positiva, entonces M debe ser compacta. Riemann tambi en considera el caso en que los cuerpos no se pueden transladar o rotar de un punto a otro sin ser distorsionados; al hacer esta consideraci on empieza a darse cuenta de la dicultad que se presenta al modelar el universo con una variedad riemanniana. Veamos el aparte donde anota esta observaci on.
Aparte 16: ... Pero si suponemos que una independencia de los cuerpos con respecto a la posici on no existe, entonces uno no puede sacar conclusiones acerca de las relaciones m etricas en lo innitamente peque no de lo innitamente grande; en cada punto la curvatura puede tener valores arbitrariamente peque nos en tres direcciones, bajo el solo supuesto de que las curvaturas en cada porci on medible de espacio no sean perceptiblemente diferentes de cero.

171

Revista Tumbaga (2008), 3, 157-173

scar M. Perdomo
16

Terminaremos esta secci on citando los siguiente apartes que muestran que Riemann sospechaba que la Teor a de la Relatividad tendr a limitaciones modelando la f sica de distancias peque nas.
Aparte 17: ... Estas circunstancias son importantes cuando las determinaciones emp ricas son extendidas m as all a de los l mites de la observaci on en lo inmesurablemente grande y lo inmesurablemente peque no; para lo u ltimo puede obviamente ser m as inexacto m as all a de la frontera de la observaci on que para el primero. Aparte 18: ... Ahora parece ser que las nociones emp ricas en las cuales se basa la determinaci on de la m etrica, los conceptos de cuerpos s olidos y el de rayos de luz, pierden su validez en lo innitamente peque no, y de esta manera es muy concebible que las relaciones m etricas del espacio en lo relacionado con lo innitamente peque no no se puedan confrontar con las hip otesis de geometr a. Aparte 19: La pregunta de la validez de las hip otesis de la geometr a en lo innitamente peque no est a conectada con la pregunta de las bases para determinar las relaciones m etricas del espacio. En conexi on con esta pregunta, la cual en realidad a un est a en el marco del estudio del espacio, el comentario que hicimos anteriormente aplica en este caso, es decir: en una variedad discreta los principios de relaciones m etricas est an ya contenidos en el concepto de variedad, pero en una variedad continua deben de venir de alg un otro sitio. De esta manera se tiene que, o la realidad que subyace nuestro espacio debe constituir una variedad discreta, o las bases de las relaciones m etricas deben ser buscadas afuera de ellas, en conexi on con las fuerzas que act uan sobre ellas.

El u ltimo aparte, a pesar de no ser muy claro, da a entender que Riemann intu a que para manejar distancias peque nas era necesario trabajar con cantidades discretas. Esta es la esencia de la mec anica cu antica. Referencias
1. Ambrose, W. (1956). Parallel translation of Riemannian curvature. Ann. of Math., 64, 337-363. 2. Cartan, e. (1951). Le cons sur la G eom etrie des Espaces de Riemann (2` eme edition). Paris, Gauthier-Villard. 3. Myers, S. B. (1941). Riemannian manifolds with positive mean curvatura. Duke Math. J., 8, 401-404. 4. Nash, J. F. (1956). The imbedding problem for Riemannian manifolds. Ann. of. Math., 63, 20-63.

Revista Tumbaga (2008), 3, 157-173

172

SOBRE EL NACIMIENTO DE LA GEOMETRA RIEMANNIANA

17

5. Riemann, B. (1854). Uber die Hypothesen, welche der Geometrie zu Grunde liegen. Habilitationsschrift presentada a la Facultad de Filosof a de la Universidad de G ottingen y publicada despu es de la muerte de su autor en los Abhandlungen der K oniglichen Gesellschaft der Wissenschaften zu G ottingen, 13 (1867), 133-152. Reimpresa en Mathematische Werke (1892), bajo la supervisi on de H. Weber y R. Dedekind, segunda edici on, 1892. Traducci on inglesa de W. K. Cliord, On the Hypotheses which lie at the Bases of Geometry, Nature, 8 (183-184), 14-17, 36, 37. 6. Spivak, M. (1979). A Comprehensive Introduction to Dierential Geometry (Vol. II). Publish or Perish Inc. Referencia Recepci on Aprobaci on Perdomo, O. M. Referencia Sobre el nacimiento Recepcin Aprobacin de la Geometr a Riemanniana. 11/2/2008 3/4/2008 PERDOMO, O. M. Sobre el nacimiento de la Revista Tumbaga (2008), 3, 1-17 Da/mes/ao Da/mes/ao
Geometra Riemanniana. Revista Tumbaga (2008), 3, 157-173 11/02/2008 03/04/2008

173

Revista Tumbaga (2008), 3, 157-173