Sobre las hiptesis que sirven de fundamento a la o geometr a

Traduccin de la memoria pstuma de B. Riemann, publicada por o o R. Dedekind e inclu en el tomo XIII de las memorias de la Sociedad da de Ciencias de Gttingen (1876) o

Plan de estudio Se sabe que la Geometr admite como dado a priori no slo el cona o cepto de espacio, sino tambin las primeras ideas fundamentales de las e construcciones en el espacio. Puesto que no da de estos conceptos sino deniciones nominales, las determinaciones esenciales se introducen bajo forma de axiomas. Las relaciones mutuas de estos datos primitivos permanecen envueltas en el misterio; no se percibe bien si estn a necesariamente ligadas entre s ni hasta que punto lo estn, ni siquiera , a a priori si pueden estarlo. Desde Euclides hasta Legendre, por no citar sino al ms ilustre de a los reformadores modernos de la Geometr nadie entre los matemtia, a cos ni entre los lsofos ha venido a aclarar este misterio. La razn es o o que el concepto general de las magnitudes de dimensin mltiple, que o u comprende como caso particular las magnitudes extensas, no ha sido jams objeto de ningn estudio. En consecuencia, yo me he planteado a u primero el problema de construir, partiendo del concepto general de magnitud, el concepto de magnitud de dimensiones mltiples. Se deu ducir que una magnitud de dimensiones mltiples es subceptible de a u diferentes relaciones mtricas, y que el espacio no es, por tanto, ms e a que un caso particular de una magnitud de tres dimensiones. Se deduce de esto, necesariamente, que las proposiciones de la geometr a no pueden deducirse del concepto general de magnitud, sino que las propiedades por las cuales el espacio se distingue de toda otra magnitud imaginable de tres dimensiones no pueden ser deducidas ms que a por la experiencia. De aqu surge el problema de buscar los hechos ms simples por medio de los cuales puedan establecerse las relaciones a mtricas del espacio, problema que, por la naturaleza misma del objee to, no est completamente determinado; pues se pueden indicar varios a sistemas de hechos simples, sucientes para la determinacin de las reo laciones mtricas del espacio. El ms importante, para nuestro objeto e a

Sobre las hiptesis que sirven de fundamento a la geometr o a

actual, es el que Euclides ha tomado por base. Estos hechos, como todos los hechos posibles, no son necesarios; no tienen sino una certeza emp rica y constituyen las hiptesis. Se puede, pues, estudiar su probao bilidad, que es ciertamente muy considerable dentro de los l mites de observacin, y juzgar por esto del grado de seguridad de la extensin de o o estos hechos fuera de estos mismos l mites, tanto en el sentido de los inconmensurablemente grandes, como en el de los inconmensurablemente pequeos. n 1. Concepto de magnitud de n dimensiones

Ensayando a tratar el primero de estos problemas, relativo al desarrollo del concepto de magnitud de dimensiones mltiples, me creo u obligado a solicitar la indulgencia de los lectores, puesto que estoy menos ejercitado en los trabajos loscos de esta naturaleza, en donde la o dicultad reside ms en la concepcin que en la construccin, y en dona o o de excepto algunas breves indicaciones dadas por Gauss en su segunda memoria sobre los residuos bicuadrticos, en las gelehrte Anzeigen de a Gttingen y en su memoria de jubilacin, y de algunas investigacioo o nes loscas de Herbart, no he podido ayudarme de ningn trabajo o u anterior. 1. Los conceptos de magnitud no son posibles ms que all en a donde un concepto general permite diferentes modos de determinacin. o Segn que sea, o no, posible pasar de uno de estos modos de determiu nacin a otro de una manera continua, forman una variedad continua o o una variedad discreta; cada uno en particular de estos modos de determinacin se llama en el primer caso un punto, en el segundo un o elemento de esta variedad. Los conceptos en que los modos de determinacin forman una variedad discreta son muy frecuentes, pues dando o objetos cualesquiera se encuentra siempre, por lo menos en las lenguas cultivadas, un concepto que los comprende (y los matemticos estn a a por consecuencia en el derecho, en la teor de las magnitudes discretas, a de tomar por punto de partida la condicin de que los objetos dados se o consideren como de la misma especie). Por el contrario, las ocasiones que pueden hacer nacer los conceptos en que los modos de determinacin forman una variedad continua, son tan raros en la vida ordinaria, o que los lugares de los objetos sensibles y los colores son casi los unicos conceptos simples cuyos modos de determinacin forman una variedad o de varias dimensiones. Solamente en la alta matemtica las ocasiones a para la formacin y el desarrollo de estos conceptos son ms frecuentes. o a Una parte de una variedad, separada del resto por una marca o por un l mite, se llama quantum. La comparacin de los quantos, desde el o punto de vista de la cantidad, se efecta por las magnitudes discretas, u contando; o por las magnitudes continuas por medio de la medida. La

Sobre las hiptesis que sirven de fundamento a la geometr o a

medida consiste en una superposicin de magnitudes para compararo los; es necesario, pues, para medir, tener un medio de transportar la magnitud que sirve de patrn de medida sobre las otras. Si falta este o medio, no se podrn comparar entre s dos magnitudes, ms que si una a a de ellas es una parte de la otra, y aun en este caso, no se podr dea cidir ms que la cuestin de ms grande o ms pequeo, y no la de a o a a n razn numrica. Las investigaciones a las que puede dar lugar este caso o e forman una rama general de la teor de magnitudes, independiente a de las determinaciones mtricas, en la cual ellas no son consideradas e como existentes independientemente de la posicin, ni como expresao bles por medio de una unidad, sino como regiones en una variedad. Tales investigaciones se han hecho necesarias en varias partes de las matemticas, especialmente para el estudio de las funciones anal a ticas de varios valores, y es sobre todo a causa de su imperfeccin que el cleo e bre teorema de Abel, as como los trabajos de Lagrange, Pfa, Jacobi, sobre la teor general de las ecuaciones diferenciales, han permanecido a estriles mucho tiempo. En esta rama general de la teor de las mage a nitudes extensas, en donde no se supone nada ms que lo que ya se a encierra en el concepto de estas magnitudes, nos bastar para nuestro a objeto jar nuestro estudio sobre dos puntos: relativo el primero sobre la generacin del concepto de una variedad de varias dimensiones; el seo gundo respecto al medio de referir las determinaciones de lugar en una variedad dada a determinaciones de cantidad, y es este ultimo punto el que har claramente sobresalir el carcter esencial de una extensin a a o de n dimensiones. 2. Dando un concepto en que los modos de determinacin foro man una variedad continua, si se pasa, de una manera determinada, de un modo de determinacin a otro, los modos de determinacin recorrio o dos formarn una variedad extendida en un solo sentido, cuyo carcter a a esencial es que en esta variedad no se puede, partiendo de un punto, ir de una manera continua ms que en dos direcciones, hacia adelante a o hacia atrs. Imaginemos ahora que esta variedad se transporta a su a vez sobre otra variedad completamente distinta, y sta todav de una e a manera determinada, es decir, tal que cada uno de sus puntos se transporte en un punto determinado de la otra variedad; el conjunto de los modos de determinacin as obtenido formar una variedad de dos dio a mensiones; se obtendr anlogamente una variedad de tres dimensiones a a si se concibe que una variedad de dos dimensiones se transporta de una manera determinada sobre otra completamente distinta, y es fcil ver a cmo se puede continuar esta construccin. Si en lugar de considerar el o o concepto como determinable se considera su objeto como variable, se podr designar esta construccin como la composicin de una variabia o o lidad de n + 1 dimensiones por medio de una variabilidad de una sola direccin. o

Sobre las hiptesis que sirven de fundamento a la geometr o a

3. Voy ahora a mostrar que rec procamente cmo una variabilio dad en que el campo est dado, se puede descomponer en una variabilia dad de una dimensin y una variabilidad de un nmero de dimensiones o u menor. Supongamos para esto una porcin variable de una variedad de o una dimensin contada a partir de un punto jo, de manera que estos o valores sean comparables entre s supongamos que esta porcin tenga, ; o para cada punto de la variedad dada, un valor determinado, cambiando con este punto de una manera continua; o en otros trminos, imaginee mos, en el interior de la variedad dada, una funcin continua del lugar, o funcin que no sea constante a lo largo de una porcin de esta vao o riedad. Todo este sistema de puntos, para los cuales la funcin tiene o un valor constante, forma entonces una variedad continua de menor nmero de dimensiones que la variedad dada. Estas variedades, si se u hace variar la funcin, se transforman de una manera continua unas en o otras; se podr, pues, admitir que una de ellas engendra las otras, y a esto podr tener lugar, en general, de manera que cada punto de una a se transporte en un punto determinado de la otra. Los casos de excepcin, cuyo estudio es importante, pueden dejarse aqu de lado. Por o tanto, la determinacin de posicin en una variedad dada se reduce o o a una determinacin de magnitud y a una determinacin de posicin o o o en una variedad de menor nmero de dimensiones. Ahora es fcil ver u a que esta ultima variedad tiene n 1 dimensiones cuando la variedad dada tiene n. Repitiendo n veces este procedimiento, la determinacin o de posicin en una variedad de n dimensiones se reducir a n detero a minaciones de magnitud, y as la determinacin de posicin en una o o variedad dada, cuando esto es posible, se reduce a un nmero nito de u determinaciones de cantidad. Pero existen variedades en las cuales la determinacin de la posicin exige, no un nmero nito, sino una serie o o u innita, o una variedad continua de determinaciones de magnitudes. Tales son, por ejemplo, las variedades formadas por las determinaciones posibles de una funcin en una regin dada, por las formas posibles o o de una gura en el espacio, etc.

2.

Relaciones mtricas de las que es susceptible una e variedad de n dimensiones, en la hiptesis de que las o l neas poseen una longitud independiente de su posicin, o y siendo toda l nea medible por cualquier otra l nea

Despus de haber construido el concepto de una variedad de n die mensiones, y encontrar como carcter esencial de tal variedad la proa piedad de que la determinacin de la posicin puede reducirse a n o o determinaciones de magnitud, llegamos al segundo de los problemas enunciados ms arriba, conocer el estudio de las relaciones mtricas de a e que es susceptible tal variedad, y de las condiciones sucientes para la determinacin de estas relaciones mtricas. Estas relaciones mtricas o e e

Sobre las hiptesis que sirven de fundamento a la geometr o a

no pueden estudiarse ms que como conceptos de magnitudes abstraca tas y su dependencia no se puede representar por frmulas. En ciertas o hiptesis, sin embargo, son descomponibles en relaciones que tomadas o separadamente, son susceptibles de una representacin geomtrica y, o e por tanto, es posible expresar geomtricamente los resultados del clcue a lo. As para llegar a un terreno slido, no se puede, verdaderamente, , o evitar en las frmulas las consideraciones abstractas, pero por lo menos o los resultados del clculo se podrn representar bajo forma geomtrica. a a e Los fundamentos de estas dos partes de la cuestin se establecen en o la clebre memoria de Gauss Disquisitiones generales circa supercies e curvas. 1. Las determinaciones mtricas exigen la independencia entre las e magnitudes y la posicin, lo cual se puede realizar de varias maneras. o La hiptesis que se ofrece primero, y que yo desarrollar aqu es aqueo e , lla en la cual la longitud de las l neas es independiente de su posicin, o siendo, por tanto, cada l nea medible por medio de cada otra. La determinacin de la posicin se reduce a determinaciones de magnitudes, y la o o posicin de un punto en la variedad dada, siendo de n dimensiones; por o tanto, expresable por medio de n magnitudes variables x1 , x2 , . . . , xn , la determinacin de una l o nea se obtendr estableciendo que las cantidaa des x son dadas como funciones de una variable. El problema consiste entonces en establecer una expresin matemtica de la longitud de una o a l nea, y para esto es preciso considerar las cantidades. No tratar este e problema ms que bajo ciertas restricciones, y me limitar primero a a e las l neas en las cuales las relaciones entre los incrementos dx de las variables x correspondientes var de una manera continua. Entonces an se puede concebir las l neas descompuestas en elementos en el sentido en que las razones de las cantidades dx puedan mirarse como constantes, y el problema se reduce entonces a establecer para cada punto una expresin general del elemento lineal ds partiendo de ese punto, expreo sin que contendr as las cantidades x y las cantidades dx. Admito, o a en segundo lugar, que la longitud del elemento lineal, abstraccin heo cha de las cantidades de segundo orden, permanece invariable cuando todos los puntos de este elemento sufren un mismo desplazamiento innitamente pequeo, lo que implica al mismo tiempo que si todas las n cantidades dx decrecen en una misma razn, el elemento lineal var o a igualmente en esa razn. Admitidas estas hiptesis, el elemento lineal o o podr ser una funcin homognea cualquiera de primer grado de las a o e cantidades dx, que permanecer invariable cuando se cambia de signo a toda las cantidades dx, y en la cual las constantes arbitrarias sern n a funciones continuas de las cantidades x. Para encontrar los casos ms a simples, buscar primero la expresin del elemento lineal para las variee o dades de n 1 dimensiones, que son equidistantes en todos sus puntos del origen; es decir, buscar una funcin continua de la posicin que e o o

Sobre las hiptesis que sirven de fundamento a la geometr o a

distinga unas de otras. Esta funcin deber crecer o decrecer en todas o a las direcciones a partir del origen; admitir, que crece en todas las die recciones, y as tendr un m a nimo en el origen. Es necesario entonces, si sus cocientes diferenciales de primero y segundo orden son nitos, que la diferencial de primer orden se anule, y que la de segundo no sea jams negativa; admitir que permanezca siempre positiva. Esta exprea e sin diferencial de segundo orden permanece, pues, constante cuando o ds permanece constante y crece en la razn de los cuadrados, cuando o las cantidades dx y, por tanto, tambin ds var en una misma razn; e an o 2 ella ser, pues, igual constante a ds , y por consecuencia, ds igual a a la ra cuadrada de una funcin entera homognea de segundo grado, z o e siempre positiva, de las cantidades dx, en la cual los coecientes son funciones continuas de las cantidades x. Para el espacio, si se expresa la posicin del punto en coordenadas rectangulares, se tiene o ds = (dx)2

el espacio est, pues, comprendido en este caso el ms simple de toa a dos. El caso ms simple despus de ste comprende las variedades en a e e las cuales el elemento lineal ser expresado por la ra cuarta de una a z expresin diferencial de cuarto grado. El estudio de esta clase ms o a general no exigir principios esencialmente diferentes, pero s en cama bio mucho tiempo, y no contribuir mucho, relativamente, a aclarar la a teor del espacio, tanto ms que los resultados no se podrn expresar a a a geomtricamente. Me limitar a las variedades en las cuales el elemento e e lineal se expresa por la ra cuadrada de una expresin diferencial de z o segundo grado. Tal expresin puede transformarse en otra semejante, o reemplazando las n variables indepedientes por funciones de n variables nuevas independientes. Pero por este medio no se podr transformar a una expresin cualquiera en otra, pues la expresin contiene n(n + 1)/2 o o coecientes, que son funciones arbitrarias de las variables independientes; por la introduccin de nuevas variables, no se podr satisfacer ms o a a que a n relaciones y, por tanto, no se podrn igualar ms que n de a a los coecientes a las cantidades dadas. Los coecientes restantes estn a entonces completamente determinados por la naturaleza misma de la variedad que se trata de representar, y as la determinacin de sus ra o zones mtricas exige n(n 1)/2 funciones de posicin. Las variedades e o en las cuales el elemento lineal puede, como en el plano y en el espacio, reducirse a la forma (dx)2 , solamente forman un caso particular de las variedades que nosotros estudiamos aqu merecen un nombre , especial y yo llamar, en consecuencia, a las variedades en las cuales e el cuadrado del elemento lineal se puede reducir a una suma de cuadrados de diferenciales completas variedades planas. Para poder ahora revisar las diversidades esenciales de todas las variedades susceptibles de representarse bajo la forma considerada, es preciso dejar de lado las diversidades que provienen del modo de representacin. o

Sobre las hiptesis que sirven de fundamento a la geometr o a

2. Para esto, imaginamos que a partir de un punto dado se construye el sistema de l neas de ms corta distancia que pasan por este a punto: la posicin de un punto indeterminado podr jarse entonces o a por medio de la direccin inicial de la l o nea de ms corta distancia soa bre la cual se encuentre, y de una distancia contada sobre esta l nea a partir del origen, y en consecuencia, expresarse por medio de las razones dx0 de las cantidades dx sobre esta l nea de ms corta distancia y por a medio de su longitud s. Introduzcamos ahora, en lugar de dx0 , expresiones lineales d, formadas con estas cantidades, y tales que el valor inicial del cuadrado del elemento sea igual a la suma de los cuadrados de estas expresiones, de tal suerte que las variables independientes sean la magnitud s y las razones de las cantidades d; y reemplacemos, en n, las d por las cantidades x1 , x2 , . . . , xn que les sean proporcionales, y cuya suma de cuadrados sea igual a s2 . Si se introducen estas magnitudes, entonces para valores innitamente pequeos de x el cuadrado n 2 lineal ser igual a dx el trmino del orden siguiente en este cuadrado a e ser igual a una funcin homognea de segundo grado en las n(n 1)/2 a o e magnitudes (x1 dx2 x2 dx1 ) (x1 dx3 x3 dx1 ) . . . , es decir que ser un ina nitamente pequeo de cuarto orden; de tal manera que se obtiene una n magnitud nita dividiendo este trmino por el cuadrado del tringulo e a innitamente pequeo, cuyos vrtices corresponden a los sistemas de n e valores (0, 0, . . . ) (x1 , x2 , x3 , . . . ) (dx1 , dx2 , dx3 , . . . ) de las variedades. Este trmino conserva el mismo valor mientras que las cantidades x y e dx estn contenidas en las mismas formas lineales binarias, o mientras a que las dos l neas de ms corta distancia, desde los valores 0 hasta los a valores x y desde los valores x hasta los valores dx, estn en el mismo e elemento supercial y no dependan, en consecuencia, ms que de la a posicin y de la direccin de este elemento. Este trmino es evidenteo o e mente igual a cero cuando la variedad representada es plana, es decir, cuando el cuadrado del elemento lineal es reducible a dx2 , y puede, por consecuencia, ser considerado como la medida en la variedad se aleja de la planicie (Ebenheit) en este punto y en esta direccin supero cial. Multiplicndola por 3/4 es igual a la cantidad que Gauss ha a llamado la medida de curvatura de una supercie. Para determinar las relaciones mtricas de una variedad de n dimensiones, susceptible. de e una representacin bajo la forma supuesta, se encuentra que n(n1)/2 o funciones de posicin son necesarias; si, pues, se da en cada punto la o medida de la curvatura segn n(n 1)/2 direcciones superciales, se u podr determinar por su medio las relaciones mtricas de la variedad, a e siempre que entre estos valores no existan relaciones idnticas, relacioe nes que efectivamente no existen en general. Las relaciones mtricas de e estas variedades en donde el elemento lineal est representado por la a ra cuadrada de una expresin diferencial de segundo grado, pueden z o as expresarse de manera independiente de la eleccin de las magnitudes o

Sobre las hiptesis que sirven de fundamento a la geometr o a

variables. Se puede todav para este objeto seguir una marcha semea jante en el caso de las variedades en donde el elemento lineal se expresa menos simplemente, por ejemplo por medio de la ra cuadrada de una z expresin diferencial de cuarto grado. Entonces el elemento lineal no o ser, en general, reducible a la forma de la ra cuadrada de una suma a z de cuadrados de expresiones diferenciales, y por consecuencia como expresin del cuadrado del elemento lineal, lo que se separa de un plano o ser un innitamente pequeo de segundo orden, mientras que en las a n variedades consideradas precedentemente, esta separacin ser un ino a nitamente pequeo de cuarto orden. Esta propiedad de estas ultimas n variedades puede llamarse planaridad en las partes innitesimales. Pero la propiedad de estas variedades ms importante para nuestro objeto a actual, y la unica por la cual hemos estudiado aqu estas variedades, es aquella que consiste en que las relaciones de las variedades de dos dimensiones pueden representarse geomtricamente por supercies, y e que las variedades de mayor nmero de dimensiones pueden referirse a u las supercies que encierran. Esto exige todav una corta explicacin. a o

3. En la manera de concebir las supercies en las relaciones mtricas intr e nsecas, en las cuales slo se consideran las longitudes de o los caminos trazados sobre las supercies, se mezcla siempre la idea de la porcin relativa a los puntos situados fuera de ellos. Pero se puede o hacer abstraccin de las relaciones exteriores cuando se hace sufrir a o estas supercies cambios tal que la longitud de las l neas que estn a situadas sobre ellas permanezca invariable, es decir, cuando se suponen exibles sin extensin y se considera como de la misma especie todas o las supercies as obtenidas. As por ejemplo, dos supercies cil , ndricas o cnicas cualesquiera se considerarn como equivalentes a un plano, o a porque pueden aplicrsele por simple exin, sus relaciones mtricas a o e intr nsecas permaneciendo invariables y todas las proposiciones que se reeren a estas relaciones, es decir, toda la planimetr permanece. Son, a por el contrario, esencialmente no equivalentes a la esfera, que no se puede transformar sin extensin en un plano. Segn la investigacin o u o precedente, las relaciones mtricas intr e nsecas en una magnitud de dos dimensiones, cuando el elemento lineal puede expresarse por la ra z cuadrada de una expresin diferencial de segundo grado, como sucede o en las supercies, estn caracterizadas en cada punto por la medida de a la curvatura. Se puede dar a esta cantidad, en el caso de las supercies, una interpretacin sensible a los ojos, estableciendo que es el producto o de las dos curvaturas de la supercie en el punto considerado, o todav a que su producto para un tringulo innitamenete pequeo formado de a n l neas de la ms corta distancia es igual a la mitad del exceso de la suma a de los ngulos de este tringulo, medidos en partes del radio sobre dos a a a ngulos rectos.

Sobre las hiptesis que sirven de fundamento a la geometr o a

La primera denicin supondr el teorema que el producto de dos o a radios de curvatura permanece invariable cuando la supercie sufre una simple exin; la segunda supondr que, para la misma posicin, el o a o exceso de la suma de los ngulos de un tringulo innitamente pequeo a a n sobre los ngulos rectos es proporcional al rea del tringulo. Para dar a a a una representacin de la medida de curvatura de una variedad de n o dimensiones en un punto dado y siguiendo una direccin supercial o dada pasando por este punto, es necesario partir de que una l nea de la ms corta distancia, partiendo de un punto, est completamente a a determinada cuando se da la direccin inicial. Segn esto, se obtiene o u una supercie determinada, prolongando segn l u neas de la ms corta a distancia todas las direcciones iniciales, partiendo de un punto dado y situadas sobre el elemento supercial dado, y esta supercie tiene, en el punto dado, una medida de curvatura determinada, que es al mismo tiempo la medida de curvatura de la variedad de n dimensiones en el punto dado y segn la direccin supercial dada. u o

4. Antes de pasar a las aplicaciones al espacio, es necesario todav presentar algunas consideraciones sobre las variedades en las cuaa les el cuadrado del elemento lineal puede representarse por una suma de cuadrados de diferenciales. En una variedad plana de n dimensiones, la medida de curvatura en cada punto y en dicha direccin es nula; o, seguir la discusin preceo o dente, es necesario, para determinar las relaciones mtricas, saber que e en cada punto ella es nula segn n(n 1)/2 direcciones superciales en u que las medidas de curvatura son independientes entre s Las varieda. des en que la medida de curvatura es por toda ella igual a cero, pueden considerarse como un caso particular de las variedades en que la medida de curvatura es por toda ella constante. El carcter comn de estas a u variedades en que la medida de la curvatura es constante, puede tambin expresarse diciendo que las guras all pueden moverse sin sufrir e extensin. Pues es evidente que las guras no podrn ser susceptibles o a de traslaciones y de rotaciones arbitrarias si la medida de curvatura no es la misma en cada punto y en todas las direcciones. Por otra parte, las relaciones mtricas de la variedad estn completamente determinadas e a por la medida de la curvatura; pues las relaciones mtricas alrededor e de un punto y en todas las direcciones son exactamente las mismas que alrededor de otro punto y, por tanto, se puede a partir de este punto ejecutar las variedades en donde la medida de la curvatura es constante, se pueden dar a las guras una posicin arbitraria cualquiera. Las o relaciones mtricas de estas variedades dependen solamente del valor e de la medida de curvatura, y en cuanto a la representacin anal o tica, observaremos que si se designa este valor por , se podr dar a la a

Sobre las hiptesis que sirven de fundamento a la geometr o a

10

expresin del elemento lineal la forma o 1 dx2 1 + x2 4 5. Para aclarar lo que precede con un ejemplo geomtrico, cone sideremos las supercies de curvatura constante. Es fcil ver que las a supercies en que la curvatura es constante y positiva pueden siempre aplicarse sobre una esfera en que el radio es igual a la unidad dividida por la ra cuadrada de la medida de la curvatura; pero para poder z considerar toda entera la variedad de estas supercies, demos a una de ellas la forma de una esfera y a las otras la forma de supercies de revolucin tomndola a lo largo del ecuador. Las superces de mayor o a curvatura que la esfera tocarn la esfera interiormente y tomarn una a a forma semejante a la parte exterior de una supercie anular, la ms a alejada del eje de esta supercie. Ellas sern aplicables sobre zonas de a esferas de radio menor, pero recubriendo estas zonas ms de una vez. a Las supercies de menor medida de curvatura positiva se obtendrn a cortando sobre dos supercies esfricas de mayor radio un uso limitado e por dos semic rculos mximos, y uniendo entre ellos las l a neas de seccin. La supercie de medida cil o ndrica teniendo por base el ecuador; las superces de curvatura negativa tocarn este cilindro exteriormena te y tendrn una forma semejante a la parte interior de una supercie a anular. Si se consideran estas supercies como el lugar en donde se puede mover un segmento supercial, lo mismo que el espacio es el lugar en donde se pueden mover los cuerpos; el segmento supercial ser mvil a o sin extensin en todas estas supercies. Las supercies de curvatura o positiva podrn siempre tener una forma tal, que los segmentos supera ciales puedan moverse sin exin, y esta forma ser la de una esfera; o a pero esto no puede suceder en las de curvatura negativa. Adems de la a propiedad de los segmentos superciales de ser indepedientes del lugar, la supercie de curvatura nula posee tambin la propiedad que la die reccin es independiente del lugar, propiedad que no existe en las otras o supercies. 3. Aplicacin al espacio o

1. Despus del estudio anterior sobre la determinacin de las ree o laciones mtricas de una magnitud de n dimensiones, se pueden indicar e ahora las condiciones sucientes y necesarias para la determinacin de o las relaciones mtricas del espacio cuando se admite como hiptesis que e o las l neas son independientes de su posicin, y que el elemento lineal es o expresable por la ra cuadrada de una expresin diferencial de segunz o do grado, es decir, que el espacio es una magnitud plana en sus partes innitesimales.

Sobre las hiptesis que sirven de fundamento a la geometr o a

11

Ellas se pueden primeramente expresar exigiendo que la curvatura en cada punto sea nula segn tres direcciones superciales y, por tanto, u las relaciones mtricas del espacio estn determinadas si la suma de los e a a ngulos de un tringulo es igual a dos rectos por toda ella. a Si se supone en segundo lugar, como Euclides, una existencia independiente de la posicin, no slo para las l o o neas sino tambin para los e cuerpos, se deduce que la curvatura es constante por toda ella, y entonces la suma de los ngulos est determinada para todos los tringulos a a a cuando lo est en uno solo. a En n, se podr todav en tercer lugar, en vez de admitir que a a la longitud de las l neas es independiente del lugar y de la direccin, o suponer que su longitud y su direccin son independientes del lugar. En o este punto de vista, los cambios de lugar o las diferencias de posicin o son magnitudes complejas expresables por medio de tres unidades. 2. En el curso de las consideraciones que acabamos de presentar, hemos abordado separadamente las relaciones de extensin o de regin o o de las relaciones mtricas, y hemos encontrado que para las mismas ree laciones de extensin se pueden concebir diferentes relaciones mtricas; o e hemos buscado a continuacin los sistemas de determinaciones mtrio e cas simples, por medio de las cuales las relaciones mtricas del espacio e estn completamente determinadas y de donde las proposiciones cona cernientes a esta relaciones son consecuencias necesarias. Nos queda ahora por examinar cmo, y con qu grado y con qu extensin estas o e e o hiptesis se conrman por la experiencia. Desde este punto de vista o existe entre las simples relaciones de extensin y las relaciones mtrio e cas esta diferencia esencial, que en las primeras, en donde los casos posibles forman una variedad discreta, los resultados de la experiencia no son, en verdad, jams completamente ciertos, pero no son inexaca tos; mientras que en los segundos, en donde los casos posibles forman una variedad continua, toda determinacin de la experiencia es siempre o inexacta, por muy grande que pueda ser la posibilidad de su aproximacin. Esta circunstancia es importante cuando se trata de extender o estas determinaciones emp ricas ms all de los l a a mites de observacin o en lo inconmensurablemente grande o en lo inconmensurablemente pequeo; pues las segundas relaciones evidentemente pueden ser cada vez n ms inexactas cuando se salen de los l a mites de observacin, lo cual no o sucede para las primeras. Cuando se extienden las construcciones del espacio o lo inconmensurablemente grande, es necesario hacer la distincin entre ilimitado e o innito: el primero pertenece a las relaciones de extensin, el seguno do a las relaciones mtricas. Que el espacio sea una variedad ilimitada e de tres dimensiones, es una hiptesis que se aplica en todas nuestras o concepciones del mundo exterior, que nos sirve para completar en cada instante el dominio de nuestras percepciones efectivas y para construir

Sobre las hiptesis que sirven de fundamento a la geometr o a

12

los lugares posibles de un objeto y que se encuentra constantemente vericado en todas estas aplicaciones. La propiedad del espacio de ser ilimitado posee, pues, ms grande certeza emp a rica que ninguna otra externa a la experiencia. Pero la innidad del espacio no es de ninguna manera la consecuencia; por el contrario, si se suponen los cuerpos independientes de la posicin y se atribuye al espacio una curvatura o constante, el espacio ser necesariamente nito si esta curvatura tiene a un valor positivo por pequeo que sea. Prolongando segn l n u neas de la ms corta distancia las direcciones iniciales situadas en un elemento sua percial, se obtendr una supercie ilimitada de curvatura constante, a es decir, una supercie que en una variedad plana de tres dimensiones toma la forma de una superce esfrica y que ser en consecuencia e a nita. 3. Las cuestiones sobre lo incomensurablemente grande son cuestiones intiles para la explicacin de la naturaleza. Pero no ocurre lo u o mismo con las cuestiones sobre lo incomensurab!emente pequeo. Es la n exactitud con la cual seguimos los fenmenos en lo innitamente peo queo, sobre lo que reposa esencialmente nuestro conocimiento de sus n relaciones de causalidad. Los progresos en los ultimos siglos en el co nocimiento de la naturaleza mecnica dependen casi unicamente de la a exactitud de la construccin que se ha hecho posible gracias a la inveno cin del anlisis innitesimal, y a los principios simples descubiertos o a por Arqu medes, Galileo y Newton, y de los cuales se sirve la f sica moderna. Pero en las ciencias naturales, en donde faltan los principios simples para tales construcciones, se pretende reconocer la relacin de o causalidad siguiendo los fenmenos en la extensin muy pequea, tan o o n lejos como permite el microscopio. Las cuestiones sobre las relaciones mtricas del espacio en lo incomensurablemente pequeo no son, pues, e n cuestiones supruas. e Si se supone que los cuerpos existen independientemente del lugar, la curvatura es constante y resulta entonces de las medidas astronmio cas que no puede ser diferente de cero; en todos los casos, ser preciso a que su valor rec proco sea una supercie en presencia de la cual el alcance de nuestros telescopios ser como nulo. Pero si esta independencia a entre los cuerpos y el lugar no existe, entonces las relaciones mtricas e reconocidas en lo grande no sirven para concluir nada del innitamente pequeo; entonces la medida de curvatura de cada punto puede tener n segn tres direcciones un valor arbitrario, por lo que la curvatura total u de toda porcin medible del espacio no diere sensiblemente de cero; se o pueden introducir relaciones todav ms complicadas, cuando se supoa a ne que el elemento lineal se puede representar por la ra cuadrada de z una expresin diferencial de segundo grado. Parece que los conceptos o emp ricos sobre los cuales se fundan las determinaciones mtricas de la e extensin, el concepto del cuerpo slido y el de rayo luminoso, cesan o o

Sobre las hiptesis que sirven de fundamento a la geometr o a

13

de subsistir en lo innitamente pequeo. Es pues leg n timo suponer que las relaciones mtricas del espacio en lo innitamente pequeo no son e n conformes a las hiptesis de la Geometr lo cual habr que admitir o a, a en el momento en que por ello se obtiene una explicacin ms simple o a de los fenmenos. o La cuestin de la validez de las hiptesis de la Geometr en lo ino o a nitamente pequeo est ligada con la cuestin del principio n a o ntimo de las relaciones mtricas en el espacio. En esta ultima cuestin, que se e o puede considerar como perteneciente a la doctrina del espacio, se encuentra la aplicacin de la observacin precedente, que, en una variedad o o discreta, el principio de las relaciones mtricas est ya contenido en el e a concepto de esta variedad, mientras que, en una variedad continua, este principio ha de venir de fuera. Es necesario, pues, o que la realidad sobre la cual est fundada el espacio forme una variedad discreta, o que a el fundamento de las relaciones mtricas se busque fuera de l, en las e e fuerzas de ligazn que actan en l. o u e La respuesta a estas cuestiones no se puede obtener ms que para tiendo de los fenmenos vericados hasta ahora por la experiencia, y o que Newton ha tomado por base, y aportando a esta concepcin las o modicaciones sucesivas exigidas por los hechos que no pueda explicar. Las investigaciones partiendo de conceptos generales, como el estudio que acabamos de hacer, no puede tener otra utilidad que evitar que este trabajo no sea obstaculizado por visiones demasiado estrechas, y que el progreso en el conocimiento de la dependencia mutua de las cosas no encuentre un obstculo en los prejuicios tradicionales. a Esto nos conduce a los dominios de otra ciencia, a los dominios de la f sica, en donde el objeto al cual est destinado este trabajo no nos a permite penetrar hoy.