TRADUÇÃO/TRANSLATION
SOBRE AS HIPÓTESES QUE SERVEM DE FUNDAMENTO À GEOMETRIA[1]
Georg Friedrich RIEMANN (1 826-1 866)[2]
Tradução do francês e introdução de Carlos Antonio Medeiros SALDANHA[3]
NOTA INTRODUTÓRIA
Na extensa bibliografia sobre a evolução do. pensamento científico, geralmente um capítulo especial é dedicado à exploração da seqüência de eventos que, a partir do século XVIII, culminaram com a apresentação da Teoria da Relatividade Especial e Geral, respectivamente, em 1 905 e 1916, por Albert Einstein.
A Teoria da Relatividade Geral teve uma enorme repercussão na Ciência não só devido à sua maior beleza e elegância ao descrever os fenômenos gravitacionais, mas também porque deu um impulso novo e vigoroso à Cosmologia.
O modelo cosmológico newtoniano durante quase duzentos anos permanecera intocável. As concepções fundamentais de tempo e espaço absolutos eram consideradas inquestionáveis. E a lei da Gravitação de Isaac Newton respondia e maravilhava o espírito da época, ao explicar com tanta simplicidade a "Mecânica Celeste".
Com as Teorias da Relatividade Especial e Geral, dois gigantescos passos foram dados, trazendo, praticamente, uma nova visão da natureza. Com o primeiro passo, a Teoria Especial acaba com a separação do espaço e do tempo, como categorias distintas. Espaço e tempo são indissociáveis e formam o chamado "continuum" espacio-temporal, onde ocorrem os eventos do mundo. A Teoria Geral vai além. Adota o "continuum" espacio-temporal e associa a matéria à gravitação. Essa dupla associação traduz o fato de que o campo gravitacional determina as relações métricas do "continuum" espacio-temporal. Conclusão notável que modifica crenças arraigadas e coloca em cheque o senso comum.
Para essa conclusão genial de Albert. Einstein, muito contribuiu o trabalho de Georg Friedrich Bernhard Riemann (1 826-1 866) que, ao generali.zar a teoria das superfícies curvas de Gauss a espaços "nu dimensionais, teve, segundo as palavras do próprio Einstein, "a visão profética do significado físico dessa generalização da geometria Euclidiana".
A observação do fato de que os raios luminosos e os corpos livres se deslocam retilinearmente, quando referidos a um determinado sistema de referência, indicava para Riemann que o espaço não é amorfo. Ao contrário, deveria possuir uma estrutura própria, ou campo métrico, em analogia aos campos elétricos e magnéticos. Esse campo métrico, espalhando-se por todo o espaço, teria como causa física a matéria do Universo.
Essa foi a "visão profética" anunciada por Riemann em sua Aula Inaugural, em 10 de junho de 1 854, na Universidade de Góttingen, ao apresentar a dissertação "Sobre as Hipóteses que Servem de Base à Geometria". Quando na dissertação examina a hipótese de Euclides, segundo a qual tanto as linhas como os corpos têm uma existência independente da posição, está de fato lançando, indiretamente, as primeiras idéias de uma concepção inteiramente nova do espaço.
Talvez essa Aula Inaugural tenha sido o evento mais importante no desenvolvimento da Teoria Geral da Relatividade.
PLANO DESTE ESTUDO
Sabe-se que a geometria admite como dados preliminares não somente o conceito do espaço, mas também as pnmeiras idéias fundamentais das construções no espaçQ. Destes concei
tos ela só dá definições nominais, as determinações essenciais introduzindo-se sob forma de aXiomas. As relações mútuas destes dados primitiVOS ficam envoltas em mistério, não se percebe bem se elas são obrigatonamente ligadas entre si, nem até que ponto elas o são, nem mesmo "a priori" se elas o podem ser.
Desde Euclides até Legendre, para citar apenas o mais ilustre dos reformadores modernos da Geometria, ninguém, nem dentre os matemáticos, nem dentre os filósofos, conseguiu esclarecer este mistério. A razão disto é que o conceito geral das grandezas de dimensões múltiplas, compreendendo como caso particular as grandezas extensas, nunca foi objeto de qualquer estudo. Em conseqüência, cOloquei-me primeiro o problema de construir, partindo do conceito geral de grandeza, o conceito de uma grandeza de múltiplas dimensões. Parecerá desta forma que uma grandeza de múltiplas dimensões pode ter diferentes relações métricas e que o
espaço é, por conseguinte, somente um caso particular de uma grandeza de três dimensões. Ora, decorre necessariamente deste fato que as proposições da Geometria não podem ser deduzidas dos conceitos gerais de grandeza, mas que as propriedades, pelas quais o espaço se distingue de qualquer outra grandeza imaginável de três dimensões, só podem ser tomadas da experiência. Daí o problema de se procurar (ou pesquisar) os fatos mais simples através dos quais se possam estabelecer as relações métricas do espaço, problema que, pela própria natureza do objeto, não está completamente determinado, pois podem-se indicar vários sistemas
de fatos simples, suficientes para a determinação de relações métricas do espaço.
O mais importante, para nosso atual objetiVO, é aquele que Euclides tomou como base. Esses fatos, como todos Os fatos possíveis, não são necessários. Só têm uma certeza empírica, são hipóteses. Pode-se, então, estudar sua probabilidade, que é certamente considerável nos limites de observação, e julgar, a partir disto, o grau de segurança de estender-se esses fatos fora desses limites, tanto no sentido dos imensuravelmente grandes quanto no dos imensuravelmente pequenos.
A - Conceito de uma grandeza de n dimensões
Tentando agora tratar do primeiro destes problemas, referente ao desenvolvimento do conceito de uma grandeza de dimensões múltiplas, eu me vejo na obrigação de pedir a indulgên- _ dos leitores por não ser perito em trabalhos filosóficos desta natureza, cuja dificuldade se encontra mais na concepção do que na construção, e porque, com exceção de algumas breves indicações dadas pelo Sr. Gauss em seu segundo memorial sobre os resíduos biquadráticos, nos Gelehrte Anzeigen de Gõttingen e em seu memorial de jubileu, e com ex cessão de algumas pesquisas filosóficas de Herbart, não pude me apoiar em nenhum trabalho anterior.
§ I Os conceitos de grandeza só são possíveis desde que exista um conceito geral que permita diferentes modos de determinação. Segundo a possibilidade, ou não, d.e passar de um destes modos de determinação a um outro de maneira contínua, eles formam uma variedade contínua ou uma variedade discreta; no primeiro caso, o modo de determinação se chama ponto e no segundo, um elemento desta variedade. Os conceitos cujos modos de determinação formam uma variedade discreta são tão freqüentes que, dados objetos quaisquer, sempre existirá, pelo menos nas línguas cultas, um conceito que os compreenda (e os matemáticos estavam conseqüentemente no seu direito, na teoria das grandezas discretas, quando -tomavam como ponto de partida a condição de que os objetos dados sejam considerados da mesma espécie). Pelo contrário, as ocasiões que podem fazer nascer conceitos, cujos modos de determinação formam uma variedade contínua, são tão raras na vida comum que os locais dos objetos sensíveis e as cores são praticamente os únicos conceitos simples cujos modos de determinação formam uma variedade de várias dimensões. Somente nas altas matemáticas as ocasiões para a formação e o desenvolvimento destes conceitos se tornam mais freqüents. Uma parte de uma variedade, separada do resto por uma marca ou por um limite, é chamada quantum. A comparação dos quanta, do ponto de vista da quantidade, é feita, para as grandezas contínuas, por meio de medição. A medição consiste em superposição de grandezas a serem comparadas. É preciso, então, para medir, ter um meio de transportar a grandeza que serve de medida padrão (étalon) para as outras. Se faltar este meio, não será possível comparar duas grandezas entre si a menos que uma delas seja parte da outra, e neste caso só se poderá decidir a questão do maior ou do menor, e não a da relação numérica. As pesquisas que tal caso pode originar formam uma área geral da teoria das grandezas, independente de determinações métricas e na qual elas não são consideradas enquanto existentes independentemente da posição, nem expressáveis por meio de uma unidade, mas como regiões dentro de uma variade. Tais pesquisas se tornaram necessárias em várias partes da matemática, notadamente para o estudo das funções analíticas com vários valores, e é principalmente deVido às suas imperfeições que o célebre teorema de Abel, bem como os trabalhos de lagrange, de Pfafl, de Jacobi, sobre a teoria geral das equações diferenciais, ficaram tanto tempo estéreis. Nesta área geral da teoria das grandezas, onde não se supõe nada mais do que já está incluído no conceito destas grandezas, nos bastará, para nosso atual objeto, estudar dois pontos que são correlatos: o primeiro, a geração do conceito de uma variedade de várias dimensões; o segundo, o meio de transformar as determinações de local de uma variedade dada, em determinações de quantidade, e é este último ponto que deve mostrar claramente o caráter essencial de um estudo de n dimensões.
§ 11 Dado
um conceito cujos modos de determinação formam uma variedade contínua, se
passarmos, segundo determinada maneira, de um modo de determinação a outro, os
modos de determinação percorridos formarão uma variedade extensa num só
sentido, cujo caráter essencial é que, nesta variedaçle, só se pode, partindo
de um ponto, avançar, de maneira contínua, em duas direções: para frente e para
trás. Imaginemos, agora, que esta variedade seja transportada, por sua vez,
sobre outra vanedade completamente distinta, isto também de uma maneira determinada, isto é, tanto que cada um de seus
pontos se transporte para um ponto determinado de outra variedade; o conjunto
dos modos de determinação assim obtidos formará uma variedade de duas
dimensões. Obter-se-á de maneira semelhante uma variedade de três dimensões se
se imaginar que uma variedade de duas dimensões se transporte de uma maneira
determinada sobre outra completamente distinta; é fácil ver como se pode
continuar esta construção. Se, em vez de considerar o conceito como
determinável, considerarmos seu objetivo como variável, poderemo designar esta
construção como a composição de uma variabilidade de n dimensões.
§ 111 Vou mostrar, agora, reciprocamente, como uma
variabilidade, cujo campo é dado, pode ser decomposta em uma variabilidade de
uma dimensão e uma variabilidade de um número de dimensões menores. Imaginemos,
para isto, uma porção variável de uma variedade de uma dimensão, contada a
partir de um ponto fixo, de modo que seus valores sejam comparáveis entre si;
suponhamos que esta porção tenha, para cada ponto da variedade dada, um valor
determinado, mudando com este ponto de um maneira contínua, ou, em outros
termos, imaginemos, no interior da variedade dada, uma função contínua do
local, função que não seja constante -ao longo de uma porção desta
variedade. Qualquer sistema de pontos, para o qual a função tem um valor
constante, forma então uma variedade contínua de um número menor de dimensões
que a variedade dada.
Estas variedades, quando fazemos variar a função, se transformam de maneira contínua umas nas outras; poderemos, então, admitir que uma dentre elas gera as outras, e Isto poderá acontecer, falando em geral, de tal modo que cada ponto de uma delas se transporte para um ponto determinado da outra. Os casos de exceção, cujo estudo é importante, podem aqUi ser
deixados de lado. Daí, a determinação de local numa variedade dada se resume a uma determinação de local numa variedade de menor número de dimensões. Ora, é fácil mostrar que esta última variedade tem n-1 dimensões quando a variedade dada tiver n. Repetindo n vezes este processo, a determinação de local numa variedade de n dimensões se resumirá a n determinações de grandezas e assim a determinação de local em uma variedade dada, quando Isto for possível, se reduz a um número finito de determinações de quantidade. Todavia, há também variedades nas quais a determinação de local exige não mais um número finito mas ou uma série infinita ou uma variedade contínua de determinações de grandeza.
Assim são, por exemplo, as variedades formadas pelas determinações possíveiS de uma função em uma região dada, pelas formas possíveis de uma figura do espaço, etc.
B - Relações métricas das quais pode depender uma variedade de n dimensões, na hipótese onde as linhas possuem um comprimento, independentemente de sua posição, e onde qualquer linha pode assim ser medida por qualquer outra linha.
Após ter construído o conceito de uma variedade de n dimensões e encontrado, como traço essencial desta variedade, esta propriedade que diz que a determinação de local, nela, pode ser resumida a n determinações de grandeza, chegamos ao segundo problema exposto acima - saber do estudo das relações métricas, das quais tal variedade é suscetível, e das condições suficientes para a determinação destas relações métricas. Estas relações métricas só podem ser estudadas em conceitos abstratos de grandeza e sua dependência só pode ser representada por fórmulas. Entretanto, em certas hipóteses, elas podem ser decompostas em relações que, tomadas separadamente, podem ser representadas geometricamente, e, a partir
daí, se torna possível expressar, geometricamente, os resultados do cálculo. Assim, para se chegar a algo mais objetivo, não se pode, é verdade, evitar nas fórmulas as considerações ab.stratas. embora os resultados do cálculo possam ser em seguida representados sob forma geométrica. Os fundamentos destas duas partes da questão estão estabelecidos no famoso memorial do Sr. Gauss: Disquisitiones generales circa.superficies curvas.
§ I As determinações métricas exigem a independência entre as grandezas e os locais. o que pode ser realizado de várias maneiras. A hipótese que aparece primeiro. e que desenvolverei aqui. é aquela em que o comprimento das linhas é independente de sua posição e. por conseguinte. éada linha pode ser medida por outra.
Sendo a determinação do local feita através das determinações de grandezas. e a posição de um ponto na variedade de n dimensões sendo. por conseguinte. expressa por meio de grandezas X I. x2• x3 •••• xn. a determinação de u"ma linha se resumirá ao fato das quantidades x n serem dadas como funções de uma variável. O problema consiste. então. em estabelecer uma expressão matemática do comprimento de uma linha. e. para isto. qevem-se considerar as quantidades x como expressáveis em unidades. Só tratarei este problema sob certas restrições. e me limitarei. em princípio. às linhas nas quais as relações entre os crescimentos dx das variáveis x correspondentes variem de maneira contínua. Pode-se então conceber as linhas decompostas em elementos. na extensão dos quais as relações das quantidades dx possam ser vistas como constantes. e o problema se resume. então. em estabelecer. para cada ponto. uma expressão geral do elemento linear ds partindo deste ponto. expressão esta que conterá assim as quantidades x e as quantidades dx. Admitirei. em segundo lugar. que o comprimento do elemento linear. fazendo-se abstração das quantidades de segunda ordem. se mantém invariável quando todos os pontos deste elemento são submetidos a um deslocamento infinitamente pequeno. o que implica ao mesmo tempo que. se todas as quantidades dx crescerem numa mesma relação. o elemento linear variará igualmente nesta mesma relação. Estas hipóteses estando admitidas. o elemento linear poderá ser uma função homogênea qualquer de primeiro grau das quantidades dx. que ficará invariável quando se mudarem os sinais de todas as quantidades dx. e na qual as constantes arbitrárias serão funções contínuas das quantidades x. Para encontrar os casos mais simples. procurarei. primeiro. uma expressão para as variedades de n-1 dimensões que sejam. em qualquer lugar. eqüidistantes da origem do elemento linear; Isto é. procurarei uma função contínua do local que as distinga umas das outras. Esta função deverá ou aumentar ou diminuir em todas as direções a partir da origem; admitirei que ela cresça em todas as direções e que. desta maneira. ela tenha um mínimo na origem. É preciso. então. se seus quocientes diferenciais de primeira e de segunda ordens forem finitos. que o diferencial de primeira ordem se anule e que o de segunda ordem jamais se torne negativo; admitirei que ele fica sempre positivo.
Esta expressão diferencial de segunda ordem fica. então. constante quando ds é constante. e cresce na relação dos quadrados quando as quantidades dx e. por conseguinte. também as ds variam todas juntas numa mesma relação.
Então. esta expressão é = constante. ds2.e. por conseguinte. ds = raiz quadrada de uma função inteira homogênea de segundo grau. sempre positiva. das quantidades dx. na qual os coeficientes são funções contínuas das quantidades x. Para o espaço. se expressamos a posição do ponto em coordenadas retangulares. obtemos: ds = V!" (dx)2; o espaço está. então. compreendido neste caso. o mais simples de todos. O caso mais simples. depois deste. compreenderia variedades das quais o elemento linear seria expresso pela raiz quarta de uma expressão diferencial de quarto grau. O estudo desta classe mais geral não exigiria princípios essencialmente diferentes mas tomaria um tempo considerável e não contribuiria muito. relativamente. para esclarecer a teoria do espaço. inclusive porque os resultados não poderiam ser expressos geometricamente. Limitar-me-ei, então, às variedades nas quais o elemento linear é xpresso pela raiz quadrada de uma expressão diferencial de segundo grau. Tal expressão pode ser transformada em outra semelhante, substituindo-se as n variáveis independentes por funções de n novas variáveis independentes. Mas não se poderá, através deste meio, transformar uma expressão qualquer em uma outra expressão qualquer, pois a expressão contém n. coeficientes, que são funções arbitrárias das variáveis independentes; ora, pela introdução de novas variáveis, só se poderá atisfazer n relações e, por conseguinte, só se poderá igualar n coeficientes a quantidades dadas. Os n. ;L coeficientes restantes serão então completente determinados pela própria natureza da variedade que se trata de representar, e assim a determinação de suas relações métricas exige n. n21 funções do local. As variedades nas quais o elemento linear puder, como no plano e no espaço, se resumir à forma vY (dx)2, formam, então, somente um caso particular das variedades que estudamos aqui; elas merecem um nome especial, e chamarei, por conseguinte, as variedades nas quais o quadrado do elemento linear puder se resumir a uma soma.de quadrados diferenciais completos, variedades
planas. Para poder, agora, examinar as diversidades essenciais de todas as variedades suscetíveis de serem representadas sob a forma considerada, é preciso deixar de lado as diversidades provenientes do modo de representação e isto se consegue com a escolha de grandezas variáveis segundo um princípio determinado.
§ 11 Para isto, imaginemos que, a partir de um ponto dado, tenhamos construído um sistema de linhas de menor distância que passem por este ponto; a posição de um ponto indeterminado poderá ser fixada através da direção inicial da linha de mais curta distância sobre a qual ele se encontre, e de sua distância contada sobre esta linha a partir da origem e, por conseguinte, ela poderá ser expressa através dos produtos dxo das quantidades dx sobre esta linha de menor distância e através do comprimento s desta linha. Introduzamos, agora, em vez de dXo, expressões lineares da formadas com estas quantidades e tais que o valor inicial do quadrado do elemento seja igual à soma dos quadrados destas expressões, de tal modo que as variáveis independentes sejam a grandeza s e os produtos das quantidades da, e substituamos, finalmente; os da pelas quantidades Xl, X2,... xn, que lhes sejam proporcionais e cuja soma dos quadrados seja = s2. Se introduzirmos estas grandezas, para valores infinitamente pequenos dos x, o quadrado do elemento linear será = Idx2, o termo de ordem seguinte neste quadrado será igual a uma função homogênea de segundo grau das n. n21 grandezas (xl dx2x2dx, ), (Xldx3 - X3dxl),..., isto é, ele será um infinitamente pequeno, de quarta ordem; de tal maneira que se obtém uma grandeza finita dividindo este termo pela soma dos quadrados dos lados do triângulo infinitamente pequeno cujos vértices correspondam aos sistema de valores (O, O, O,...), (Xl, x2, X3,... ), (dXl, dx2, dx3,...) das variáveis. Este termo conservará o mesmo valor, desde que as quantidades x e dx estejam contidas nas mesmas formas lineares binárias,
ou enquanto
as duas linhas de menor distância, desde os valores zero até os valores dx,
ficarem no mesmo elemento superficial; e só depende, conseqüentemente, do local
e da direção deste elemento. Este termo é evidentemente = O quando a
variedade representada for plana, isto é, quando o quadrado do elemento linear
é redutível a Idx2, e pode, conseqüentemente, ser considerado como a medida da
quantidade cuja variedade se afasta da planaridade* neste ponto e nesta direção
superficial. Multiplicando-o por -3/4, ele se torna igual à quantidade que
Gauss chamou medida de curvatura de uma superfície. Para determinar as relações
métricas 
de uma variedade de n dimensões, suscetível de uma representação
sob a forma suposta, achamos, há pouco, que n. nt- funções do local, são
necessárias; se dermos, então em cada ponto, a medida da curvatura, segundo n.
nt- direções superficiais, poderemos determinar, através delas, as relações
métricas da variedade, somente se entre estes valores não existirem relações
idênticas, relações que geralmente não existem. As relações métricas destas
variedades, onde o elemento linear é representado pela raiz.quadrada de uma
expressão diferenciai de segundo grau, podem, desta forma, se expressar de um
modo totalmente independente da escolha das grandezas variáveis. Pode-se,
ainda, para este fim, ·seguir uma linha de ação totalmente semelhante no caso das
variedades onde o elemento linear se expressa menos simplesmente, por exemplo,
através da raiz quarta de uma expressão diferencial de quarto grau. Então, o
elemento linear não seria mais, geralmente, redutível à forma de raiz quadrada
de uma soma de quadrados de expressões diferenciais, e, por conseguinte, na
expressão do quadrado do elemento linear, o afastamento da linearidade seria um
infinitamente pequeno de segunda ordem, enquanto, nas variedades consideradas
anteriormente, este afastamento era um infinitamente pequeno de quarta ordem.
Esta propriedade, destas últimas variedades, pode ser chamada planaridade nas
partes infinitesimais. Mas a propriedade mais importante destas variedades,
para nosso objetivo atual, e a única que estudamos aqui, é aquela que consiste
no fato das relações das variedades de duas dimensões poderem ser representadas
geometricamente por superfícies, e as razões das variedades de maior númer de
dimensões poderem ser resumidas às razões das superfícies que elas contêm.
Todavia, isto exige uma curta explicação.
§ 111 Na maneira de conceber a superfícies, nas relações métricas intrínsecas, nas quais só se tem a considerar o comprimento dos caminhos traçados sobre estas superfícies, sempre se mistura a idéia de sua posição relativamente aos pontos colocados fora delas. Mas pode-se fazer abstração das relações externas quando submetem-se estas superfícies a mudanças tais
que o comprimento das linhas que nelas estão situadas fiquem invariáveis, isto é, quando as supomos flexíveis sem extensão, e quando consideramos como de mesma espécie todas as superfícies assim obtidas. Assim, por exemplo, superfícies cilíndricas ou cônicas quaisquer serão vistas como equivalentes a um plano, porque elas podem ser desenvolvidas sobre ele por simples flexão conservando-se invariáveis suas relações métricas ·intrínsecas e todas as proposições referentes a estas relações, isto é, continua a existir toda a planimetria. Elas são, ao contrário, essencialmente não equivalentes à esfera, que não pode ser desenvolvida em um plano. De acordo com a pesquisa anterior, as relações métricas intrínsecas, numa grandeza de duas dimensões, quando o elemento linear pode ser expresso pela raiz quadrada de uma expressão diferencial de segundo grau, como acontece nas superfícies, são caracterizadas em cada ponto pela medida da curvatura. Pode-se dar a esta quantidade, no caso das superfícies, uma interpretação sensível aos olhos, estabelecendo o produto das duas curvaturas das superfícies no ponto considerado, ou então, que seu produto pela soma dos ângulos internos de um triângulo infinitamente pequeno, formado de linhas de menor distância, é igual à metade do excesso da soma dos ângulos deSte triângulo, em radianos, sobre dois ângulos retos. Pela primeira definição este teorema faria supor que o produto dos dois raios de curvatura fica invariável quando a superfície recebe uma simples flexão; pela segunda definição, ficaria suposto que para um mesmo local, o excesso da soma dos ângulos de um triângulo infinitamente pequeno sobre dois ângulos retos é proporcional à superfície do triângulo. Para dar uma representação que possa ser apreendida na medida de curvatura de uma variedade de n dimensões de um ponto dado e seguindo uma direção superficial dada, passando por este ponto, deve-se partir do fato que uma linha de menor distância, partindo de um ponto, é completamente determinada quando é dada sua direção inicial.
Partindo-se disso, obter-se-á uma superfície determinada prolongando-se linhas de menor distância, com direções iniciais partindo de um ponto dado e situadas sobre um elemento superficial dado, e esta superfície terá, no ponto dado, uma medida de curvatura determinada, que é ao mesmo tempo a medida de curvatura da variedade de n dimensões no ponto dado e segundo a direção superficial dada.
§ IV Antes de passar às aplicações ao espaço, ainda é necessário apresentar algumas considerações sobre as variedades planas em geral, isto é, sobre as variedades nas quais o quadrado do elemento linear pode ser representado por uma soma dos quadrados de diferenciais exatas.
Numa variedade plana de n dimensões, a curvatura em cada ponto e em cada direção é nula; ora, segundo a discussão precedente, basta saber, para determinar as relações métricas, que em cada ponto ela é nula segundo as n. !!f- direções superficiais cujas curvaturas são independentes entre si.
As variedades cujas curvaturas são em qualquer lugar iguais a zero podem ser consideradas como caso particular das variedades cuja curvatura é constante em qualquer lugar.,O traço comum destas variedades cuja curvatura é constante é que as figuras podem se mover nelas sem aumentar sua extensão. Pois é evidente que nelas as figuras não poderiam ser submetidas a translações e rotações arbitrárias se a curvatura não fosse a mesma em cada ponto e em todas as direções. Mas, por outro lado, as relações métricas da variedade são completamente determinadas pela curvatura; então as relações métricas em volta de um ponto e em todas as direções são exatamente as mesmas que em volta de outro ponto, e por conseguinte pode-se, a partir deste ponto, exeçutar as mesmas construções, donde se conclui que, nas variedades em que a curvatura é constante, pode-se dar às figuras uma posição arbitrária qualquer., As relações métricas destas variedades dependem apenas do valor da curvatura e, quanto à representação analítica, podemos dar à expressão do elemento linear a forma
1 + a 1 x 2 . dx2.
'4
§ V Para esclarecer por um exemplo geométrico o que foi dito antes, consideremos as superfícies de curvatura constante. É fácil ver que as superfícies cujas curvaturas sejam constantes e positivas podem sempre ser aplicadas sobre uma esfera cujo raio é igual à unidade dividida pela raiz quadrada da curvatura, mas, para visualizar de uma s6 vez a variedade inteira destas superfícies, vamos dar a uma delas a forma de uma esfera e às outras a forma de su-, perfícies de revolução, tangenciando-as segundo o equador.
As superfícies de maior curvatura que esta esfera tocarão então a esfera interiormente e tomarão uma forma semelhante à parte exterior de uma superfície anelar, e mais afastada do eixo desta superfície. Elas seriam aplicáveis sobre zonas de esferas de raio menor, mas cobririam estas zonas mais de uma vez. As superfícies de menor curvatura positiva serão obtidas recortando, sobre superfícies esféricas de maior raio, um fuso limitado por dois grandes semicírculos, e unindo entre si as linhas de intersecção.
A superfície de curvatura nula será uma superfície cilíndrica tendo por base o equador; as superfícies de curvatura negativa tocarão este cilindro exteriormente e terão uma forma semelhante à da parte interna de uma superfície anelar, virada para o eixo.
Se considerarmos estas superfícies como o local onde pode se mover um elemento de superfície, assim como o espaço é o local onde se movem os corpos, o elemento de superfície se moverá sobre todas estas superfícies sem sofrer ampliações. As superfícies de curvatura positlva poderão sempre receber uma forma tal que os elementos de superfície possam também se mover nelas sem flexão, e esta forma será a de uma esfera; mas isto não é mais possível no caso da curvatura negativa. Além desta propriedade dos elementos de superfície serem independentes do local, a superfície de curvatura nula possui também a propriedade da direção ser independente do local, propriedade esta que não existe nas outras superfícies. c - Aplicação ao espaço
§ I Após este estudo sobre a determinação das relações métncas de uma grandeza de n dimensões, pode-se agora indicar as condições necessárias e suficientes para a determinação das relações métricas do espaço, quando admitimos como hipótese que as linhas são independentes de sua posição e que ' o. elemento linear pode Ser expresso pela raiz quadrada de uma expressão diferencial de segundo grau, isto é, que o espaço é uma grandeza plana nas suas partes infinitesimais.
Elas podem primeiro se expressar desde que a medida de curvatura em cada ponto seja nula segundo três direções superficiais, e, por conseguinte, as relações métricas do espaço serão determinadas se a soma dos ângulos de um triângulo for em toda a parte igual a dois retos. Se supusermos, em segundo lugar, como Euclides, uma existência independente da posição, não somente para as linhas mas também para os corpos, segue-se que a curvatura será sempre constante e então a soma dos ângulos será determinada, em todos os triângulos, quando ela o for em um só.
Finalmente, poderíamos ainda, em terceiro lugar, em vez de admitir que o comprimento das linhas é independente do local e da direção, supor que seu comprimento e sua direção sãO independentes do local. Segundo este ponto de vista, as mudanças de local ou as diferenças de local são grandezas complexas, expressáveis por meio de três unidades independentes. § li No decorrer das considerações que acabamos de apresentar, separamos primeiro as relações de extensão ou de região das relações métricas, e achamos que, para as mesmas relações de extensão, poderíamos conceber diferentes relações métricas; procuramos em seguida os sistemas de determinações métricas simples, por meio dos quais as relações métricas do espaço são completamente determinadas e em que todas as proposições referentes a estas relações são conseqüências necessárias. Resta-nos agora examinar como, em que grau e com qual extensão estas hipóteses são confirmadas pela experiência. Sob este ponto de vista existe, entre as simples relações de extensão e as relações métricas, esta diferença essencial que, nas primeiras, onde os casos possíveis formam uma variedade discreta, os resultados da experiência nunca são completamente certos mas não são inexatos, enquanto que, na segunda, onde os casos possíveis formam uma variedade contínua, qualquer determinação da experiência é sempre inexata, não importando quão grande possa ser a probabilidade de sua exatidão aproximada. Esta circunstância torna-se importante quando se trata de estender estas determinações empíricas além dos limites da observação, no imensuravelmente grande ou no imensuravelmente pequeno, pois as segundas relações podem evidentemente se tornar cada vez mais inexatas assim que se sai dos limites da observação, enquanto não acontece o mesmo com as primeiras.
Quando se
estendem as construções do espaço ao imensuravelmente grande, deve-se fazer a
distinção entre o ilimitado e o infinito; o primeiro pertence às relações de
extensão, o segundo às relações métricas. Que o espaço seja uma variedade
ilimitada de três dimensões é uma hipótese que se aplica em todas as nossas
concepções do mundo exterior, que nos serve para completar a cada instante o
domínio de nossas percepções efetivas e construir locais possíveis de um objeto procurado, e que se encontra
constantemente verificada em todas as suas aplicações. A propriedade do espaço
ser ilimitado possui então uma maior certeza empírica que qualquer outro dado
externo da experiência. Mas a infinidade do espaço não é de maneira alguma
conseqüência disto; pelo contrário, se supusermos os corpos Independentes do
local e ainda atribuírmos ao espaço uma medida de curvatura constante, o espaço
seria necessariamente finito sempre que a curvatura fosse positiva, por menor
que fosse. Prolongando, seguindo linhas de menor distância, as direções Iniciais
situadas num elemento de superfície, obter-se-ia uma superfície ilimitada de
curvatura constante, isto é, uma superfície que, em uma variedade plana de três
dimensões, tomaria forma de uma superfície esférica, e que seria por. conseguinte finita.
§ 111 As questões sobre o imensuravelmente grande são questões inúteis para a explicação da natureza. Mas a coisa é diferente quando se trata de questões sobre o imensuravelmente pequeno. É sobre a exatidão com a qual acompanhamos os fenômenos no infinitamente pequeno que se baseia essencialmente nosso conhecimento de suas relações de causalidade. Os progressos dos últimos séculos no conhecimento da natureza mecânica dependem quase unicamente da exatidão da construção que se tornou possível graças à invenção da análise do infinito e aos princípios simples descobertos por Àrquimedes, por Galileu e por Newton e dos quais se utiliza a física moderna. Mas nas Ciências Naturais, onde os princípios simples ainda faltam para tais construções, procura-se reconhecer a relação de causalidade seguindo os fenômenos de extensão muito pequena, tão longe quanto o permita o microscópio. As questões sobre as relações métricas do espaço no Imensuravelmente pequeno não são então questões supérfluas.
Se supusermos que os corpos existem independentemente do local, a medida de curvatura é, em qualquer lugar, constante e resulta então, das medidas astronômicas, que ela não pode ser diferente de zero; em todos os casos seria necessário que seu valor recíproco (raio) fosse uma grandeza em presença da qual o alcance de nossos telescópios fosse como que nulo. Mas se esta independência entre os corpos e o local não existe, e sendo então reconhecidas relações métricas no infinitamente grande, não se pode concluir nada para as relações métricas do infinitamente pequeno; então a curvatura de cada ponto pode ter, segundo três direções, um valor arbitrário, na éondição de que a curvatura total de qualquer porção mensurável do espaço não seja sensivelmente diferente de zero; podem ser introduzidas relações ainda mais complicadas, quando não se supõe mais, que o elemento linear possa ser representado pela raiz quadrada de uma expressão diferencial de segundo grau. Ora, parece que os conceitos empíricos sobre os quais são fundamentadas as determinações métricas da extensão, o conceito de corpo sólido e do raio luminoso param de existir no infinitamente pequeno.
É então perfeitamente legítimo supor que as relações métricas do espaço no infinitamente pequeno não são conformes às hipóteses da geometria, e é o que se deveria efetivamente admitir, a partir do momento em que se obteria daí uma explicação mais simples dos fenômenos.
A questão da validade das hipóteses da geometria no infinitamente pequeno está ligada à questão do princípio íntimo das relações métricas do espaço." Nesta última questão, que podemos ainda ver como pertencente à doutrina do espaço, achamos a aplicação do comentário precedente que, numa variedade discreta, o princípio das relações métricas já está contido no conceito desta variedade mquanto que, numa variedade contínua, este princípio deve VIr de outro lugar. É preciso, então, ou que a realidade sobre a qual é fundado o espaço forme uma variedade discreta ou que o fundamento das relações métncas seja procurado fora dele, nas forças de ligação que agem sobre ele.