Nilton Flávio Delbem PDF

Universidade Estadual Paulista Jlio de Mesquita Filho
Instituto de Geocincias e Cincias Exatas Campus de Rio Claro
Introduo Matemtica aos Modelos Cosmolgicos

Nilton Flvio Delbem
Dissertao apresentada ao Programa de PsGraduao Mestrado Prossional em Matemtica Universitria do Departamento de Matemtica como requisito parcial para a obteno do grau de Mestre
Orientador
Prof.
Dr. Wladimir Seixas
2010
516.36 D344i
Delbem, Nilton Flvio Introduo Matemtica aos Modelos Cosmolgicos/ Nilton Flvio Delbem- Rio Claro: [s.n.], 2010. 144 f.:il., gs. Dissertao (mestrado) - Universidade Estadual Paulista, Instituto de Geocincias e Cincias Exatas. Orientador: Wladimir Seixas 1. Geometria Diferencial. 2. Teoria e Histria da Cosmologia. 3. Teoria da Relatividade. 4. Mtodos Matemticos. I. Ttulo
Ficha Catalogrca elaborada pela STATI - Biblioteca da UNESP Campus de Rio Claro/SP
TERMO DE APROVAO
Nilton Flvio Delbem Introduo Matemtica aos Modelos Cosmolgicos
Dissertao aprovada como requisito parcial para a obteno do grau de Mestre no Curso de Ps-Graduao Mestrado Prossional em Matemtica Universitria do Instituto de Geocincias e Cincias Exatas da Universidade Estadual Paulista Jlio de Mesquita Filho, pela seguinte banca examinadora:
Prof. Dr. Wladimir Seixas Orientador
Prof. Dr. Manoel Borges Ferreira Neto Ibilce - Unesp/So Jos do Rio Preto
Prof. Dr. Henrique Lazari IGCE - Unesp/Rio Claro
Rio Claro, 15 de Outubro de 2010
Agradecimentos
Sou extremamente grato ao meu pai Altamiro, a minha me Jandira e a minha irm Flvia, pela ateno, apoio, amor incondicional e por sempre acreditarem em mim mais do que eu mesmo. Se hoje consigo alcanar mais este objetivo em minha vida, isto se deve ao fato de sempre t-los ao meu lado, incentivando e dando foras nesta longa caminhada. minha av Adelaide em especial, que no pode acompanhar o desfecho deste trabalho, mas que foi fundamental para o incio de tudo, servindo de fonte de inspirao para superar os obstculos e os momentos difceis pelos quais passei. V no sei como agradecer todo o carinho e tudo o que fez por mim, mas posso dizer que esta conquista nossa. Ao meu orientador Prof. Dr. Wladimir Seixas pela orientao presente e motivadora, pelos ensinamentos, ateno, pacincia e principalmente pela conana depositada em meu trabalho e a amizade cultivada durante este perodo. Ao Prof. Dr. Manoel Ferreira Borges Neto pela amizade, por seus ensinamentos, por sua pacincia e generosidade, pelas sugestes, conselhos e dicas informais em momentos de difceis escolhas. Em especial por acreditar em meu trabalho e por ser um excelente professor que me forneceu uma base slida para que pudesse seguir adiante em meus estudos. A todos os professores que tive durante o mestrado pela boa qualidade dos cursos que ministraram e pela amizade que cultivei com todos eles durante este perodo. A todos meus amigos de curso. Obrigado pela amizade, generosidade, ateno,
apoio e a oportunidade de ter cursado meu mestrado com pessoas to fantsticas e especiais. Saibam que levarei para sempre um pouco de cada um comigo. Aos meus amigos de repblica Juraclio (Jura), Gustavo, Henrique e Ribamar (Ribamlios). Obrigado. A todos os amigos que convivi na poca da repblica R.C.R. em So Jos do Rio Preto, que sempre me deram fora, motivao e apoio nesta caminhada. Em especial aos amigos Artur, Cassius, Cleiry, Daniel Veronese, Elder, Fabio Machado (Fabinho), Iger, Jos Maro (Maranho), Juliana Scapim, Leandro Martinelli (Uru), Luiz Fernando (Fefa), Oreste, Pedro Alexandre (Pedro), Reginaldo Izelli, Roberto Cavali (Bob), Rodrigo (Grutinha), Tatiana Miguel (Tati Realmente no tm como agradec-los o tanto que zeram por mim.
), por diversos motivos,
entre eles: o apoio, a troca de conhecimento (matemtico, histrico, a vivncia, etc.), o calor humano que me passaram, as brincadeiras, os jogos de futebol, os momentos de conversa e descontrao nos banquinhos da Unesp de Rio Preto, as festas, os churrascos e tantas outras coisas que me proporcionaram a alegria e o prazer de ter convivido com todos. Agradeo a Deus e a Nossa Senhora de Aparecida por iluminar e me proteger por estes caminhos e por fazer com que eu encontrasse pessoas maravilhosas em minha vida.
Voc no sabe O quanto eu caminhei Pr chegar at aqui Percorri milhas e milhas Antes de dormir
...
(Composio: Toni Garrido / Lazo / Da Gama / Bino)
Resumo
Esta dissertao tem a proposta de organizar, discutir e apresentar de maneira precisa os conceitos matemticos de variedade diferencivel e de tensores envolvidos no estudo da Cosmologia sob o ponto de vista da Teoria da Relatividade Geral para o modelo de Friedmann-Lematre-Robertson-Walker. Busca-se assim apresentar um
texto didtico que possa ser utilizado tanto nos cursos de graduao em Matemtica como de Fsica para uma disciplina optativa de Introduo Matemtica Cosmologia.
Palavras-chave:
Geometria Diferencial, Teoria e Histria da Cosmologia, Teoria da
Relatividade, Mtodos Matemticos.
Abstract
The goal of this dissertation is to organize and discuss in a rigorous way the mathematical concepts of manifolds and tensors needed to the study of Cosmology and the Friedmann-Lematre-Robertson-Walker model under the point of view of the General Relativity. In this way, this dissertation was written as textbook that could be used in an undergraduate course of Physics and Mathematics.
Keywords:
Dierential Geometry, Theory and History of Cosmology, Relativity The-
ory, Mathematical Methods.
Lista de Figuras
2.1 2.2 2.3 2.4 2.5 2.6 3.1 3.2 4.1 4.2 Modelo Pirocntrico de Filolau . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 27 29 36 47 50 66 67 108 110 Sistema Heliocntrico proposto por Coprnico
Modelos cosmolgicos de Ptolomeu, Coprnico e Tycho Brahe
Nebulosa M51, hoje conhecida como galxia Rodamoinho . . . . . . . . Todos os universos de Friedmann comeam com uma exploso. . . . . . Dois modos de imaginar o Universo . . . . . . . . . . . . . . . . . . . . Superfcie regular. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Espao Tangente. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Referenciais Inerciais Referenciais . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Sumrio
1 Introduo 2 Histria da Cosmologia
2.1 2.2 2.3 2.4 2.5 O que Cosmologia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . As Origens Cosmolgicas . . . . . . . . . . . . . . . . . . . . . . . . . . Os grandes cosmlogos da Antiguidade A Cosmologia na Renascena . . . . . . . . . . . . . . . . . .
15 17
17 19 20 25
. . . . . . . . . . . . . . . . . . . . . . . A Teoria da Gravitao de Isaac . . . . . . . . . . .
O Mecanicismo de Ren Descartes.
Newton e o Determinismo de Pierre Simon Laplace 2.6 2.7 2.8 2.9
30 33 39 44 46
Conhecendo o Universo . . . . . . . . . . . . . . . . . . . . . . . . . . . O surgimento das Teorias de Einstein . . . . . . . . . . . . . . . . . . . Modelos Cosmolgicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Modelos de Friedmann-Lematre-Robertson-Walker para o Universo
3 Geometria Riemanniana
3.1 3.2 Histria da Geometria Diferencial . . . . . . . . . . . . . . . . . . . . . Curvas em 3.2.1 3.2.2 3.2.3 3.2.4 3.2.5 3.3
53
53 58 59 60 60 63 63 65 67 68 69 71 77 81 81 82 85
Rn
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Curvas Parametrizadas . . . . . . . . . . . . . . . . . . . . . . . Vetor tangente e curva regular . . . . . . . . . . . . . . . . . . . Comprimento de arco de uma curva . . . . . . . . . . . . . . . . Curvas de Frenet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
As equaes de Frenet
Superfcies Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3.1 Curvas na Superfcie. Plano Tangente e Vetor Normal. . . . . .
3.4
As Formas Fundamentais . . . . . . . . . . . . . . . . . . . . . . . . . . 3.4.1 3.4.2 A Primeira Forma Fundamental . . . . . . . . . . . . . . . . . . A Segunda Forma Fundamental . . . . . . . . . . . . . . . . . .
3.5 3.6
O Teorema Egregium de Gauss e as Equaes de Compatibilidade. . . . Variedade Diferenciveis e Tensores . . . . . . . . . . . . . . . . . . . . 3.6.1 3.6.2 3.6.3 Variedade Diferenciveis . . . . . . . . . . . . . . . . . . . . . .
Espaos Tangente e Dual . . . . . . . . . . . . . . . . . . . . . . Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.6.4
O Tensor Curvatura 3.6.4.1 3.6.4.2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91 92 92 94 94 95
Propriedades de Tensor de Riemann
Tensor de Ricci e Escalar de Curvatura . . . . . . . . .
3.7
Toro e Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.7.1 3.7.2 Contribuies de lie Cartan . . . . . . . . . . . . . . . . . . . . . . . . . . .
O mtodo do quase-paralelogramo de lie Cartan
4 Relatividade
4.1 Origens da Teoria da Relatividade . . . . . . . . . . . . . . . . . . . . . 4.1.1 4.1.2 4.1.3 4.1.4 4.2 A Teoria Especial . . . . . . . . . . . . . . . . . . . . . . . . . . A Invarincia das Equaes de Maxwell . . . . . . . . . . . . . . Teoria Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . O Pensamento mais feliz de Einstein. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
99
99 99 100 103 103 107 107 107 108 109 111
A Relatividade Especial 4.2.1
Transformaes de Lorentz . . . . . . . . . . . . . . . . . . . . . 4.2.1.1 4.2.1.2 4.2.1.3 Referencial Inercial . . . . . . . . . . . . . . . . . . . . A Transformao de Galileu . . . . . . . . . . . . . . . A Transformao de Lorentz . . . . . . . . . . . . . . .
4.2.2
A Relatividade de Einstein . . . . . . . . . . . . . . . . . . . . . 4.2.2.1 Consequncias da Relatividade Especial: Dilatao Temporal . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2.2.2 Consequncias da Relatividade Especial: Contrao das Distncias . . . . . . . . . . . . . . . . . . . . . . . . . 4.2.2.3 Consequncias da Relatividade Especial: nergia Massa e E-
111
112
. . . . . . . . . . . . . . . . . . . . . . . . . . .
113 115 115 117 117
4.3
A Relatividade Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3.1 4.3.2 A Curvatura do Espao-Tempo As equaes de Einstein 4.3.2.1 . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Postulados da Relatividade Geral:
5 Cosmologia Relativstica
5.1 Princpio Cosmolgico 5.1.1 5.1.2 5.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . O Postulado de Weyl . . . . . . . . . . . . . . . . . . . . . . . . A Mtrica de Robertson-Walker . . . . . . . . . . . . . . . . . .
119
119 121 122 126 127
O Modelo Cosmolgico de Friedmann-Lematre-Robertson-Walker . . . 5.2.1 As Equaes de Friedmann . . . . . . . . . . . . . . . . . . . . .
6 Concluso Referncias
137 143
1 Introduo
A Cosmologia Moderna tem sua origem nos trabalhos de Albert Einstein de 1915 sobre a Teoria da Relatividade Geral. A partir de ento pod-se pela primeira vez Contudo, as
averiguar minuciosamente o nosso Universo a luz do mtodo cientco.
primeiras dcadas da Cosmologia moderna foram de desenvolvimento muito lento. A maioria dos trabalhos desta fase eram basicamente especulativos, causando assim uma certa desconana em grande parte da comunidade cientca. Esta situao alterou-se signicativamente nos ltimos anos quando ocorreram uma extraordinria evoluo, motivada principalmente por novos resultados observacionais e tericos. Compreender o Universo em larga escala se torna fascinante e ao mesmo tempo instigante pelos recursos cientcos e tecnolgicos desenvolvidos e empregados. Pode-se ento encontrar respostas denitivas para as mais antigas e profundas questes da humanidade. Vrias questes, que at pouco tempo pertenciam mais Metasica do que a Cincia, podem ser agora analisadas de maneira racional. A partir de modelos cosmolgicos que descrevem o Universo visvel atual, os cosmlogos podem tirar concluses e propriedades em diferentes pocas e assim fazer algumas previses, inclusive podendo comprov-las observacionalmente. Pode-se dizer que compreender a evoluo do Universo algo que tem a ver com a expectativa de conhecer sua expanso, composio e estrutura, passando por sua idade e principalmente pela descrio de sua dinmica de movimento. impossvel
no se deslumbrar com a eccia das teorias fsicas na descrio da natureza, desde as menores escalas at o Universo como um todo. A Matemtica desempenha um
papel fundamental e vital na elaborao e aplicao das teorias fsicas, em especial da Cosmologia. A principal motivao para a escolha do tema Introduo Matemtica aos Modelos Cosmolgicos que resultou nesta dissertao foi o fato de propiciar os pr-requisitos para o prosseguimento de estudos nesta rea. O presente trabalho encontra-se assim organizado. No capitulo 2 feita uma breve reviso histrica sobre as origens da Cosmologia e o que esta cincia estuda. Este relato histrico inicia-se a partir das observaes realizadas pelo mais primitivo ser humano em relao aos fenmenos naturais e celestes que interferiam em sua vida, passando pela Grcia Antiga onde a importncia cultural dos gregos clssicos fundamental
15
16
Introduo
para o desenvolvimento tanto da Cosmologia como da Astronmia e Matemtica. O surgimento da Teoria da Gravitao de Einstein propicia o desenvolvimento de vrios modelos cosmolgicos, os quais visam descrever a evoluo do nosso Universo. No
captulo 3 feito um relato sobre a histria da Geometria Diferencial e em seguida apresentado um estudo introdutrio sobre a noo de curvatura de curvas em perfcies em
Rn
e su-
. Um estudo sobre variedades diferenciveis e tensores apresentado no
nal do captulo. O captulo 4 aborda as origens histricas da Teoria da Relatividade, em seguida uma introduo matemtica da Teoria da Relatividade Especial e Geral, e ao conjunto de equaes que relacionam a curvatura do espao-tempo com a distribuio de matria-energia so apresentadas. No captulo 5 feita uma breve discusso sobre os conceitos referentes ao princpio cosmolgico e ao postulado de Weyl, em seguida realizada a construo da mtrica de Friedman-Lematre-Robertson-Walker e das equaes de Friedmann. A mtrica de Friedmann-Lematre-Robertson-Walker e as
equaes de Friedmann descrevem um Universo em expanso ou contrao, homogneo

e isotrpico dentro do contexto da Teoria da Relatividade Geral. Estes fatos leva-
ram a construo do modelo cosmolgico de Friedmann-Lematre-Robertson-Walker, o qual tem por objetivo descrever a evoluo do Universo em toda sua histria. Este
modelo baseado nas equaes de Friedmann e a sua geometria dada pela mtrica
de Friedmann-Lematre-Robertson-Walker. Ao nal deste trabalho discute-se o atual

estgio da pesquisa e algumas perspectivas futuras da Cosmologia. importante ressaltar que a organizao e disposio do contedo desenvolvido na dissertao est atrelada a idia de poder criar um material didtico para o aluno dos cursos de Matemtica e Fsica que deseja fazer uma disciplina de Introduo Matemtica Cosmologia.
2 Histria da Cosmologia
A Astronomia uma das mais antigas cincias, pois trata da origem do Universo e da movimentao dos astros, questes estas to antigas quanto a prpria razo do homem. Juntamente com a Cosmologia, um campo da cincia que aplica teorias
fsicas na tentativa de compreender a estrutura e a evoluo do Universo. A verso mais antiga da Cosmologia encontra-se nos mitos cosmognicos, verses mitolgicas sobre a origem dos elementos e dos seres vivos. As idias de como o
Universo e seus elementos se comportam foram sendo modicadas ao longo do tempo. No entanto, a Cosmologia s passou a ser considerada como cincia aps a formulao da Teoria da Relatividade Geral feita por Albert Einstein, em 1915. Este captulo tem como objetivo mostrar as diversas fases do desenvolvimento da Cosmologia, motivando assim a leitura e o entendimento das partes tericas apresentadas e discutidas posteriormente neste trabalho. Ser feito um relato histrico sobre as origens e o desenvolvimento da Cosmologia ao longo do tempo, desde a viso do mais primitivo ser humano at o advento da Teria da Gravitao de Einstein, que propiciou o desenvolvimento de vrios modelos cosmolgicos, os quais descrevem a origem, a evoluo e a estrutura do nosso Universo.
2.1
O que Cosmologia
Desde os tempos mais remotos o ser humano procura formas conceituais e loscas para descrever a vida e o cosmos. Cosmos o termo usado para designar o Universo em seu conjunto, a estrutura universal em sua totalidade, desde o microcosmos ao macrocosmos. a totalidade de todas as coisas desde o Universo ordenado, as estrelas, at as partculas subatmicas. Assim, ao olhar o cu em uma noite sem nuvens e distante das luzes da cidade, inevitvel a sensao de vastido e encanto que o cosmos proporciona. Inmeras
estrelas distantes pontuam o rmamento e ao observar com mais ateno percebe-se uma faixa leitosa que atravessa o cu. Esta faixa a projeo de um grande nmero de estrelas na direo do plano galtico, e no permite a identicao individual das estrelas. Esta aparncia leitosa d origem ao nome de nossa galxia, a Via Lctea, uma entre as bilhes de galxias existentes no Universo.
17
18
Histria da Cosmologia
Diante deste cenrio grandioso e encantador natural surgir as indagaes: Do que feito o Universo? O Universo nito ou innito? O Universo ter um m? Teve um incio? A procura por tais respostas atravs de teorias e explicaes que buscam reconstruir uma realidade do mundo d origem a uma rea do conhecimento humano denominada Cosmologia. Assim, a Cosmologia a cincia que estuda a estrutura, a evoluo e a composio do Universo. Entende-se por Cincia o conjunto de conhecimentos que faz o uso do mtodo cientco baseado em um conjunto de observaes que resultam em um modelo capaz de fazer previses que podem ser testadas experimentalmente. Um dos muitos exemplos do mtodo cientco a Teoria da Gravitao Universal desenvolvida por Isaac Newton (1642 1727), que usou as observaes de Tycho Brahe (1546 1601) e Johannes Kepler (1571 1630) para elaborar um modelo cujas previses foram vericadas muitas vezes, e possibilitou, por exemplo, na descoberta dos planetas Urano e Pluto. O estudo da estrutura do Universo busca responder a questes relativas forma e organizao da matria nele contida. Uma unidade de distncia apropriada a
este estudo o ano-luz, denido como a distncia que a luz percorre em um ano. A velocidade da luz no vcuo de aproximadamente ou seja, um ano-luz equivale a cerca de
300
mil quilmetros por segundo, Outra unidade
10
trilhes de quilmetros.
1 relacionada ao ano-luz e tambm muito usada o parsec que equivale a 2 luz .
3, 26
anos-
A evoluo do Universo a sua histria, ou seja, suas diferentes fases. Neste sentido, uma das maiores descobertas do sculo XX, foi sem dvida, o fato de que o Universo est em expanso. Por muito tempo, tinha-se a idia que, descontado o movimento
aparente das estrelas devido rbita da Terra ao redor do Sol, o Universo seria esttico, ou por assim dizer, imutvel. Por no ser esttico, o Universo evolui e tem sua prpria histria. Pensando na evoluo e estgio atual do Universo ao retroceder no tempo O
percebe-se que no passado as galxias estavam mais prximas umas das outras.
Universo era menor, mais denso e mais quente. Isto conduz ao fato de que o Universo comeou sua evoluo a partir de um estado extremamente quente e denso, sofrendo vrias modicaes at adquirir a forma atual. Observaes indicam que o Universo organizado de uma maneira hierrquica at uma escala de tamanho de
300 milhes de anos-luz. 100
Estrelas formam galxias, galxias
formam aglomerados de galxias e aglomerados de galxias formam superaglomerados de galxias. Em escalas bem maiores de milhes de parsecs, h evidncias de que
o Universo seja homogneo ou uniforme, isto , no apresenta, na mdia, regies muito
1 Parsec a distncia que se encontra uma estrela cuja paralaxe (ngulo sob o qual o raio de rbita
terrestre visualizado perpendicularmente ao seu raio visual) igual a
2 Para se ter noo de distncia usando a velocidade da luz. Temos que o permetro da Terra de
segundo de arco [1].
aproximadamente
dcimo de segundo-luz; a distncia da Terra ao Sol de
minutos-luz; a estrela
mais prxima, Alfa Centauro, est a
4, 2
anos-luz; a galxia mais prxima, Andrmeda, se encontra a
milhes de anos-luz.
As Origens Cosmolgicas
19
diferentes. Por m a composio do Universo busca responder a questes sobre do que este feito, sua constituio e matria prima. Para explicar a composio do Universo
temos que deduz-la a partir de observaes realizadas por instrumentos na Terra ou em sua rbita. Uma primeira tentativa seria pensar que o Universo feito dos mesmos elementos que esto presentes em nosso planeta: tomos, ftons e neutrinos. O pensamento de que o Universo era feito dos mesmos elementos presentes em nosso planeta foi por muitos anos um paradigma cientco. No entanto, os avanos
tecnolgicos e o desenvolvimento da Cosmologia mostraram que apenas
5%
do Uni-
verso seria composto por tomos. Outra frao menor ainda corresponderia a ftons e neutrinos. Assim, a maior parte do Universo no possui a mesma composio que nosso planeta. Observaes e estudos a respeito do Universo tambm revelaram que o peso das galxias ou mais precisamente, a quantidade de massa, cerca de
100
vezes
maior que o peso de todas as estrelas somadas. Desta maneira, existe na galxia um tipo de matria que no irradia luz, denominada matria escura. Importante destacar que somos a primeira gerao com capacidade tecnolgica para estudar cienticamente o Universo, graas ao desenvolvimento de instrumentos de alta preciso, que fornecem informaes detalhadas e precisas. Essas informaes produzem resultados surpreendentes, e fazem com que atravessemos uma fase fascinante e efervescente na Cosmologia. Novas descobertas esto em curso, das quais podem resultar um novo paradigma para as futuras geraes.
2.2
As Origens Cosmolgicas
As origens da Cosmologia so desconhecidas, mas podemos imaginar que desde tempos remotos, o mais primitivo ser humano se interessou em observar fenmenos que ocorriam a sua volta e tentar compreend-los. Atrado inicialmente pelos fenmenos que mais interferiam em sua vida como as variaes alternadas de claridade e escurido, as variaes de temperatura e clima. Todas associadas ao deslocamento do Sol em relao ao horizonte. Observava tambm fenmenos celestes como as fases da Lua, os eclipses, o aparecimento de cometas e de vrios outros fenmenos da natureza. A falta de conhecimento sobre a verdadeira natureza do cosmos deve ter produzido no homem primitivo um sentimento de curiosidade, admirao e temor, levando-o a acreditar na natureza divina dos corpos celestes. Para muitos povos do passado, os
astros eram verdadeiros deuses, e para outros, smbolos de divindades atribuindo a estes a inuncia sobre a vida na Terra. Os homens dessa poca, que melhor interpretavam estes fenmenos celestes, formavam elites sacerdotais que dominavam e determinavam os costumes destes povos. Com sua evoluo, o homem comeou a utilizar as estrelas e as estrelas errantes, (denominao dada aos planetas na poca) para sua orientao em viagens. Por volta
20
do ano
6000
a.C. aconteceu a transio entre a civilizao nmade e a sedentria com
o surgimento da agricultura. Desta forma, as comunidades requeriam conhecer em que poca do ano poderiam semear e em qual colher, e assim como prever os fenmenos metereolgicos. Observando constantemente o Sol, a Lua, as estrelas, asterides, planetas e cometas, o homem notou uma regularidade de ocorrncia de vrios fenmenos, que lhe permitia marcar ou medir a passagem do tempo, e juntamente com a construo dos primeiros relgios de areia, estabeleceu os primeiros calendrios to necessrios a suas atividades agrcolas. Em suas observaes pode criar mtodos para determinar a sua posio na superfcie da Terra por meio das posies dos astros, o incio das estaes do ano, bem como prever fenmenos que ocorriam com os corpos celestes. Assim, as estrelas guiavam os caminhos aos nmades e marinheiros, ao agricultor as fases da Lua e a viagem anual do Sol indicavam a poca de semear. No comeo das civilizaes alguns homens se dedicaram por completo a estudar os mistrios que cercam o Universo. Tem-se assim uma fase de transformao dos
conceitos msticos e mitolgicos, dando origem ao nascimento da investigao cientca ligada as suas necessidades cotidianas e curiosidade intelectual. Quanto ao Universo, o ser humano passa a perguntar: Do que feito? Como surgiu? Como terminar? Prova disto so as mltiplas respostas dadas a estas perguntas ao longo do tempo e que em conjunto, constituem a histria do pensamento cosmolgico.
2.3
Os grandes cosmlogos da Antiguidade
Foi na Grcia Antiga que a maneira de encarar e interpretar os fenmenos naturais sofreu grande alterao, pois foi ali que o homem passou a desenvolver o conhecimento fundamentalmente em bases racionais. ([2], p. 24) A importncia cultural dos gregos clssicos fundamental para o desenvolvimento da Matemtica, Astronomia e Cosmologia. Contudo, existe uma grande diculdade em escrever sobre as pessoas desta poca e de perodos idnticos. Mesmo existindo vrias citaes so poucas as informaes pessoais e nenhum de seus escritos sobreviveram. Tradicionalmente os conceitos histricos da astronomia e cosmologia grega tem seu incio com Tales de Mileto (cerca de
624
cerca de
547
a.C.), que foi desde a
antiguidade visto como o iniciador do pensamento losco cientco. Tales acreditava que o mundo havia evoludo a partir da gua por processos puramente naturais, sendo a Terra um disco plano que utuava em um oceano innito. . . . segundo informaes do historiador Herdoto, Tales teria previsto um eclipse do Sol, provavelmente no ano de
585
a.C. ([2], p.24). Embora isso seja mais mito que
realidade histrica, astrnomos calculam que esse eclipse ocorreu em
28
de maio de
585
a.C. O nascimento e a morte deste importante lsofo so datados com base neste
fenmeno.
21
Tales teve vrios discpulos dentre os quais merecem destaques Anaximandro de Mileto (610
547 a.C.) e Anaxmines de Mileto (585
528 a.C.).
Tales e seus discpulos eram lsofos representantes da Escola jnica, a qual buscava uma explicao do mundo natural (a phis eram estudiosos ou tericos da natureza, da o nome fsica) baseada essencialmente em causas naturais, o que constituiu o chamado naturalismo da escola. Anaximandro foi o principal discpulo e sucessor de Tales. Ele acreditava que todas as coisas surgiram de uma nica substncia primordial denominada peiron (eterno e ilimitado ou indeterminado). Para esse lsofo natural, a Terra era um cilindro que utuava livremente sem se apoiar em nada.
So atribudas a Anaximandro a confeco de um mapa do mundo habitado, a introduo do gnomon na Grcia, a medio de distncia angulares entre estrelas e uma rudimentar classicao das estrelas quanto ao brilho..... Foi o primeiro a explicar o mecanismo dos eclipses pela interposio da Lua entre a Terra e o Sol, e os eclipses da lua pela entrada desta na sombra da terra. ([2], p.25)
Anaxmenes adotou o ar como substncia primordial, uma vez que o ar incorpreo e se encontra em toda parte. Acreditava assim que todas as coisas pudessem ser
reduzidas a este elemento. [Anaxmenes] Parece ter sido o primeiro a armar que a Lua brilha por reetir a luz do Sol, e acreditava ser a Terra da forma de um cilindro de pequena altura.... ([2], p.25). Anaxgoras de Clazmena (500
428 a. C.) representante da Escola italiana, a
qual caracterizava-se por uma viso de mundo mais abstrata, menos voltada para uma explicao naturalista da realidade. [Anaxgoras] Acreditava que o Universo sempre existiu, a princpio na forma de partculas innitesimais, mas que estavam destinadas pela inuncia de uma mente csmica a se tornar a natureza que apreciamos hoje ([3], p.18)
A tentativa mais antiga de uma cosmologia racional de que se tem registro provavelmente a de Pitgoras, que ensinava que a Terra redonda e gira em torno do seu eixo. A teoria de Pitgoras era um rompimento radical com a viso, ento prevalecente, de que a Terra era chata. Pitgoras baseou suas idias numa analogia entre a harmonia da escala musical, expressa em termos de nmeros racionais, e a harmonia celeste dos movimentos dos planetas. Talvez sua mais importante contribuio cosmologia tenha sido a ideia de que os movimentos celestes obedecem a certas leis quantitativas. ([4], p.10)
Pitgoras (cerca de
569
cerca de
475
a.C.), reconheceu que a rbita da Lua era
inclinada em relao ao equador da Terra e foi um dos primeiros a perceber que Vnus era um planeta. Teve vrios discpulos, dentre os quais merece destaque Filolau de
Crotona (sculo V a.C.), conhecido como a primeira pessoa a propor que a Terra se
22
move. Filolau postulou o denominado Sistema Pirocntrico, modelo no qual a Terra no s esfrica, mas gira em rbitas circulares junto com o Sol, a Lua e os planetas ao redor de um hipottico fogo central no ncleo do Universo.
Figura 2.1: Modelo Pirocntrico de Filolau
Neste modelo havia a existncia de nove movimentos circulares no cu: os das estrelas xas, os dos cinco planetas e os da Terra, Lua e Sol. Porm, Filolau misturou sua brilhante deduo com a numerologia mstica. Nove era considerado pelos pitagricos um nmero imperfeito desta forma, ele assumiu a existncia de um dcimo corpo localizado entre a Terra e o fogo central denominado Anti-Terra. A Anti-Terra de-
sempenhava as funes de proteger a Terra dos raios diretos do fogo central e de fazer com que o nmero de objetos mveis do Universo fora consideravam perfeito. A idia revolucionria de que a Terra se movia e no era centro do Universo foi o preparo de um caminho para uma cosmologia heliocntrica, que com o passar do tempo estagnou e se tornou obsoleta. importante destacar que era de conhecimento dos pitagricos o fato da Lua sempre estar com a mesma face voltada para a Terra. Plato (427
10,
nmero que os pitagricos
347 a.C.) tinha uma viso distinta do Universo.
...
[Plato] sustentava que o crculo, por no ter comeo nem m, era uma forma
perfeita e, consequentemente, os movimentos celestes deviam ser circulares, uma vez que o universo tinha sido criado por um ser perfeito, Deus. ([4], p.11)
Plato admitia que a Terra era esfrica como o prprio Universo. Ele defendia a idia de uma rotao diria da abboda celeste em volta de uma Terra imvel, onde os planetas moviam-se em rbitas circulares com velocidades diferentes. Surgem assim os modelos geocntricos, idia devido a Plato, que utilizou oito esferas concntricas para formar seu modelo cosmolgico. A primeira destas esferas, a mais externa, representava
23
as estrelas xas.
Sua rotao fazia o Universo todo girar de Leste para Oeste com
velocidade uniforme, em torno do eixo imaginrio que passava pelo centro da Terra. Outras sete esferas concntricas foram denidas de tamanhos diferentes para identicar o movimento da Lua, do Sol e dos cinco planetas: Mercrio, Vnus, Marte, Jpiter e Saturno. Os modelos geocntricos foram naturalmente escolhidos pela maioria dos astrnomos e cosmlogos da antiguidade. O movimento da esfera celeste causava a sensao de que a Terra permanecia xa no centro de uma grande esfera e todo o resto girava em torno dela. Estes modelos podem ser divididos em dois grupos distintos. O primeiro grupo consiste dos modelos de Plato, Eudxio e Aristteles, denominados modelos concntricos. O segundo grupo consiste dos modelos de Apolnio, Hiparco e Ptolomeu, denominado epiciclos e excntricos. Eudxio (400
347 a.C.), contemporneo de Plato e considerado o melhor ma-
temtico da Idade Helnica, criou um modelo de Universo bastante engenhoso para explicar os movimentos das estrelas, dos planetas, do Sol e da Lua. Por este trabalho, Eudxio considerado o pai da astronomia cientca. Seu trabalho combina concntricas com rotaes uniformes em torno de eixos inclinados entre si.
Uma esfera para explicar o movimento diurno, uma para o movimento anual do Sol, duas para o movimento da Lua. Para a laadas e retrogradaes de Jpiter e Saturno, quatro esferas para cada um, e ainda cinco esferas para cada um dos outros trs planetas, Mercrio, Vnus e Marte. Alm de introduzir um elemento abstrato (as esferas, que deviam ser consideradas invisveis e transparentes), este modelo apresentava outras falhas, como no explicar como so ligadas as esferas e como so produzidos os movimentos; apresentava uma margem de erro considervel, mesmo para poca, das posies dadas aos planetas, e ainda no explicava a variao de brilho dos mesmos. ([2], p.26)
27
esferas
Este modelo aperfeioado por Aristteles (384
322 a.C.), outro discpulo de
Plato e considerado um dos maiores sbios da antiguidade. No seu modelo Aristteles permita que as esferas concntricas de Eudxio funcionassem to bem prtica quanto na teoria, ampliando para um complexo mecanismo que necessitava de
55
esferas para
funcionar. Para Aristteles o Universo era nito, esfrico, eterno, imutvel e limitado pela esfera das estrelas xas. Fora da esfera das estrelas xas nada poderia existir, nem mesmo o tempo. Acreditava tambm na existncia de cinco elementos fundamentais. Quatro terrestres: a gua, o fogo, o ar e a terra e um elemento divino denominado ter. O ter era o elemento perfeito que comporia os cus onde a perfeio era dominate. Contemporneo de Aristteles e discpulo de Plato, Herclides do Ponto (387 - 312 a.C) defendia a idia de que a Terra, embora no centro do Universo, estava animada de um movimento de rotao em torno de si mesma num perodo de um dia. Desta maneira, explicava o movimento dirio de todos os astros.
24
300 a.C. a capital da cultura grega mudou-se de Atenas para a cidade de Alexandria no Egito construda por Alexandre, o Grande (358 323 a.C.). Alexandria
Por volta de viria a se tornar o maior centro cultural, cientco e econmico da Antiguidade por mais de
300
anos.
Em meio aos modelos geocntricos que tentavam explicar os movimentos dos corpos celestes, surge o heliocentrismo com matemtico grego Aristarco de Samos (310 230 a.C.). O que se sabe a respeito deste brilhante astrnomo devido a citaes de
Arquimedes, Plutarco e outros. Aristarco defendia a idia do movimento de rotao da Terra em torno do seu prprio eixo e o movimento de translao ao redor do Sol, como tambm o movimento de translao dos demais planetas em rbitas circulares ao redor do Sol. O modelo
heliocntrico de Aristarco no foi aceito na poca devido a argumentos provenientes da Fsica e Cosmologia Aristotlica. Um dos argumentos contra o movimento de rotao da Terra era que, se a Terra girasse em torno de si mesma, qualquer corpo em queda livre sofreria um desvio para Oeste. Para o no movimento de translao o argumento era a no existncia de paralaxe das estrelas. Aristarco elaborou uma classicao para as estrelas quanto ao seu brilho e admitiu que estas se encontravam em diferentes distncias da Terra. Seleuco de Seleucia (150
? a.C.), observou que as mars estavam relacionadas
com as fases da Lua e foi o nico astrnomo da antiguidade a adotar o heliocentrismo de Aristarco. Eratstenes (276
194 a.C.) calculou com xito a circunferncia terrestre determi-
nando com boa preciso o raio, a rea supercial e o volume da Terra. Com o passar do tempo, os observadores adquiriam uma imagem mais clara e elaborada dos movimentos que observavam no cu,
os modelos concntricos foram perdendo credibilidade entre os astrnomos e aos poucos foram deixados de lado. Isso ocorre por causa do aprimoramento das observaes e construes de tabelas que possibilitaram aos estudiosos confrontarem dados de vrias pocas, determinando alteraes nas rbitas planetrias, cujos modelos concntricos existentes at ento no conseguiam explic-las satisfatoriamente [5] p. 45.
Apolnio de Perga (262
190 a.C.) contemporneo de Eratstenes, prope a teoria
dos deferentes, epiciclos e excntricos propondo dois sistemas alternativos baseados em movimentos epiciclos e excntricos para explicar o aparente movimento dos planetas no cu. Hiparco de Nicia (190
120 a.C.) no ano de
134
a.C. detectou o surgimento
de uma nova estrela na constelao de Escorpio.
Esta estrela aumentou seu brilho
rapidamente e passado algum tempo, desapareceu e nunca mais foi vista. Com base nesta observao Hiparco vericou que o Universo no era imutvel e eterno como havia
A Cosmologia na Renascena
25
proposto Aristteles. Confecciona assim um catlogo com quase mil estrelas e melhora sua classicao em funo do brilho, feita anteriormente por Aristarco. Classicou as estrelas em seis grandezas, de tal forma que as de primeira grandeza seriam as mais brilhantes e as de sexta grandeza, as de brilho mais fraco. Hiparco desenvolveu uma teoria que fazia uso do excntrico a m de explicar as irregularidades observadas nos movimentos do Sol e da Lua, mantendo a hiptese do movimento circular uniforme. Utilizou outro modelo, o do deferente-epiciclo para explicar o mesmo fato. Hiparco defende a idia do geocntrismo de Aristteles, onde a Terra estaria xa no centro do Universo e todos os outros astros realizam movimentos uniformes ao seu redor. Cladio Ptolomeu (cerca de
85
cerca de
165)
juntou suas prprias teorias e ob-
servaes com idias de outros astrnomos, principalmente de Apolnio e Hiparco, aperfeioando assim a verso do modelo geocntrico.
Essa teoria consistia em supor que os planetas se movimentavam em rbitas compostas por um crculo principal, o deferente, ao qual se sobrepunha um crculo menor, resultando em um movimento de epiciclo. Essa construo era fundamental para explicar o movimento retrgrado dos planetas. Mas por si s no era suciente. Ainda era necessrio supor que a Terra estivesse ligeiramente deslocada em relao ao centro do crculo em que se movimentavam os planetas. .... Ademais, era necessrio imaginar ainda que o planeta se movimentava uniformemente no em relao ao centro do seu crculo orbital, mas sim em relao a um ponto deslocado do centro conhecido como equante. Dessa forma um tanto complicada era possvel prever com razovel preciso a posio dos astros na esfera celeste. ([3], p. 22)
A teoria de Ptolomeu transmitida ao longo da Idade Mdia em forma de uma enciclopdia astronmica, a Megale Sintaxis, muito conhecida por sua verso traduzida para o rabe como Almagesto. Essa teoria resiste as provas de observaes durante
14
sculos. Aps Ptolomeu, a cincia astronmica e cosmolgica grega praticamente se extin-
gue. O pensamento religioso cristo praticamente bane o desenvolvimento das cincias, os primeiros lderes da Igreja insistiam numa interpretao literal das passagens bblicas, e a Terra volta a ser plana. ([4], p. 15)
2.4
O termo Renascena compreende o perodo da histria europia que vai do incio do sculo XIV at o nal do sculo XVI. Este termo possui suas origens na palavra italiana rinascita, que literalmente signica renascer, e descreve as mudanas radicais que ocorreram na cultura europia durante estes sculos. Nesta poca ocorre o
26
desaparecimento da misteriosa e mgica Idade Mdia e, pela primeira vez, incorpora sociedade os valores do mundo moderno. Neste perodo ocorre a explorao do globo terrestre com as grandes navegaes feitas por portugueses e espanhis. Tem-se o incrvel desenvolvimento da expresso
artstica, com Leonardo da Vinci (1452 1519), Rafael (1483 1520), Tiziano Vecellio (1490 1576), Michelangelo (1475 1564) e tambm das cincias com Nicolau Coprnico (1473 1543), Tycho Brahe (1546 1601), Johannes Kepler (1571 1630) e Galileo Galilei (1564
1642).
No entanto, este desenvolvimento no deve ser confundido com
liberdade. A Igreja Catlica dominava fortemente o pensamento da poca, e cientistas como Coprnico e Galileu apresentaram suas idias e sofreram retaliaes por causa delas. Alguns como Giordano Bruno (1548
1600)
foram queimados por suas inter-
pretaes cientcas diferentes daquelas apoiadas pela Igreja Catlica. Contudo, a era do renascimento tirou o mundo da apatia e ignorncia em que estava vivendo. Na Europa do sculo XIII, ainda Idade Mdia, j havia uma forte insatisfao com a Fsica e a Astronomia de Aristteles e de Ptolomeu. Nos sculos XIII e XIV muitos fatos cientcos pediam novos mtodos de anlise, tornando-se inevitvel o desenvolvimento de teorias mais satisfatrias. Nesta poca, surgiu o monge franciscano Roger Bacon (1214
1292),
enfatizando
que o mtodo cientco consistia em fazer observaes e no realizar a eterna leitura de textos antigos. Para ele o mtodo cientco signica observar, usar a matemtica, comparar os resultados obtidos com os experimentos feitos e voltar a fazer observaes. Era preciso se libertar dos velhos textos clssicos e criar uma nova maneira de encarar a cincia. No foi apenas Roger Bacon que apresentou crticas cincia da poca. Outros
pensadores, muitos deles religiosos, apresentaram ao longo deste perodo idias revolucionrias. Um exemplo, foi bispo francs Nicolau de Oresme (1323 1382), brilhante matemtico, fsico e economista, que armou que o movimento somente poderia ser percebido quando um corpo altera sua posio em relao a outro corpo. Com base nisso, Oresme refutava a velha idia de que a Terra no podia girar em torno do seu eixo. A idia de um cosmos innito tem seu ponto de partida com o cardeal alemo Nicolau de Cusa (1401
1464).
Em sua obra, De docta ignorantia (Sobre a sbia
ignorncia), introduz a idia de um Universo sem limite, indeterminado, ou em suas palavras, immensum, bem como sem centro e sem circunferncia. Durante o Renascimento muitas verdades intocveis so revistas e fortemente discutidas. At mesmo a autoridade do Papa contestada pelo monge Martinho Lutero (1483
1546),
dando origem ao protestantismo.
A Renascena conduziu revoluo copernicana, e, como consequncia, era moderna da cincia. Os principais nomes da Cosmologia na Renascena foram: Nicolau Coprnico, Thomas Digges (1543
1595),
Giordano Bruno, Tycho Brahe, Johannes
27
Kepler e Galileu Galilei. O monge polons Nicolau Coprnico, prope um modelo onde tudo seria mais simples se o Sol estivesse no centro do sistema planetrio. No ano de sua morte, foi
pblicado em seu livro, De revolutionibus orbium coelestium (Da revoluo de esferas celestes) sua teoria, na qual
.... o Universo composto por sete esferas concntricas. A primeira e mais
externa a esfera das estrelas xas, seguindo a esta a esfera de Saturno, a de Jpiter, a de Marte, a da Terra, a de Vnus e a stima esfera de Mercrio. Todas essas esferas, com exceo da primeira, giram em torno de um ponto central, onde est o Sol, formulando ento o que chamou de sistema heliocntrico.([2], p. 32)
A teoria de Coprnico tem uma grande concordncia com as idias de Aristarco, a de que um nico movimento circular em torno do Sol, seria capaz de explicar o movimento aparente dos planetas. Essa teoria causa um grande impacto nas agitadas movimentaes sociais, culturais e religiosas daquele tempo.
Figura 2.2: Sistema Heliocntrico proposto por Coprnico
No entanto, mesmo com a enorme simplicao conceitual na descrio dos fenmenos celestes, a teoria de Coprnico no chegou a derrubar a credibilidade do modelo geocntrico. Faltavam evidncias observacionais mais slidas que pudessem privilegiar o heliocntrismo em detrimento de uma outra teoria, que mesmo sendo mais complicada desfrutava de sucesso na descrio acurada das observaes existentes. ([3], p. 23)
Thomas Digges, escreveu um trabalho popular chamado A Pert Description of the
Caelestiall Orbes, publicado em

ocntrico de Nicolau Coprnico.
1576,
que tinha como objetivo explicar o modelo heli-
28
Digges introduziu uma importante modicao no sistema universal de Coprnico. Ele reconheceu que a esfera das estrelas xas que limitava o Universo no era logicamente necessria em um modelo onde a Terra tinha um movimento de rotao. Removeu assim, a borda mais externa do modelo e dispersou as estrelas xas por todo o espao no limitado. Seu modelo de Universo era heliocntrico, innito com as estrelas espalhadas por um espao vasto e aberto. Giordano Bruno tomou conhecimento do livro de Thomas Digges e, prontamente adotou as idias ali contidas. Este livro falava de um Universo sem contorno e voltou sua ateno para a concluso lgica, previamente mostrada por Nicolau de Cusa, de que o Universo tambm no possui centro. Esse brilhante telogo, lsofo, escritor e frade dominicano deve ser considerado o principal representante da doutrina do Universo descentralizado, innito e innitamente povoado. Em seu livro La Cena de le Ceneri apresenta a melhor discusso e refutao, escrita antes de Galileu, das objees clssicas, sejam elas aristotlicas ou ptolomaicas, contra o movimento da Terra. Neste texto ele defendia com ardor a teoria heliocntrica. Em seu livro De l'innito universo e mondi, Giordano Bruno arma de maneira precisa, resoluta e consciente que o espao innito. Tambm arma que
movimento e mutao so sinais de perfeio. Um Universo imutvel seria morto. Um Universo vivo tem de ser capaz de mover-se e modicar-se. Segundo Bruno, como poderia o espao vazio, deixar de ser uniforme ou viceversa? Como poderia o vazio, uniforme deixar de ser ilimitado e innito? Do seu
ponto de vista a concepo aristotlica de um espao fechado no interior do mundo no s falsa como absurda. Suas armaes eram avanadas demais para a poca. Em
1591,
Giordano Bruno
foi preso pela Inquisio, sendo continuamente interrogado at o ano de foi queimado vivo como herege em uma praa pblica na cidade Roma.
1600,
quando
Tycho Brahe foi o maior de todos os astrnomos pr-telescpio. Por meio de estudos sistemticos com instrumentos grande e nalmente trabalhados, desfrutou de observaes limitadas pela resoluo do olho humano. Suas observaes foram numerosas,
quase mil estrelas catalogadas com exatido, os planetas foram seguidos com preciso e os cometas com um pouco mais diculdade. Props seu prprio modelo planetrio, o sistema tychonoico, onde o Sol e a Lua giravam ao redor da Terra, enquanto todos os outros planetas giravam ao redor do Sol. Na verdade, este modelo era uma modicao geocntrica do modelo de Coprnico, sendo equivalente ao sistema de Coprnico, no sentido de que os movimentos relativos de todos os corpos celestes (exceto as estrelas) so os mesmos nos dois sistemas. A cosmologia de Tycho Brahe forneceu as bases observacionais necessrias, que permitiram a Kepler estabelecer os verdadeiros movimentos dos planetas. Johannes Kepler, de posse dos resultados das observaes feitas por Tycho Brahe, principalmente aquelas sobre os registros do movimento do planeta Marte, formulou
29
Figura 2.3: Modelos cosmolgicos de Ptolomeu, Coprnico e Tycho Brahe
as trs leis fundamentais sobre o movimento planetrio, conhecidas como as Leis de Kepler:
Lei das rbitas Elpticas:

um dos focos das elipses.
Os planetas se movem em rbitas elpticas com o Sol em
Lei das reas:
Uma linha traada do Sol a um planeta percorrer reas iguais em
tempos iguais. Esta lei determina que os planetas se movem com velocidades diferentes, dependendo da distncia a que se encontram do Sol.
Lei dos Tempos:
Os quadrados dos perodos de revoluo dos planetas so proporci-
onais aos cubos dos eixos mximos de suas rbitas. Esta ltima lei indica que existe uma relao entre a distncia do planeta e o tempo que ele demora para completar uma revoluo em torno do Sol. Assim, quanto mais distante o planeta estiver do Sol mais tempo levar para completar sua volta em torno desta estrela.
Kepler imaginou o Sol como um grande m giratrio, que atraa os planetas em torno de si libertando o sistema solar da teoria epicclica que perdurava por anos. importante ressaltar que sem as medies de Tycho Brahe, Kepler no teria encontrado suas leis planetrias, e a histria da cincia do sculo XVI poderia ter sido muito diferente. Uma astronomia com o uso de telescpio foi introduzida no ano de
1610 por Galileu
Galilei inovando os mtodos sistemticos de observao e de experimentao. Com o uso do telescpio realizou grandes descobrimentos astronmicos: a natureza montanhosa da superfcie da Lua; observou pela primeira vez os quatro grandes satlites de Jpiter possibilitando assim a analogia entre o sistema Terra-Lua e demais corpos celestes; a existncia de outras estrelas no visveis a olho n; a descoberta das fases de Vnus, ajudando a demonstrar que este planeta se move em torno do Sol. Argumentou
30
tambm que as estrelas se encontravam muito distantes da Terra ao observ-las como pontos de luz, mesmo quando vistas pelos telescpios. O aristotelismo recebe um golpe mortal quando Galileu faz a descoberta das manchas solares. Este fato acaba com a doutrina aristotlica da imutabilidade do cus. Galileu no contribuiu signicativamente para a teoria cosmolgica, mas suas observaes no s deram incio a era da astronomia telescpica, como exerceram profunda repercusso sobre o entendimento humano do Universo.
2.5
O Mecanicismo de Ren Descartes. A Teoria da Gravitao de Isaac Newton e o Determinismo de Pierre Simon Laplace
A cincia desenvolvida por Galileu cou conhecida como mecanicismo, e lanou as bases para uma nova concepo da natureza que foi amplamente aceita e desenvolvida. Os mecanicistas viam a natureza como um mecanismo cujo funcionamento era regido por leis precisas e matemticas. Para eles, o mundo era formado de peas ligadas entre si e o seu funcionamento regular nos permitia descrev-las usando as leis da Mecnica. Com esse argumento era possvel negar a necessidade de se apelar a um Deus para conhecer o que estava acontecendo, sem negar a existncia do prprio Deus. Segundo os mecanicistas, um ser inteligente pode conhecer o funcionamento de uma mquina to bem como o seu prprio inventor sem ter que consult-lo a esse respeito. Um dos grandes defensores do mecanicismo foi o lsofo francs Ren Descartes (1596
1650),
que props um modelo no matemtico para o Universo que consistia
de enormes rodamoinhos de matria csmica, os quais denominou vrtices. O Sistema Solar seria apenas um dos inmeros rodamoinhos que formavam o Universo. A cosmologia mecanicista de Descartes era altamente aceitvel dentro da concepo geral existente no sculo XVII do mundo concebido como uma mquina. Entretanto, suas explicaes eram apenas redescries qualitativas de fenmenos em termos mecnicos. Durante o sculo XVIII, a teoria do vrtice, de Descartes mostrou ser incapaz de calcular os movimentos planetrios que eram observados. Ocorreram trs importantes descobertas experimentais no sculo XVII que contriburam fundamentalmente para uma melhor compreenso do Universo. A determinao da distncia Terra-Sol por Giovanni Domenico Cassini (1625
1712)
mostrando que,
mesmo em termos de Sistema Solar, as distncias envolvidas eram gigantescas. Cassini determinou o valor da unidade astronmica (U.A.) como sendo a distncia mdia entre a Terra e o Sol. Este valor foi apenas
7%
menor do que o aceito atualmente como
verdadeiro, cerca de
149.597.870, 691
quilmetros.
A segunda descoberta foi a determinao da velocidade da luz pelo dinamarqus Ole Christensen Romer (1644
1710).
Este dado fsico foi de extrema importncia,
Mecanicismo, Gravitao e Determinismo
31
uma vez que a velocidade da luz nita.
Uma importante consequncia foi que ao
olhar o cu noturno, o que se v o passado do Universo. Roemer obteve o valor de luz,
225.260
quilmetros por segundo para a velocidade da
25%
menor do que o aceito atualmente que de cerca de
300.000
quilmetros por
segundo. Finalmente, a ltima grande descoberta foi realizada por Otto von Guericke (1602
1686) de que o vcuo era possvel.
Este fato revelou a todos os cientistas de que o espao
entre as estrelas poderia ser considerado como vcuo, sem a necessidade da existncia de qualquer meio semelhante ao ter. A idia de vcuo vir a ser melhorada, permitindo que a teoria de campo possa justicar diversos fenmenos. Guericke se preocupava com a natureza do espao e, com a possibilidade da existncia do espao vazio. Ele construiu um modelo fsico do Universo, englobando as idias de Coprnico. Sua teoria baseava-se no espao vazio atravs do qual a ao magntica controlava os movimentos dos planetas. Os trabalhos de Nicolau Coprnico sobre o Sistema Solar foram muito importantes por mostrarem o papel que a gravitao exercia nos corpos celestes. Em seguida,
Johannes Kepler apresentou suas leis do movimento planetrio e Galileo Galilei fez compreender o movimento e a queda dos corpos. Com base nesses conhecimentos e
estimulado por Edmund Halley (1656 1742), Isaac Newton (1642 1727) apresentou suas idias sobre o movimento dos corpos celestes. Newton publicou em
1687
suas leis
do movimento e a anlise da gravidade sob a forma de um livro intitulado Philosophia
Naturalis Principia Mathematica (Princpios Matemticos da Filosoa Natural).

Formulou trs importantes leis:
Primeira Lei ou Lei da Inrcia:
Todo corpo continua em seu estado de repouso
ou em movimento uniforme sobre uma linha reta, a menos que seja forado a mudar aquele estado por foras aplicadas sobre ele.
Segunda Lei ou Lei da Quantidade de Movimento:

aquela fora imprimida.
A mudana de movimento
proporcional fora motora imprimida e produzida na direo da linha reta na qual
Terceira Lei ou Lei da Ao e Reao:
A toda ao h sempre uma reao oposta
e de igual intensidade, ou seja, as aes mtuas de dois corpos um sobre o outro so sempre iguais e dirigidas em sentidos opostos.
Newton tambm desenvolveu a Teoria da Gravitao Universal. Esta teoria motivase pela seguinte pergunta: o que impede a Lua de sair de sua rbita em torno da Terra, exatamente como acontece ao cortarmos a corda que prende uma bola que est sendo rodada? Newton argumentava que a Lua cai, continuamente em sua trajetria em torno
32
da Terra por que existe uma fora gravitacional que a atrai na direo do centro do nosso planeta. A Lua sofre uma acelerao gerada pela gravidade do nosso planeta e o conjunto desses fatores produz no m das contas sua rbita. Seguindo esse raciocnio, Newton chegou concluso que dois objetos quaisquer no Universo exercem uma mtua atrao gravitacional, gerada por uma fora que possui uma forma matemtica universal. A palavra gravidade j estava em uso naquela poca, signicando a qualidade de peso, que faz um objeto cair. Newton demonstrou sua existncia por uma lei universal:
Duas partculas quaisquer de matria se atraem mutuamente com uma fora diretamente proporcional ao produto de suas massas e inversamente proporcional ao quadrado da distncia entre elas.
Com esta observao, Newton introduziu o grande princpio unicador da Fsica Clssica, capaz de explicar em uma lei matemtica o movimento dos planetas, o movimento das mars e a queda de uma ma. A Lei da Gravitao Universal pode ser escrita matematicamente como:
F =G
onde
Mm , d2
G a constante universal da gravitao, (ou apenas constante gravitacional), M e m so as massas dos corpos que esto interagindo gravitacionalmente, e d a distncia
entre estes corpos. Newton estava convencido de que suas descobertas demonstravam as maravilhas criadas por Deus. A presena divina agia como um ter, imaterial que no oferecia resistncia aos corpos mas que poderia mov-los por meio da fora da gravitao. Newton imaginava um Universo innitamente grande no qual Deus tinha colocado as estrelas exatamente nas distncias corretas uma em relao a outra, de modo que a ao mtua de suas foras de atrao gravitacional fossem canceladas. Um equilbrio to preciso como o de agulhas equilibradas por suas pontas. J o losofo, matemtico e astrnomo francs Pierre-Simon Laplace (1749 acreditava fortemente no determinismo.
1827)
O determinismo um conceito no qual as
mesmas causas geram sempre os mesmos efeitos. Baseado nisso, Laplace escreveu em Ensaio Filosco sobre as Probabilidades:
Devemos considerar o estado presente do universo como um efeito do seu estado anterior e como causa daquele que se h de seguir. Uma inteligncia que pudesse compreender todas as foras que animam a natureza e a situao respectiva dos seres que a compem
...
uma inteligncia sucientemente vasta para submeter
todos esses dados a uma anlise
...
englobaria na mesma frmula os movimentos
dos maiores corpos do universo e o do mais pequeno tomo; para ela, nada seria incerto e o futuro, tal como o passado, seriam presente aos seus olhos.
Conhecendo o Universo
33
Em seu livro Mcanique Cleste, Laplace prope que todos os fenmenos fsicos no Universo poderiam ser reduzidos a um sistema de partculas que exercem foras de atrao e de repulso entre si. Em
1796, em seu livro Exposition du Systma du Monde,
resumiu o conhecimento sobre Astronomia e Cosmologia do nal do sculo XVIII e antecipa uma idia que se tornou conhecida como a hiptese nebular. Laplace sugere que o nosso Sistema Solar, assim como todas as estrelas, foram criadas a partir do esfriamento e condensao de uma enorme nebulosa, quente em rotao, ou seja, uma nuvem gasosa de partculas. A hiptese nebular, inuenciou fortemente os cientistas no sculo XIX, fazendo-os procurarem sua conrmao ou recusa. Elementos da idia da hiptese nebular, de Laplace permanecem centrais nossa compreenso atual de como o Sistema Solar foi formado. Laplace tambm esteve prximo a propor o conceito de buraco negro. Observou que poderia haver estrelas massivas cuja gravidade seria to grande que nem mesmo a luz escaparia de sua superfcie. Seus trabalhos consistiam em uma tentativa de substituir a hiptese do poder de Deus por uma teoria puramente fsica que explicasse a ordem observada no Universo.
2.6
O heliocentrismo nalmente adotado, inaugurando uma fase de reavaliao das informaes astronmicas. A idia existente de uma esfera celeste contendo todas as estrelas era certamente articial, principalmente agora que no havia motivo para que esta girasse em torno do Sol. Galileu levantou a idia de que as estrelas fossem astros semelhantes ao Sol, e por seu brilho reduzido deveriam estar muito distantes. Gradualmente o modelo dominante passou a ser o de um Universo preenchido com estrelas semelhantes ao Sol situadas a grandes distncias. Quanto mais distante se encontrava a estrela menor deveria ser seu brilho. Entretanto, existia um desao a ser esclarecido. Se as estrelas estivessem a diferentes distncias deveria ser detectado o efeito de paralaxe. As estrelas mais prximas deveriam se movimentar em relao ao fundo das estrelas mais distantes. A no deteco desse efeito, por menor que fosse, causava um grande desconforto. Mais ainda, como estabelecer a distncia das estrelas? Mesmo sem conhecer as distncias das estrelas, a discusso sobre a natureza dos objetos astronmicos continuou avanando. Utilizando telescpios de melhor qualidade ptica, algumas descobertas comearam a mostrar a diversidade dos objetos presentes no Universo, como a presena de nebulosas as quais eram nitidamente diferentes dos cometas. Com o desenvolvimento de novas teorias, os cientistas passaram a ter alguns elementos essenciais para comear a compreender a estrutura do Universo. Charles Messier (1730 1813) preparou o primeiro catlogo de objetos no estelares
34
visveis do Hemisfrio Norte. e a completou em
Ele iniciou sua elaborao no nal da dcada de
1750
1784.
O Catlogo das Nebulosas e Aglomerados Estelares contm
103
objetos no estelares. Sabe-se hoje que alguns destes objetos so galxias, como
Andrmeda, e outros so aglomerados globulares (enormes concentraes de estrelas) e nebulosas galticas. Deve-se a Messier tambm a descoberta de O lsofo ingls Thomas Wright (1711
21
cometas.
1786)
procurou explicar alguns aspectos
que eram naturalmente observados no cu como, por exemplo, a aparncia da Via Lctea. Para Wright
...
a nossa galxia, um sistema composto de uma mirade de estrelas distri-
budas em uma estrutura que se assemelha a um disco. Como estamos imersos no meio desse disco, e mesmo as estrelas mais prximas esto muito distantes do Sol, visualizamos a Via Lctea como uma faixa na esfera celeste. ([3], p. 26)
Immanuel Kant (1724
1804)
apresentou em
1775
um modelo para descrever o
Universo. Ele levanta a seguinte questo: se as estrelas se movem, por que elas parecem estar xas no cu? Segundo Kant, este movimento ou era excessivamente lento, tendo em vista a grande distncia entre as estrelas e o centro comum em torno do qual elas giravam, ou essa falta de movimento era devida a uma mera incapacidade nossa de perceb-lo, gerada pela grande distncia existente entre o local onde elas se encontravam e aquele de onde as observamos. Kant armava que o Sistema Solar newtoniano fornecia um modelo para os sistemas estelares maiores. Em sua concepo, o Universo tinha uma ordem similar quela que vemos no Sistema Solar mas em uma escala maior e envolvendo muito mais objetos, sendo formado por uma multido de estrelas que giram em torno de um centro comum estando todas, aproximadamente, no mesmo plano. A maior contribuio de Kant foi a introduo do modelo de Universo das pequenas manchas luminosas elpticas observadas no cu pelos astrnomos de sua poca, e que eram chamadas coletivamente de estrelas nebulosas. Ele argumentou que se a Via Lctea tinha a forma de um disco de estrelas, ento seria vivel existirem tambm outros agregados planos de estrelas espalhados por todo o espao. Estes agregados, tendo em vista os seus tamanhos, estavam to distantes da Via Lctea do mesmo modo como as estrelas individuais esto umas das outras. Assim, eles deveriam aparecer para ns como pequenas manchas luminosas, que teriam a forma mais ou menos elptica dependendo de quanto estavam inclinadas. Kant estava convencido da existncia de outros Universos, alm da Via Lctea. Props assim, pela primeira vez baseado apenas em losoa, que o Universo era formado por vrios universos ilhas, repletos de estrelas semelhantes nossa galxia. Os objetos nebulosos observados nos cus se tornaram na mente de Kant universos ilhas, como colossais sistemas solares formados por milhares de estrelas. Seus pensamentos sobre o Universo tinham pouco contedo observacional. Os fundamentos de suas hipteses cosmolgicas eram basicamente loscos e teolgicos.
35
Willian Herschel (1738
1822)
considerado um dos maiores astrnomos no pe-
rodo intermedirio entre Newton e o sculo XX. Deve-se a ele a universalidade da lei da gravitao ao descobrir estrelas binrias orbitando uma em torno da outra e obedecendo a mesma lei da gravitao que os planetas do Sistema Solar. A descoberta do planeta Urano, em
13
de maro de
1781,
o torna famoso. Urano foi o primeiro pla-
neta descoberto que no era conhecido na antiguidade, embora tenha sido observado e confundido com uma estrela em muitas ocasies. O astrnomo ingls John Flamsteed (1646
1719)
o catalogou como a estrela
34
Tauri em
1690.
Um fato semelhante
ocorreu com Galileu, que entre
1612 e 1613,
observou Urano em algumas ocasies pelo
telescpio, mas o registrou como uma estrela. Numa das ocasies, Galileu chegou a se surpreender com o fato de ter anotado incorretamente, a posio daquela estrela, no dia anterior, e limitou-se a corrigir, a posio. Sem cogitar a possibilidade de tratar-se de um movimento angular real do objeto e perdendo a oportunidade de adicionar mais este mrito sua extensa lista de contribuies Cincia. Herschel tambm se interessou pelas estrelas nebulosas, mencionadas por Kant e Wright, entre outros. Ao longo de seus levantamentos do cu descobriu muitas outras. Ao iniciar suas observaes nos primeiros anos da dcada de conheciam cerca de
1780,
os astrnomos
100
objetos nebulosos, no cu do Hemisfrio Norte que haviam Em
sido catalogados por Charles Messier. objetos nebulosos.
1802
publicou uma lista com mais
500
Herschel considerou as manchas difusas, de luz, ou nebulosas, observadas em seu telescpio como universos isolados com este fato a cosmologia recebe um grande impulso, e a partir de suas observaes a astronomia extragaltica torna-se um ramo independente da Astronomia.
Herschel defendeu a hiptese de que a Via Lctea era um universo-ilha isolado, em forma de disco, com o Sol numa posio central. Ele considerou a idia
de que todas as nebulosidades lctea consistiam em sistemas estelares, quando adequadamente examinadas, e, ao fazer isso, ele incluiu indiscriminadamente as nebulosas gasosas tais como as nebulosas planetrias e os restos das supernovas, como universos de estrelas isolados. Apesar desses erros, ao reconhecer que a Via Lctea poderia ser semelhante em estrutura e em escala absoluta s outras fracas nebulosidades, Herschel deu um grande passo no sentido de colocar a Terra em uma perspectiva adequada em relao ao resto do Universo. ([4],p.10).
A idia de William Herschel de que todas as nebulosidades lcteas, consistiam em sistemas estelares levaram muitos astrnomos a observar com mais ateno estas pequenas nuvens difusas no cu que, at aquele momento, no haviam sido resolvidas em estrelas. Em cpio
1845 o astrnomo de 72 polegadas no
irlands William Parsons (1800
1867),
construiu um teles-
seu castelo em Parsonstown na Irlanda. Tal construo era
36
monstruosa para a poca sendo apelidada de Leviathan of Parsonstown . Parsons conseguiu com a ajuda deste equipamento determinar que algumas destas nebulosas, possuam uma estrutura em forma de espiral. Em abril de
1845
desenhou
a nebulosa, M51 (hoje conhecida como galxia Rodamoinho) mostrando sua forma espiral. Esta foi a primeira vez em que a forma espiral foi identicada em uma nebulosa. Ele tambm conseguiu discernir estrelas individuais em vrias nebulosas, onde nem mesmo o poderoso telescpio de Herschel tinha obtido sucesso.
Figura 2.4: Nebulosa M51, hoje conhecida como galxia Rodamoinho
Por sua forma prpria, estes objetos nebulosos passaram a ser chamados de nebulosas espirais. A natureza destas nebulosas espirais, foi assunto de intenso debate durante as vrias dcadas que se seguiram. Anal, estes objetos pertenciam ou no nossa Galxia? Com a descoberta das nebulosas espirais surge um grande problema para Astronomia da poca: como determinar as distncias at as chamadas nebulosas espirais? Ao responder a essa questo seria possvel dizer se elas pertenciam ou no a nossa galxia. Esse era um ponto fundamental que precisava ser esclarecido para conhecermos o tamanho do Universo. Nesta poca, muitos cientistas acreditavam que a nossa Galxia era todo o Universo. As estrelas que vamos eram nicas e alm destas estrelas existiria apenas a escurido de um espao sem m. Entretanto, no havia um mtodo convel para determinar distncias aos objetos astronmicos situados alm das estrelas mais prximas. No era possvel denir se as nebulosas espirais, estavam relativamente prximas ou distantes. Para resolver este problema era necessrio, em primeiro lugar, desenvolver mtodos que permitissem calcular distncias s estrelas.
37
A primeira tcnica direta para calcular as distncias s estrelas foi conhecida como paralaxe trigonomtrica. Este mtodo foi empregado em
1838
por Friedrich Wilhelm
Bessel (1784 1846) para demonstrar que a Terra girava em torno do Sol. Infelizmente esta tcnica s podia ser aplicada s estrelas que estavam mais prximas, quelas situadas a menos de
100
parsecs. Para as estrelas situadas a distncias maiores este Cabe
deslocamento angular to pequeno que torna-se quase impossvel med-lo.
ressaltar que mesmo para as estrelas mais prximas, a medida de paralaxe muito pequena. Por esse motivo ela no medida em graus, mas em fraes de graus chamados segundos de arco. As observaes constantes com relao as medidas de movimentos e posies estelares, zeram surgir uma outra tcnica para determinar as distncias s estrelas baseadas no chamado movimento prprio das estrelas. Esta tcnica foi amplamente usada durante o sculo XIX por diversos astrnomos. Novamente s era possvel medir pequenas distncias, uma vez que o movimento prprio de estrelas muito distantes pequeno demais para que se possa detectar. Contudo, esta tcnica permitiu que os astrnomos medissem distncias a estrelas situadas bem alm do alcance oferecido pela paralaxe trigonomtrica.
Em 1847, Friedrich G. Struve (17931864) mostrou que em algumas direes o brilho aparente das estrelas decresceria muito mais rapidamente que o esperado se a sua distribuio fosse homognea. A explicao desse efeito que se tornava necessrio admitir a presena da poeira interestelar. Esse efeito prejudicara seriamente as estimativas de W. Herschel sobre a forma da Galxia, j que os objetos que ele acreditava distantes talvez no estivessem tanto assim.([3], p.30)
John Herschel (1792
1871),
lho de William Herschel, consolidou o catlogo de
nebulosas ampliando o nmero de objetos catalogados para
mil.
Dois avanos tecnolgicos do sculo XIX foram fundamentais para o desenvolvimento da Cosmologia: o desenvolvimento da fotograa e o aperfeioamento do espectgrafo. A partir da fotograa foi possvel gravar as observaes na forma de uma J o espectgrafo permitiu realizar um
imagem que poderia ser depois examinada. registro fotogrco de um espectro luminoso. Em
1868 Willian Huggins (1824 1910) estabeleceu, de acordo como efeito Doppler,
que as linhas espectrais devem alterar de posio quando a fonte emissora se movimenta. Ele utiliza o espectro estelar para identicar elementos qumicos e sugere que os mesmos elementos so encontrados na Terra e no Sol. No nal do sculo XIX, o espectgrafo estava instalado em vrios telescpios sendo sua principal aplicao a classicao espectral das estrelas. As tcnicas de espectroscopia passaram a ser uma ferramenta til para os estudos das estrelas, produzindo um grande avano no conhecimento destes objetos. Em
1886,
o astrnomo norte-americano Edward Charles Pickering (1846
1919),
inventou um mtodo engenhoso pelo qual era possvel obter espectros de centenas de
38
estrelas usando o chamado prisma objetivo.
Pickering contava com um grupo de
mulheres para analisar os espectros obtidos. Neste grupo destacaram-se as astrnomas Annie Jump Cannon (1863 Maury (1866
1941),
Henrietta Swan Leavitt (1868
1921)
e Antonia
1952),
que alm do trabalho de classicao desenvolveram outras
importantes pesquisas cientcas. Annie Jump Cannon vericou que as estrelas podiam ser classicadas de acordo com as linhas que apareciam nos seus espectros. Ela notou que as classes espectrais podiam ser rearranjadas de modo a formarem uma sequncia contnua de mudanas graduais. Foi ento que surgiu a chamada classicao espectral de Harvard, que usamos at hoje e que classica as estrelas como sendo dos tipos
O, B, A, F, G, K, M, R, N
S.
O fator bsico para esta classicao era a temperatura da superfcie das estrelas. A temperatura diminuia contnuamente a partir das estrelas mais quentes, classicadas como O, at chegar s mais frias, do tipo Em
M. 1967),
descobriu
1906,
o astrnomo dinamarqus Ejnar Hertzsprung (1873
que existiam estrelas gigantes e ans.
Este fato revelou que as estrelas podiam ser As estrelas com grande tamanho,
bem diferentes tambm em seus aspectos fsicos.
chamadas estrelas gigantes, tambm tinham alta luminosidade. Como resultado dessa pesquisa, os astrnomos viram que as distncias s estrelas podiam ser estimadas se seus espectros fossem conhecidos. Henrietta S. Leavitt, no incio do sculo XX,
...
lanou a base slida em que se assentaria a soluo do problema dos universos
ilhas. Ao observar 59 estrelas variveis do tipo Cefeida, na Pequena Nuvem de Magalhes, ela foi capaz de mostrar que o perodo de variabilidade destes objetos dependia fortemente da sua luminosidade intrnseca. Portanto, uma observao cuidadosa da regularidade das suas variaes de brilho seria capaz de prover uma indicao da sua luminosidade intrnseca. Uma vez que o seu brilho aparente pode ser estimado com relativa facilidade seria possvel determinar a sua distncia.([3], p. 29)
No entanto, para este fato ser concretizado seria necessrio uma calibrao de ponto zero, qual informa o valor absoluto do brilho intrnseco das estrelas. Em
1912,
Vesto Melvin Slipher (1875-1969) descobriu que as linhas espectrais das
estrelas na galxia de Andrmeda mostravam um enorme deslocamento para o violeta. Indicando que esta galxia est se aproximando do Sol. sistemtico demonstrando que das Iniciou assim um trabalho
41
galxias por ele estudadas, a maioria apresen-
tava deslocamento espectral para o vermelho, indicando que as galxias estavam se afastando. Tambm descobriu que quanto mais fraco o seu brilho e, portanto mais
distante, maior era o deslocamento para o vermelho de seu espectro (redshifht ).
Redshift, em portugus desvio para o vermelho, uma medida da velocidade relativa a ns de um objeto. Se um objeto se afasta, o comprimento de onda da luz que
O surgimento das Teorias de Einstein
39
este emite aumenta, ou seja, desvio para o vermelho (redshift ). Se este se aproxima, o comprimento de onda diminui, ou seja, desvio para o azul (blueshift ). No ano de
1913, Ejnar Hertzprung estima a calibrao de ponto zero a qual informa 30

mil anos-luz. Esta descoberta foi
o valor absoluto do brilho intrnseco das estrelas. Desta maneira, foi possvel estimar a distncia das Nuvens de Magalhes em cerca de
momentaneamente suciente para demonstrar a natureza extragaltica das nebulosas espirais. As duvidas quanto as dimenses de nossa galxia ainda persistiam. Nem mesmo os mtodos observacionais pareciam esclarecer a pergunta que todos os astrnomos faziam: as nebulosas espirais, estavam prximas a ns ou distantes? Com o propsito de resolver a discusso sobre os universos ilhas , a Academia Nacional de Cincias de Washington convidou os pequisadores Harlow Shapley (1885
1972)
e Heber Doust Curtis (1872
argumentos. Este evento,
1942) para apresentarem seus pontos de vistas e realizado em 26 de abril de 1920, cou conhecido como O
Grande Debate.
Shapley apresentou os seus argumentos em favor de uma dimenso galtica da ordem de 300 mil anos-luz. poca esses argumentos, baseados na escala de
distncias das Cefeidas, pareciam bastante slidos.
...
Curtis defendeu a posio de que a dimenso da Galxia seria de to-somente
30 mil anos-luz. O seu argumento se baseava nos indicadores de distancias de estrelas prximas. Armava ele que era impossvel aceitar o argumento de Shapley de que os aglomerados globulares se encontravam to distantes, recusando assim a idia de uma dimenso muito maior para a Galxia. ([3], p. 29-30)
Curtis no conseguiu mostrar a falha nos argumentos de Shapley. O Grande Debate foi resolvido em
1925
com a importante descoberta de Edwin Hubble (1889
1953)
de que a nebulosa de Andrmeda era realmente uma galxia externa.
Utilizando o
telescpio de Monte Wilson, o maior da poca, observando as Cefeidas em Andrmeda. Hubble mostrou que esta nebulosa se encontrava
930 mil anos-luz, aproximadamente
a metade da distncia atual. Tal erro em relao a essa escala de distncia foi somente corrigido na metade do sculo XX. Mesmo assim, estava provado que Andrmeda no era um objeto galtico, mesmo tendo como base os argumentos de Shapley. Finalmente estava provada a existncia dos universos ilhas de Immanuel Kant.
2.7
At

1905, os conceitos de espao e tempo eram descritos pela fsica newtoniana.
Os
fenmenos da natureza, desde os mais simples como a queda de um corpo na superfcie da Terra, at as formas mais complexas como a descrio dos movimentos dos corpos celestes em suas rbitas eram descritos pelas equaes do movimento e pela Teoria da
40
Gravitao Universal estabelecidas por Isaac Newton. Contudo, importante ressaltar que o prprio Newton tinha dvidas em partes de sua teoria. A fsica newtoniana dizia que a ao entre dois corpos era descrita pela lei da gravitao universal, que ocorria como uma ao a distncia e cuja informao se propagava com velocidade innita. Por exemplo, dois corpos em repouso no espao, quando subitamente um deles se desloca enquanto o outro permanece em repouso. Pela teoria de Newton o corpo que permaneceu em repouso sente instantaneamente o deslocamento do outro corpo. Isso implica que a informao de que o primeiro corpo se moveu, se propaga com uma velocidade innita, contradizendo as observaes feitas em laboratrio. O fsico escocs James Clerk Maxwell (1831
1879)
mostrou que os fenmenos
eletromagnticos se propagavam com velocidade nita. Mostrando matematicamente que a onda eletromagntica se propagava no vcuo com a velocidade constante igual velocidade da luz. Maxwell mostrou que a prpria luz era um fenmeno eletromagntico, passando assim a ser entendida como uma onda eletromagntica cuja velocidade constante representada pela letra c. Isto era equivalente a mostrar que a luz se deslocava com uma velocidade que independia do movimento de quem a estivesse observando, assim como da velocidade da fonte que a estava emitindo. As leis fsicas propostas por Newton para o movimento dos corpos previam o contrrio: elas mostravam que a velocidade da luz dependia do movimento do observador. Sugiram assim, por parte de Hendrik Antoon Lorentz (1853 Poincar (1854
1928),
Jules Henri
1912)
e Albert Einstein (1879
1955)
modicaes estruturais nos
conceitos relacionados aos sistemas inerciais.
A denio de inrcia sob o ponto de
vista newtoniano no foi mais aceita. Uma nova mecnica deveria surgir. As primeiras modicaes surgiram no que diz respeito aos conceitos de espao e tempo absolutos de Newton e Galileu, pois eram atravs destes dois conceitos que se deniam um referencial inercial e as leis do movimento. O primeiro fato a ser questionado era a existncia real ou no do ter csmico proposto pela mecnica newtoniana. Em (1852
1931)
e Edward Willians
1887, os fsicos Albert Abraham Michelson Morley (1838 1923) realizaram uma experincia
para constatar a existncia de tal substncia. No comprovaram que essa substncia existia e tambm notaram que a luz no obedecia s leis da mecnica newtoniana. Em
1904,
Lorentz e Poincar zeram importantes descobertas cujas implicaes
passaram despercebidas.
A nova teoria de Lorentz introduzia a diferena entre dois tipos de tempo, tempo local, e tempo universal, (mas considerava que o tempo universal era, de algum modo, a medida prefervel). Lorentz tambm percebeu que o movimento de um eltron atravs do ter deve afetar o valor de sua massa, um efeito conrmado experimentalmente pelo fsico Walter Kaufman. Poincar questionou se a velocidade da luz poderia ser um limite de velocidade no universo, uma lei apa-
41
rentemente implicada pelas teorias da contrao. Ele tambm especulou sobre a subjetividade do espao e do tempo, escrevendo: No h tempo absoluto; dizer que duraes de tempo so iguais uma armao que por si mesma no tem signicado
...
ns no temos sequer a intuio direta da simultaniedade de dois
eventos ocorrendo em lugares diferentes
. . . .
A linha divisria entre as coisas
temporais e o espao sem tempo em que elas existiam estava se partindo. ([6] p.177)
Em
30
de junho de
1905,
Einsten apresentou ao mundo sua Teoria da Relatividade
Especial tambm conhecida como Teoria da Relatividade Restrita onde fez uma interpretao correta das equaes das transformaes de Lorentz dos conceitos de espao e tempo da Mecnica newtoniana. O princpio bsico desta nova teoria proposta por Einstein est no fato de no existir um sistema de referncia universal ou absoluto. Na Teoria da Relatividade
3 e uma completa reviso
Especial discutem-se fenmenos que envolvem somente sistemas de referncia dotados de movimento retilneo uniforme em relao a outros referenciais. Em
1906
surge o primeiro artigo sobre a relatividade especial no escrito por Eins-
tein. Seu autor foi o fsico alemo Max Karl Ernst Ludwig Planck (1858 1947). Neste artigo Planck aplica os conceitos da relatividade teoria quntica . J no ano de tornou-se o primeiro a orientar uma tese de doutoramento sobre relatividade. Hermann Minkowski (1864 1909) foi outra pessoa importante a adotar os conceitos da relatividade especial. Ele mostrou que a teoria newtoniana da gravitao no era consistente com a teoria da relatividade.
[Minkowski foi] um dos poucos a fazer uma importante contribuio teoria nos seus primeiros dias. Ele deu um seminrio no qual introduziu a geometria e a idia de tempo como a quarta dimenso na teoria da relatividade. Numa palestra em 1908, Minkowski disse: Daqui por diante, o espao em si mesmo, e o tempo em si mesmo, esto fadados a se desvanecer em meras sombras, e somente um tipo de unio dos dois preservar uma realidade independente. ([6] p. 193-194)
1907,
Apesar do apoio de fsicos importantes como Planck e Minkowski, e de alguns outros fsicos principalmente da Alemanha, uma aceitao ampla da relatividade especial
3 Hoje sabe-se que as equaes que descrevem um dado fenmeno fsico, denidas em um determinado referencial, precisam permanecer inalteradas se as observamos em um outro referencial que se desloca com velocidade constante em relao ao primeiro. O conjunto de equaes que associa esses dois referenciais so conhecidas como transformaes de Lorentz em homenagem ao fsico holands Hendrik Antoon Lorentz.
4 A teoria quntica: a teoria fsica que estuda os sistemas fsicos cujas dimenses so prximas
ou abaixo da escala atmica, tais como molculas, tomos, eltrons, prtons e de outras partculas subatmicas, muito embora tambm possa descrever fenmenos macroscpicos em diversos casos. A teoria quntica fornece descries precisas para muitos fenmenos previamente inexplicados tais como a radiao de corpo negro e as rbitas estveis do eltron.
42
demorou a chegar.
Enquanto a comunidade dos fsicos ponderavam sobre as idias
da Teoria da Relatividade Especial, Einstein j estava trabalhando e formulando uma segunda teoria que causaria uma revoluo ainda maior que a primeira. Pode-se dizer que Einstein no cou satisfeito com a Teoria da Relatividade Especial por muito tempo. Ele sentia uma forte necessidade de generalizar o princpio da relatividade dos movimentos uniformes aos movimentos acelerados. Aps um longo e rduo caminho de oito anos de pesquisa, qual se iniciou com uma reexo sobre a equivalncia entre movimento acelerado e gravidade, Einstein estende a relatividade do movimento a todos os observadores, ao mesmo tempo que edica uma nova Teoria da Gravitao . Desta maneira, ele ultrapassou a limitao da relatividade especial, a qual privilegiava apenas os observadores inerciais. Poucos meses aps Einstein ter concludo a Teoria da Relatividade Geral, o fsico alemo Karl Schwarzschild (1873
1916)
conseguiu aplicar esta teoria para obter a
soluo matemtica exata de como o espao e o tempo se curvam na vizinhana de uma estrela compacta e esfericamente simtrica. Alm de ser a primeira soluo exata das equaes de campo da gravitao relativstica, os resultados encontrados por Schwarzschild revelaram uma implicao espantosa e ao mesmo tempo maravilhosa da relatividade geral.
[Schwarschild] demonstrou que se a massa de uma estrela estiver concentrada em uma regio esfrica sucientemente pequena para que o resultado da diviso da sua massa pelo seu raio seja maior do que determinado valor crtico, o encurvamento do espao-tempo assim produzido ser de tal modo radical que nada que esteja muito prximo estrela, nem mesmo a luz, capaz de escapar da sua atrao gravitacional. Como nem mesmo a luz pode escapar dessas estrelas comprimidas, elas foram inicialmente denominadas estrelas escuras, ou frias. Posteriormente John Wheeler deu-lhes um nome mais atraente - buracos negros (black holes). Negros porque esses objetos no podem emitir luz, e buracos porque qualquer coisa que esteja muito perto cai dentro deles e nunca mais sai. ([7] p.98)
Para se ter uma noo de tal concentrao de materia em uma regio esfrica sucientemente pequena, uma estrela com a massa do Sol seria um buraco negro se o seu raio ao invs de medir
720.000
quilmetros, fosse comprimido apenas
quilmetros.
Uma colher de ch da matria de tal estrela pesaria tanto quanto o monte Evereste. Um planeta com a massa de Jpiter seria um buraco negro se o seu raio fosse comprimido at atingir
3 metros.
Ao passo que para Terra se tornar um buraco negro seu raio teria
que ser comprimido at atingir cerca de um centmetro. H indcios cada vez maiores de que existe um enorme buraco negro, de cerca de
2, 5
milhes de vezes maior que o Sol no centro da nossa galxia. Acredita-se tambm
5 A Teoria da Gravitao proposta por Einstein cou sendo mais conhecida como Teoria da Relatividade Geral, Teoria Relativstica da Gravitao ou como Teoria da Gravitao de Einstein.
43
que os quasares
6 presentes no ncleo de galxias ativas possam ser buracos negros, cuja
massa pode ser bilhes de vezes maior que a do Sol. Todos os estudos hoje relacionados com estrelas de nutrons, pulsares e buracos negros esto apoiados inteiramente nas solues obtidas por Schwarzschild. importante resaltar que mesmo antes de Schwarzschild encontrar as solues que revelaram a possvel existncia de buracos negros, idia semelhante j havia sido contemplada e discutida em um artigo escrito no ano de (1724
1783
pelo Rev. John Michell
1793)
Royal Society.
Michell utilizou o conceito newtoniano de velocidade de escape e pensou na existncia de um corpo to massivo, no qual a velocidade de escape em sua superfcie fosse igual a velocidade de escape da luz. Em seu artigo, Michell escreveu:
Se o semidiametro de uma esfera de mesma densidade como o Sol na proporo de cinco centenas para um, e supondo que a luz fosse atrada pela mesma fora em proporo a sua [massa] como outros corpos, toda luz emitida por tal corpo faria o retorno para ele, por sua prpria gravidade apropriada.
Acima Michell contemplou a existncia de uma estrela 500 vezes o raio do Sol e da mesma densidade. Para tal objeto ele calculou que o campo gravitacional seria to forte em sua superfcie que a velocidade de escape excederia a velocidade da luz. Nesta estrela hipottica nem mesmo a luz poderia escapar e a estrela poderia ser invisvel. Embora ele pensasse ser improvvel, considerou a possibilidade que muitos objetos semelhantes poderiam estar presente no cosmos, sem que ns fssemos capaz de v-los. [8]
Treze anos mais tarde, o matemtico Pierre Simon Laplace apresentou idias semelhantes a de Michell em seu artigo Exposition du Systeme du Monde. Contudo, experimentos realizados no incio dos anos de
1800
colocavam em dvida
7 a teoria corpuscular da luz e apontavam a predominncia da teoria ondulatria. De

posse deste fato, foi pensado que a luz no era afetada pela gravidade. Assim a idia de Michell sobre estrelas invisveis acabou caindo no esquecimento. Foi preciso esperar mais de um sculo at o surgimento da Teoria Relativstica da Gravitao e com ela os trabalhos de Schwarszchild, para em m se obter uma prova cientca das hipteses apresentadas por Michell.
6 Quasares so objetos extragalticos extremamente luminosos e muito distantes.
O nome vem
de Quasi-Stellar Objects: QSO , e foram detectados primeiramente com rdio telescpios e, quando identicados no telescpio tinham uma aparncia pontual de uma estrela.
7 Nesta teoria a luz era considerada como um feixe de partculas ou corpsculos emitidos por uma
fonte de luz.
44
2.8
Modelos Cosmolgicos
As equaes da Teoria Relativstica da Gravitao descrevem a natureza do espaotempo. O que elas poderiam dizer sobre a estrutura do prprio Universo? Ou seja, a estrutura do espao-tempo sob o maior ponto de vista possvel. Albert Einstein, como tantos outros pesquisadores se dedicaram a essa questo. Em
1917,
um ano aps Einstein ter divulgado as equaes da Teoria da Relatividade
Geral em sua forma nal, estas equaes ainda no tinham solues estticas quando estudadas em escalas cosmolgicas. Estas solues previam que o Universo era dinmico e que deveria estar, ou se expandindo ou se contraindo. A concluso de que o Universo deveria ser dinmico e no esttico desagradou Einstein. O problema com o modelo de universo esttico era que a Teoria da Relatividade Geral mostrava que modelos contendo matria no podiam ser estticos. Se o Universo fosse esttico desde o seu incio, a atrao gravitacional da matria faria com que todos os corpos existentes colapsassem sobre si mesmos. Isso parecia inconsistente pois no havia qualquer razo que justicasse um espao to instvel. Einstein decidiu ento modicar sua teoria a m de obrigar a existncia de uma soluo cosmolgica esttica mas estvel. Para isso, ele alterou as equaes de campo da relatividade geral introduzindo um termo que foi chamado de constante cosmolgica e representada pela letra grega
Sua funo era fornecer solues cosmolgicas estticas
estveis. Essa constante cosmolgica agia como uma fora repulsiva que se opunha ao da fora gravitacional. Ajustando o valor dessa constante cosmolgica era possvel contrabalanar a ao da gravidade resultante de uma distribuio uniforme de matria. Se essa constante fosse diferente de zero, o modelo esttico com matria no colapsaria sob sua prpria gravidade. Einstein considerava que essa constante cosmolgica era somente um termo hipottico. A constante cosmolgica no era exigida pela teoria e nem parecia natural sob o ponto de vista terico. Einstein declarou que esse termo necessrio somente para o propsito de tornar possvel uma distribuio esttica de matria. Assim, o modelo proposto por Einstein para o Universo continha matria uniformemente distribuda. A geometria do espao era esfrica, ou seja, o espao era uniformemente curvado. Seu Universo era de natureza esttica: no estava se alterando, nem expandindo e nem colapsando. Em
1917,
o astrnomo holands Willem de Sitter (1872
1934)
tambm props
um modelo de universo completamente diferente daquele apresentado por Einstein. Para de Sitter, o Universo era isotrpico e, para ser esttico, no podia conter qualquer quantidade de matria. Esse modelo de universo poderia ter sido considerado
uma mera curiosidade matemtica pelos astrnomos pois exigia a no existncia de matria. No entanto, sabe-se que o Universo preenchido por matria na forma de
nebulosas, estrelas, galxias, etc. O modelo de de Sitter apresenta uma propriedade muito interessante. Se fosse jogado um punhado de partculas dentro desse Universo
Modelos Cosmolgicos
45
estas se afastariam umas das outras. Isso foi interpretado como tendo alguma relao com os resultados de redshift obtidos por Slipher, e por muito tempo foi chamado de efeito de Sitter. Assim, foi mostrado que a natureza esttica do Universo de de Sitter era um artifcio puramente matemtico. Seu modelo de universo se comportava de modo esttico somente devido ao fato de no conter matria. A presena de matria fazia com que exibisse suas caractersticas dinmicas. O astrnomo norte americano Howard Percy Robertson (1903 1961) mostrou mais tarde que este modelo de universo era homogneo e isotrpico, e que dessa forma era tambm espacialmente plano, innito e estava se expandindo. Uma distino pode ser feita entre os modelos de universo propostos por Einstein e por de Sitter. O Universo de Einstein era matria sem movimento, enquanto que o Universo de de Sitter era movimento sem matria.
1922, o matemtico e meteorologista russo Alexander Alexandrovich Friedmann (1888 1925), ao passar em reviso todos os clculos de Einstein, equao por equaEm o, de sbito deparou-se com um erro de clculo. O erro se encontrava justamente na equao que denia a estaticismo do Universo. Este erro era em uma passagem matemtica. Einstein, dividia dois termos de uma equao por uma grandeza que em certas circunstncias se igualava a zero. Ao fazer a diviso por zero, a equao tornava-se
descontnua em tal ponto e todos os clculos posteriores a este conduziam a um erro ainda maior. Corrigindo os clculos, Friedmann constatou que a equao original de Einstein sobre a gravitao era correta, no necessitando introduzir a constante de Repulso Csmica ou Constante Cosmolgica. Dessa forma, publicou um conjunto de solues matemticas possveis das equaes de campo da teoria relativstica da gravitao. A anlise dos resultados obtidos mostrava um comportamento no esttico para o Universo. Ao contrrio do que havia sido previsto por Einstein, Friedmann apresentava uma soluo das equaes relativsticas nas quais o Universo estava em expanso. A importncia do trabalho de Friedmann est em descrever espaos cujas geometrias possuem curvaturas positiva, zero e negativa. Isso foi feito uma dcada antes que o
astrnomo norte americano Howard Robertson e seu companheiro Arthur Georey Walker (1909
2001)
publicassem os mesmo resultados.
Nem Einstein nem qualquer outro cientista teve qualquer interesse no trabalho apresentado por Friedmann. A maioria dos astrnomos continuavam a considerar que o universo real era esttico. O desprezo dos astrnomos era tanto com as descoberta de Friedmann, que mesmo em
1924,
quando publicou novamente o seu trabalho ber die Mglichkeit einer Welt
mit konstanter negativer Krmmung des Raumes (Sobre a Possibilidade de um Universo

com Espao de Curvatura Negativa Constante), foi visto como uma questo puramente
46
terica da relatividade sem qualquer interesse astronmico. Nem mesmo apareceu no levantamento anual de artigos cientcos sobre tpicos de astronomia. Ainda hoje, o trabalho pioneiro de Friedmann desprezado por escritores, em particular norte americanos. Estes referem-se s solues clssicas das equaes de campo da teoria da relatividade geral, que descrevem um Universo homogneo e isotrpico com sendo a mtrica de Robertson-Walker. Ningum se refere a isso como mtrica de Friedmann e alguns poucos a chamam de mtrica de Friedmann-Lematre-Robertson-Walker ou mtrica FLRW.
2.9
A cosmologia estudada a partir das equaes da relatividade geral tem a curvatura do espao dada por:
K=
onde
k , R2 k =0
ou
a constante de curvatura e
o fator de escala do Universo. A constante de
curvatura
tem sempre um dos trs possveis valores, ou seja,
k = +1
ou
k = 1.
Se adotarmos o valor
k = 0,
o espao-tempo que se expande plano, innito e no
limitado. Este modelo de universo o mais simples, e conhecido como Universo de Friedmann de curvatura zero ou Universo de Einstein-de Sitter. Considerando uma descrio newtoniana do Universo, esse modelo de Friedmann corresponderia a uma bola que se expande continuamente. Neste Universo as partculas presentes seguem rbitas parablicas e tm velocidades iguais s suas velocidades de escape. Se adotarmos o valor
k = +1, o espao-tempo que se expande esfrico, nito e no
limitado. Este modelo de universo se expande a um tamanho mximo e ento colapsa. Em uma descrio newtoniana do Universo, esse modelo de Friedmann corresponderia a uma bola que se expande e em seguida colapsa. Neste Universo, as partculas presentes seguem rbitas elpticas e tm velocidades menores do que suas velocidades de escape. Por m, se adotarmos o valor innito e no limitado.
k = 1, o espao-tempo que se expande hiperblico,
Em uma descrio newtoniana do Universo, esse modelo de
Friedmann corresponderia a uma bola que se expande continuamente. Neste Universo, as partculas presentes seguem rbitas hiperblicas e tm velocidades maiores do que suas velocidades de escape. importante observar que nos trs casos descritos acima, a constante cosmolgica igual a zero, ou seja, Em
= 0.
1927,
poucos anos aps a publicao do trabalho de Alexander Friedmann,
que mostrava pela primeira vez um Universo em expanso, o astrnomo e fsico belga,
47
Figura 2.5: Todos os universos de Friedmann comeam com uma exploso.
Georges Henri douard Lematre (1894
1966),
ao analisar e resolver as equaes Suas contribuies na poca no
da relatividade geral chega s mesmas concluses.
causaram qualquer impacto nos meios cientcos e foram rapidamente esquecidas, at mesmo por aqueles que leram o seu artigo. Logo depois de ter tomado conhecimento da existncia do artigo de Lematre, de Sitter, em
1931,
elogiou a brilhante descoberta, do universo em expanso. Einstein
tambm conrmou que este trabalho se ajustava bem na Teoria da Relatividade Geral. Lematre avanou mais ainda em suas idias, propondo que o Universo atual formado pela evoluo a partir de um tomo primitivo. Tal hiptese estipula que todo o Universo (no somente a matria, mas tambm o prprio espao) estava comprimido num nico tomo chamado de tomo primordial ou ovo csmico. Os estudiosos armam que a matria comprimida naquele tomo se fragmentou numa quantidade descomunal de pedaos, e cada um destes pedaos acabaram se fragmentando em outros menores, assim sucessivamente at chegarem aos tomos atuais numa gigantesca sso nuclear. Por esse motivo, ele considerado por muitos o pai do Big Bang. D incio a uma nova era na Cosmologia. A importante descoberta do Universo em expanso levaria a uma viso diferente da cosmologia. Por esse motivo, Lematre e Friedmann so considerados pais da cosmologia moderna. Essa descoberta deu origem ao seguinte raciocnio: se o Universo est se expandindo, ento avanando para o futuro, daqui a milhes de anos as galxias estaro mais distantes umas das outras e o Universo ser maior. Mas, retrocedendo no tempo,
milhes de anos atrs, veremos o contrrio: as galxias mais e mais prximas entre si e o Universo cada vez menor, at se chegar a um ponto em que todas as galxias e estrelas se fundem. nesse ponto que o Universo teve origem. Surge assim uma nova pergunta. O Universo era esttico ou estava em expanso?
48
Em
1929, Hubble mostrou que, ao contrrio do que se imaginava, o Universo estava
em expanso. Medindo o deslocamento para o vermelho nas linhas espectrais das galxias observadas por Milton La Salle Humason (1891-1972), e medindo ele prprio suas distncias, Hubble descobriu que as galxias estavam se afastando com velocidades proporcionais suas distncias. Quanto mais distante a galxia se encontrava, maior sua velocidade de afastamento. Este fato constituiu a primeira evidncia para a expanso do Universo, j predita por Alexander Friedmann e Lematre em anos anteriores. O fsico ingls Arthur Stanley Eddington no gostava da idia de um modelo de Universo com origem em uma grande exploso, pois achava esteticamente desagradvel. Em vez de adotar um comeo abrupto para o Universo, Eddington apresentou, em
1930, um modelo no qual permitia que a evoluo comeasse em um instante de tempo

innito. O Universo de Eddington existe inicialmente, durante um perodo innito de tempo, de modo semelhante a um Universo esttico. Ento, como resultado de uma perturbao acidental, este Universo deixa de ser esttico e comea a se expandir. O Universo existe inicialmente em um estado esttico de Einstein e mais tarde muda seu comportamento para o estado de um Universo de de Sitter no qual a repulso domina a gravidade. Desse modo, o Universo de Eddington junta os modelos discutidos por Einsten e de Sitter.
Em meados dos anos de
1930,
Edward A. Milne (1896
1950)
estabeleceu, na De acordo
forma em que conhecemos hoje, o chamado princpio cosmolgico.
com esse princpio, dois observadores, que estejam acompanhando o movimento cosmolgico, devem estar expostos mesma interpretao do Universo. As propriedades observadas do Universo devem ser idnticas para ambos. O prprio
Milne reconheceu que esse princpio uma extenso da proposta de Einstein, segundo a qual as leis da natureza devem ser as mesmas para esses observadores. Na sua verso, no somente as leis so idnticas, mas a prpria descrio da estrutura do Universo, feita pelos observadores, deve ser tambm a mesma.([3], p. 31-32)
Para impedir que os observadores tenham diferentes opinies sobre a distribuio de massa do Universo, este deve ser homogneo e uniforme em grandes escalas. Nas regies visveis pode se vericar que este fato ocorre. Contudo, nada se pode dizer das regies no observveis, ou seja, aquelas fora do nosso horizonte causal. Portanto, no se pode armar que este princpio cosmolgico valido para o Universo como um todo. Milne construiu sua prpria teoria do Universo conhecida como relatividade cinemtica, na qual a gravidade no includa como uma suposio inicial. Baseando-se em um pequeno nmero de axiomas, tais como, o princpio cosmolgico e as regras da relatividade especial, ele apresentou uma descrio do Universo que explicava a gravidade e outras leis da natureza. Ele fez tambm uma descrio do Universo em expanso. Seu modelo cosmolgico :
49
1. ou uma bolha nita que se expande a partir de um ponto, dentro de um universo esttico, plano e vazio; 2. ou um universo que se expande, homogneo, negativamente curvado e innito. As duas descries, embora paream ser completamente diferentes, esto separadas apenas por uma mudana de coordenadas. O Universo de Milne incompatvel com vrias observaes cosmolgicas. Em
particular, ele no prev a radiao csmica de fundo nem a abundncia de elementos leves que so medidas no Universo. O fsico terico russo George Gamow (1904
1968)
desenvolveu um modelo para
origem do Universo que tinha como base as observaes de Hubble no que diz respeito ao afastamento das nebulosas extragalticas. Ele acreditava que o Universo teve um princpio, e o entendimento de como foi este incio alicerava-se no estudo de sua expanso. Ele achava que, se as galxias todas se afastavam uma das outras, tal fato deveria ser consequncia de um fenmeno fsico originrio num passado distante que impulsionava as nebulosas a se deslocarem dessa forma. Seu modelo previa que, se hoje as galxias esto se afastando uma das outras de se pensar que num passado remoto, elas estavam mais juntas e em certos momentos a densidade era to grande que tudo explodiu. Essa teoria foi chamada sarcasticamente de Big Bang por Fred Hoyle (1915 2001), defensor da Teoria do Estado Estacionrio. A Teoria do Estado Estacionrio foi proposta quase que simultaneamente por Fred Hoyle, Thomas Gold (1920
2004)
e Her-
mann Bondi (1919, 2005), na tentativa de explicar como o Universo poderia ser eterno e essencialmente imutvel, ainda que apresentando galxias que se afastam umas das outras. A teoria apoiava-se na formao de matria entre as galxias de tempos em tempos. Mesmo que as galxias se afastassem umas das outras, novas galxias se desenvolveriam entre elas e encheriam o espao deixado vago. O Universo resultante est em um estado estacionrio da mesma forma que um rio que ui. As molculas individuais de gua movem-se, mas novas aparecem e o rio parece ser imutvel. No modelo proposto por Gamow, os cientistas falam em densidade, energia e massa innitas, ou mais precisamente, que tendem matematicamente para o innito. Por isso, consideram esta exploso uma singularidade, termo para designar um evento que no obedece a nenhuma das leis fsicas que conhecemos. Tal fenmeno foi causado por algo que existia fora do tempo e do espao. A fsica no conhece nada que possa existir fora do tempo e do espao atuando como causa. Assim, a cincia s consegue explicar o Universo a partir das fraes de segundo aps a Grande Exploso. O Big Bang no foi de fato uma grande exploso, mas sim uma grande expanso que originou o espao e o tempo simultaneamente e esta expanso continua empurrando o espao e o tempo para novas fronteiras. Pode-se imaginar a expanso do Universo com uma analogia. Um bolo de nozes
50
Figura 2.6: Dois modos de imaginar o Universo
cresce quando assado no forno. Sua massa se expande. Enquanto cresce, os pedacinhos de noz se movimentam, afastando-se uns dos outros. Eles no se movimentam atravs da massa, mas junto com a massa. Do mesmo modo, enquanto o Universo se expande, ganhando novas fronteiras, as galxias e estrelas se movimentam, no atravs do espao mas junto com o espao. O que acontece a expanso do prprio espaotempo, que leva consigo a matria. Em linha gerais, essa teoria tinha muitos pontos em comum com a teoria do tomo primitivo de Lematre, que previa uma origem para o Universo numa posio em que seu raio era igual zero. Porm, Gamow no concordava com a idia de um nico
tomo no momento primordial. Ele achava que nesse momento o que havia era uma superdensidade de partculas subatmicas em movimento muito rpido devido a alta temperatura reinante em tal estado de concentrao. Nessas circunstncias nem mesmo um ncleo de tomo existiria. Dentro das previses feitas pela teoria do Big Bang, a mais notvel realmente era a de prever a existncia de uma radiao csmica residual na faixa das microondas que deveria permear todo o Universo. No entanto, durante muito tempo nenhum astrofsico se interessou pelo fato e a procura dessas radiaes caram esquecidas. Em
1964, os fsicos norte americanos Robert Wilson (1941) e Arno Penzias (1933)
estavam trabalhando no laboratrio da Companhia Telefnica Bell (Estados Unidos) com uma grande antena para detectar sinais fracos de rdio usados para comunicao telefnica. Com esse equipamento, eles captaram um rudo que no desaparecia, apesar de todos os esforos. Eles vericaram tambm que o rudo vinha de todo o espao com a mesma intensidade, independentemente da direo para onde eles apontassem a antena. Sem a menor idia sobre a origem do rudo, Wilson e Penzias foram conversar com fsicos da Universidade de Princeton. Os colegas reconheceram na descoberta o sinal da radiao cosmolgica de fundo, um tipo de reverberao do Big Bang, pre-
51
vista em
1948
por George Gamow e colaboradores. Estes rudos captados so os mais
antigos j observados, e sua origem data de eras onde nem mesmo as longnquas galxias haviam se formado. Tais observaes deram um golpe mortal na teoria do estado estacionrio. Tais consideraes no provam que o Universo nasceu de uma Grande
Exploso, mas descrevem com preciso uma grande categoria de observaes. Surgem assim as perguntas: Ser o Big Bang a criao? Ou haver um pr-Big
Bang? Atualmente tem sido propostas teorias e modelos cosmolgicos onde existe um pr-Big Bang. Por exemplo, a hiptese de um Universo anterior ao Big Bang (pr-Big
Bang, ou ricochete primordial ). Este Universo no teria estado sempre em expanso,

mas uma ou vrias fases de contrao teriam ocorrido antes, possibilitando observar efeitos nas radiaes de fundo. Tal modelo cogitado por alguns tericos da teoria de cordas, como o que precede a fase de crescimento exponencial.
Os cenrios de Universo Eterno passam a ser considerados realistas pelos cosmlogos.
...
Dentre estes cenrios, o que possui maior consistncia e embasamento
terico consiste no chamado Universo Eterno Dinmico no qual uma fase de colapso gravitacional teria ocorrido. Assim, podemos sintetizar nosso conhecimento cosmolgico sobre a situao atual da descrio do Universo, no que diz respeito questo da singularidade inicial, nos seguintes pontos:
O modelo Big Bang ao identicar o comeo do Universo com uma singulari-
dade criou uma questo de princpio, inibindo a possibilidade de uma descrio completa e racional da Totalidade. Ao aceitar a existncia de um momento de criao a um tempo nito ele impede a racionalidade do Universo. Consequentemente, esse modelo no pode sequer ser entendido como uma descrio cientca da Totalidade do que existe;
A possibilidade de que a expanso do Universo esteja acelerada, acoplada idia

de que a gravitao descrita pela Teoria da Relatividade Geral criou diculdades formais de compatibilidade com a fsica que conduziram hiptese de que um tipo especial de energia, denominada energia escura, que deveria existir e ser a principal responsvel pela evoluo do Universo;
Essa energia escura viola as condies de aplicabilidade dos teoremas de sin-
gularidade. Isso signica que este tipo de matria/energia permite conguraes no singulares, isto , a possibilidade de que o Universo no tenha um comeo singular a um tempo nito;
Um Universo Eterno Dinmico, possuindo uma fase colapsante anterior atual,

descreve sua dinmica para alm do ponto de condensao mxima, o suposto Big Bang. A anlise da evoluo de estruturas materiais em grande escala - como, por exemplo, as galxias - permite distinguir propriedades do Universo associadas a uma possvel fase colapsante, anterior atual fase de expanso. E, dessa forma, entender o que teria dado origem ao comeo da atual fase de expanso pela qual passa o Universo.([9], p.14-15)
52
O homem teve no sculo XX sua viso de mundo transformada e percebeu a insignicncia da Terra na vastido do cosmos. Saiu de uma situao em que acreditava ser o centro do Universo para uma situao atual, em que se acredita que o Universo no tenha centro. Descobriu tambm que o tempo e o espao so curvos e, que o Universo est se expandindo e que teve um comeo no tempo.
3 Geometria Riemanniana
Neste captulo feito um relato sobre a histria da Geometria Diferencial e em seguida apresentado um estudo introdutrio sobre a noo de curvatura de curvas em
Rn
e de superfcies em
R3 .
Um estudo sobre variedades diferenciveis e tensores ser
apresentado no nal do captulo.
3.1
Histria da Geometria Diferencial
A histria da geometria moderna constituda por trs fases distintas: a geometria antiga (sistematizada por Euclides), a geometria analtica (Fermat e Descartes no sculo XVII), e por m a geometria diferencial (tempos modernos). A histria da geometria diferencial inicia-se com o estudo de curvas. Noes como retas tangentes e anlise das propriedades da curvatura de curvas so encontradas desde os gregos Aristteles, Arquimedes (cerca de de
287
cerca de
212
a.C.), Euclides (cerca
325 cerca de 265 a.C), entre outros.
Contudo, poucos resultados foram alcanados
at a inveno do clculo diferencial e integral no sculo XVII. Curvatura tudo o que necessrio para se denir uma curva (a menos de movimentos rgidos). Este fato chamou a ateno de vrios matemticos na Grcia Antiga. Havendo uma distino das curvas gregas clssicas, a reta (no possui curvatura ou curvatura zero) e o crculo (mesma curvatura em todos os pontos). Apolnio de Perga (cerca de
262
cerca de
190
a.C), fez descobertas signicantes
relacionadas ao conceito de curvatura. Uma de suas descobertas foi que em cada ponto de uma seo cnica existe exatamente uma reta normal, resultado que posteriormente mostraria-se de grande importncia para o estudo de curvas. Em seu livro V de Sees
Cnicas so encontrados os conceitos iniciais sobre evolutas e centros de osculao,

que esto intimamente ligados curvatura. Apolnio tambm aplicou mtodos para encontrar raios de curvatura que foram semelhantes aos mtodos usados por Newton e Huygens dois mil anos mais tarde. Mas tanto Apolnio quanto seus contemporneos estavam limitados pela Matemtica da poca. Seus trabalhos sobre curvaturas pouco avanaram. No existe um grande avano no estudo de curvas at o sculo XIV,
quando Nicolau de Oresme fez importantes contribuies. creditado a Nicolau como a primeira pessoa a desenhar, um grco. Seu trabalho visto por muitos historiadores
53
54
Geometria Riemanniana
como sendo uma tentativa prematura da geometria em coordenada (uma unicao entre geometria e a lgebra). Ele tambm observou que a curvatura de um crculo uniforme e passou a propor que sua curvatura proporcional ao inverso multiplicativo de seu raio. Seus trabalhos despertaram o interesse dos matemticos em encontrar a curvatura de uma curva geral. Quase trs sculos mais tarde, Kepler fez contribuies indiretas para teoria de curvatura ao generalizar as solues para o problema de Alhazin. Ele tambm parece ter sido o primeiro a desenvolver mtodos para a investigao do grau de toro de uma curva. O sculo XVII proporciona grande avano para a Matemtica de um modo geral, e em particular ao estudo de curvas. Os franceses Fermat (1601
1665)
e Descartes de-
senvolvem o mtodo das coordenadas ou geometria analtica. Este mtodo possibilita descrever curvas geomtricas gerais por meio de equaes algbricas. O alemo Gottfried Leibniz (1646 1716) e o ingls Isaac Newton descobrem os algoritmos do clculo innitesimal, permitindo o estudo de curvas e superfcies atravs de suas propriedades diferenciais. Os conceitos de curvatura de uma curva plana
1 e crculo osculador j eram
conhecidos por Newton e Leibniz apesar do precursor do assunto, o matemtico alemo Christian Huygens (1629
1695),
no conhecer o Clculo. No ano de
1673,
Huygens
publicou um trabalho sobre curvas planas, no qual introduz os conceitos de involuta e evoluta de uma curva, motivado provavelmente pelo seu grande interesse em pndulos e relgios. Usando o fato de que a ciclide uma tautcrona
2 e idias sobre inni-
tesimais, Huygens inventa o pndulo cicloidal.
Este tipo de pndulo conservar seu
perodo mesmo quando sua amplitude diminuir como tempo. O pndulo de Huygens uma aplicao prtica de curvatura e serviu para muitos matemticos como motivao para futuras investigaes. No sculo XVIII muitos livros textos de Clculo foram escritos e muitos trataram do assunto de curvatura. Thomas Simpson (1710
1761)
em seu livro sobre Method
of Fluxions lidou com o assunto de curvatura.
Na seo V (The Use of Fluxions
in Determining the Radii of Curvature, and the Evolute of Curves), ele descreveu a
sequncia de construo de evolutas que foi desenvolvida por Huygens. Durante o sculo XVIII at o inicio do sculo XIX desenvolvem-se os fundamentos da teoria de curvas e superfcies mergulhadas no espao tridimensional. Em Clairaut (1713
1731, Alexis
1765)
estuda curvas no espao tridimensional limitando-se apenas
propriedades de primeira ordem (que envolvem apenas as derivadas de primeira ordem e retas tangentes). Gaspard Monge (1746
1818)
em
1775,
discute os conceitos de
1 A curvatura de uma curva plana em um ponto da curva uma medida numrica de quanto a
curva se afasta de ser uma reta numa vizinhana daquele ponto: a taxa de variao naquele ponto da direo tangente curva em relao ao comprimento de arco.
2 O nome tautcrona vem do grego tautos (mesmo) e chronos (tempo). Esta curva faz com que um
corpo em condies ideais (sujeito apenas a ao da gravidade e restrito ao percurso da curva) atinja o ponto baixo da curva aps um intervalo de tempo que independa da altura em que foi solto.
55
curvatura e toro
3 de uma curva espacial.
A transio da teoria de curvas para a teoria de superfcies se encontra no problema geodsico, isto , o problema de se encontrar o caminho mais curto entre dois pontos de uma superfcie. Os matemticos do sculo XVIII no se interessavam em demonstrar a existncia de tal caminho. Eles se preocupavam apenas em determinar a caracterizao geomtrica da curva que teria tal propriedade. Trabalharam neste problema, Jacobi Bernoulli (1654 1705) e seu irmo Johannes Bernoulli (1667 1748), que forneceram solues corretas. A soluo proposta por Johannes era de mais fcil compreenso,
enquanto a proposta por Jacobi era mais complexa e se mostrava mais geral. Leonhard Euler (1707 1783), aluno de Johannes Bernoulli fez contribuies importantes Geometria Diferencial. Talvez a maior tenha sido o estudo de curvatura das sees planas de uma superfcie. Em
1772,
Euler discute sobre o problema de se deter-
minar quando uma superfcie pode ser desenvolvida isometricamente (sem distorc-la) sobre um plano. Ele descobre que a condio necessria para a ocorrncia de tal fato que a superfcie seja regrada (isto , folheada por retas). signicativa sobre a teoria de superfcies. Mostrando o Ele fez uma observao
...
fato das coordenadas
(x, y, z )
dos pontos de uma superfcie serem funes de
duas variveis independentes. curioso notar que nem ele nem seus contemporneos seguiram essa idia e estudaram superfcies atravs da representao das coordenadas
x, y, z
em termos de funes de duas variveis [10].
Euler tambm formulou uma expresso para encontrar o raio de curvatura dada por:
=
Em
1 (x )2 + (y )2 + (z )2 1857)
faz melhorias signicativas para
1826,
Augustin Louis Cauchy (1789
a Geometria Diferencial. Em seu Leons sur l'application du calcul innitsimal la
gomtrie, Cauchy introduz novos mtodos, sistematiza e esclarece diversos clculos

feitos por seus antecessores. Em particular, ele aprimora o trabalho de Monge sobre curvatura
e toro
de uma curva espacial obtendo as frmulas hoje conhecidas
como de Frenet-Serret, que expressam o comportamento local da curva em funo de
em relao a um sistema de coordenadas mvel.
As frmulas de Frenet-Serret foram redescobertas mais tarde independentemente por Jean Frenet (1816 trabalhos em
1847
1900) e Joseph Serret (1819 1885), 1850 respectivamente. k

e
que publicaram seus
Os teoremas de existncia e unicidade de solues de equaes diferencias devido a Cauchy permitem mostrar que as funes
determinam completamente a curva, a
menos de um movimento rgido do espao. Cauchy tambm fez a importante observao
3 A toro em um ponto de uma curva mergulhada no espao uma medida numrica de quanto a
curva se afasta de estar contida em um plano numa vizinhana daquele ponto.
56
de que
ds2 = dx2 + dy 2 + dz 2 ds dt
deveria ser escrita mais convenientemente como:
dx dt
dy dt
dz dt
Este foi um fato de importante distino no apenas para Geometria Diferencial, mas tambm para o Clculo de forma geral. Johann Carl Friedrich Gauss (1777 1855) trouxe a Geometria Diferencial para um novo nvel. Gauss conhecido por seus trabalhos sobre a teoria de superfcies. Por volta de
1816, Gauss trabalhou fazendo um levantamento topogrco de certas
regies na Alemanha, uma tentativa do que chamaramos hoje de levantamento geodsico. Este trabalho tem por objetivo medir a distncia entre cidades e outros pontos de referncia reunindo-os em um mapa. Gauss se ocupou deste trabalho por vrios anos e o conduziu s idias de sua obra Disquisitiones Generales Circa Supercies Curvas, publicada em
1827.
Como comentado anteriormente,
...
Euler havia percebido que as coordenadas
x, y, z
de um ponto de uma super-
fcie podem ser consideradas como funes de duas variveis independentes mas Gauss quem utiliza tal representao paramtrica sistematicamente. variveis
u, v ,
As
so chamadas de coordenadas curvilneas, sobre a superfcie.
Gauss introduz a forma diferencial quadrtica
ds2 ,
hoje conhecida como primeira
4 forma fundamental , que essencialmente exprime as distncias sobre a superfcie, e escreve
ds2
em termos de trs funes
E, F ...
de
o que lhe permite
escrever equaes para as curvas geodsicas.
Inspirado por seus trabalhos em
Astronomia e Geodesia, ele introduz a noo de representao esfrica, de uma superfcie, hoje conhecida como aplicao de Gauss . O estudo dessa representao o leva a denir a medida de curvatura, da superfcie em
P,
hoje conhecida
como curvatura gaussiana. A m de calcular a curvatura gaussiana atravs das coordenadas curvilneas, ele introduziu uma outra forma diferencial quadrtica, derivada da aplicao de Gauss e que hoje conhecida como segunda forma fundamental . Um de seus maiores resultados o famoso Theorema Egregium, que arma que a curvatura gaussiana, apesar de ter sido denida atravs da aplicao de Gauss e portanto parecer depender de como a superfcie est mergulhada no espao, depende somente da primeira forma fundamental e portanto invariante se transformarmos a superfcie sobre outra superfcie (ou a deformarmos) isometricamente (isto , sem alterar distncias sobre ela).
...
O ponto crucial
envolvido no Theorema Egregium e em outras realizaes de Gauss o conceito
4 A primeira forma fundamental exprime comprimento de curvas em superfcies, ngulos entre

vetores tangentes e reas de regies da superfcie.
5 Esta a aplicao que associa a cada ponto
da superfcie o ponto
da esfera de raio unitrio
tal que o raio
6 A segunda forma fundamental exprime a curvatura de curvas contidas na superfcie.
OP
paralelo normal superfcie em
P.
57
de geometria intrnseca. Ele mostrou como estudar a geometria de uma superfcie operando exclusivamente na prpria superfcie, sem se preocupar com o espao sua volta onde ela se encontra [10].
Os trabalhos de Gauss tiveram muitos seguidores destacando Pierre Bonnet (1819
1892), Carl Jacobi (1804 1851), Ferdinand Minding (1806 1885), Gaspare Mainardi (1800 1879) e Delno Codazzi (1824 1873). Em 1839, Minding mostrou que duas
superfcies com mesma curvatura gaussiana constante podem ser transformadas isometricamente uma sobre a outra. Gaspare Mainardi e Delno Codazzi exprimiram as condies de compatibilidade entre os coecientes das duas formas fundamentais e suas derivadas em
1856
1867
respectivamente. Bonnet demonstrou, em
1867,
que essas
condies, hoje conhecidas como equaes de Gauss Codazzi- Mainardi, so sucientes para que exista uma superfcie com essas formas fundamentais dadas. Em
10 de julho de 1854, Bernhard Riemann (1826 1860) realizou uma conferncia
para os docentes da Faculdade de Filosoa de Gttingen com o intuito de cumprir os requisitos para obteno de um cargo em Gttingen. Riemann ofereceu trs possveis tpicos para esta conferncia. Para os dois primeiros ele estava bem preparado. Mas contrariamente a prtica usual, Gauss, que era chefe do departamento, escolheu o terceiro tpico no qual Riemann tinha pouco conhecimento. Durante vrias semanas Riemann cou paralisado provavelmente pela presso. Finalmente, quando a primavera chegou, ele se recomps e em sete semanas elaborou sua palestra. O resultado foi talvez a mais importante conferncia cientca proferida,
ber die Hypotheses, welche der Geometrie zu Grunde liegen, (Sobre as hipteses em
que a geometria se baseia) era o tema preferido de Gauss durante quase toda a sua vida. Com esta conferncia Riemann d incio a um novo estgio no desenvolvimento da Geometria Diferencial. Este texto foi publicado aps sua morte em
1868
e repercutiu
imediatamente entre os matemticos que trabalhavam com Geometria Diferencial.
[Riemann] introduziu o conceito de variedade n-dimensional de pontos
(x1 , x2
, . . . , xn )
que generaliza a idia de superfcie bidimensional tanto no sentido de
considerar um nmero maior de dimenses quanto no sentido de descartar a necessidade do objeto estar mergulhado em algum espao circundante. Em seguida introduziu uma forma diferencial quadrtica (hoje chamada de mtrica riemanniana) na variedade que generaliza a primeira forma fundamental das superfcies e dene as distncias sobre ela. Esse um dos pontos essenciais de sua viso: a separao entre os conceitos do conjunto de pontos (a variedade n-dimensional) e as possveis mtricas que podem ser denidas sobre ele. Dessa maneira, Riemann aprofundou brutalmente o conceito de geometria intrnseca da teoria de superfcies de Gauss. Finalmente, ele ainda introduziu a curvatura riemanniana (que generaliza a curvatura gaussiana) e discutiu o caso de variedades riemannianas
58
de curvatura constante. O trabalho de Riemann no apenas unicou a Geometria Euclideana e a no-Euclideana, mas representou uma vasta generalizao dessas geometrias [10].
Os trabalhos de Riemann continuaram com Elwin Christoel. Como o objetivo de generalizar o problema de superposio de superfcies, Christoel introduz o que hoje conhecido por smbolos de Christoel e o tensor de curvatura de Riemann-Christoel.
A obra de Riemann sobre geometria diferencial tornou-se a pedra angular da teoria da relatividade geral de Einstein. Se Riemann no tivesse sido to imprudente em incluir a geometria na sua lista de tpicos, ou se Gauss no tivesse sido to ousado a ponto de escolh-la, o instrumento matemtico que Einstein precisou para a sua revoluo na fsica no teria existido [6], p.146.
Na histria da Matemtica, a anlise da curvatura de curvas, foi um exemplo fundamental de beleza e um indicador de seu desenvolvimento. Como foi visto, o tratamento matemtico da curvatura sofreu uma drstica metamorfose ao longo da histria. A Geometria Diferencial comeou com vagas denies e conceitos simples, e se desenvolveu nesta poderosa e importante ferramenta matemtica. Provavelmente o salto principal para seu desenvolvimento se deu quando o Clculo foi inventado no sculo XVII.
3.2
Curvas em
Rn ,
Rn
Seja o conjunto seja,
formado por todas as n-uplas ordenadas de nmeros reais, ou
Rn = {(x1 , x2 , . . . , xn ); xi Rn , i = 1, 2, . . . , n},
onde
(x1 , x2 , . . . , xn ) Rn
chamado ponto do conjunto
Rn
xi
chamado i-sima coorde-
nada do ponto. No conjunto so denidas as operaes binrias de adio:
Rn Rn Rn (x, y ) x + y = (x1 + y1 , x2 + y2 , . . . , xn + yn ),
e de multiplicao por escalar:
R Rn Rn (, x) x = (x1 , x2 , . . . , xn )
O conjunto
Rn
munido das operaes de adio e multiplicao satisfaz os axiomas
da denio de espao vetorial de dimenso
n,
ou seja, associativa).
(A1 ) (x + y ) + z = x + (y + z ), x, y, z Rn (propriedade (A2 ) x + y = y + x, x, y Rn (propriedade comutativa).
Curvas em
Rn
59
(A3 ) Existe em Rn um vetor, denominado vetor nulo e denotado por 0 tal que x + 0 = x = 0 + x, x Rn (existncia do elemento nulo). (A4 ) A cada vetor x Rn , existe um vetor em Rn , denotado por x tal que x + (x) = 0 = (x) + x (existncia do elemento oposto). (M1 ) (x + y ) = x + y, x, y Rn e R. (M2 ) ( + )x = x + x, x Rn e , R. (M3 ) (. )x = (x), x Rn e , R. (M4 ) 1.x = x, x Rn (onde 1 o elemento identidade de R).
Os elementos de
Rn
so chamados de vetores.
Dene-se como produto interno usual a aplicao,
, : Rn Rn R (x, y ) x, y = x1 y1 + x2 y2 + + xn yn ,
que satisfaz as seguintes propriedades:
(P1 ) x, x 0, x Rn e x, x = 0 x = 0. (P2 ) x, y = y, x , x, y Rn . (P3 ) ax + by, z = a x, z + b y, z , x, y, z Rn e a, b R.

O conjunto
Rn
munido deste produto interno dene a norma euclidiana.
|| || : Rn R x ||x|| =
que satisfaz as seguintes propriedades.
x, x ,
(N1 ) ||x|| 0, x Rn e ||x|| = 0 x = 0 (N2 ) ||x|| = || ||x||, x Rn e R. (N3 ) ||x + y || ||x|| + ||y ||, x, y Rn , chamada
A distncia entre dois pontos
de desigualdade triangular.
de
Rn
denida como:
d(x, y ) = ||x y || =
Se
(x1 y1 )2 + (x2 y2 )2 + + (xn yn )2 , x, y Rn .

entre
y Rn
so vetores no nulos, o ngulo
y , pode ser denido como:
cos() =
satisfazendo
x, y , x, y Rn . ||x||||y ||
0 .
3.2.1
Curvas Parametrizadas
Uma curva parametrizada diferencivel em
Denio 3.1.
rencial
Rn
uma aplicao dife-
de classe
Ck
de um intervalo aberto
IR
em
Rn ,
ou seja,
: I R Rn t (t) = (x1 (t), x2 (t), . . . , xn (t)),

onde as funes
xi = xi (t), i = 1, 2, . . . , n
so diferenciveis de classe
Ck.
60
A funo de ordem
xi : I R R xi C
k
dita de classe
(inclusive) existem e a de ordem , para todo
Ck k
se e somente se, todas as derivadas contnua no intervalo
I.
.
Escreve-se
xi C
. Quando
kN
diz-se que
xi
de classe
A varivel
t
n
chamada de parmetro da curva.
O conjunto imagem da funo
: I R R , isto , Im() = {(t) R , t R} chamado de trao da curva . Os pontos (t) unidos no sentido de crescimento da varivel t denem o sentido
positivo de percurso do trao da curva.
3.2.2
Vetor tangente e curva regular

Seja
Denio 3.2.
cada
tI
associa
: I R Rn uma curva parametrizada (t) = (x1 (t), x2 (t), . . . , xn (t)). O vetor (t) = (x1 (t), x2 (t), . . . , xn (t)),
diferencivel que a
(3.1)
chamado de vetor tangente a
em
t.
Denio 3.3. Uma curva parametrizada diferencivel : I R Rn dita regular,

se e somente se
(t) = 0, t I.
3.2.3
Seja
Comprimento de arco de uma curva
: I R Rn uma curva regular. Seja a e b dois pontos distintos do intervalo I . Seja P uma partio de [a, b] dada por a = t0 < t1 < < tk1 < tk < < tn = b. Ligando por segmentos de retas os pontos (ti ), ti P , obtm-se uma linha poligonal chamada poligonal inscrita curva entre (a) e (b). Considere tk = tk tk1 e Pk = (x1 (tk ), . . . , xn (tk )) o ponto de correspondente a tk . O comprimento do segmento Pk1 Pk dado por,
n
d(Pk1 , Pk ) =
i=1
Unindo o ponto poligonal
(xi (tk ) xi (tk1 ))2 . Pn ,
(3.2)
P0
com
P1
e assim sucessivamente at
obtm-se uma linha
Lp ,
cujo comprimento dado por,
||Lp || =
k=1
d(Pk1 , Pk ).
7 para as funes coordenadas
(3.3)
Aplicando o Teorema do Valor Mdio
xi : I R
R, xi = xi (t), i = 1, 2, . . . , n no intervalo [tk1 , tk ] I k no intervalo aberto (tk1 , tk ), tais que; reais t

7 Teorema do Valor Mdio: Seja
ento existe
tem-se que existem valores
k (tk1 , tk ) t
tal que
f : [tk1 , tk ] R R k ) = f (tk1 ) f (tk ) . f (t (tk1 tk )
contnua. Se
derivvel em
(tk1 , tk )
Curvas em
Rn
61
k ) = xi (tk ) xi (tk1 ) , i = 1, 2, . . . , n. xi (t tk tk1

Tomando,
tk tk1 = tk ,
tem-se que (3.4)
k )tk , i = 1, 2, . . . , n. xi (tk ) xi (tk1 ) = xi (t

Substituindo
(3.4)
em
(3.2),
obtm-se
d(Pk1 , Pk ) = = = =
Segue assim que,
k )tk )2 + + (xn (t k )t2 k )tk )2 + (x2 (t (x1 (t k) k ))2 + + (xn (t k ))2 t2 k ))2 + (x2 (t (x1 (t k k ))2 + + (xn (t k ))2 |tk | k ))2 + (x2 (t (x1 (t k ))2 + + (xn (t k ))2 tk k ))2 + (x2 (t (x1 (t
||Lp || =
k=1
Supondo
d(Pk1 , Pk ) =
k=1
contnua em
k ))2 + (x2 (t k ))2 + + (xn (t k ))2 tk (x1 (t

tem-se que
[a, b]
|| (t)|| =
(x1 (t))2 + + (xn (t))2
ser
tambm contnua em O comprimento
[a, b]
e, portanto, integrvel neste intervalo. de
da curva
P0
Pn
denido por
L = = =
||max tk ||0 ||max tk ||0 b a
lim
||Lp ||
n
lim
k ))2 + (x2 (t k ))2 + + (xn (t k ))2 tk ( x1 ( t

k=1
(x1 (t))2 + (x2 (t))2 + + (xn (t))2 dt

de
Logo, o comprimento de arco da curva
at
dado por
L=
a
A aplicao curva
(x1 (t))2 + (x2 (t))2 + + (xn (t))2 dt =

a t
|| (t)||dt.
(3.5)
s(t) = a || (s)||ds denominada funo comprimento de arco partir de a. Esta funo de classe C pois uma curva regular.
Uma curva regular
da
Denio 3.4.
de
mento de arco, se para cada
: I R Rn dita parametrizada pelo comprit0 , t1 I com t0 t1 , o comprimento do arco da curva

t1
t0
at
t1
igual
t1 t0 .
Isto ,
|| (t)||dt = t1 t0
t0
(3.6)
62
Proposio 3.1.
Uma curva regular
mento de arco se, e somente se, Demonstrao. Suponha

Considere a funo Se
: I R Rn est || (t)|| = 1, t I .
parametrizada pelo compri-
parametrizada pelo comprimento de arco e xe t0 I . t s : I R que para cada t I associa s(t) = t0 || (u)||du.
t
t0 t,
ento
s(t) =
t0
Se
|| (u)||du = t t0 .
t0 t,
ento
t0
s(t) =
t0
Logo, para todo
|| (u)||du =
t
|| (u)||du = (t0 t) = t t0 .
t I, s(t) = t t0 , donde s (t) = 1. Como s (t) = || (t)||, pode-se concluir que, || (t)|| = 1, t I . t || (u)||du = t t0 . Logo, Reciprocamente, se || (t)|| = 1, t I ento, s(t) = t0 s(t) = t t0 , t I. Portanto, est parametrizada pelo comprimento de arco.
Teorema 3.1.
: I R Rn uma curva regular e s : I s(I ) R a funo comprimento de arco de a partir de t0 . Ento existe a funo inversa h de s, denida no intervalo aberto J = s(I ) com = h uma reparametrizao de , onde est
Seja parametrizada comprimento de arco. Demonstrao. Seja
uma curva regular com
s(t) =
t0
|| (u)||du
(3.7)
a funo comprimento de arco. Derivando membro a membro a equao
(3.7), obtm-se
s (t) = || (t)|| > 0, t > t0 .

Logo,
uma funo estritamente crescente. Segue que, existe a funo inversa de
denotada por
h:J I
com
h(s(t)) = t, t I .
Derivando
h(s(t)) = t
em relao a
t,
tem-se o seguinte resultado,
dh ds =1, tI ds dt dh 1 1 = = > 0 , t I. ds s (t) || (t)|| s = s(t), h (s) = 0, s J . reparametrizao de e,

Como Pode-se concluir que
(s) = ( h)(s), s J , uma
d ds
d dh dt ds
= (t)
1 || (t)||
1 1 || (t)|| = || (t)|| = 1, s J. || (t)|| || (t)||

por
Portanto,
uma reparametrizao de
e pela proposio
3.1,
est parame-
trizada pelo comprimento de arco.
Curvas em
Rn
63
So utilizadas as seguintes notaes para designar:
(t), (s), d = (t), dt d = (s), ds

3.2.4
para denotar uma parametrizao regular arbitrria. para denotar uma parametrizao por comprimento de arco. para denotar o vetor tangente. para denotar o vetor tangente unitrio.
Curvas de Frenet
Seja uma curva regular em
Denio 3.5.
Rn
parametrizada pelo comprimento de
arco e n vezes continuamente diferencivel. Ento todo ponto os vetores de Frenet (i)
chamada curva de Frenet,
se em
c , c , . . . , c(n1) so linearmente independentes. O n-referencial {e1 , e2 , . . . , en } ento unicamente determinado pelas seguintes condies:
so ortonormais e orientados positivamente. tem-se que
e1 , e2 , . . . , en
(ii) Para todo
k = 1, 2, . . . , n
lin(e1 , e2 , . . . , en ) = lin(c , c , . . . , c(k) ),
onde
lin
(iii)
denota o gerador linear. para
c(k) , ek > 0
k = 1, 2, . . . , n 1.
Obtm-se
e1 , e2 , . . . , en1 de c , c , . . . , c(n1) por meio do processo de ortogonalizao
de Gram-Schmidt como segue abaixo:
e1 = c , c , e2 = ||c ||
. . .
wj = (c(j ) wn1 = (c(n1)

o vetor
j 1 i=1
c(j ) , ei ei )
ej
wj ||wj || wn1 . ||wn1 || 3.5.
n2 i=1
c(n1) , ei ei )
en1 =
en
unicamente determinado pela condio
(i)
da denio
3.2.5
As equaes de Frenet
Seja
Teorema 3.2. (Equaes de Frenet em Rn ).

Rn com o n-referencial kn1 , todas (n 1 i)
de Frenet
uma curva de Frenet em
{e1 , e2 , . . . , en }.
Ento existem funes
k1 , k2 , . . . ,
vezes continuamente diferenciveis denidas nessa curva com
64
k1 , k2 , . . . , kn2 > 0. Assim, 0 k1 0 e1 e2 k1 0 k2 . . . . = 0 k2 0 . .. . . 0 0 . . .. .. . . . . . . en 0

onde
0 0
.. .. .. . . .
.. .. .. . . .
0
. . . . . .
0 kn1 kn1 0
e1 e2 . . . . . . . . . . en
e
denota a derivada em relao ao parmetro da curva
ki
chamada i-sima
curvatura de Frenet. Estas equaes so chamadas de equaes de Frenet.
Demonstrao. Considere as componentes de

Frenet. Para todo
ei =
n j =1
ei , ej ej
no n-referencial de
i n1, ei est no subespao linear gerado pelos vetores c , c , . . . , c(i) . (i+1) . Este subespao o mesmo Deste modo, ei est no subespao gerado por c , c , . . . , c gerado por e1 , e2 , . . . , ei+1 . Assim, ei , ei+2 = ei , ei+3 = = ei , en = 0
Denote por
ki = ei , ei+1 c
(i+1)
. Ento, tem-se que
k1 , k2 , . . . , kn2
so todos positivos uma
vez que, por construo do n-referencial de Frenet, o sinal de o mesmo para
ei , ei+1
, para
i n 2,
, ei+1
. A anti-simetria da matriz uma consequncia da equao
0 = ei , ej = ei , ej + ei , ej .
3.2 que uma curva de Frenet em Rn est contida em um hiperplano se, e somente se, kn1 0. Isto equivale a exigir que en seja um vetor constante o qual perpendicular a este hiperplano. Portanto, kn1 tambm
Uma consequncia imediata do teorema chamada de toro.
Exemplo 3.1. Curvas no espao.
n = 3 uma curva regular trs vezes continuamente diferencivel chamada uma curva de Frenet, se = 0 em todos os pontos. 3 O referencial ortonormal de R formado por {e1 (s), e2 (s), e3 (s)} chamado triedro de Frenet da curva em s, e denido por
Para
e1 (s) = (s) (s) e2 (s) = || (s)|| e3 (s) = e1 (s) e2 (s)

A funo as equaes
vetor tangente vetor normal principal vetor binormal
k (s) = || (s)|| chamada curvatura de uma curva . Pode-se obter derivadas e1 (s), e2 (s), e3 (s) como combinao linear de e1 (s), e2 (s), e3 (s).
Superfcies Regulares
65
Como segue abaixo:
e1 (s) = e1 (s), e1 (s) e1 (s) + e1 (s), e2 (s) e2 (s) + e1 (s), e3 (s) e3 (s) = || (s)||e2 (s), e2 (s) + || (s)||e2 (s), e3 (s) e3 (s) = || (s)||e2 (s) = k (s)e2 (s). e2 (s) = e2 (s), e1 (s) e1 (s) + e2 (s), e2 (s) e2 (s) + e2 (s), e3 (s) e3 (s) = e2 (s), e1 (s) e1 (s) + e2 (s), e3 (s) e3 (s) = e2 (s), k (s)e2 (s) + (s)e3 (s) = k (s)e1 (s) + (s)e3 (s). e3 (s) = e3 (s), e1 (s) e1 (s) + e3 (s), e2 (s) e2 (s) + e3 (s), e3 (s) e3 (s) = e3 (s), e1 (s) e1 (s) e2 (s), e3 (s) e2 (s) = e3 (s), k (s)e2 (s) e1 (s) (s)e2 (s) = (s)e2 (s).
A funo o plano
(s) = e2 (s), e3 (s) chamada toro da curva . Itso descreve como gerado por e1 (s), e2 (s) varia ao longo da curva. Estas trs equaes para as
derivadas so chamadas equaes de Frenet, e em notao matricial elas assumem a seguinte forma:
0 k (s) 0 e1 (s) e 1 ( s) 0 (s) . e2 (s) . e2 (s) = k (s) 0 (s) 0 e3 (s) e 3 ( s)
3.3
Nesta seo ser apresentado o conceito de superfcies regulares, denindo-as como subconjuntos de
R3
que podem ser descritos localmente por dois parmetros.
Segundo ([11], p. 61), uma superfcie regular do
R3
obtida a partir de pedaos
do plano, deformados e colados entre si, de tal modo que o objeto resultante no apresente pontas, arestas ou auto-intersees. Tendo assim sentido em falar de plano tangente nos pontos desse objeto.
Denio 3.6.
R3 uma superfcie regular 3 se, para cada ponto p S , existe uma vizinhana V de p em R e uma aplicao X : U V S R3 de um aberto U R2 sobre V S R3 tal que:
Um subconjunto
do espao euclidiano
(a) A aplicao
diferencivel, isto , dados
(u, v ) U , todas as derivadas parciais das z = z (u, v ) existem e so contnuas em U .

(b)
X (u, v ) = (x(u, v ), y (u, v ), z (u, v )) funes x = x(u, v ), y = y (u, v ) e
um homeomorsmo, isto ,
bijetiva, contnua e possui inversa contnua.
66
(c) (Condio para regularidade.) Para todo injetiva (equivalente dizer que,
q U
a diferencial
qU
a matriz jacobiana
dXq : R2 R3 dX (q ) tem posto 2).
Figura 3.1: Superfcie regular.
A aplicao
X (u, v ) = (x(u, v ), y (u, v ), z (u, v ))
chamada parametrizao ou sis-
tema de coordenadas em uma vizinhana do ponto chamada vizinhana coordenada.
p.
A vizinhana
V S
de
em
Observao 3.3.1. Geometricamente uma superfcie ser regular signica que esta no
possui bicos e auto-interseo. Esta condio necessria para a existncia do plano tangente em todos os pontos da superfcie.
(c) da denio (5.31) de forma mais familiar, ser calcu2 lada a matriz da aplicao linear dXq na base cannica {e1 , e2 } de R com coordenadas (u, v ) e {e 1 , e 2 , e 3 } de R3 com coordenadas (x, y, z ). Para cada q = (u0 , v0 ) U , a matriz associada a dXq nas bases cannicas a matriz jacobiana. x x (u , v ) (u , v ) u 0 0 v 0 0 y y dXq = ( u , v ) ( u , v ) 0 0 0 0 u v z z (u0 , v0 ) (u0 , v0 ) u v
Para expressar a condio pois
dXq (e1 ) = dXq (e2 ) =
x y z (u0 , v0 ), (u0 , v0 ), (u0 , v0 ) u u u x y z (u0 , v0 ), (u0 , v0 ), (u0 , v0 ) v v v ( c)

da denio
= =
X (u0 , v0 ) u X (u0 , v0 ) v
Estes dois vetores podem ser denotados por Observe que a condio
Xu (u0 , v0 ) e Xv (u0 , v0 ) respectivamente. (5.31) equivalente as armaes.
67
(a)
X (u0 , v0 ) u
X (u0 , v0 ), v
so linearmente independentes.
(b)
X X (u0 , v0 ) (u0 , v0 ) = 0 , u v
onde
denota o produto vetorial denido em R3 .
3.3.1
Seja
Curvas na Superfcie. Plano Tangente e Vetor Normal.
X : U R2 S R3 e C : I R U R2 aplicaes diferenciveis. Uma curva na superfcie dada pela composio (X C ), ou seja, (t) = (X C )(t) = X (u(t), v (t)). Considere em U um ponto (u0 , v0 ) com X (u0 , v0 ) = p S e a reta v = v0 constante em U . Como U aberto existe 0 tal que Cu : (t , t + ) U onde Cu ((t , t + )) U , ou seja, Cu (t) = (u, v0 ). A composio de X com Cu d origem a uma curva parametrizada diferencivel cujo trao est em X (U ) passando pelo ponto X (u0 , v0 ) = p, ou seja, (X Cu )(t) = X (u(t), v0 ). De modo anlogo, obtm-se para coordenada v a curva parametrizada diferencivel (X Cv )(t) = X (u0 , v (t)). X Cu e X Cv so chamadas curvas coordenadas na superfcie S u e v respecS
uma superfcie regular e tivamente.
Denio 3.7.
denotado por
O espao tangente ou plano tangente em um ponto
da superfcie
o conjunto de vetores tangentes em
de todas curvas em
passando atravs
S de p
Tp S.
Figura 3.2: Espao Tangente.
X : U R2 S R3 uma parametrizao da superfcie S contendo um ponto p de S e seja (u, v ) coordenadas em U . O espao tangente a S em X X p o subespao vetorial de R3 gerado pelos vetores e , derivadas determinadas u v no ponto (u0 , v0 ) U tal que X (u0 , v0 ) = p.
Seja
Propriedade 3.1.
68
Demonstrao. Seja
uma curva em
S,
ou seja (3.8)
(t) = X (u(t), v (t)).

Derivando
(3.8)
tem-se que,
(t) =
Assim,
d X du X dv d = (X (u(t), v (t)) = + . dt dt u dt v dt X u
e
(3.9)
(t)
uma combinao linear de
X . v R3
gerado por
Reciprocamente, qualquer vetor no subsespao vetorial de da forma
X X +b u v
X u
X v
para os escalares
b R.
Dene-se
(t) = X (u0 + at, v0 + bt).

uma curva em
com
(0) = X (u0 , v0 ) = p S .
Assim,
(t) =
Portanto, todo vetor curva em
S. X u
e
X du X dv X X + =a +b . u dt v dt u v X X e um vetor tangente gerado por u v
em
de alguma
Uma vez que
mensional e ser chamado de plano tangente. Dado um ponto plano tangente
X v
so linearmente independentes, o espao tangente bidi-
p S
existem dois vetores unitrios em
Tp S.
Uma vez xada uma parametrizao
R3 que so normais ao X : U R2 S R3 ,
pode-se denir em cada ponto denido por
p = X (u0 , v0 )
um vetor normal unitrio superfcie
N (u0 , v0 ) =
X (u0 , v0 ) u X (u0 , v0 ) u R3 .
X (u0 , v0 ) v X (u0 , v0 ) v
(3.10)
onde
denota o produto interno vetorial de
3.4
As Formas Fundamentais
O estudo das propriedades geomtricas locais de uma superfcie regular depende de duas formas fundamentais. A primeira forma permite calcular comprimentos e ngulos em uma superfcie. A segunda forma esta relacionada ao estudo de curvas da superfcie.
69
3.4.1
A Primeira Forma Fundamental
Nesta seo ser apresentado o instrumento que permite calcular comprimentos e ngulos sobre uma superfcie denominado de Primeira Forma Fundamental da superfcie. Seja zada
(t) = X (u(t), v (t)), a t b uma curva sobre uma superfcie S por X . O comprimento do arco de de (a) at (b) dado por
b
parametri-
L = s(b) =
a
Derivando
|| (t)||dt.
(3.11)
(3.11)
em relao a
t,
obtm-se
ds = || (t)||. dt
Assim,
(3.12)
ds dt
O vetor velocidade
= || (t)||2 = (t), (t) .
(t)
dado por
(t) =
Logo,
X du X dv + . u dt v dt
ds dt
X du X dv + , u dt v dt du dt
2
X du X dv + u dt v dt + dv dt
2
X X , u u
du dv X X , +2 dt dt u v
X X , . v v
Denindo as funes:
g11 : U R2 R (u, v ) g11 (u, v ) = g12 : U R2 R (u, v ) g12 (u, v ) = g22 : U R2 R (u, v ) g22 (u, v ) = X X , (u, v ) v v X X , u v X X , (u, v ) u v X X , (u, v ) u u
que so chamadas de coecientes da Primeira Forma Fundamental na base de
Tp X .
70
A equao
ds dt
= g11
du dt
+ 2g12
du dv dt dt g11 , g12
e
+ g22
dv dt
(3.13)
conhecida como Primeira Forma Fundamental da superfcie S. Uma vez determinados os coecientes
g22 ,
pode-se encontrar o compri-
mento de qualquer curva sobre uma superfcie usando a frmula,
L=
a
Se considerarmos
g11
du dt
+ 2g12
du dv dt dt
+ g22
dv dt
1 2
(3.14)
1 e 2 duas curvas na superfcie S que se interceptam num dado ponto P = 1 (t1 ) = 2 (t2 ). Ento 1 (t) = X (u1 (t), v1 (t)) e 2 (t) = X (u2 (t), v2 (t)). O ngulo de interseo no ponto P das curvas 1 e 2 denido como sendo o ngulo formado pelos vetores 1 (t1 ) e 2 (t2 ) e dado por cos =
Portanto,
1 (t1 ), 2 (t2 ) . ||1 (t1 )||.||2 (t2 )|| dv1 dv2 dt dt
g11 cos =
sendo
du1 dv2 du2 dv1 du1 du2 + g12 + dt dt dt dt dt dt ||1 (t1 )||.||2 (t2 )|| du1 dt du2 dt
2
+ g22
(3.15)
||1 (t1 )|| = g11
dv1 du1 dv1 + g22 + 2g12 dt dt dt dv2 du2 dv2 + g22 + 2g12 dt dt dt
1 2
.
2
1 2
||2 (t2 )|| = g11

A matriz
G=
g11 g12 g12 g22
denominda matriz da Primeira Forma Fundamental.
uma matriz inversvel
8 pois
maneira,
X u
admite uma matriz inversa
G1
X v
so linearmente independentes.
Desta
dada por
G1 =
1 g11 g22 (g12 )2
g22 g12 g12 g11
(3.16)
Observao 3.4.1.
1- imediato pela denio que
g11 (u, v ) 0
g22 (u, v ) 0, (u, v ) U .
Alm disso,
g12 (u, v ) = 0
2-
se e somente se, as curvas coordenadas forem ortogonais. que o determinante da matriz da Primeira Forma
2 ||Xu Xv || = g11 g12 g22 ,

Fundamental.
8 Matriz inversvel: Uma matriz quadrada A dita inversvel quando existe outra matriz denotada
A1 tal de A.
que
AA1 = I = A1 A,
onde
a matriz identidade e
A1
denominada a matriz inversa
71
3.4.2
A Segunda Forma Fundamental
No exemplo 3.1 da seo 3.2 do captulo 3 foi denida a curvatura de uma curva em
k (s) = || (s)||. Esta seo 3 porm, lida com uma curva que encontra-se sobre uma superfcie S em R . A m de poder relacionar a curvatura de a geometria de S , o vetor acelerao (s) ser
como sendo o comprimento da acelerao, ou seja
R3
decomposto em componentes tangente e normal a superfcie.
(s) = tg (s) + nor (s).

Lembrando que
(3.17) o vetor velocidade
(s) = X (u(s), v (s)) uma curva sobre S , d X du X dv = + . ds u ds v ds S.
(s)
dado de acordo com a regra da cadeia, e assume a forma
(s) = (s)
(3.18)
tangente a curva e assim tangente a
Enquanto, o vetor acelerao
(s)
dado por,
( s) =
d2 d X du X dv = + 2 ds ds u ds v ds du ds dv ds
2
d X du ds u ds
d X dv ds v ds
2X = u2 2X + v 2
+
2
2 X du dv 2 X dv du X d2 u + + + uv ds ds u ds2 uv ds ds X d2 v . v ds2 X
(3.19)
Supondo que todas as derivadas parciais das componentes de 2 2 se que
so contnuas tem-
X X = . uv vu
Deste modo, a equao (5.4) pode ser escrita da seguinte forma,
X d2 u X d2 v 2 X (s) = + + u ds2 v ds2 u2

A m de escrever
du ds
2 X du dv +2 uv ds ds (5.30),
2X + v 2
dv ds
(3.20)
( s)
como na equao
preciso decompor
normal um mltiplo do vetor normal unitrio
2X . v 2
A componente tangente ser uma combinao linar de
N.
Consequentemente, dene-se
X u
X , e a componente v
2X 2X , u2 uv
2X X X = 1 + 2 + L11 N 11 11 2 u u v
2
2X X X = 1 + 2 + L12 N 12 12 uv u v
(3.21)
X X X = 1 + 2 + L21 N , 21 21 vu u v
As funes a
X X X = 1 + 2 + L22 N 22 22 2 v u v
r ij , i, j, r = 1, 2, so chamadas smbolos de Christoel de S relativamente r parametrizao X . Os coecientes ij e Lij so funes de u e v . Fazendo o produto
72
interno de cada uma das equaes abaixo
(3.21) com o vetor normal N 2X , N = L12 uv 2X , N = L22 . v 2
obtm-se as igualdades
2X , N = L11 u2 2X , N = L21 vu
(3.22)
2X 2X r = , conclui-se que L12 = L21 . Os smbolos de Christoel, 12 = Como uv vu r 21 , r = 1, 2 so simtricos em relao aos ndices inferiores. Substituindo as relaes (3.21) e (3.22) na equao (5.5), obtm-se o seguinte resultado.
X X d2 u X d2 v X + 2 + L11 N (s) = + + 1 11 11 2 2 u ds v ds u v + 2 1 12 X X du dv + 2 + L12 N 12 u v ds ds dv ds

2
du ds
(3.23)
+
A equao
1 22
X X + 2 + L22 N 22 u v
(5.6)
pode ser escrita da seguinte forma,
( s) =
1 11
du ds du ds L11
+ 21 12
2
dv du dv + 1 12 ds ds ds dv du dv + 2 22 ds ds ds
+
2
d2 u X ds2 u d2 v X ds2 v
2
(3.24)
1 11
+ 22 12 du ds
2
+
onde, segundo a equao
+ 2L12
du dv dv + L22 ds ds ds
N,
(5.30), 1 11 1 11
tem-se
tg (s) =
du ds du ds du ds
+ 21 12
2
du dv dv + 1 12 ds ds ds du dv dv + 2 22 ds ds ds du dv dv + L22 ds ds ds
+
2
d2 u X ds2 u d2 v X . ds2 v
(3.25)
+ 22 12
2
+
2
nor (s) =
O coeciente de da superfcie S.
L11
+ 2L12 (5.10)
N.
na equao
chamado de Segunda Forma Fundamental
A Primeira Forma Fundamental determina a geometria intrnseca de a Segunda Forma reete a geometria extrnseca.
S,
enquanto
73
Para determinar os coecientes cada uma das relaes em
r ij , i, j, r = 1, 2, X X (3.21) com e . u v
considere o produto interno de
2 Determinao de [1 11 e 11 ].
Considere o produto interno da relao ou seja,
2X X X + 2 + L11 N = 1 11 11 2 u u v X X , v u X . u
com
X , u
2 X X , u2 u
Como,
= 1 11
X X , u u
+ 2 11
+ L11 N,
g11 X X = , u u u u
Tem-se que,
=2
2 X X . , u2 u
1 g11 2 = 1 11 g11 + 12 g12 . 2 u

Considere agora o produto interno da relao
(3.26)
X , v
2X X X = 1 + 2 + L11 N 11 11 2 u u v
com
ou seja,
2 X X , u2 v
Como,
= 1 11
X X , u v
+ 2 11
X X , v v
+ L11 N,
X . v
X X g12 = , u u u v
e
2 X X , u2 v
X 2 X , u uv
(3.27)
g11 X X = , u v u u 2 X X , + = uv u
Subtraindo Assim,
(3.28)
X 2 X , u uv 2 X X , 2 u v
2 X X =2 , . uv u = g12 1 g11 . u 2 v
(3.29)
(5.15)
de
(3.27),
obtm-se
g12 1 g11 2 = 1 11 g11 + 12 g12 . u 2 v

Resulta das equaes
(3.30)
(5.11)
(5.13), 1 11 2 11
o sistema linear.
g11 g12 g12 g22
1 g11 = g 2 u 1 g11 . 12 u 2 v
74
Lembrando que
2 g11 g22 g12 0,
segue que o sistema linear admite soluo dada por
1 g11 2 u
g12 1 g11 g12 1 g11 g22 g12 + g12 u 2 v = 2 u 2 g11 g22 g12
1 11 =
g12 1 g11 g22 u 2 v g11 g12 g12 g22
g11
g11 u g12 1 g11 u 2 v g11 g12 g12 g22 g12 1 g11 1 g11 g11 g11 g12 2 v 2 u = u . 2 g11 g22 g12
2 11 =
g22
Considere o produto interno da relao ou seja,
X X X = 1 + 2 + L12 N 12 12 uv u v X X , v u
com
X , u
2 X X , uv u
Como,
= 1 12
X X , u u
+ 2 12
+ L12 N,
X . u
X X g11 = , v v u u
Logo,
2 X X , uv u
2 X X , u uv
2 X X =2 , . uv u
1 g11 2 = 1 12 g11 + 12 g12 . 2 v

O produto interno da relao em
(3.31)
X X X = 1 + 2 + L12 N 12 12 uv u v + 2 12 X X , v v
com
X v
resultar
2 X X , uv v
Como,
= 1 12
X X , u v
+ L12 N,
X . v
g22 X X = , u u v v
Obtm-se
2 X X , uv v
2X 2X , v uv
=2
2 X X , . uv v
1 g22 2 = 1 12 g12 + 12 g22 . 2 u
(3.32)
75
Resulta das equaes
(5.16)
(5.17), .
o sistema linear.
g11 g12 g12 g22
1 12 2 12
1 g11 2 v . = 1 g 22 2 u
Cuja soluo dada por
1 g11 g12 2 v 1 g22 g22 2 u g11 g12 g12 g22

e
1 12 =
1 g11 1 g22 g22 g12 2 u = 2 v 2 g11 g22 g12
g11
1 g11 2 v 1 g22 1 g11 g11 g12 2 v = 2 u . 2 g11 g22 g12
2 12 =
g12
1 g22 2 u g11 g12 g12 g22
Considerando agora o produto interno da relao com
X u
2X 1 X 2 X = + + L22 N 22 22 v 2 u v
tm-se que
2 X X , v 2 u
Como,
= 1 22
X X , u u
+ 2 22
X X , v u
+ L22 N,
X . u
g12 X X = , v v u v
e
2 X X , uv v
X 2 X , u v 2 2 X X , . uv v
(3.33)
g22 X X = , u u v v
Subtraindo
2 X X , uv v
obtm-se
X 2 X , v vu =
=2
(3.34)
(3.34)
de
(5.20),
2 X X , v 2 u
g12 1 g22 . v 2 u
Concluindo-se que
g12 1 g22 2 = 1 22 g11 + 22 g12 . v 2 u
(3.35)
76
Considerando agora o produto interno da relao com
X v
X X 2X + 2 + L22 N = 1 22 22 2 v u v
obtm-se
2 X X , v 2 v
Como,
= 1 22
X X , u v
+ 2 22
X X , v v
+ L22 N,
X . v
g22 X X = , v v v v
Assim,
2 X X , v 2 v
X 2 X , v v 2
2 X X =2 . , v 2 v
1 g22 2 = 1 22 g12 + 22 g22 . 2 v

Resulta das equaes
(3.36)
(5.18)
(5.22), 1 22 2 22
o sistema linear.
g11 g12 g12 g22

Cuja a soluo dada por
g12 1 g22 = v 1 g2 u . 22 2 v
1 22 =
g12 1 g22 g12 v 2 u 1 g22 g22 2 v g11 g12 g12 g22 g11 g12 1 g22 v 2 u 1 g22 2 v g11 g12 g12 g22
g12 1 g22 1 g22 g22 g22 g12 2 u 2 v = v 2 g11 g22 g12
2 22 =
g12
1 g22 g12 1 g22 g11 g12 + g12 v 2 u = 2 v . 2 g11 g22 g12 g11 , g12 g22
Conclui-se que os smbolos de Christoel s dependem de da Primeira Forma Fundamental) e de suas derivadas.
(coecientes
Proposio 3.2.
Seja
mento de arco sobre
(s) = X (u(s), v (s)) uma curva parametrizada uma superfcie S . Sua curvatura normal dada por Kn = L11 du ds
2
pelo compri-
du dv dv + 2L12 + L22 s ds ds
2
onde
L11
du s
+ 2L12
du dv dv + L22 ds ds ds
a Segunda Forma Fundamental de
S.
O Teorema Egregium de Gauss e as Equaes de Compatibilidade.
77
Demonstrao. Seja
o vetor unitrio normal de S. Tem-se que
Kn =
N (s),
N (s),
d ( ) ds
= du ds
N (s),
2
d X du X dv + ds u ds v ds 2 X du dv uv ds ds X u
2
e
N (s),
2 X d2 u 2 X d2 v 2 X + + u ds2 v ds2 u2 (3.22) e o fato de que N Kn = L11 du ds

2
+2
+ X v
2X v 2
dv ds
Usando as relaes
perpendicular a
obtm-se que
du dv dv + 2L12 + L22 ds ds ds
3.5
Nesta seo ser mostrado um dos teoremas mais importantes do sculo XIX. Resultado descoberto por Johann Carl Friedrich Gauss e publicado no ano de
1827.
Este
teorema arma que a curvatura gaussiana, denida a partir da Segunda Forma Fundamental, depende somente da Primeira Forma Fundamental. Seja
X : U R2 S
uma parametrizao da superfcie regular
S.
possvel
associar a cada ponto
X (U ) um triedro natural dado por X X , ,N u v
X X , ,N u v
. Expressando
as derivadas destes vetores na base
so denidas as seguintes relaes:
2X u2
= 1 11
X X + 2 + L11 N 11 u v
2X X X = 1 + 2 + L12 N 12 12 uv u v 2X v 2 N u N v
Sendo que as
= 1 22 =
X X + 2 + L22 N 22 u v a11 X X + a21 u v X X + a22 u v
(3.37)
a12
4 primeiras relaes em (3.37) foram denidas e seus coecientes k ij ; i, j, k = 1, 2, determinados na seo 3.4.2 deste captulo. Os coecientes aij ; i, j = 1, 2, esto
78
ainda por determinar. Para encontrar estes coecientes basta formar o produto interno de cada uma das duas ltimas relaes em
(3.37)
com
X u
X , v
obtendo assim,
N X , u u N X , u v N X , v u N X , v v
Observando-se que resulta
= a11
X X , u u X X , u v X X , u u X X , u v X ,N v
+ a21
X X , v u X X , v v
(3.38)
= a11
+ a21
= a12
+ a22
X X , v u X X , v v
= a12
+ a22
X ,N u 2X ,N u2
=0e
= 0 e com devidas operaes algbricas,
X N , u u X N , v u
= L11
X N , u v X N , v v (3.38),
2X ,N vu 2X ,N v 2
= L12
2X ,N uv
= L12 ,
= L22
Substituindo estes resultados devidamente em
determina-se
L11 = a11 g11 + a21 g12 L12 = a11 g12 + a21 g22
L12 = a12 g11 + a22 g12 L22 = a12 g12 + a22 g22
Escrevendo em termos matriciais tem-se que,
L11 L12 L12 L22

Da equao
g11 g12 g12 g22
a11 a12 a21 a22
(3.39)
(3.39)
conclui-se que,
a11 a12 a21 a22

onde
1 g11 g22 (g12 )2
g22 g12 g12 g11
L11 L12 L12 L22
(3.40)
a11 =
L22 g12 L12 g22 L12 g12 L11 g22 , a12 = 2 g11 g22 (g12 ) g11 g22 (g12 )2
(3.41)
a21
L11 g12 L12 g11 L12 g12 L22 g11 , a22 = = 2 g11 g22 (g12 ) g11 g22 (g12 )2
79
Como foi visto, as expresses das derivadas de
X X , u v
na base
dependem apenas dos coecientes da Primeira e Segunda Formas
X X , ,N u v Fundamentais de S .
Uma maneira de obter relaes entre estes coecientes considerar as identidades:
2X v u2 2X u v 2 2N uv
2X = u uv = 2X v vu 2N vv (3.37)
na equao (3.42)
Substituindo convenientemente as relaes zando o fato de que os vetores que
(a)
de
(3.42),
e utili-
(3.42)
ir determinar trs novas relaes, como ser mostrado logo abaixo:
X X , u v
so linearmente independentes, implica
2X v u2 X X + 2 + L11 N 1 11 11 v u v
2X u uv X X + 2 + L12 N 1 12 12 u u v
2 2 1 2 L11 N 11 X 11 X 1 X 2 X + 11 + + 11 2 + N + L11 = v u vu v v v v v 2 1 L12 N 2 X 2 12 X 12 X 2 X + 1 + + + N + L12 12 12 2 u u u u v uv u u
=
Assim,
1 2 X 11 X 11 X 2 X 1 X 1 X +1 + + L N + +2 +2 + L22 N + 12 11 12 11 22 22 12 v u u v v v u v L11 X X N + L11 a12 + a22 v u v 1 X 12 X 1 X + 1 + 2 + L11 N + 12 11 11 u u u v L12 X X N + L12 a11 + a21 u u v X : u
1 X 12 X 1 X + 2 + 2 + L12 N 12 12 12 u v u v
A primeira relao resulta a partir do coeciente de
1 1 11 12 1 2 1 1 2 1 + 1 + + L a = + 1 11 12 11 12 11 22 12 11 + 12 12 + L12 a11 v u Substituindo (3.41) tem-se que 1 L22 g12 L12 g22 1 L12 g12 L11 g22 11 12 1 1 + 2 + L = + 2 11 11 22 12 12 + L12 2 v g11 g22 (g12 ) u g11 g22 (g12 )2
80
L11 L22 (L12 )2 1 1 12 11 1 2 1 2 + 11 22 12 12 = g12 = g12 k v u g11 g22 (g12 )2

A segunda relao resulta a partir do coeciente
(3.43)
X : v
2 1 11 12 2 2 2 2 2 2 + 1 + + L a = + 1 11 22 11 12 11 22 12 11 + 12 12 + L12 a21 v u
Substituindo
(3.41)
tem-se que
2 L12 g12 L22 g11 L11 g12 L12 g11 1 11 12 2 2 2 2 2 2 +1 + + L +1 = 11 11 12 11 22 12 11 +12 12 +L12 2 v g11 g22 (g12 ) u g11 g22 (g12 )2 1 L11 L22 (L12 )2 2 12 11 1 2 2 2 1 2 2 2 + 11 12 + 11 22 12 11 12 12 = g11 = g11 k(3.44) v u g11 g22 (g12 )2
A partir dos coecientes de
N,
obtm-se a terceira relao.
2 1 11 L12 + 11 L22 +
L12 L11 2 = 1 12 L11 + 12 L12 + v u

(3.45)
L11 L12 2 1 2 = L11 1 12 + L12 (12 11 ) L22 11 v u

De modo anlogo, considerando os coecientes de e (c) de
(3.42),
obtm-se outras seis relaes onde possvel formular
X X , u v
nas identidades (b)
g12 k
g22 k
em
funo dos smbolos de Christoel e de suas derivadas. Em particular, o coeciente de
da identidade (b) de
(3.42)
fornece a equao,
L12 L22 2 1 2 = L11 1 22 + L12 (22 12 ) L22 12 v u

mencionadas. A equao
(3.46)
Fica a cargo do leitor desenvolver os clculos para encontrar as outras seis relaes
(3.44)
dita equao de Gauss e as equaes
(3.45)
(3.46)
so cha-
madas equaes de Codazzi-Mainardi. Tais equaes so conhecidas como equaes de
compatibilidade.
Como mencionado anteriormente, os smbolos de Christoel s dependem da Primeira Forma Fundamental. Assim, a equao
(3.44)
prova um dos teoremas mais
importantes para teoria das superfcies.
Teorema 3.3. (Teorema Egreguim de Gauss).

dos coecientes da Primeira Forma Fundamental.
A curvatura gaussiana s depende
Variedade Diferenciveis e Tensores
81
3.6
3.6.1

Variedade Diferenciveis
A noo de variedade diferencivel necessria para estender o conceito de cur-
Rn . A partir Rn = {(x1 , x2 , . . . , xn ) : xi R, i = 1, 2, . . . , n}
vatura em espaos mais gerais que o usual.
desta seo, ser denotado por o conjunto de todas as n-uplas
ordenadas de nmeros reais munido de sua topologia e estrutura de espao vetorial
Denio 3.8.
n em um ponto p M um par ordenado (U, ) onde p U M e : U M (U ) Rn uma n aplicao injetora, cuja imagem um subconjunto aberto de R .
Seja um conjunto. Uma carta local de dimenso
Assim, dada uma carta local
(U, ),
para cada ponto
p U
escreve-se
(p) =
(x1 (p), x2 (p), . . . , xn (p)) onde as de . Por esta razo uma carta
local.
funes
x1 , x2 , . . . , xn
so ditas funes coordenadas
local tambm denominada sistema de coordenadas
Denio 3.9. Duas cartas locais (U, ) e (V, ) de dimenso n em um ponto p U V

so ditas comptiveis se a aplicao
1 : (U V ) Rn (U V ) Rn
for um homeomorsmo (isto , contnua, injetora e com inversa tambm contnua). Alm disso, se
e sua inversa forem aplicaes diferenciveis de classe
C k (k 0),
diz-se ento que as cartas so compatveis de classe
Ck.
Denio 3.10.
C k sobre o conjunto M uma famlia A de cartas k comptiveis de classe C de dimenso n {(U , ) : I } tal que I U = M , ou seja, o atlas cobre M . A dimenso de um atlas A a dimenso de suas cartas (dim A = n).
Um atlas de classe
Considerando o conjunto
de todos os atlas de classe
Ck
sobre
M,
pode-se denir
neste conjunto a seguinte relao:
Ai Aj Ai Aj , Ai , Aj A
onde
dene uma relao de equivalncia sobre
A.
de classe
Denio 3.11. Denio 3.12.

onde
Uma estrutura diferencivel
de equivalncia do atlas de classe
sobre
M,
isto ,
C k sobre M I A/ . Ck
uma classe
Uma variedade diferencivel de classe
um par ordenado
(M, I )
uma estrutura diferencivel de classe
sobre o conjunto
M.
82
Observa-se que a dimenso de uma variedade dada pela dimenso de seu atlas. Indica-se por
Mn
a variedade diferencivel
(M, I )
de dimenso
n.
De agora em diante, ser considerado a menos quando dito explicitamente o contrrio, somente variedades diferenciveis de classe
C . M
passa a ter uma
Pela denio apresentada de variedade diferencivel, o conjunto
estrutura na qual pode-se falar em processos de diferenciao uma vez que o conjunto
M
ao
passa a ser coberto com sistemas de coordenadas arbitrrias difeomorfas localmente
Rn ,
unidas diferenciavelmente.
3.6.2
Espaos Tangente e Dual

Seja
Denio 3.13.
M uma variedade diferencivel e seja p M com (U, ) uma carta local para o ponto p. A funo real f : M R dita diferencivel de classe C k (k 0) no ponto p M se a aplicao f 1 : (U ) Rn R
for diferencivel de classe
Se
Ck
no ponto
(p).
f for de classe C no ponto p M , dito que apenas f diferencivel em p M. f dita diferencivel em toda variedade M se p M, f for diferencivel em p. Denota-se por F (M ) = {f, f : M R, f diferencivel em M } o conjunto de todas as funes diferenciveis denidas sobre M em R.
Denio 3.14.
ponto
Seja
uma variedade diferencivel. Um vetor tangente a
num
pM
uma funo
Xp : F (M ) R
satisfazendo as seguintes condies: (linearidade) (Regra de Leibniz)
Xp (f + g ) = Xp (f ) + Xp (g ) Xp (f g ) = g (p)Xp (f ) + f (p)Xp (g )
para todo,
, R
e para toda
f, g F (M ).
Ser denotado por Pode-se denir
Tp (M ) = {Xp : Xp um vetor tangente a M no ponto p}. em Tp (M ), as operaes de soma e multiplicao por escalares,
munindo assim este conjunto de uma estrutura de espao vetorial sobre o corpo de nmeros reais, ou seja,
(Xp + Yp )(f ) Xp (f ) + Yp (f ) f F (M ) (Xp )(f ) Xp (f ) f F (M ) e R

para todo
Xp , Yp Tp (M ). Tp (M )
Seja
ento chamado de espao tangente a
no ponto
p.
Teorema 3.4.
tangente a
Mn
uma variedade diferencivel. Seja
p Mn
Tp (M )
o espao
no ponto
p.
Se
(U, )
um sistema de coordenadas local para o ponto
pU
com
= (x1 , x2 , . . . , xn ), Tp (M ).
ento o conjunto
, , . . . , x1 p x2 p xn
constitui
p
uma base para
83
Demonstrao. Verique que:

1.
Xp (1) = 0 p M,
pois
Xp (1) = Xp (1.1) = 1Xp (1) + 1Xp (1) = 2Xp (1).

ento
2. Se
f F (M ) tal que f = c = cte, Xp (1.c) = cXp (1) = 0.
Xp (f ) = 0.
De fato,
Xp (f ) = Xp (c) =
3. Por hiptese, tem-se que
(U, ) uma carta local para o ponto p. Considerando n assim a funo g : (U ) R R. Pode-se supor, sem perda de generalidade, 1 2 n que g (p) = 0. Seja q = (u , u , . . . , u ) (U ). Pelo Teorema Fundamental do
Clculo.
1 0
d g (tq )dt = g (u1 , u2 , . . . , un ) g (0). dt

n
(3.47)
Porm, por outro lado,
d g (tq ) = dt
Assim reescrevendo
i=1
g (tq )ui . ui
(3.47)
n 1 0
g (u , u , . . . , u ) = g (0) +
i=1
g (tq )dt ui = g (0) + ui
gi (q )ui .
i=1
(3.48)
f F (M ), g (x1 , x2 , . . . , xn ).
Seja
dene-se a funo
g = f 1 ,
ou melhor,
f = g =
Utilizando a expresso
(3.48),
n
tem-se que
g (x , x , . . . , x ) = g (0) +
i=1
Denotando por
gi (x1 , x2 , . . . , xn )xi .
e reescrevendo assim
(3.49)
fi = gi (x1 , x2 , . . . , xn ),
(3.49),
tem-se que
f = f ( p) +
i=1
claro que
f i xi . Xp Tp (M )
e utilizando suas propriedades, tem-se que
f (p) = fi (p), p M . xi
n
Aplicando a um vetor tangente
Xp (f ) = Xp f (p) +
i=1
Pelo item
fi x
= Xp (f (p)) +
i=1
Xp (fi )x +
i=1
fi (p)Xp (xi ).
2,
obtm-se
Xp (f ) =
i=1
Xp (xi )fi (p) =

i=1
Xp (xi )
f (p). xi
84
Dada a arbitrariedade de
f,
conclui-se que
Xp =
i=1
Xp (xi )
. xi p
gera o espao
Deste modo foi mostrado que o conjunto
, , . . . , |p x1 p x2 p xn
tangente. Resta mostrar que este conjunto linearmente independente. De fato, seja
ai
i=1
xi
= 0.
p
Tomando em particular as funes coordenadas
xj ,
obtm-se para
j = 1, . . . , n
0=
i=1
ai
xj ( p ) = aj . xi
Observao 3.6.1.
ante
Para no sobrecarregar a notao ser utilizado de agora em di-
i |p
ao invs de
de Einstein para o somatrio, ou seja, a repetio de ndices superiores e inferiores implicam na soma de todos os valores para este ndice.
|p . xi
Alm disso, ao longo do texto ser adotado a conveno
Exemplos:
Aij Bij Aij Bij
i j ijk i
Assim, pelo teorema
xi yj zk
ijk
xi yj zk
Xp Tp (M ), Xp = X i i |p , onde X i = X (xi ) so coecientes reais ditos componentes de Xp com respeito ao sistema de coordenadas local (U, ) no ponto p e o conjunto {1 |p , 2 |p , . . . , n |p } denominado base coordenada de Tp (M ). Decorre tambm do teorema (3.4) que a dimenso do espao tangente a uma variedade M igual a dimenso da variedade, isto , dimTp (M ) = dimM = n. Com isso, possvel ver que em cada ponto de uma variedade diferencivel M (3.4),
para todo aproxima-se na vizinhana do ponto um espao vetorial. Verica-se deste modo, que o conceito de vetores tangentes a uma variedade um conceito local.
Denio 3.15.
variedade
O conjunto
TM
denido pela unio de todos os espaos tangentes a
ser denominado de brado tangente, ou seja, Seja
TM =
pM
Tp (M ).
Denio 3.16.
funo sobre ,
uma variedade diferencivel. Um campo vetorial
que associa a cada ponto
pM
um vetor tangente
X uma Xp Tp (M ), isto
X : M T M p Xp Tp (M ).
85
X um campo vetorial sobre M , para toda funo f F (M ), denida sobre M a funo real dada por (Xf )(p) = Xp (f ), p M . Diz-se que o campo vetorial X diferencivel se Xf F (M ), f F (M ). Ser denotado por X (M ) = {X ; X um campo vetorial diferencivel sobre M }.
Se
Denio 3.17.
Seja a aplicao
[ , ] : X (M ) X (M ) X (M ) (X, Y ) [X, Y ] = XY Y X
denida por
[X, Y ]p (f ) = Xp (Y f ) Yp (Xf ), f F (M ).
O campo vetorial
[X, Y ]
denominado de parntesis de Lie entre
Y.
Uma consequncia imediata da denio para o ponto
pU M
com
3.17 = (x , x , . . . , xn )
1 2
que dada tem-se que,
(U, )
uma carta local
[i , j ]p (f ) =
f f f f (p) j i (p) = 0 f F (M ). i j x x x x Tp (M ),
que satisfazem a condio e
Considere agora o conjunto de todos os funcionais lineares denidos sobre isto , todas as funes
: Tp (M ) R
(Xp + Yp ) = (Xp ) + (Yp ), Xp , Yp Tp (M )

Este conjunto, denotado por
, R. Tp (M ) e seus
Tp (M ),
ser chamado de espao dual de
elementos de 1-formas ou vetores covariantes.
Tp (M ) um espao vetorial sobre o corpo dos nmeros reais e que, para a base {1 |p , 2 |p , . . . , n |p } de Tp (M ), existe uma 1 2 n nica base dual, denotada por {dx , dx , . . . , dx } de Tp (M ) tal que, para i = 1, . . . , n
Por argumentos da lgebra Linear verica-se que
i dxi (j |p ) = j , j = 1, . . . , n i j i j =
onde
o delta de Kronecker, ou seja,
1, 0,
se se
i=j i=j
3.6.3
Tensores
Para as leis fsicas serem vlidas, devem ser independentes dos sistemas de coordenadas usados para exprimi-las matematicamente. , justamente, o estudo das
consequncias desse requisito que nos leva Anlise Tensorial, de grande emprego na Teoria da Relatividade Geral e na Geometria Diferencial. Seja
uma variedade diferencivel. Considere os conjuntos
Tp (M ) e Tp (M ).
Pode-
se formar ento o seguinte produto cartesiano:
r = Tp (M ) Tp (M ) Tp (M ) Tp (M ) s
onde existem r-fatores s-fatores fatores de Tp (M ).
fatores de
Tp (M )
86
Denio 3.18.
Um tensor do tipo (r, s) em um ponto p M uma funo denida r sobre s , linear em cada um de seus argumentos, que associa a cada elemento (X1 , X2 , . . . , Xr , 1 , 2 , . . . , s ) um nmero real.
Ser denotado por
Tsr (M )
o conjunto de todos os tensores do tipo
(r, s)
denidos
sobre todos os pontos da variedade
M. Tsr (M )
uma
De modo anlogo aos espaos tangentes e duais, ser denido sobre
estrutura algbrica de espao vetorial sobre o corpo dos nmeros reais. Assim, para todo
T, S Tsr (M )
e para todo
dene-se:
(T + S )(X1 , X2 , . . . , Xr , 1 , 2 , . . . , s ) T (X1 , X2 , . . . , Xr , 1 , 2 , . . . , s )+ +S (X1 , X2 , . . . , Xr , 1 , 2 , . . . , s ) (T )(X1 , X2 , . . . , Xr , 1 , 2 , . . . , s ) T (X1 , X2 , . . . , Xr , 1 , 2 , . . . , s ).

A estrutura de espao vetorial denida sobre de um mesmo tipo.
Tsr (M ) permite-nos adicionar tensores
Pode-se tambm denir uma operao de multiplicao entre
tensores de tipos diferentes.
Denio 3.19.
T
e
Sejam
T Tsr (M )
v S Tu (M ).
Dene-se o produto tensorial
de
por
+v v (M ) Tsr+ : Tsr (M ) Tu u (M ) (T, S ) T S
dado por:
(T S )(X1 , X2 , . . . , Xr , Y1 , Y2 , . . . , Yv , 1 , 2 , . . . , s , 1 , 2 , . . . , u ) = = T (X1 , X2 , . . . , Xr , 1 , 2 , . . . , s )S (Y1 , Y2 , . . . , Yv , 1 , 2 , . . . , u ), (X1 , X2 , . . . , Xr , Y1 , Y2 , . . . , Yv , 1 , 2 , . . . , s , 1 , 2 , . . . , u )

Segue, portanto, o teorema
r+v s+ u
Denio 3.20.
ento sobre U
Seja
Mn
uma variedade diferencivel e seja
coordenadas local para um ponto
pU M
com
(U, ) = (x1 , x2 , . . . , xn ).
um sistema de Se
T Tsr (M ),
j1 j2 js 1 ,...,ir T = Tji1 ,...,js i1 i2 ir dx dx dx ,
onde cada ndice somado de
n. {i1 i2 . . . ir dxj1 dxj2 . . . dxjs , r para Ts (M ), isto , este conjunto gera
Demonstrao. Deve-se mostrar que o conjunto

onde cada ndice varia de
n}
uma base
Tsr (M ) e lineramente independente. Suponha que

j1 j2 js 1 ,...,ir Tji1 ,...,js i1 i2 ir dx dx dx = 0.
87
Aplicando ao elemento
(dxk1 , dxk2 , . . . , dxkr , l1 , l2 , . . . , ls ),
tem-se
1 ,...,ir j1 js k1 kr 0 = Tji1 ,...,js i1 ir dx dx (dx , . . . , dx , l1 , . . . , ls ) js k1 ...kr kr j1 1 ,...,ir k1 = Tji1 ,...,js i1 . . . ir l1 . . . ls = Tl1 ...ls .
Mostrou-se ento que o conjunto linearmente independente. zando parte do resultado acima, pode-se concluir que
Finalmente, utili-
ir i1 1 ,...,ir Tji1 ,...,js = T (dx , . . . , dx , j1 , . . . , js ).
Corolrio 3.1.
Seja
Mn
uma variedade diferencivel. Ento: igual a
1. A dimenso de
Tsr (M )
nr + s
onde
a dimenso da variedade.
2. Os vetores tangentes a
so tensores do tipo
(0, 1),
isto ,
0 (M ) = Tp (M ). T1
3. As 1-formas so tensores do tipo
(1, 0),
isto ,
1 (M ). (M ) = Tp T0
Um campo tensorial do tipo
(r, s)
sobre um conjunto
U M
uma
aplicao que associa a cada ponto
pU g
um tensor do tipo
(r, s)
em
p. M
um
Um tensor mtrico
sobre uma variedade diferencivel
campo tensorial do tipo (2,0), simtrico, isto ,
g (Xp , Yp ) = g (Yp , Xp ), Xp , Yp Tp (M ),
denido sobre toda a variedade
M. Xp Tp (M )
Denio 3.23.
tm-se que
Um tensor mtrico dito no degenerado se para todo ento
g (Xp , Yp ) = 0,
Yp = 0.
Denio 3.24. Uma variedade pseudo-riemanniana um par ordenado (M n , g) onde

Mn
uma variedade diferencivel munida de um tensor mtrico
Se
no degenerado.
Observao 3.6.2.
par
Mn
uma variedade diferencivel e
degenerado, positivo denido, isto ,
g um tensor mtrico, no g (Xp , Yp ) 0, Xp Tp (M ), diz-se ento que o
(M n , g )
uma variedade riemanniana.
Em termos das coordenadas locais, o tensor mtrico ser dado por
g = gmk dxm dxk .

Aplicando em particular aos vetores da base coordenada de
Tp (M ),
g (i , j ) = gmk dxm dxk (i , j ) m k = gmk i j = gij .
88
Observa-se que em termos de suas componentes, matriz
dito no degenerado se a Deste modo, dado um tal que, em termos de
(gij )
formada por suas componentes for no singular.
tensor mtrico
g,
pode-se denir um nico tensor do tipo
(0, 2)
suas componentes,
g gkj =
ik
i j . A matriz
(g ) formada pelas componentes deste tensor

o isomorsmo entre
ij
portanto a inversa da matriz todos os tensores denidos
(gij ). O tensor mtrico fornece sobre M (subir e descer, indices).
M n . Seja p o nmero de auto-valores positivos associados a matriz (gij ) no ponto p e q o nmero de autovalores negativos. A assinatura de g no ponto p igual a diferena entre p e q . No caso riemanniano tem-se q = 0.
Seja
Denio 3.25.
um tensor mtrico para a variedade
Ser denotado por e
auto-valores
M n (p, q ), a variedade de dimenso n com p auto-valores positivos negativos associados a matriz (gij ). Observe que n = |p| + |q |.
Seja
(M n , g )
uma variedade pseudo-riemanniana.
A mtrica
chamada de mtrica de Lorentz se sua assinatura for Uma conexo am
(n 2),
ou seja,
q = 1. M
uma
sobre uma variedade diferencivel
aplicao que associa a cada par de campos vetoriais diferenciveis novo campo vetorial diferencivel
123-
sobre
um
X Y
tal que satisfaz as seguintes condies:
X (Y + Z ) = X Y + X Z, , R. (f X +gY ) Z = f X Z + g Y Z, f, g F (M ). X f Y = (Xf )Y + f X Y, f F (M ).
denominado derivada covariante de
X, Y, Z X (M ). X Y
na direo
X.
Em termos de coordenadas locais, ser denida as
n3 -
funes
k ij
dadas por
i j = k ij k .
Portanto,
X, Y X (M ), X Y = X i i Y j j j = X i (i Y k + k ij Y )k Y k i i j X + k k . = ij X Y xi .
Em particular,
k ij
so os chamados smbolos de Christoel da conexo
i Y =
Y k j k + k k = Y;i k . ij Y xi
(riemanniana). En-
Teorema 3.5.
to existe um
(M n , g ) uma variedade pseudo-riemanniana conexo para M satisfazendo

Seja
89
12-
[X, Y ] = X Y Y X. Xg (Y, Z ) = g (X Y, Z ) + g (X Z, Y ).
Esta conexo denominada conexo riemanniana. Demonstrao. De fato, basta denir a conexo
X Y
por
2g (X Y, Z ) = Xg (Y, Z )+Y g (X, Z )Zg (X, Y )+g ([X, Y ], Z )+g ([Z, X ], Y )g ([Z, Y ], X ).
de onde se verica que
satisfaz as condies da denio
3.27. (M n , g ).
Ento:
Corolrio 3.2.
12-
Seja
a conexo riemanniana para a variedade (Condio de simetria).
k k ij = ji , i, j, k = 1, . . . , n.
X g = 0, X X (M ),
isto , a derivada covariante da mtrica nula.
Demonstrao.
1. Se
uma conexo riemanniana para M , pelo item 1 do teorema 3.5 tem-se que para X = i e Y = j satisfaz
k 0 = [i , j ] = i j j i = k ij k ji k ,
ou seja,
k 0 = (k ij ji )k . k k so linearmente independentes pode-se concluir que k ij = ji para k = 1, 2, . . . , n. A arbitrariedade de i e j garantem o resultado para todo i, j = 1, 2, . . . , n.
Como os vetores 2. Escrevendo a condio nada, obtm-se
do teorema
3.5,
em termos dos vetores da base coorde-
l g (j , k ) = g (l j , k ) + g (l k , j ).
Logo,
m l gjk = gmk m lj + gmj lk .

Como visto anteriormente coordenada
i g ij gjk = k .
Derivando esta expresso em relao
tem-se que,
gjk l g ij + g ij l gjk = 0.
Substituindo a expresso de
l gjk
obtida anteriormente
m ij m i m ij m i gjk l g ij = g ij (gmk m lj + gmj lk ) = g gmk lj m lk = g gmk lj lk .
90
Multiplicando ambos os membros por
g mk
e somando em
k,
obtm-se
mk i lk g mk gjk l g ij = g mk gmk g ij m lj g m mk i j l g ij = g ij m lk . lj g
Logo,
mk i l g im = g ij m lk . lj g
Calculando agora de se
l dxi .
Utilizando a denio de
substituindo a expresso
l g
im
e lembrando que
gij
fornece o isomorsmo entre
Tp (M ) e Tp (M ), obtm-
ij ij m km i lk + g ij m l dxi = l g ij j = (l g im + m lj g )m = (g lj g lj )m i km i k = lk g m = lk dx .
Enm, para mostrar que Assim,
X g = 0 X X (M ),
basta provar que
i g = 0.
i g = = = =
i gjk dxj dxk i gjk dxj dxk + gjk (i dxj dxk + dxi i dxk ) j m m k k i gjk dxj dxk gjk j im dx dx gjk im dx dx m j k (i gjk gmk m ij gjm ik )dx dx . i gjk
verica-se que,
Substituindo a expresso de
m m m j k i g = (gmk m ij + gmj ik gjm ik gmk ij )dx dx i g = 0 .

A condio demonstrada acima ser escrita em termos das coordenadas como
k g = gij ;k = g;ij k = 0
De agora em diante nosso estudo ser restrito, considerando apenas as conexes riemannianas. Os resultados acima permitem escrever a conexo riemanniana em termos da mtrica, ou seja, tomando a condio
do teorema
(3.5),
k k k k k i glj = gkl k ij + gkj il , j gli = gkl ji + gki jl , l gij = gki lj + gkj li

tem-se que
k k k k k i glj + j gli l gij = gkl k ij + gkj il + gkl ji + gki jl gki lj gkj li = 2gml m ij .
E portanto, multiplicando ambos os membros por
g kl
e somando em l , obtm-se
k m g kl (i glj + j gli l gij ) = 2m ij 1 kl k ij = g {i glj + j gli l gij }. 2
(3.50)
91
3.6.4
O Tensor Curvatura
Em geometria diferencial o tensor de curvatura uma noo mtrica muito importante. Ele uma generalizao da Curvatura de Gauss para superfcies em dimenses maiores. A geometria innitesimal das variedades de Riemann com dimenso igual
de-
masiada complicada para ser descrita totalmente por um nmero em um ponto dado (tal como ocorre quando a dimenso menor ou igual a
2).
Assim em
dimenses
a curvatura pode ser representada por um nmero escalar [ou tensor de ordem zero], em
dimenses a curvatura pode ser representada por um tensor de segunda ordem
(como por exemplo o tensor de Ricci ). Entretanto para dimenses totalmente gerais necessita-se ao menos um tensor de quarta ordem (como o tensor de Riemann ).
Denio 3.28.
Seja
uma variedade diferencivel com conexo
O tensor de
curvatura de Riemann um tensor do tipo
(3, 1)
dado por
R : X (M ) X (M ) X (M ) X (M ) (X, Y, Z ) R(X, Y )Z = X Y Z Y X Z [X,Y ] Z.

No sistema de coordenadas local
(U, )
com
= (x1 , x2 , . . . , xn )
tem-se
m R(j , k )i = Rijk m .
Tomando a denio do tensor de Riemann e lembrando que
[j , k ] = 0.
(3.51)
R(j , k )i = j k i k j i .
Aplicando em
(3.51)
a denio de derivada covariante em termos de coordenadas
locais, obtm-se a expresso
l R(j , k )i = j (l ki l ) k (ji l ).
Aplicando novamente a denio da derivada covariante em expresso
(3.52)
(3.52),
obtm-se a
l l l R(j , k )i = j l ki l + ki j l k ji l ji k l l m l l m = j l ki l + ki jl m k ji l ji kl m l m m l m = j m ki m + ki jl m k ji m ji kl m m m ji ki m m + l l = ji kl m ki jl j x xk
Portanto,
m Rijk =
Segue de
m m ji ki m l m + l ki jl ji kl . xj xk
(3.53)
(3.50) que as componentes do tensor de Riemann so expressas em termos
do tensor mtrico e suas derivadas primeira e segunda.
92
3.6.4.1 Propriedades de Tensor de Riemann

1. 2.
m m . = Rikj Rijk
(Anti-simtrica). (Primeira identidade de Bianchi).
m m m Rijk + Rjki + Rkij = 0.
3. Verica-se que
m n m m m m lm n m + Rijk l m = l Rijk m + Rijk m = l Rijk l Rijk m n m m n m = l Rijk m + Rijk ln m = (l Rijk + Rijk ln )m . m Rijk n + Rijk m ln . l x ao intem 2, tem-se que
(Segunda Identidade de Bianchi). (3.54)
Denota-se por
m Rijk ;l =
Assim, analogamente
m m m Rijk ;l + Rilj ;k + Rikl;j = 0.
Observao 3.6.3.
1. Uma variedade pseudo-riemanniana (riemanniana) dita pseudo-euclidiana (euclidiana) quando as componentes do tensor de Riemann forem todas nulas, ou seja,
m Rijk = 0.
2. O tensor de Riemann covariante obtido aplicando o tensor mtrico
gmt , ou seja,
(3.55)
t Rmijk = gmt Rijk

O tensor curvatura de Riemann, por ter dimenses
ndices, tem
256
componentes em
(44 ).
Porm, aplicando as propriedades obtidas acima possvel reduzir
drasticamente o nmero de componentes no nulas e independentes, que passam a totalizar
20.
3.6.4.2 Tensor de Ricci e Escalar de Curvatura

Outros tensores podem ser construdos usando o tensor mtrico para formar combinaes lineares de
m Rijk .
As mais utilizadas so as suas contraes.
Denio 3.29.
M.
Seja
o tensor de Riemann para a variedade pseudo-riemanniana
Dene-se o tensor de Ricci, em termos de suas coordenadas locais, como sendo
Ric = Rij dxi dxj ,

onde
m Rij = Rijm .
(3.56)
93
Em termos do sistema de coordenadas locais, as componentes do tensor Ricci so dadas por
j j j j m m = j j Rik = Rijk ki k ji + jm ik km ji
Decorre da denio
(3.57)
3.29
o tensor de Ricci simtrico do tipo
(0, 2),
isto ,
Rij =
Rji
Ric
0 (M ). Este fato lhe confere T2
10
componentes independentes no caso
quadridimensional. Por esse motivo o tensor de Ricci captura metade das informaes do tensor de Riemann. Contraindo o tensor de Ricci dene-se o escalar de curvatura por:
m R = g ij Rij = g ij Rijm .
(3.58)
Este escalar relaciona a cada ponto do espao-tempo um nico nmero real, caracterizando a curvatura intrnseca do espao-tempo naquele ponto. Ser visto no prximo captulo que o tensor de Ricci e o escalar de curvatura desempenham um papel importante na relatividade geral. Sendo o tensor de Ricci o termo dominante da equao de campo de Einsten. Tm-se ainda como propriedade do escalar de curvatura o seguinte teorema:
j Teorema 3.6. R;k = 2Rk ;j
onde
j ij mn j Rk Rmnk;j . ;j = g Rik;j = g
Demonstrao. Tomando a Segunda Identidade de Bianchi

m m m Rijk ;l + Rilj ;k + Rikl;j = 0.
Fazendo
l=m
na expresso acima
m m m Rijk ;m + Rimj ;k + Rikm;j = 0.

Em seguida, considere a propriedade
do tensor de Riemann. Assim,
m m m Rijk ;m Rijm;k + Rikm;j = 0.

Pela denio
3.29,
obtm-se
m Rijk ;m Rij ;k + Rik;j = 0.

Multiplicando ambos os membros por
g ij
e somando em
tem-se que
m ij g ij .(Rijk ;m Rij ;k + Rik;j ) = g .0 j m Rk ;m R;k + Rk;j = 0.

Portanto,
j R;k = 2Rk ;j .
94
3.7
Toro e Curvatura
Gravitao e Cosmologia tratam da aplicao, Fsica, da curvatura e toro do espao-tempo. Curvatura medida pelo tanto que um tringulo retngulo se desvia do Teorema de Pitgoras (a soma dos quadrados dos catetos igual ao quadrado da hipotenusa). A toro mede o quanto voc se desloca para fora de uma trajetria circular fechada, quando voc tenta fazer a volta completa, sem auxlio de foras aceleradoras. toro pode estar ligada ao momento angular intrnseco. Essa
3.7.1
Contribuies de lie Cartan
A conexo de Christoel, obtida atravs da mtrica e utilizada na Teoria da Relatividade Geral, um caso particular de conexo am. Geometricamente as conexes fornecem a noo de anidade, ou seja, de propriedades que permanecem invariantes sob translaes, ou transformaes ans, tais como paralelismo. A noo de conexo, apesar de poder ser dada pela mtrica, no est logicamente associada s noes de medidas de comprimento, rea, etc. lie Cartan (1869
1951),
entre 1922 e 1925, desenvolveu uma abordagem para
lidar com conexes, introduzindo a sua parte anti-simtrica na geometria diferencial. Entre 1929 e 1932, Cartan e Einstein trocaram uma srie de cartas onde o primeiro insistia na separao dos conceitos de metricidade e paralelismo. Esta separao se
reete no princpio variacional da teoria fsica da gravitao, onde ao invs de variar a ao em relao a mtrica deve-se vari-la em relao a conexo am, obtendo deste modo novos graus dinmicos de liberdade. Cartan introduziu a parte anti-simtrica da conexo am como um novo e independente objeto. Ele provou que esta parte da conexo tem as propriedades de um
tensor e se transforma como tal, denominando-o de tensor de toro. Chegou inclusive a sugerir que o mesmo deveria estar associado a algum tipo de momentum angular intrnseco da matria, mas no seguiu adiante. Anos aps a introduo do conceito de spin na Mecnica Quntica, que representa o momentum angular intrnseco da matria, o trabalho de Cartan foi retomado. Mostrou-se ento que a toro do espao-tempo poderia ser gerada pela distribuio da densidade de spin. Nesta viso a toro s
poderia interagir por contato, atravs de interaes do tipo spin-spin. Estas interaes contribuiriam para o tensor de energia-momentum e, por sua vez, o mesmo afetaria o campo gravitacional. Poderia-se ento notar a presena da toro pelo seu efeito no campo gravitacional.
Toro e Curvatura
95
3.7.2
O mtodo do quase-paralelogramo de lie Cartan
Suponha um espao quadri-dimensional permutveis nas coordenadas
V4
e dois smbolos de diferenciao
(y )
associadas aos pontos.
dy i = d i
A partir de
em
V4
percorre-se um caminho
C1
e atravs de uma diferenciao
obtm-se o vetor:
M + dM (y + dy i )
Em seguida efetua-se a segunda diferenciao e M1 . Por um caminho C2 , a partir de M , efetua-se a diferenciao , que no faz passar de M a M + M , e posteriormente uma segunda diferenciao que no faz passar de M + dM a M2 de coordenadas (y i + dy i + y i + dy i ). Considerando a propriedade de permutao de d e , pode-se perguntar se atingimos o mesmo ponto M = M1 = M2 . Neste sentido, considere
(M, M + dM, M , M + M )
Paralelogramo de Cartan.
96
Utilizando-se o caminho
C1
para chegar-se a
M1 ,
tem-se a partir do sistema:
(M, ei )
(M + dM, ei + d ei ) dM = dy i ei
h d ei = wi (d) eh
onde
h wi (d)
a forma diferencial
O desenvolvimento de
h i wi para os dy . (M + dM, M1 ) nos leva
M M1 = dM + M + dM (ei1 ) ei = d ei + ei + d ei .
Por conseguinte, pode-se imaginar que seria possvel passar de mediante as formulas:
) (M , e ), (M1 , e i1 2 i2
M1 M2 = d M dM = 0 (ei2 ) ( ei ) = d ei d ei = 0.
Em primeiro lugar:
d( M ) dM = d(y i ei ) (dy i ei ) = y i d ei dy i ei ,
pois
d(y i ei ) = (dy i ) ei + y i d ei (dy i ei ) = (dy i ) ei + dy i ei k i h i k dM dM = y i d ei dy i ei = (h ki dy y ki dy y ) eh .
Observao 3.1.
yi
onde
Sabe-se que sendo
j k wi = h ki dy .
dy i = dy i pois e d so permutveis nas coordenadas j que ki a conexo am. i

e
Assim, fazendo uma troca conveniente de ndices
k,
tem-se que:
h k i d M dM = (h ki ki )dy y eh = 0
Portanto,
M = M1 = M2 .
Tem-se assim um paralelogramo de Cartan fechado.
Por outro lado,
(ei2 ) (ei1 ) = d ei d ei = 0.
Ento, de acordo com os resultados precedentes, tem-se que
h h (ei2 ei1 ) = d ei d ei = d(wi ( ) eh ) (wi (d) eh ) k k h h ( ) wi (d)] eh + wi ( )d ek wi (d) ek (ei2 ei1 ) = [dwi h h k h h h d ei d ei = [dwi ( ) wi (d) + wi ( )wk (d) wi (d)wk ( )] eh
Toro e Curvatura
97
h h k h k h h i = dwi ( ) wi (d) + wi ( )wk (d) wi (d)wk ( ).

Obtm-se deste modo a frmula da curvatura do espao utilizando o mtodo do quase-paralelogramo de lie Cartan, onde no se utiliza uma mtrica para obteno da mesma. Em geral, na presena de toro os pontos o paralelogramo no fechado em geral.
M1 , M2
no coincidem. Assim,
No espao riemanniano o tensor de toro
nulo, a conexo totalmente determinada pela mtrica e simplesmente se reduz ao smbolo de Christoel. No entanto, em geral para um espao quadri-dimensional, os coecientes da conexo j ki podem ser expressos em termos da mtrica, da toro e da derivada covariante da mtrica. A partir dos resultados anteriores tem-se que:
s h i h h ( ) = d(h dwi si y ) = si + si dy r s h r s h h (d) = (h ( ) wi dwi si )dy y (si )y dy h h h r s dwi ( ) wi (d) = (r h si s ri )dy y .

Da mesma maneira tem-se que
k h k h h k h r s ( )wi (d) wi (d)wk ( ) = (k wi si rl ri sk )dy y h r s h i = Rirs dy y

onde
h h h k h k Rirs = r h si s ri + rk si sk ri
com
h Rirs
o tensor curvatura de Riemann.
4 Relatividade
Em 1915 Einstein props a Teoria da Relatividade Geral, que tem como postulado o fato de que sistemas acelerados so sicamente equivalentes queles submetidos a campos gravitacionais, tornando equivalentes a massa inercial e a massa gravitacional de um corpo. Einstein demonstrou que toda poro de matria curva o espao-tempo sua volta e esta curvatura observada acaba gerando um campo gravitacional. Com isto, surgiu uma teoria que generaliza a relatividade restrita para o caso de referenciais no inerciais e reduz-se Teoria da Gravitao de Newton no regime clssico, e ainda complementa esta ltima para incluir tambm o caso de grandes densidades de massa. A Teoria da Relatividade Geral baseia-se no chamado princpio da equivalncia, que enuncia que em cada ponto de um espao-tempo imerso em um campo gravitacional arbitrrio possvel escolhermos um sistema de coordenadas localmente inercial de forma que, em uma regio sucientemente pequena do ponto em questo, as leis da natureza tenham a mesma forma que num sistema de coordenadas cartesiano na ausncia de acelerao". Neste captulo ser apresentada a teoria da relatividade de forma introdutria, sem a pretenso de expor o assunto de maneira completa e aprofundada. Sero abordadas as origens histricas da Teoria da Relatividade, e uma introduo matemtica Teoria da Relatividade Especial e Geral, exibindo ao nal o conjunto de equaes que relacionam a curvatura do espao-tempo com a distribuio de matria-energia no espao.
4.1
4.1.1
Origens da Teoria da Relatividade

A Teoria Especial
A necessidade de se modicar as equaes da transformao de Galileu foi reconhecida ao us-las nas equaes de Maxwell. O raciocnio a seguir, ilustra intuitivamente esta inconsistncia. Considere que seja possvel a um observador viajar velocidade da luz. A luz,
pelas equaes de Maxwell, uma oscilao dos campos eltrico e magntico, peridica no espao e oscilante no tempo. No referencial deste observador, a luz seria uma
perturbao do campo eletromagntico peridica no espao e constante no tempo. Tal
99
100
Relatividade
soluo, no entanto, no existe como soluo das equaes de Maxwell que governam a propagao da luz. Portanto, restavam as alternativas, ou de se modicar as equaes Maxwell e manter a transformao de Galileu; ou de se modicar a transformao de Galileu. Este impasse foi resolvido em
1905
por Albert Einstein.
Sua interpretao das
equaes de transformao de Lorentz permitiram manter as equaes de Maxwell inalteradas, mas exigiu uma reviso completa dos conceitos de tempo e espao to fundamentais Mecnica Clssica.
4.1.2
A Invarincia das Equaes de Maxwell
Com a descoberta da lmpada e da eletricidade, abriram-se novos campos de estudos na Fsica: o da eletricidade e do magnetismo. Trabalhando na Universidade de Cambridge, Inglaterra, Maxwell desenvolveu uma teoria que explicava estes fenmenos, na qual propunha que a luz era uma onda que se propaga no mesmo meio fsico que a causa do fenmeno eltrico e magntico. Maxwell mostrou ainda que, diferentemente das foras de Newton, a luz e a fora magntica se propagavam a uma velocidade denida,
c,
de aproximadamente 300 mil quilmetros por segundo. Contudo, se a luz
uma onda, esta deve se propagar em algum meio mecnico, da mesma forma que o som se propaga no ar.
Sob o ponto de vista da teoria mecanicista, sendo a luz um fenmeno ondulatrio, nada mais natural supor do que a existncia de um meio mecnico para a sua propagao. Este meio foi chamado de ter. A idia do ter anterior a Maxwell. Ela surge com Descartes que retira da luz qualquer propriedade material, mas exige a existncia de um meio para se propagar. Descartes rejeitava a idia da ao a distncia". Para ele, tanto a luz quanto o calor eram transmitidos por contato intermedirio e se propagavam por presso do ter. O ter possuiria
propriedades fsicas um tanto bizarras: deveria ser extremamente rgido para que a luz se propagasse e tnue o suciente para que os corpos slidos pudessem se mover. Huygens enuncia seu princpio que diz que cada ponto do ter atingido pela excitao luminosa pode ser considerado como o centro de uma nova onda esfrica [2]. Para Newton todo o espao permeado por um meio elstico que capaz de propagar vibraes a grandes velocidades. Euler antecipa os resultados de Maxwell, armando que a fonte de todos os fenmenos eltricos o mesmo ter no qual a luz se propaga. Jules-Henry Poincar (18541912) argumentava que sabemos bem de onde nos vem a crena no ter. Se a luz leva vrios anos para chegar de uma estrela distante at ns, durante esse perodo de tempo ela no mais estar na estrela e no estar, ainda, na Terra. Mas ter que estar em algum lugar e sustentada, por assim dizer, por algum suporte material. ([12], p.32)
101
O ter era considerado o referencial inercial absoluto do eletromagnetismo e se essa substncia realmente existia deveria ser detectvel. Portanto, provar sua existncia era demonstrar a existncia de tal referencial inercial. Em 1887, Albert Michelson e Edward Morley tentaram responder esta questo. Eles propuseram que se a Terra estivesse mesmo mergulhada em ter, deveria gerar um vento de ter com sua rotao, como um carro em movimento. Deste modo, a velocidade da luz na direo desse vento deveria ser maior que na direo oposta. No entanto, raios de luz disparados em direes opostas tinham no nal exatamente a mesma velocidade. Este fato apontava que algo estava errado: ou na teoria do ter (o que exporia uma ferida mortal no mundo newtoniano) ou na teoria ondulatria da luz.
O princpio da relatividade de Galileu nos diz que as leis da Mecnica sero vlidas em todos os referenciais que estejam em movimento retilneo uniforme, um em relao ao outro. Isto quer dizer que observadores que se movem em uma reta com velocidade constante observam as mesmas leis da Mecnica que no caso de estarem parados. O princpio da relatividade traduz a vontade de encontrar uma imagem do mundo que seja independente da situao dos diversos observadores [10]. Este fato no verdade para o eletromagnetismo. Sendo a luz um fenmeno eletromagntico, ela nada mais do que a oscilao de dois campos perpendiculares entre si, o eltrico e o magntico. Ao nos movermos a uma velocidade prxima da luz e ento observarmos um feixe de luz, teremos que o carter oscilatrio da luz deixar de existir. Este fato nega o princpio da relatividade, quando aplicado a leis do eletromagnetismo. Desta maneira, as equaes de Maxwell no so compatveis com os referenciais inerciais da Mecnica newtoniana.
...
Este
fato constituiu um dos grandes problemas da Fsica no incio do sculo XX - o problema da invarincia das Equaes de Maxwell. ([12], p.52)
Einsten resolveu este problema com uma intuio genial: no h ondas de luz que paream congeladas, deixando de ondular. A luz diferente dos outros tipos de onda. Nada consegue viajar mais rpido do que ela: sua velocidade, uma espcie de limite de velocidade do Universo. Na nova teoria de Einstein no era necessrio ter o ter como referencial inercial. Alm disso, o princpio bsico de sua teoria est no fato de no existir um sistema de referncia absoluto. Sua nova formulao baseada e dois postulados.
c, constante e tambm
Postulado da constncia da velocidade da luz:
A velocidade da luz no vcuo
uma constante universal. a mesma em todos os sistemas inerciais de referncia. No depende do movimento da fonte de luz, e tem igual valor em todas as direes.
Postulado do princpio da relatividade de Galileu:

ao outro.
As leis fsicas so idnticas
em sistemas de referncia, dotados de movimento retilneo e uniforme, um em relao
102
Relatividade
Einstein estende o Princpio da Relatividade de Galileu, antes aplicado apenas Mecnica, ao Eletromagnetismo e ptica. Na Relatividade Geral, Einstein ir generalizar este princpio a todas as leis da natureza. as Com este princpio,
equaes
de Maxwell assumem, em conjunto com as leis de movimento da
Mecnica, o carter de lei da Fsica. ([12], p.52)
Os postulados citados anteriormente permitiro a Einstein derivar as transformaes entre referenciais. Estas transformaes j tinham sido anteriormente obtidas por Lorentz que mostrava a invarincia das equaes do eletromagnetismo. Tais transformaes possuem a seguinte forma
x y z t
= = y = z =
1 v2 1 2 c
(x vt)
1 1 v2 c2
v x c2
No entanto, Lorentz mantinha os conceitos de espao e tempo absolutos pois estas transformaes pareciam no ser nada alm de um recurso matemtico. A grande diculdade para compreender estas transformaes era que o tempo deixava de ser absoluto. Este dependia do movimento do observador. O tempo era relativo. Einstein necessita discutir conceitos primitivos da fsica: a simultaneidade, o ([12],
tempo e o comprimento, reformulando-os segundo seus dois postulados. p.52)
Em 1905, num artigo publicado no Annalen der Physik, Einstein prope em apenas trs paginas que, se rguas e relgios se distorcem medida que so acelerados, tudo o que se pode medir com estes instrumentos tambm muda, incluindo matria e energia. A matria e energia so conversveis entre si segundo a equao
E = mc2 .
Toda matria
contm quantidades enormes de energia. Mesmo quantidades nmas de matria podem produzir quantidades enormes de energia uma vez que so multiplicadas pelo quadrado da velocidade da luz. Uma consequncia direta disso que a massa de um corpo aumenta medida que ele acelera. Sua massa se tornaria innita se ele atingisse a velocidade da luz o que iria requerer uma quantidade innita de energia para aceler-lo e por isso que nenhum corpo pode atingir este limite de velocidade. Outra consequncia importante se faz presente nos processos que acontecem no ncleo de um tomo que convertem pouqussima matria em muita energia. Este o princpio de funcionamento das estrelas e das bombas nucleares.
103
4.1.3
Teoria Geral
Em linhas gerais Teoria da Relatividade Geral a generalizao da Teoria da Gravitao de Newton. Publicada em
1915
por Albert Einstein, esta teoria leva em con-
siderao as idias descobertas na relatividade especial sobre o espao e o tempo. Einstein prope generalizar a relatividade dos movimentos uniformes aos movimentos acelerados. Esta generalizao causou implicaes profundas na nossa concepo de
espao-tempo. Levando, entre outras concluses, ao fato de que a matria (energia) curva o espao e o tempo a sua volta. geometria do espao-tempo. Desta forma, a gravitao um efeito da
4.1.4
O Pensamento mais feliz de Einstein.
Embora a teoria da gravitao de Newton descrevesse com ecincia os movimentos dos objetos que sofrem a inuncia da gravidade, ela no oferecia qualquer explicao quanto natureza dessa fora misteriosa. Como pode dois corpos, separados por bilhes de quilmetros de distncia um do outro, inuenciar mutuamente seus movimentos? O prprio Newton tinha dvidas em certas partes de sua teoria da gravitao. Em suas prprias palavras,
inconcebvel que a matria bruta inanimada possa, sem a mediao de algo mais, que no seja material, afetar outra matria e agir sobre ela sem contato mtuo. Que a gravidade seja algo inato, inerente e essencial matria, de tal maneira que um corpo possa agir sobre outro distncia atravs do vcuo e sem a mediao de qualquer outra coisa que pudesse transmitir sua fora, , para mim, um absurdo to grande que no creio possa existir um homem capaz de pensar com competncia em matrias loscas e nele incorrer. A gravidade tem de ser causada por um agente, que opera constantemente, de acordo com certas leis; mas se tal agente material ou imaterial algo que deixo considerao dos meus leitores. ([13], p.634)
Ou seja,
... Newton aceitou a existncia da gravidade e desenvolveu equaes que descrevem com exatido os seus efeitos, mas nunca ofereceu qualquer indicao sobre como ela atua. Ele deu ao mundo um manual do proprietrio, da gravidade, que ensina como usa-l,
...
Mas deixou os processos internos
o contedo da
caixa preta, da gravidade
envoltos em completo mistrio. ([7], p.75)
Em
1907,
Einstein durante um trabalho de reviso do artigo sobre a Teoria da
Relatividade Especial cou curioso em saber como a gravitao newtoniana poderia ser modicada para se ajustar a estrutura da relatividade especial. Einstein teve a
idia de analisar localmente um campo gravitacional, no referencial de um observador
104
Relatividade
em queda livre. Neste momento, ocorreu o que ele mesmo disse ser o pensamento mais feliz de minha vida. Tal como o campo eltrico gerado pela induo eletromagntica, o campo gravitacional s tem uma existncia relativa. Da mesma forma que, para um observador em queda livre no existe campo gravitacional durante a queda. consequncia deste fato ele prope o chamado Princpio da Equivalncia : Como
...
o movimento acelerado e a imerso em um campo gravitacional (em regies de
observao sucientemente pequenas) so indistinguveis entre si. Generalizando o princpio da relatividade ao demonstrar que todos os observadores, independentemente do estado de movimento, podem considerar-se em repouso, desde que reconheam a presena de um campo gravitacional adequado. ([7], p.455)
Um exemplo que ilustraria este princpio seria imaginar um foguete viajando no espao longe da ao de campos gravitacionais. Supondo que esse foguete esteja viajando com uma acelerao
a,
um observador localizado dentro do foguete tambm Caso no exista janelas ou qualquer
estar se deslocando com a mesma acelerao.
outro dispositivo do tipo, este observador no notar movimento algum. No entanto, ao soltar uma bola de sua mo ele observar que esta ir cair na direo do cho do foguete (regio onde localiza-se os retrofoguetes). Enquanto em sua mo a bola tinha uma acelerao idntica a do foguete. Quando esta solta, passa a ter velocidade
constante e o cho da nave acaba por alcan-la. O observador pode pensar que existe uma fora misteriosa que atrai os objetos para o fundo da nave, da mesma forma como o campo gravitacional terrestre atrai os objetos para o solo. Para tal observador difcil distinguir a origem dessa fora, se gravitacional ou inercial. Existe assim uma completa equivalncia fsica entre um campo gravitacional e a correspondente acelerao do sistema de referncia. A descoberta dessa equivalncia entre a gravidade e o movimento acelerado foi sem dvida uma concluso notvel. Este fato causou grande entusiasmo em Einstein. O campo gravitacional est presente em todo o cosmos de forma abstrata, ao passo que o movimento acelerado, embora sendo algo mais complicado que o movimento uniforme, concreto e tangvel. Einstein vericou que poderia usar o conhecimento do movimento acelerado como um instrumento poderoso para descobrir os segredos da gravidade. Desde
1907,
Einstein sabia que um raio luminoso se curvaria na presena de um
campo gravitacional forte. Este encurvamento da luz era uma consequncia do princpio da equivalncia. No entanto, era difcil fazer uma vericao experimental deste fato por meio de observaes terrestres. Em
1911,
Einstein compreendeu que a curva-
tura do raio luminoso em um campo gravitacional poderia ser vericada por meio de observaes astronmicas. No ano seguinte, publicou outros artigos sobre gravitao nos quais compreendeu que as transformaes de Lorentz no se aplicariam na estrutura mais geral que ele estava desenvolvendo. Nessa mesma poca, Einstein vericou que, se todos os sistemas acelerados so equivalentes ento a geometria euclidiana no
105
pode ser usada em todos eles. Einstein compreendeu que os fundamentos da geometria tinham signicados fsicos. Assim, ele estabeleceu uma conexo entre a gravidade e o movimento acelerado: a curvatura do espao-tempo.
Para conseguir descrever o espao-tempo curvo, Einstein comeou por recordar, quando ainda se encontrava em Praga, o que havia estudado sobre a teoria das superfcies do grande matemtico alemo do sculo XIX Carl Friedrich Gauss. No caso de uma superfcie a duas dimenses, como a superfcie da Terra, precisamos de um mapa, uma grelha que associa a cada ponto da superfcie duas coordenadas, e um conjunto de nmeros que convertem distncias coordenadas, ou seja, distncias medidas no mapa, a distncias reais medidas na superfcie. Este conjunto de nmeros forma um quadro com as componentes de um objeto conhecido por tensor mtrico. Em geral estes quadros de nmeros so diferentes de ponto para ponto. A converso de distncias coordenadas em distncias fsicas na superfcie assim dada por um campo, campo tensorial mtrico, que associa um tensor mtrico a cada ponto. Para lidar com espaos-tempo curvos a quatro dimenses, Einstein teve que recorrer geometria diferencial de Bernhard Riemann, Gregorio Ricci e Tulio LeviCivita, para o que beneciou do apoio do seu amigo e colega Marcel Grossmann. No caso do espao-tempo quadri-dimensional da teoria de Einstein, o tensor mtrico, que tem dez componentes independentes, desempenha um duplo papel: descreve a geometria do espao-tempo e o prprio campo gravitacional. A energia quer a residente na matria quer a que reside nos outros campos alm do gravitacional - a fonte dos campos gravitacionais que satisfazem equaes diferenciais de segunda ordem no campo mtrico. Para completar seu edifcio Einstein teve que obter estas equaes, chamadas equaes de campo para o campo tensorial mtrico. ([14])
Em outubro de 1912, Einstein escreveu para um fsico amigo e seu companheiro, Arnold Sommerfeld [(18681951)]: Em toda a minha vida nunca trabalhei arduamente nem a metade disto, e eu adquiri um grande respeito pela matemtica
...
comparada com este problema, a teoria original [da relatividade especial] parece brincadeira de criana. ([6], p. 205)
Estes trabalhos levaram mais trs anos, dois deles com efetiva participao de Grossmann. Na segunda metade de
1915,
Einstein nalmente concluiu sua teoria. O passo
nal para a Teoria da Relatividade Geral foi dado, quase que conjuntamente, por Einstein e David Hilbert (1862 No dia
20
de
1943). novembro de 1915,
Hilbert submeteu seu artigo Die Grundlagen der
Physik. Neste artigo apresentado Academia Real de Cincias em Gttingen, Hilbert

apresentou uma deduo correta para equaes de campo da gravitao. A sua deduo
106
Relatividade
era independente da de Einstein, e era superior em alguns pontos. Contudo, este foi apenas o ltimo passo para a completude da teoria, qual Hilbert reconheceu como criao de Einstein. Tanto Hilbert quanto Einstein admiravam a beleza da teoria e
nunca se desentenderam sobre a questo de prioridade. No dia
25 de novembro de 1915, Einstein apresentou seu artigo Die 1916,
Feldgleichungen
der Gravitation Academia de Cincia da Prssia, onde anunciava a Teoria da Relatividade Geral. Em Einstein publicou outro artigo, Die Grundlage der allgemeinen Nestes trabalhos,
Relativittstheorie onde ampliava sua discusso sobre o assunto.
Einstein conseguiu traduzir sua intuio fsica sobre o comportamento da natureza em uma teoria matemtica que descreve o movimento livre em um espao-tempo curvo. O espao-tempo descrito pela Teoria da Relatividade Geral se torna curvo em resposta aos efeitos da matria que existe no Universo. No caso do Sistema Solar, a relatividade geral diz que um corpo com massa como a do Sol faz com que o espao-tempo em torno dele se curve. Essa curvatura afeta o movimento dos planetas obrigando-os a descrever rbitas em torno do Sol. As leis da Teoria Relativstica da Gravitao so formuladas de forma que as tornam igualmente vlidas em qualquer sistema de referncia. Estas leis conectam matria e energia com a estrutura geomtrica do espao-tempo, numa abordagem completamente diferente daquela usada por Isaac Newton. A Teoria da Relatividade Geral mostra que o espao e o tempo so quantidades dinmicas que podem ser curvas em resposta aos efeitos da matria. Por outro lado, o espao pode alterar o comportamento da matria.
1915, Einstein calculou o ngulo do desvio de uma estrela cuja luz passaria prxima ao Sol e obteve como resposta 0, 00049 grau (1, 75 segundos de arco).
Em novembro de Einstein havia feito esta previso usando suas equaes de campo. Restava agora um teste real da relatividade geral. Este teste consistia no apenas em saber se um raio de luz se curvaria ao passar prximo de um corpo massivo, mas tambm o quanto este raio se curvaria. Para a comprovao deste fato, duas expedies britnicas cheadas pelo astrnomo Arthur Stanley Eddington (1882 1944), foram enviadas Sobral no Brasil e ilha do Prncipe na Africa. Estas expedies tinham por objetivo medir a posio das estrelas durante um eclipse total do Sol em
29
de maio de
1919.
A expedio ao Brasil foi
coordenada pelos ingleses, Andrew Claude de la Cherois Crommelin (1865
1939)
Charles Rundle Davidson (1875 1970), enquanto a expedio Africa foi comandada pelo prprio Eddington. No dia
6 de novembro de 1919, o resultado destas expedies foi anunciado em uma

Depois de seis
reunio conjunta da Royal Society e da Royal Astronomical Society.
meses de anlise do material fotogrco coletado por estas expedies, as previses de Einstein sobre os efeitos da gravidade em relao a luz foram conrmadas. As fotograas tiradas de estrelas posicionadas prximas a borda do Sol mostraram que os raios
A Relatividade Especial
107
de luz emitidos por elas curvavam-se ao passarem prximos ao Sol. A comprovao observacional da Teoria da Relatividade Geral d a Einstein fama mundial. A Cincia ganhava uma nova Teoria da Gravitao Universal, que substituiria aquela proposta no sculo XVII pelo fsico e matemtico ingls Isaac Newton. Por m, pode se dizer que
...
a relatividade restrita permitiu claricar como os campos eltricos e magn-
ticos so partes de uma nica entidade, o campo eletromagntico, que se separa nas componentes eltrica e magntica para diferentes observadores. De modo semelhante, a relatividade geral clarica como a estrutura inercial do espao-tempo e o campo gravitacional no so duas entidades separadas mas duas componentes de uma nica entidade, o campo inrcio-gravitacional. A estrutura inercial determina as trajetrias das partculas livres. A gravidade afeta igualmente todas as partculas, independentemente da sua natureza, desviando-as das trajetrias livres. Estas regras so observadas por todas as partculas, e determinadas pela mesma entidade, o campo inrcio-gravitacional representado pelo espao-tempo curvo. A conexo entre acelerao (ou inrcia) e gravidade traduz-se por uma unicao dos conceitos e no pela reduo de um conceito ao outro ([14]).
4.2
A Teoria da Relatividade Especial aborda conceitos fundamentais como de espao, tempo, massa e energia, para a descrio dos fenmenos naturais. Ao invs de buscar a descrio de alguma substncia bsica do Universo, a teoria da relatividade relaciona os vrios aspectos e relaes observveis no Universo (da o nome relatividade). Em particular, esta teoria estabelece relaes entre observaes realizadas segundo diferentes sistemas de referncia inerciais.
4.2.1
Transformaes de Lorentz
O objetivo desta seo generalizar as equaes de transformao de Galileu de tal maneira que os fenmenos conhecidos pela fsica clssica continuem vlidos para um corpo se movendo a uma velocidade arbitrria. Essas novas equaes so chamadas
de equaes de transformao de Lorentz. Com este intuito antes ser apresentado o conceito de referencial inercial e as equaes de transformao de Galileu.
4.2.1.1 Referencial Inercial

A trajetria de uma partcula s pode ser denida depois da escolha de um referencial. Um referencial um sistema de trs eixos cartesianos perpendiculares entre si. Cada posio da partcula num dado referencial indicada por trs nmeros (chamados
108
Relatividade
de coordenadas de posio). A descrio do movimento de uma partcula exige, ainda, um outro eixo, para indicar os instantes de tempo.
Denio 4.1.
Um sistema inercial ou referencial inercial um sistema de refern-
cia em que corpos livres (sem foras aplicadas) no tm o seu estado de movimento alterado, ou seja: corpos livres no sofrem aceleraes quando no h foras sendo exercidas. Tais sistemas ou esto em repouso (velocidade nula) ou em movimento retilneo uniforme uns em relao aos outros.
Dados os referenciais inerciais tante
R,
dito que
se move com velocidade cons-
em relao a
se todos os pontos associados aos eixos de
se movem com
essa velocidade em relao a
R.
Um caso particular representado pela Figura
4.1.
Figura 4.1: Referenciais Inerciais
4.2.1.2 A Transformao de Galileu

Para Galileu, a relao existente entre dois observadores que so animados de movimento retilneo uniforme um em relao ao outro dada pelas seguintes condies: Imagine um observador colocado em repouso, num referencial retilneo e uniforme em relao a Denotando por
R R
em movimento
R.
e
a posio do ponto marcada no referencial
a posio
marcada no referencial dade constante
R.
Supondo que o referencial
se desloque com uma veloci-
com relao a
R,
a transformao que conecta estes dois referenciais
inerciais dada segundo a Teoria da Mecnica de Galileu por
x = x + vt
, y=y
, z=z
, t=t.
(4.1)
A transformao inversa dada por,
x = x vt , y = y , z = z , t = t.
(4.2)
109
Esse tipo de relao entre os referenciais chamada Transformao de Galileu. Sabendo que, V = dx e V = . Logo, derivando com relao a t ambos os lados da primeira equao dt em (4.1), obtm-se a relao de velocidade para os observadores nos referencias R e R , Na Mecnica de Galileu o tempo absoluto e imutvel.
dx dt
dada pela seguinte expresso.
dx dx = + v = V = V + v. dt dt
ou,
(4.3)
dx dx = v = V = V v. dt dt
Este resultado mostra que a velocidade com que um observador em certo objeto se mover com relao a
(4.4)
observa um
exatamente a soma da velocidade do referencial
com a velocidade com que o observador em Derivando a expresso
v este objeto se mover.
(4.3) em relao ao tempo e denotando por a e a a acelerao da partcula em R e em R respectivamente, resulta a = a. Multiplicando os dois lados dessa igualdade pela massa m da partcula, considerada a mesma em R e em R, segue que ma = ma.
As equaes de transformao de Galileu permitem transformar as equaes fsicas de um referencial inercial para outro de forma a manter as equaes invariantes (invarincia galileana), ou seja, a segunda lei de Newton vlida independente do referencial. Por extenso, pode-se dizer que todas as expresses matemticas que representam leis da Mecnica Clssica tm a mesma forma em todos os referenciais inerciais. usual referir-se a esse fato armando que:
As leis da Mecnica Clssica so invariantes sob as equaes de transformao de Galileu.

Por outro lado:
As leis do eletromagnetismo clssico no so invariantes sob as equaes de transformao de Galileu.

Esta ltima armao pode ser discutida considerando-se os referenciais inerciais
com eixos paralelos,
se movendo com velocidade
ao longo do eixo
Imagine agora que o objeto em questo que se move seja a luz, ou seja, velocidade da luz
R. V =c=
de
(300.000
Km/s
).
Logo, de acordo com a transformao de Galileu,
V = c + v.
Assim, um observador em
observa a luz se mover com uma velocidade
igual a soma das velocidades da luz e do referencial. Este fato no pode ser observado experimentalmente. Isto indica que, na verdade, essa transformao no satisfatria. Dessa maneira, os princpios da Mecnica Clssica precisavam ser modicados.
4.2.1.3 A Transformao de Lorentz

A transformao de Lorentz pode ser discutida considerando-se os referenciais inerciais
com eixos paralelos,
se movendo com relao a
R.
Com velocidade
110
Relatividade
origens coincidentes em
t = t = 0.
Como mostra a Figura
4.2.
Figura 4.2: Referenciais
R
Esta expresso no est de
Segundo a transformao de Galileu, acordo quando a velocidade apropriada se
x = x + vt .
for prxima da velocidade da luz. De qualquer forma,
v << c,
ou seja, para os fenmenos descritos pela Mecnica Clssica.
Por isso, a transformao apropriada para valores arbitrrios de
deve ter a forma: (4.5)
x = (x + vt ).
com o fator gama tendendo unidade para
v << c.
Pela mesma razo, a transformao inversa pode ser escrita na forma
x = (x vt).
Agora, se um raio de luz emitido em
(4.6) por uma fonte emissora em
t = t = 0
x = x = 0, referencial R
Deve-se
x = ct no referencial R e a posio x = ct no no instante de tempo t. observar que, tanto em R quanto em R, o mdulo da velocidade da luz
este atinge a posio
c.
Deste modo, as expresses acima tornam-se respectivamente,
ct = (c v )t
Isolando a varivel
ct = (c + v )t .
(4.7)
em uma das expresses e substituindo na outra, e aps algumas
relaes algbricas convenientes, obtm-se
1 1 v c
2
1 1 2
(4.8)
sendo
denominado fator de Lorentz e
Para resolver o problema da velocidade da luz ser invariante, Lorentz mostrou que as transformaes corretas seriam
v c
o parmetro de velocidade.
x = (x + vt ) , y = y
, z=z
, t= t +
vx c2
(4.9)
111
sendo a transformao inversa dada por,
x = (x vt) , y = y , z = z , t = t
vx . c2 R
(4.10)
Esta relao entre os referenciais chamada Transformao de Lorentz. Esta transformao permite calcular as coordenadas de posio e tempo no referencial das coordenadas de posio e tempo no referencial a partir
R.
4.2.2
A Relatividade de Einstein
A Teoria da Relatividade Especial construda a partir dos seguintes postulados:
Postulado da relatividade:
As relaes matemticas que expressam as leis da Mec-
nica, Eletromagnetismo e ptica tm a mesma forma em todos os referenciais inerciais.
Postulado da velocidade da luz:
O mdulo da velocidade da luz no vcuo tem o
mesmo valor em todos os referenciais inerciais e independente do movimento do emissor.
Sob as equaes de transformao de Galileu, as leis da Mecnica Clssica so invariantes, mas as leis do eletromagnetismo clssico no so. A Teoria da Relatividade Especial construda estendendo a exigncia de invarincia s leis do eletromagnetismo clssico. Desse modo, as coordenadas de posio e tempo de diferentes referenciais inerciais passam a no ser mais relacionadas pelas equaes de transformao de Galileu e sim, pelas equaes de transformao de Lorentz.
4.2.2.1 Consequncias da Relatividade Especial: Dilatao Temporal

Uma das consequncias da luz se propagar em todas as direes com a mesma rapidez que as medidas de tempo no so mais absolutas como consideravam Galileu e Newton. As medidas de tempo iro depender do referencial inercial em que o tempo medido. Por exemplo, considere os referenciais inerciais
x R
de
com velocidade
como mostrado na gura
R 4.2.
e
se movendo ao longo do eixo Considere uma fonte de luz
imvel na origem de e t1 em
emitindo dois pulsos de luz. O primeiro pulso, no instante t1 em e t2 em
repouso
R, e o segundo pulso, no instante t2 em R no referencial R , os pulsos so emitidos na vx0 c2
R.
Como a fonte est em
mesma posio nesse referencial.
Assim, pela transformao de Lorentz, tem-se que,
t1 = t1 +
Logo,
, t2 = t2 +
vx0 . c2
(4.11)
t2 t1 = t2 t1 .
(4.12)
112
Relatividade
Desta forma, os intervalos de tempo so afetados, o que contraria a noo de simultaneidade de eventos propostas por Galileu. Considerando segue que,
t = t2 t1
tp = t2 t1 ,
t = tp
onde
(4.13)
tp
representa o intervalo de tempo prprio, ou seja, o intervalo de tempo medido
no referencial em relao ao qual os pulsos de luz so emitidos na mesma posio. Como
v < c, tem-se que > 1 e consequentemente t > tp .
Isto signica que o intervalo de
tempo entre dois eventos, medido num referencial inercial qualquer, sempre maior do que o intervalo de tempo entre os mesmo dois eventos, medido no referencial em que os eventos ocorreram na mesma posio. Tal propriedade conhecida como dilatao
temporal.
No possvel observar a dilatao do tempo em nosso cotidiano, pois as velocidades atingidas so muito inferiores a velocidade da luz e, assim, o fator de Lorentz prximo
1.
4.2.2.2 Consequncias da Relatividade Especial: Contrao das Distncias

Outra consequncia dos postulados da relatividade especial a relatividade do comprimento. Assim como o tempo, o comprimento ter valores diferentes para observadores que se encontram em movimento relativo um em relao ao outro.
R e R dois referenciais inerciais com eixos paralelos e com R se movendo ao longo do eixo x de R com velocidade v como visto na gura 4.2. Considere uma rgua paralela direo do movimento relativo dos referenciais e em repouso em R , com extremidades nas posies x1 e x2 . Em R, a rgua est em movimento, com suas extremidades em x1 e x2 . De acordo
Considere com a transformao de Lorentz, tem-se que,
x1 = (x1 vt1 ) , x2 = (x2 vt2 ).

O comprimento da rgua dado, respectivamente, em
(4.14) e
R,
por (4.15)
L p = x2 x1 , L = x2 x1
com as posies das extremidades no mesmo instante, ou seja, com forma, as expresses em
t1 = t2 .
Desta
(4.14)
fornecem
x2 x1 = (x2 x1 ) Lp = L
onde
(4.16)
Lp
representa o comprimento prprio da rgua, ou seja, o comprimento no refe-
rencial em que ela est em repouso. Como
v < c, tem-se que > 1 e consequentemente
Lp > L.
Isto signica que, o comprimento da rgua medido em um referencial inercial
113
qualquer sempre menor do que o comprimento medido no referencial em relao ao qual ela esta em repouso. Tal propriedade conhecida pelo nome de contrao de A contrao das distncias sempre
Lorentz-Fitzgerald ou contrao das distncias.

ocorre na mesma direo do movimento.
Antes de Einstein publicar a Teoria da Relatividade Especial, os fsicos Lorentz e FitzGerald propuseram a mesma relao da contrao das distncias na direo do deslocamento, porm com signicado diferente. Para Lorentz e FitzGerald a contrao era resultado da modicao da estrutura da matria: o ter (meio hipottico onde a luz se propagava) afetava as foras moleculares, o que explicaria a contrao das distncias.
4.2.2.3 Consequncias da Relatividade Especial: Massa e Energia

Levando em considerao o princpio da conservao de quantidade de movimento no caso das colises interatmicas, Einstein reformulou os conceitos de massa e energia.
m0 a massa em repouso de um corpo medido em relao a um referencial inercial, e m a massa do mesmo corpo medida em relao a um referencial que se move com velocidade v , em relao ao referencial em repouso. Segundo Einstein, existe uma
Seja relao no clssica dada pela expresso:
m = m0
ou
m=
m0 1 v c
2
.
(4.17)
Sempre que
decorre que
m m0 ,
ou seja, uma menor massa quando um corpo
se encontra em repouso. A validade da expresso Bucherer
para sua massa era menor para eltrons mais velozes, do que para eltrons lentos.
(4.17) foi vericada experimentalmente por Hans Theodor e (1869 1949), em 1908, quando notou que a relao da carga do eltron m
Uma outra consequncia da Teoria da Relatividade Especial est no fato de Einstein postular que a massa uma forma de energia. Ou seja, toda energia
de qualquer
forma particular, presente em um corpo, ou transportada por uma radiao, possui inrcia. Esta inrcia medida pelo quociente do valor da energia pelo quadrado da
velocidade da luz no vcuo, ou seja,
Da mesma forma, deve-se atribuir toda massa
E . c2
uma energia prpria, igual a
mc2 ,
independente e alm da energia potencial que o corpo ou sistema possua num
campo de foras. Logo, massa e energia so duas manifestaes diferentes do mesmo elemento, ou duas propriedades diversas da mesma substncia fsica. Tem-se ento:
E = mc2
(4.18)
Da mesma forma, como foi visto anteriormente, a energia tambm sofre modicaes quando h movimentos relativos entre sistemas de referncias.
114
Relatividade
Seja
a energia total de um corpo para um observador que medir uma massa
m.
Se o corpo est em repouso em relao ao observador, este mede a massa de repouso como sendo Se
m0 .
Logo, a energia ser
a energia total do corpo,
E0 = m0 c2 , que chamada energia de repouso. e E0 sua energia de repouso, segue que a energia
cintica relativstica
Ec
ser dada por:
Ec = E E0 = mc2 m0 c2
Considerando
(4.19)
m=
m0 1 v c
2
, tem-se que,
Ec =
m0 c2 1 v c
2
m0 c2 .
(4.20)
A expresso da energia cintica dada pela equao
(4.20)
no se parece muito com
1 2 a expresso clssica mv . Entretanto, para uma velocidade 2

aproximar
muito pequena pode-se
1 )2 1 (v c
utilizando a expanso binomial, ou seja,
(1 + x)n = 1 + nx + n(n 1)
Assim,
x2 + 1 + nx. 2
1 2
1 1 v c
2
v c
1 v2 1+ 2. 2c
Com este resultado e para o caso em que a energia cintica relativstica torna-se,
muito menor que
c,
a expresso para
Ec = m0 c
2
1 1 v c
2
1 v2 2 1 + 1 m c 1 0 2 c2
1 = m0 v 2 2
(4.21)
Na Teoria da Relatividade Especial os conceitos de espao, tempo e matria passam a no ser mais absolutos, ou seja, no assumem um comportamento to simples e to passivo como pode-se imaginar a primeira vista. Einstein mostrou que o carter dinmico de um sistema pode afetar e mudar a estrutura do espao, do tempo e da matria. Este fato abre novos horizontes para se observar o Universo. Na Cosmologia importante a discusso de tais questes, pois no cosmos, se encontram galxias, e outros corpos celestes que se movem com velocidades extremamente prximas velocidade da Luz, onde os efeitos relativsticos se fazem presentes com maior intensidade.
A Relatividade Geral
115
4.3
A Teoria da Relatividade Geral uma teoria geomtrica da gravitao: o conceito clssico de fora gravitacional, dado pelas leis de gravitao de Newton como resultado da interao entre massa, substitudo pela geometria espao-temporal. Em outras
palavras, a gravitao passa a ser interpretada como uma manifestao da prpria curvatura do espao-tempo, causada pela presena de massa, ou energia. A equao dinmica que descreve a forma como a matria e energia modicam a geometria do espao-tempo chamada Equao de Campo de Einstein.
4.3.1
A Curvatura do Espao-Tempo
Um dos principais conceitos da relatividade geral o espao-tempo. Intuitivamente, o espao-tempo a coleo de todos os eventos possveis, passados e futuros associados a todos os possveis observadores. Tal conceito foi introduzido por Hermann Minkoswki em
1908,
a m de unicar diversos resultados da relatividade especial.
No entanto,
o conceito de espao-tempo denido na Teoria da Relatividade Especial no pode simplesmente ser transferido para uma Teoria Relativstica da Gravitao. Nesta teoria o espao-tempo possui caractersticas no usuais. Por exemplo,
Curvo:
o espao-tempo da relatividade geral tem uma geometria no euclidiana. Na
relatividade especial o espao-tempo plano (pseudo-euclidiano).
Lorentziano:
as mtricas do espao-tempo devem ter a assinatura de Lorentz. deve cobrir as trs dimenses espaciais e o tempo. Fato herdado
Quadridimensional: Denio 4.2.
da relatividade especial.
Um espao-tempo relativstico um par
(M, g )
onde
uma varie-
dade pseudo-riemanniana quadridimensional com assinatura de Lorentz.

A relatividade geral requer uma variedade quadridimensional subjacente para o espao-tempo que seja sem fronteira, Hausdor, conexa e paracompacta. Seria invivel admitir uma variedade com fronteira para o nosso Universo (fronteira representaria sicamente uma borda para o espao-tempo. Tais bordas nunca foram observadas); ou uma variedade no Hausdor (isto , uma variedade em que existe dois pontos que no podem ser separados por vizinhanas disjuntas. Tal comportamento talvez violaria o que se entende sicamente por eventos disjuntos); ou uma variedade no conexa (uma variedade com partes desconexas corresponderia a espao-tempos com regies desconexas, inacessveis para qualquer tipo de anlise); ou uma variedade no paracompacta (isto , alguma componente conexa no pode ser coberta por uma coleo enumervel de cartas coordenadas). Alm disso, a relatividade geral tambm requer que esta variedade admita uma mtrica com assinatura de Lorentz. A mtrica com assinatura de Lorentz possui um
116
Relatividade
carter direcional", qual pode torn-la entrelaada com a topologia desta variedade subjacente. Pode-se dizer que, um modelo para o mundo fsico na relatividade geral clssica requer um espao-tempo, uma variedade quadridimensional (representando os eventos fsicos) dotado de uma mtrica com assinatura de Lorentz (representando os resultados de medidas espaciais e de tempo). Alm destes fatos, tem-se tambm certos campos adicionais nesta variedade (representando outros fenmenos fsicos) satisfazendo apropriadas equaes diferenciais. E por m, os campos fsicos e a mtrica se relacionam atravs das equaes de campo de Einstein.
Denio 4.3. (Classicao de vetores) Em um espao-tempo (M, g), os elementos
Xp Tp (M )
podem ser classicados em trs grupos:
1. Espacial se 2. Nulo se
g (Xp , Xp ) > 0
se
ou
Xp = 0.
g (Xp , Xp ) = 0
Xp = 0.
3. Temporal se
g (Xp , Xp ) < 0.
A Teoria da Relatividade Geral descreve os fenmenos de interao gravitacional entre quaisquer corpos existentes no Universo. Para Einstein, a gravidade no uma fora no sentido usual atribudo a este termo na Fsica. Segundo ele, a gravidade
uma manifestao da curvatura do espao-tempo, sendo a curvatura do espao-tempo produzida pela massa-energia continada nele. Este fato pode ser expresso pela seguinte relao: matria energia
efeito gravitacional
espao-tempo curvo.
A Teoria da Gravitao de Einstein est baseada em um conjunto de princpios fundamentais. So eles:
Princpio geral da relatividade: Princpio da covarincia geral:

todos os sistemas de coordenadas.
As leis da Fsica devem ser as mesmas para todos
os observadores, estejam eles acelerados ou no. As leis da Fsica devem ter a mesma forma em
O movimento inercial movimento geodsico: Princpio da invarincia de Lorentz local: O espao-tempo curvo:
As linhas de universo de partculas
no afetadas por foras fsicas so geodsicas temporais ou nulas do espao-tempo. As leis da relatividade especial se
aplicam localmente para todos os observadores inerciais. Os efeitos gravitacionais, como por exemplo a queda livre,
sero descritos como uma forma de movimento inercial.
A curvatura do espao-tempo criada pela energia-momentum contida no espao-tempo: Este fato descrito na Teoria Relativstica da Gravitao pelas Equaes de Campo de Einstein.
117
Denio 4.4.
por
O tensor gravitacional de Einstein de um espao-tempo
(M, g )
dado
1 G = Ric Rg + g 2
uma constante denominada constante cosmolgica.
onde
Os termos
Ric
presentes no tensor de Einsten so respectivamente, o escalar
de curvatura e o tensor de Ricci. Como visto anteriormente, estes dois tensores so

calculados a partir de um tensor bem mais geral, ou tensor de Riemann-Christoel.
m , Rijk
chamado tensor de curvatura
Teorema 4.1. (Identidade Contrada de Bianchi)

tensor simtrico do tipo
O tensor de Einstein um
(0, 2)
k com Gj ;k
= 0.
Demonstrao. Da denio do tensor de Einstein verica-se que este tensor do

tipo
(0, 2)
e simtrico, uma vez que o tensor de Ricci, bem como o tensor mtrico,
detm estas propriedades. Resta-nos mostrar que o divergente covariante do tensor de
Einstein nulo. De fato,
Gk j ;k =
1 g ik Rij Rgij + gij 2 1 k k = Rj ;k j R;k . 2
;k
Pelo teorema
3.6
verica-se que
1 k k Gk j ;k = Rj ;k (2Rj ;k ) = 0. 2
Portanto,
Gk j ;k = 0.
4.3.2
As equaes de Einstein
A Teoria da Gravitao de Einstein, no somente diz que o espao-tempo curvo, mas tambm especica o quanto a sua curvatura. Esta teoria fornece um conjunto de equaes que relacionam a curvatura do espao-tempo com a distribuio de matriaenergia no espao.
4.3.2.1 Postulados da Relatividade Geral:

1. Conservao local da energia e do momento.
As equaes que governam os campos de matrias so tais que existem um tensor simtrico
Tij ,
dito tensor energia-momento, que depende do campo, de suas
derivadas covariantes, da mtrica e possui as seguintes propriedades:

(a)
Tij
anula sobre um conjunto aberto
U M
se e somente se todos os campos
de matria se anulam sobre
U.
118
Relatividade
(b)
Tij
obedece a equao
Tjk;k = 0,
isto , o divergente covariante de
nulo.
2. Equao de campo.
Se
um espao-tempo contendo matria com tensor energia-momentum
T,
ento sobre
vale a equao
G = 8T
onde
(4.22)
o tensor de Einstein. A equao
(4.22)
chamada Equao de Campo
de Einstein.
As equaes propostas por Einstein recebem este nome porque elas descrevem o comportamento e as propriedades do campo gravitacional. O lado esquerdo da equao de campo Este tensor depende das funes
(4.22)
formado pelo tensor de Einstein G. Esta
gij
e de suas primeiras e segundas derivadas.
parte da equao de campo de Einstein est associada com a estrutura geomtrica do espao-tempo. O lado direito da equao de campo
(4.22)
apresenta o tensor energia-
momentum
T.
Este tensor depende da distribuio de energia e matria no Universo.
Desta maneira, a curvatura do espao-tempo produzida pela distribuio de massaenergia no espao. Ou seja,
curvatura do espao-tempo
G =
contedo de matria-energia do espao
T.
5 Cosmologia Relativstica
A Teoria da Relatividade Geral arma que as propriedades geomtricas do espaotempo esto ligadas quantidade de matria e de energia que este contm. Estas
propriedades geomtricas determinam o movimento dos objetos materiais que neles se encontram. Tal movimento inui tambm sobre a geometria, e assim por diante. No incio dos anos de 1920, Aleksander Friedmann e Georges Lematre introduziram uma hiptese, a mais simples possvel sobre a distribuio global de matria do Universo em grande escala. O cosmos homogneo e isotrpico, ou seja, apresenta as mesmas propriedades em todo ponto, seja qual for a direo na qual for observado. Este fato hoje denominado princpio cosmolgico. Nas condies denidas por este princpio, eles obtiveram uma soluo exata das equaes de Einstein. Contudo, esta soluo no descrevia um Universo exatamente esttico e imutvel, mas sim em expanso. Este
Universo no se expande em um espao vazio pr-existente. Simplesmente, cada um de seus pontos v todos os outros pontos se afastarem dele a uma velocidade to mais elevada quanto mais distantes estiverem. Outra maneira de descrever esta situao
seria simplesmente medir as distncias que separam as galxias que povoam nosso Universo hoje e recomear esta medio 1 bilho de anos depois. Desta maneira, ser constatado que tais distncias foram todas multiplicadas pelo mesmo fator (o fator
escala ).
Neste captulo sero apresentados os conceitos referentes ao princpio cosmolgico e ao postulado de Weyl. Em seguida realizada a construo da mtrica de Friedman-
Lematre-Robertson-Walker.
No nal do captulo feita a construo das equaes
de Friedmann, as quais descrevem um cosmos em expanso, homogneo e isotrpico

dentro do contexto da relatividade geral.
5.1
Princpio Cosmolgico
Quando a cincia entra em um novo campo e se depara com uma escassez de dados observacionais e experimentais, algum princpio orientador normalmente necessrio para conduzir os primeiros passos rumo a uma compreenso terica. Esta regra provou ser o caso nos primeiros anos do sculo 20, quando Einstein e outros cosmlogos, deram os primeiros passos rumo a uma teoria cientca sobre o Universo. Naquela poca pouco
119
120
Cosmologia Relativstica
se conhecia empiricamente sobre a distribuio de matria no Universo e a Teoria da Gravitao de Einstein encontrava muitas diculdades em fornecer uma soluo a esta questo. Neste sentido, os cosmlogos tinham que se contentar com a construo de modelos simplicados com quais esperavam descrever alguns aspectos do Universo de uma maneira mais ampla. Estes modelos foram baseados em uma idia denominada de Princpio Cosmolgico. Este princpio foi introduzido por Albert Einstein e por
cosmlogos relativsticos sem qualquer justicativa observacional. Einstein achava que a nica maneira de colocar a cosmologia terica sobre uma base slida, era supor que existe uma estrutura global simples do Universo que permite uma simplicidade similar no comportamento local da matria. O Princpio Cosmolgico alcana este fato e
proporciona a construo de modelos relativamente simples. O Princpio Cosmolgico essencialmente corresponde a uma extenso do Princpio
de Coprnico, o qual estabelece que a Terra no ocupa um lugar especial no cosmos .

O Princpio de Coprnico inuenciou na simetria empregada nos primeiros modelos cosmolgicos relativsticos (modelos de Einstein e de Sitter de 1917 e Friedmann de 1922). Esta simetria tem por hiptese que o Universo homogneo
2 e isotrpico3
espacialmente". Posteriormente esta simetria foi chamada de Princpio Cosmolgico. Em 1933, Milne estabeleceu o que hoje se denomina Princpio Cosmolgico :
Excetuando-se irregularidades locais, em uma determinada poca o Universo apresenta os mesmos aspectos em todos os pontos.
De maneira equivalente pode-se dizer que no existem pontos ou direes privilegiadas a serem considerados, ou seja, o espao homogneo e isotrpico.
De acordo com esse princpio, dois observadores, que estejam acompanhando o movimento cosmolgico, devem estar expostos mesma interpretao do Universo. As propriedades observadas do Universo devem ser exatamente idnticas para ambos. O prprio Milne reconheceu que esse princpio uma extenso da proposta de Einstein, segundo a qual as leis da natureza devem ser as mesmas para esses observadores. Na sua verso, no somente as leis so idnticas, mas a prpria descrio da estrutura do Universo, feita pelos observadores, deve ser tambm a mesma. O resultado que, para evitar que diferentes observadores tenham opinies distintas sobre a distribuio de massa do Universo, temos que
1 No mesmo esprito no se pode colocar o Sistema Solar, ou a nossa galxia a Via Lctea, ou o
nosso grupo local de galxias a ocupar uma posio privilegiada no cosmos.
2 A homogeneidade de um sistema fsico diz que suas propriedades so as mesmas em todos os
lugares. Para entender melhor este conceito vamos supor um astronauta que tenha a capacidade de viajar por todo Universo. Aps percorrer locais bem distantes uns dos outros e situados em regies opostas do Universo, o astronauta chega a concluso de que todos os lugares so semelhantes. Ele poder ento concluir que o Universo o mesmo em todos os lugares e, portanto, o Universo homogneo.
3 Ao armar que o Universo isotrpico, equivale a armar que suas propriedades fsicas independem
da direo considerada.
Princpio Cosmolgico
121
este deve ser homogneo e uniforme em grandes escalas. Na regio possvel do Universo, que nos dado observar, podemos vericar que estamos de fato face a uma distribuio homognea. Em particular, a distribuio da radiao de fundo atesta essa concluso.
...
Contudo, nada podemos dizer sobre a regio que no
nos dado a observar, ou seja, fora do nosso horizonte causal. Portanto, no temos como vericar se este Princpio Cosmolgico de fato vlido no Universo como um todo. ([3], p.32)
Em 1948, Bondi, Gold e Hoyle propuseram o Princpio Cosmolgico Perfeito para o qual o Universo homogneo e isotrpico espacialmente e temporalmente, ou seja, permanece em um estado estacionrio e nada nele jamais muda em aparncia. Este novo princpio enunciado com vistas a sustentar o modelo cosmolgico do estado estacionrio denido posteriormente por Narlikar. Tal idia, entretanto foi descartada pela maior parte da comunidade cientca aps resultados fornecidos pela contagem de fontes de rdio e pela descoberta da radiao csmica de fundo. Na cosmologia moderna, a hiptese de trabalho que os observadores terrestres no ocupam uma posio observacional restritiva ou distorcida dentro do Universo. Este fato se traduz de forma articulada atravs do Princpio Cosmolgico aplicado via Teoria da Relatividade Geral, discusso do Universo como um todo.
5.1.1
O Postulado de Weyl
Em 1923, H. Weyl questionou como seria possvel relacionar as propriedades observadas localmente com efeitos que se gostaria de estudar a distncia. Ele argumentou que na tentativa de entender o distante era necessrio se basear, na medida do possvel, nas teorias que podem ser vericadas em nossa vizinhana. Baseado nesta suposio, ele introduziu um substrato", ou udo, permeando o espao de modo que as galxias se movem como partculas em um udo. Este relatado no seguinte postulado:
Postulado de Weyl: As partculas do substrato encontram no espao-tempo uma congruncia de geodsicas temporais divergentes para um ponto no passado nito ou innito.
O postulado exige que as geodsicas
4 no se interceptem exceto em um ponto singu-
lar no passado e possvelmente em um ponto similar no futuro. Desta maneira, existe uma e apenas uma geodsica passando atravs de cada ponto do espao-tempo. Consequentemente, a matria em qualquer ponto possui uma nica velocidade. Isto signica que o substrato poderia ser tomado como um udo perfeito e esta a essncia do postulado de Weyl. Assim, o Universo pode ser considerado, em uma boa aproximao, como um udo perfeito.
4 O termo geodsia usado em Matemtica para medir e calcular superfcies curvas. Em Fsica,
geodsia o nome da trajetria reta no espao curvo, de corpos como a Terra. Fato que acontece em funo da gravidade.
122
Um udo ideal caracterizado por sua 4-velocidade, pela densidade de matria
(x )
e
e pela presso
p(x ),
ambas medidas por um observador em um referencial em Alm disto,
repouso com relao ao udo, isto , em um referencial co-mvel.
esto relacionadas por uma equao de estado que governa o tipo de udo em
questo. No limite em que a presso tende a zero, o udo perfeito se reduz poeira o que corresponde aos dias de hoje (era da matria). A denio do tensor energiamomentum para o udo perfeito dada por
T = ( + p)u u pg ,
onde
(5.1)
u=
postuladas pelo Princpio Cosmolgico exigem que a densidade mdia de sejam funes exclusivas do tempo, ou seja,
dx d
a 4-velocidade do udo. A homogeneidade e a isotropia do espao
e a presso p
= (x ) e p = p(x ),
em outras palavras,
todo observador co-mvel com o uido csmico possui a mesma histria.
5.1.2
A Mtrica de Robertson-Walker
Em 1854, a geometria desenvolvida por Bernhard Riemann sugeria que o Universo poderia no possuir limites e no ser innito, ou seja, o Universo poderia possuir uma geometria curva. Desta maneira, poderia se viajar ao longo de uma geodsica
de uma hiperfcie tridimensional do espao quadri-dimensional, onde, dependendo da geometria, poderia se passar mais de uma vez pelo mesmo ponto se ocorresse um deslocamento sempre em linha reta". Tal fato seria anlogo a locomoo de uma
formiga na superfcie de uma esfera. A mtrica de Riemann denida por,
ds2 = g dx dx ,
(5.2)
onde ds chamado de elemento linha do espao-tempo ou mtrica do espao-tempo, os ndices
so 0,1,2,3 (com 0 representando a coordenada temporal e os ndices
restantes representam as coordenadas espaciais) e tempo. a,
o tensor mtrico do espao-
Para uma mtrica pseudo-riemanniana e diagonal, a equao
(5.2)
reduz-se
ds2 = c2 dt2 dl2 ,

onde
(5.3)
dl
o elemento linha espacial e
dl2
representa a parte espacial da mtrica do
espao-tempo. Os primeiros modelos cosmolgicos relativsticos propostos supem um universo plano, ou seja, com curvatura espacial nula. Assim, pelo teorema de Pitgoras, o
elemento linha espacial de uma hiperfcie tridimensional plana dado por,
2 2 dl2 = dx2 1 + dx2 + dx3 .
(5.4)
Princpio Cosmolgico
123
Substituindo a equao
(5.4)
na equao
(5.3),
obtm-se a mtrica de Minkowski, (5.5)
2 2 ds2 = c2 dt2 (dx2 1 + dx2 + dx3 ).
Em 1922, Friedmann obteve uma soluo das equaes de Einstein para um Universo fechado, ou seja, com curvatura espacial positiva constante. Ele sups que o
Universo pudesse ser a hiperfcie tridimensional de uma quadri-esfera. Seja a equao da quadri-esfera dada por,
2 2 2 2 x2 0 + x 1 + x2 + x3 = a
onde
(5.6)
a representa o raio do Universo modelado. O elemento linha espacial dl da quadriesfera (5.6) dado por, 2 2 2 dl2 = dx2 0 + dx1 + dx2 + dx3 .
Isolando
x0
em
(5.6),
obtm-se a seguinte expresso
2 2 2 2 x2 0 = a x1 x2 x3 .
Assim,
(5.7)
dx0 =
Como
x0 x0 x0 dx1 + dx2 + dx3 . x1 x2 x3 xi a2

3 j =1,j =i
(5.8)
x0 = xi (5.8)
dxi , i = 1, 2, 3. x2 j
Desta maneira, a equao
assume a forma
dx2 0 =
(x1 dx1 + x2 dx2 + x3 dx3 )2 2 2 a2 x 2 1 x2 x3
(5.9)
O elemento de linha da quadri-esfera dado por
dl2 =
ou seja,
(x1 dx1 + x2 dx2 + x3 dx3 )2 2 2 + dx2 1 + dx2 + dx3 , 2 2 a2 x 2 x x 1 2 3
(5.10)
dl2 = a2 (d2 + sen2 d2 ),

onde na passagem da equao
(5.11) foi considerado e
(5.10)
para a equao
(5.11)
x1 = a sen cos , x2 = a sen cos cos , x3 = a sen sen sen 0 , que so sen = r tm-se que
com
x4 = a cos a.
Considerando
as coordenadas de uma quadri-esfera de raio
dr =
r d dr =
1 sen2 d d =
1 dr. 1 r2
(5.12)
124
Substituindo
(5.12)
em
(5.11)
obtm-se
dl2 = a2
onde
dr2 + r2 d2 1 r2
(5.13)
a coordenada co-mvel.
Substituindo
(5.13)
na equao
(5.3),
obtm-se a mtrica,
ds2 = c2 dt2 a2
A equao
dr2 + r2 d2 . 2 1r
(5.14)
(5.14) conhecida como a mtrica de Friedmann para o Universo fechado
com curvatura espacial positiva constante. Em 1924, Friedmann obteve solues cosmolgicas para um Universo aberto, ou seja, com curvatura espacial negativa constante. Ele sups que o Universo poderia A equao do quadri-
ser uma hiperfcie tridimensional de um quadri-hiperbolide. hiperbolide dada por,
2 2 2 2 x2 0 + x1 + x2 + x3 = a .
Neste caso
(5.15)
a apenas uma constante.
O elemento linha espacial do quadri-hiperbolide
(5.15)
dado pela equao,
2 2 2 dl2 = dx2 0 + dx1 + dx2 + dx3

Diferenciando a equao na equao
(5.16)
(5.15), isolando dx0 e em seguida substituindo os resultados
(5.16),
obtm-se o elemento linha da hiperfcie tridimensional do quadri-
hiperbolide,
dl2 =
(x1 dx1 + x2 dx2 + x3 dx3 )2 2 2 + dx2 1 + dx2 + dx3 . 2 2 a2 + x 2 + x + x 1 2 3
(5.17)
Considerando a transformao
x1 = a senh cos , x2 = a senh cos cos , x3 = a senh sen sen

com
x4 = a cosh
que so coordenadas de um quadri-hiperbolide.
Reescreve-se
(5.17)
na forma
dl2 = a2 (d2 + senh2 d2 ).

Considerando
(5.18)
senh = r
e lembrando que
dr =
Substituindo
r d dr =
em
1 + senh d d =
obtm-se
1 dr. 1 + r2
(5.19)
(5.19)
(5.18)
dl2 = a2
dr2 + r2 d2 . 1 + r2
(5.20)
Princpio Cosmolgico
125
Substituindo
(5.20)
na equao
(5.3),
2
tem-se que,
ds = c dt a
A equao
dr2 + r2 d2 . 2 1+r
(5.21)
(5.21) conhecida como mtrica de Friedmann para um Universo aberto,
com curvatura espacial negativa constante. As mtricas acima discutidas foram obtidas de maneira independente pelos matemticos H.P. Robertson e A.G. Walker em 1935 e 1936 respectivamente. Ambos
apresentam uma expresso geral para os casos de curvatura espacial positiva e negativa constante. Friedmann Esta expresso englobava a mtrica plana e
(5.5)
e as mtricas de
(5.14)
(5.21).
Eles propuseram que o Universo poderia ser a hiperfcie
tridimensional de uma quadri-geometria que obedecia a seguinte expresso,
2 2 2 x2 1 + x2 + x3 + kx4 =
onde
a2 . k
(5.22)
k a constante de curvatura, podendo assumir os valores k = 0 ou 1 ou 1. Para k = 0, obtm-se uma esfera de raio innito que pode ser considerada como sendo uma superfcie plana. Para k = 1, a equao (5.22) resulta na quadri-esfera (5.6) e para k = 1 no quadri-hiperbolide (5.15). Desta maneira, k = 0 representa um Universo plano, k = 1 representa um Universo fechado e por m k = 1 representa um Universo aberto. O elemento linha espacial da quadri-geometria (5.22) dado por, dl2 = k (dx0 )2 + (dx1 )2 + (dx2 )2 + (dx3 )2 .
Diferenciando a equao na equao geometria (5.23)
(5.22), isolando dx0 e em seguida substituindo os dados obtidos
(5.23), (5.22),
2
obtm-se o elemento linha da hiperfcie tridimensional da quadri-
dl = k
x1 dx1 x2 dx2 x3 dx3 a2 k (x2 1 + x2 2 + x2 3)
+ (dx1 )2 + (dx2 )2 + (dx3 )2 .
(5.24)
Transformando para coordenadas esfricas,
x1 = R sen cos x2 = R sen sen x3 = Rcos

tem-se que:
dx1 =
dx2
x1 x1 x1 dR + d + d R = sen cos dR + R cos cos d R sen sen d x2 x2 x2 = dR + d + d R = sen sen dR + R cos sen d + R sen cos d
126
dx3 =
x3 x3 x3 dR + d + d R = cos dR R sen d.
Assim
2 2 2 2 2 2 2 2 2 2 2 dx2 1 + dx2 + dx3 = dR + R d + R sen d = dR + R d .

Substituindo em
(5.24)
tem-se
dl2 =
ou seja,
kR2 .dR2 + dR2 + R2 d2 , a2 kR2
dl2 =
Considerando
a2 dR2 + R2 d2 . a2 kR2 (5.25)

na equao
(5.25)
R = ar
e substituindo
(5.3)
obtm-se
ds2 = c2 dt2 a2
que a mtrica de Robertson-Walker.
dr2 + r2 d2 . 1 kr2
(5.26)
Considerando ao longo de nosso estudo o caso de hiperfcies estticas, isto , a constante geral,
a no possui dependencia no tempo csmico. Pode-se que a = a(t) e reescrever a mtrica (5.26) na forma ds2 = c2 dt2 a2 (t) dr2 + r2 d2 . 1 kr2
assumir, no caso mais
(5.27)
Assim a equao
(5.27)
mtrica mais geral que satisfaz o Postulado de Weyl e
o Princpio Cosmolgico. Observa-se que para
k = 1
1,
a mtrica de Robertson-
Walker resulta nas mtricas de Friedmann para um Universo fechado e aberto respectivamente. A mtrica
(5.27) tambm conhecida como mtrica
de Friedmann-Lematre-
Robertson-Walker.
5.2
O Modelo Cosmolgico de Friedmann-LematreRobertson-Walker
Como todo modelo cosmolgico, o modelo de Friedmann-Lematre-Robertson-Walker tem por objetivo descrever a evoluo do Universo em toda sua histria. Este modelo baseado nas equaes de Friedmann-Lematre e a sua geometria dada pela mtrica
de Robertson-Walker. A cosmologia estudada at 1917 fundamentava-se na dinmica

e gravitao newtoniana. Neste ano, iniciou-se o estudo da cosmologia relativstica
5 Tambm conhecido como modelo FLRW, modelo cosmolgico padro, modelo de Friedmann ou
modelo do Big Bang. A partir de 1965 foi considerado pela maior parte da comunidade cientca
como o modelo padro da cosmologia.
O Modelo Cosmolgico de Friedmann-Lematre-Robertson-Walker
127
baseada na Teoria da Relatividade Geral de Einstein. Os primeiros modelos cosmolgicos relativsticos foram propostos em 1917 por Einstein e de Sitter, que assumem um universo com curvatura espacial nula. Em seguida, o matemtico russo Alexander A. Friedmann publicou solues para universos com curvaturas espaciais constantes e positivas em 1922 e negativa em 1924. Os trabalhos de Friedmann passaram praticamente despercebidos, acredita-se que devido a sua forte abordagem matemtica. Em 1927, o fsico e matemtico belga, Georges E. Lematre, publicou independentemente, solues equivalentes s de Friedmann. Lematre conseguiu chamar a ateno da comunidade cientca por sua consistente interpretao fsica e astronmica do modelo.
5.2.1
As Equaes de Friedmann
As Equaes de Friedmann formam um conjunto de equaes em cosmologia fsica que governam a expanso mtrica do espao em modelos homogneos e isotrpicos do Universo dentro do contexto da Teoria da Relatividade Geral. Assim, um modelo cosmolgico corresponde a solues das equaes de campo de Einstein para um udo perfeito e que reproduzem as principais caractersticas do Universo. Desta maneira, a cosmologia relativstica tem sua base formada em trs hipteses:
O Princpio Cosmolgico, dado pelo elemento linha de Robertson-Walker
ds2 = c2 dt2 [a(t)]2

onde
dr2 + r2 (d + sen2 d) , 2 1 kr k
a(t)
o chamado fator escala (o espao pode sofrer expanso ou contrao) e
a chamada constante de curvatura, que pode representar trs situaes: um espao plano,
k=0
para
k=1
para um espao esfrico (fechado) e
k = 1
para um espao
hiperblico (aberto).
O Postulado de Weyl, que introduz o uido perfeito.
O tensor de energia-
momentum dado em termos das coordenadas por
T = (p + )u u pg ,
onde
a presso,
a densidade de massa,
o quadri-vetor velocidade e
mtrica.
A Teoria da Relatividade Geral como ferramenta matemtica. As equaes de
campo de Einstein dadas por
G = 8T + g ,
onde
so as componentes do tensor de Einstein. Os ndices
variam de
sendo que
representa a coordenada temporal e os demais ndices representam as
coordenadas espaciais. A m de calcular as componentes do tensor de Einstein
necessrio determinar
inicialmente as componentes do tensor de Ricci, encontrar o valor para o escalar de
128
curvatura e por m determinar as componentes do tensor energia-momentum. Usando

a mtrica de Friedmann-Lematre-Robertson-Walker
ds2 = c2 dt2 [a(t)]2

Escrevendo
dr2 + r2 (d + sen2 d) . 1 kr2
ds2 = g dx dx
e identicando
x0 = ct ; x1 = r ; x2 = ; x3 = .
Segue que,
g = 0, = , g = 0, = . a2 ; g22 = a2 r2 ; g33 = a2 r2 sen2 . 1 kr2
Assim, as componentes no nulas so dadas por
g00 = 1 ; g11 =
Desta maneira, tem-se que o tensor mtrico dado por
g00 g 10 = g20 g30
g01 g11 g21 g31
g02 g12 g22 g32
g03 g13 g23 g33
0 0 0 2 a 0 0 0 = 1 kr2 0 0 a2 r2 0 2 2 0 0 0 a r sen2
O determinante dado por
g det g = g00 g11 g22 g33 =

Podendo ser escrito da seguinte forma
a6 r4 sen2 . 1 kr2
a3 r2 sen g = . 1 kr2
A matriz
uma matriz invertvel
(det g = 0) 0 0 1 a2 r 2 0
com inversa
[g ]1
dada por
[g ]1
1 0 1 kr2 0 a2 = 0 0 0 0
segue que
0 0 0 1 a2 r2 sen2
Denotando por
[g ]1 = g
g 00 = 1 ; g 11 =
1 1 (1 kr2 ) ; g 22 = 2 2 ; g 33 = 2 2 . 2 a ar a r sen2
O tensor de Ricci e o escalar de curvatura so obtidos a partir do tensor de Riemann
Christoel
m Rikn
(mais conhecido como tensor de Riemann ). Os trs so denidos por
129
m m l m l m Rikn = m ik;n in;k + ik ln in lk ,
(5.28)
, R = g R R
(5.29)
R = g R R ,
onde o ponto e vrgula denota a derivada covariante e
(5.30)
i kl
conhecido como smbolo de
Christoel (ou conexo am ) denido por
1 im i i kl = g (gmk,l + glm,k gkl,m ) = lk . 2

A partir da equao
(5.31)
a menos que
(5.31) sero calculados os smbolos de Christoel. Como g im = i = m, (g im uma matriz diagonal para a mtrica de Friedmann1 ii i i kl = g (gik,l + gli,k gkl,i ) = lk . 2
Lematre-Robertson-Wlaker.) tem-se que,
Tomando
i = 0,
tem-se que os simbolos de Christoel no nulos so dados por
1 a2 1 00 g ( g + g g ) = 0 = 01,1 01,1 11,0 11 2 2 t 1 kr2 1 2aa aa = . = 2 1 kr2 1 kr2 1 00 1 1 (a2 r2 ) = [2aar 2 ] = r2 aa. 0 22 = g (g02,2 + g02,2 g22,0 ) = 2 2 t 2 1 00 1 0 (r2 a2 sen2 ) 33 = g (g03,3 + g03,3 g33,0 ) = 2 2 t 1 = [2r2 aa sen2 ] = r2 aa sen2 . 2
Agora tomando
i = 1,
segue que os smbolos de Christoel no nulos so
1 1 01 = 10 =
1 11 1 (1 kr2 ) a2 g (g10,0 + g11,0 g01,1 ) = 2 2 a2 t (1 kr2 ) 1 (1 kr2 ) 2aa a = . 2 2 2 a (1 kr ) a
130
1 11
1 11 1 (1 kr2 ) a2 = g (g11,1 + g11,1 g11,1 ) = 2 2 a2 r (1 kr2 ) = 1 (1 kr2 ) 2kra2 kr = . 2 2 2 2 a (1 kr ) 1 kr2
1 22 =
1 (1 kr2 ) 1 11 g (g12,2 + g12,2 g22,1 ) = (a2 r2 ) = 2 2 2 a r 1 (1 kr2 ) [2ra2 ] = r(1 kr2 ) 2 a2 1 11 1 (1 kr2 ) g (g13,3 + g13,3 g33,1 ) = (r2 a2 sen2 ) = 2 2 2 a r
1 33 =
1 (1 kr2 ) [2ra2 sen2 ] = r(1 kr2 ) sen2 . 2 a2 Considerando i = 2, tem-se que os smbolos de Christofel no =
2 2 02 = 20 =
nulos so dados por
1 1 1 22 g (g20,2 + g22,0 g02,2 ) = 2 2 (a2 r2 ) = 2 2 a r t 1 1 a [2aar 2] = . 2 2 2a r a
2 2 12 = 21 =
1 22 1 1 g (g21,2 + g22,1 g12,2 ) = 2 2 (a2 r2 ) = 2 2 a r r 1 1 1 [2ra2 ] = . 2 2 2a r r
2 33 =
1 22 1 1 g (g23,3 + g23,3 g33,2 ) = 2 2 (a2 r2 sen2 ) = 2 2a r 1 1 [2a2 r2 sen . cos ] = sen cos . 2 a2 r 2 i = 3,
tem-se que os smbolos de Christoel no nulos so
Por m considerando
3 3 03 = 30 =
1 33 1 1 g (g30,3 + g33,0 g03,3 ) = 2 2 (a2 r2 sen2 ) = 2 2 2 a r sen t 1 1 a [2aar 2 sen2 ] = . 2 2 2 2 a r sen a
131
3 3 13 = 31 =
1 33 1 1 g (g31,3 + g33,1 g13,3 ) = 2 2 (a2 r2 sen2 ) = 2 2 2 a r sen r 1 1 1 [2a2 r sen2 ] = . 2 2 2 2 a r sen r
3 3 23 = 32 =
1 33 1 1 g (g32,3 + g33,2 g23,3 ) = 2 2 (a2 r2 sen2 ) = 2 2 a r sen2 1 1 cos [2a2 r2 sen cos ] = = cotg . 2 2 2 2 a r sen sen
De posse das informaes anteriores, pode-se calcular as componentes do tensor de
Ricci, que dado por

Ruv = uv ; u;v + uv u v ,
que ser reescrito da seguinte forma (5.32)
1 Ruv = [ uv ( g )]; [ln( g )];uv u v . g

A mtrica FLRW fornece somente Para
(5.33) no nulas so
R = 0
para a
R00 , R11 , R22 e R33 . Utilizando = 00, tem-se que
= . As componentes equao (5.33) tem-se que
1 R00 = [ 00 ( g )]; [ln( g )];00 0 u . g

Como
(5.34)
00 = 0
com
= 0, 1, 2, 3,
tem-se que (5.35)
R00 = [ln( g )];00 0 0 .

Realizando a soma em
obtm-se (5.36)
1 2 3 R00 = ln[ g ];00 0 0 00 0 01 0 02 0 03 .

O termo
00 = 0 para = 0, 1, 2, 3 e nos ltimos trs termos tem-se que 0 = 0 para = 1, 2, 3. Mais ainda, 0 = 0 para = . Assim, deve-se ter = 1, 2, 3, no terceiro, quarto e quinto termos respectivamente. O segundo termo da equao (5.36) 0 tambm contm 0 que sempre zero. Segue assim, 1 2 2 3 3 R00 = [ln g ];00 1 01 01 02 02 03 03
2 2 2 3 2 = [ln g ];00 (1 01 ) (02 ) (03 ) a = [ln g ];00 a a = [ln g ];00 3 a

2
a a
a a
(5.37)
132
Como
[ln g ];0
1 1 kr2 a3 r2 sen = . g = 3 2 . g t a r sen t 1 kr2 = 1 kr2 r2 sen 3 1 3a . . a = 3 3a2 a = . 3 2 a r sen 1 kr2 t a a
Segue que,
3a 3 aa 3a a 2 3 a 3a = [ln g ];00 = = . t a a2 a a2
Substituindo a equao
(5.38)
(5.38) R00 =
na equao
(5.37),
obtm-se
3 a 3a 2 3a 2 3 a + 2 2 = . a a a a
(5.39)
Analogamente pode-se mostrar que,
R11 =
aa + 2a 2 + 2k , 1 kr2
(5.40)
R22 = r2 (aa + 2a 2 + 2k ), R33 = r2 sen2 (aa + 2a 2 + 2 k ).

Substituindo as equaes escalar de curvatura.
(5.41)
(5.42)
(5.39)
(5.42)
na equao
(5.30),
obtm-se o valor do
R = g ij Rij = g 00 R00 + g 11 R11 + g 22 R22 + g 33 R33 = 1. 3 a + 2a 2 + 2k (1 kr2 ) aa 1 . + + 2 2 .r2 [aa + 2a 2 + 2k ]+ 2 2 a a (1 kr ) r a 1 .r2 sen2 [aa + 2a 2 + 2k ] sen2 3 a a 2a 2 2k a 2a 2 2k a 2a 2 2k 2 2 2 2 2 2 a a a a a a a a a a
a2 r 2
R =
6 a 6a 2 6k 2 2 a a a a a 2 k + 2+ 2 a a a
= 6
O postulado de Weyl introduz o uido perfeito. O tensor energia-momentum dado por
T = ( + p)g u u pg
(5.43)
133
Uma vez que pelo princpio cosmolgico a mtrica diagonal por construo, as componentes no nulas do tensor energia-momentum so dadas por
T00 = ( + p)u0 u0 pg00 = ( + p)g0i ui u0 pg00 = ( + p)g00 u0 u0 pg00 = + p p = .

e
(5.44)
Tii = ( + p)ui ui pgii = ( + p)gik uk ui pgii = pgii ,

Uma vez que
para
i = 1, 2, 3.
(5.45)
ui = 0,
segue que
T11 = pg11 , T22 = pg22
T33 = pg33 . Guv ,

(5.46)
Desta forma, a expressao para o tensor energia-momentum
0 0 0 2 a 0 0 0 p = 1 kr2 0 pa2 r2 0 0 2 2 0 0 0 pa r sen2 G00 , G11 , G22 G33 .
Com as informaes obtidas possvel calcular o tensor de Einstein ponentes no nulas so e Assim,
cujas com-
3 a 1 a a 2 k 1 . 6 + 2+ 2 G00 = R00 Rg00 + g00 = 2 a 2 a a a = a 3a 3k a k 3 a 3 + + 2 + 2 + = 3 2 + 2 + . a a a a a a

2 2
.1 +
(5.47)
1 G11 = R11 Rg11 + g11 2 = aa + 2a 2 + 2k 1 a a 2 k . 6 + + 2 2 2 1 kr 2 a a a . a2 a2 + 1 kr2 1 kr2

(5.48)
1 .[a a 2a 2 2k + 3 aa + 3a 2 + 3 k + a2 ] 1 kr2 1 .[2 aa + a 2 + k + a2 ] . 1 kr2
1 G22 = R22 Rg22 + g22 2 1 a a 2 k = r [ aa + 2a + 2k ] . 6 + 2+ 2 2 a a a

2 2
.[r2 a2 ] + [a2 r2 ]
(5.49)
= r2 [ aa + 2a 2 + 2k ] + [3 aa + 3a 2 + 3k ].[r2 ] + [a2 r2 ] = r2 [2 aa + a 2 + k + a2 ] .
134
1 G33 = R33 Rg33 + g33 2 1 a a 2 k = r2 sen2 [ aa + 2a 2 + 2k ] . 6 + 2+ 2 2 a a a + (a2 r2 sen2 ) .[a2 r2 sen ]+

(5.50)
= r2 sen2 [ aa + 2a 2 + 2k ] + [3 aa + 3a 2 + 3k ].[r2 sen2 ] + (a2 r2 sen2 ) = r2 sen2 [2 aa + a 2 + k + a2 ] .

Substituindo os resultados encontrados nas equaes de campo de Einstein , obtmse as componentes no nulas apenas para por
= .
Assim, a componente
= 00 dada
G00 = 8T00 3 k a + 2 + = 8 2 a a 3a 2 3k + 2 = 8 a2 a
Denindo
H2
A componente
a 2 8 k = 2. 2 a 3 3 a
(5.51)
= 11
dada por
G11 = 8T11 1 (2 aa + a 2 + k + a2 ) = 8 (pg11 ) 1 kr2 1 a2 2 2 (2 a a + a + k + a ) = 8 p. 1 kr2 1 kr2 2 aa + a 2 + k + a2 = 8pa2 2 a a 2 k + 2 + 2 + = 8p a a a

Usando
(5.51),
tem-se que
2 a 8 k k + 2 + 2 + = 8p a 3 3 a a 2 a 8 2 = 8p a 3 3 a 12p 4 = a 3 3 3 a 4 = (3p + ) . a 3 3
(5.52)
135
A componente
= 22
dada por
G22 r [2 aa + a + k + a2 ] r2 [2 aa + a 2 + k + a2 ] 2 aa + a 2 + k + a2 2 a a 2 k + 2 + 2 + a a a
2 2
Por m, a componente
= = = =
8T22 8 [pg22 ] 8p(a2 r2 ) 8pa2
(5.53)
= 8p. = 11.
Expresso j obtida no caso da componente
= 33
dada por
G33 G33 2 2 2 r sen [2 aa + 2a + k + a2 ] 2 aa + 2a 2 + k + a2 2 aa + a 2 + k + a2 2 k 2 a a + 2 + 2 + a a a

Pode-se ver que as componentes
= = = = =
8T33 8 [pg33 ] 8p[a2 r2 sen2 ] 8pa2 8pa2
(5.54)
= 8p.
so equivalentes a componente
G22
G33
G11 .
Tem-se que, as equaes de Friedmann so:
H2
e
a 2 8 k = 2. 2 a 3 3 a
(5.55)
4 a = ( + 3p) , a 3 3
onde
(5.56)
a constante cosmolgica possivelmente causada pela energia do vazio,
o fator de escala do Universo e hiperesfrica e
a curvatura gaussiana.
Se a forma do Universo
o raio de curvatura (R0 no momento atual), ento
a =
R . R0
Geralmente, a curvatura gaussiana. Se Se
positiva, ento o Universo hiperesfrico.
zero, o Universo plano e se
negativo o Universo hiperblico. Note que
p so funes de a.
O parmetro de Hubble,
H , a velocidade de expanso do Universo.
O parmetro de Hubble pode mudar no tempo se outros membros da equao so dependentes do tempo (em particular a densidade de energia, a energia do vazio e a curvatura). Avaliando o parmetro de Hubble no momento atual resulta que a constante
de Hubble
6 a constante de proporcionalidade da lei de Hubble 7 . Aplicado a um uido
com equao de estado dada, as equaes de Friedmann descrevem a evoluo no tempo e a geometria do Universo como funo da densidade do uido.
6 Constante introduzida por Hubble para reproduzir o fato observacional de que as galxias prximas
se afastam com velocidades crescentes com as distncias que nos separam delas.
7 Relao de proporcionalidade entre a velocidade de afastamento
(V ),
medida pelo redshift, e a
distncia das galxias prximas
(d).
136
Alguns cosmlogos chamam
(5.56)
de equao de acelerao e reservam o termo
equao de Friedmann apenas para a equao
(5.55).
uma soluo
A soluo dada pela mtrica FLRW, descreve um Universo repleto de um uido ideal com densidade e presso dada pelas equaes de Friedmann.
das equaes de campo de Einstein quando o tensor energia-momentum descreve um espao-tempo isotrpico e homogneo.
6 Concluso
Aps de milhares de anos ainda contempla-se o mesmo cu noturno, mas de uma maneira totalmente diferente. Desapareceu o cosmos imutvel e perfeito que convivia com um mundo sublunar corruptvel e perecvel. Os sintomas da no permanncia
csmica se manifestam pelo movimento dos planetas e tambm por verdadeiros acontecimentos celestes. E em raras e espetaculares ocasies, pontos luminosos aparecem no cu noturno: as esterlas novas ou supernovas . Assim pode-se dizer que acontecem no cu alguns fenmenos de violncia espantosa que conduzem emisso de radiao, acelerao de partculas at energias impensveis. Para estudar tais manifestaes e delimitar causas e consequncias sobre a evoluo e constituio do Universo, a Cosmologia recorre hoje em dia a novas teorias e a novos dispositivos de observao. Neste trabalho foram analisados dados histricos, teorias matemticas e fsicas que formam a base para este texto. Coloca-se neste momento algumas consideraes e
perspectivas sobre o estudo em Cosmologia, na tentativa de deixar mais claro o cenrio de pesquisa em que se encontra inserida a Cosmologia Moderna atualmente. A Teoria Relativstica da Gravitao de Einstein baseia-se em equaes que levam em conta no somente a geometria do Universo, mas tambm o seu contedo material. No entanto, para a Cosmologia, os objetos celestes que constituem o Universo
no so estudados individualmente, mas sim como um conjunto nico de matria. O interessante no estudar uma galxia, ou um aglomerado de galxias particular, mas estudar o conjunto de todos os aglomerados de galxias que existem no Universo. A Cosmologia Moderna tambm precisa dizer algo sobre como essa matria surgiu e por que ela se distribui da forma como observada hoje. Com o desenvolvimento da astrofsica observacional passou-se conhecer mais sobre o contedo de matria existente no Universo, revelando assim uma estrutura rica e nunca imaginada envolvendo superaglomerados de galxias, lamentos e vazios. Evidncias observacionais mostraram
que no possvel explicar o contedo de matria do Universo pensando-se somente na matria visvel, ou seja, nas estrelas, galxias e suas aglomeraes. Em 1933 o astrnomo suo Fritz Zwick (1898
1974),
calculou a massa total do
1 Supernovas so exploses de estrelas com mais de 10 massas solares que produzem objetos extremamente brilhantes, os quais perdem seu brilho at se tornarem invisveis, aps algumas semanas ou meses.
137
138
Concluso
aglomerado de galxias Coma baseado no movimento das galxias que se situavam prximas sua borda. Comparando esta estimativa de massa com aquela cujo clculo se baseava no nmero de galxias e no brilho total do aglomerado, Zwicky vericou que havia encontrado 400 vezes mais massa do que o esperado. A gravidade produzida pelas galxias visveis do aglomerado seria, pequena demais para permitir que algumas delas se deslocassem de modo to rpido em suas rbitas. Desta maneira, era necessrio que existisse mais matria no aglomerado. Este fato cou conhecido como o problema da falta de massa. Zwicky concluiu que deveria existir no aglomerado de galxias
observado um tipo de matria no visvel (transparente), que juntamente com a matria visvel, forneceria massa e gravidade suciente para mant-lo unido gravitacionalmente. Mais tarde vericou-se que esta matria no visvel, no s permeia o aglomerado de galxias Coma, mas todos os aglomerados de galxias e passou a ser denominada matria escura. Este nome bem mais adequado do que o de massa faltante uma vez que no h falta de massa nas galxias e em seus aglomerados. A matria est
presente, mas por motivo ainda no determinado, ela no visvel (no emite luz). Avanos em Cosmologia na dcada de 1970 mostraram como calcular a quantidade de tomos de elementos leves, como o hlio e o deutrio, que teriam sido produzidos nos trs primeiros minutos do Universo. Para explicar as quantidades observadas destes
elementos leves em galxias distantes, apenas uma frao muito pequena do Universo, aproximadamente
5%,
seria composta de tomos. Uma frao ainda menor correspon-
deria a ftons e neutrinos. Portanto, a maior parte do Universo no feito do mesmo material que ns somos feitos, ou seja, de tomos. Mas ento qual a composio dos outros
95%
do Universo?
A dinmica das galxias indica que
25% do Universo composto por um novo tipo de

Possveis candidatos so postulados
partcula elementar responsvel pela matria escura. Esta matria, que no emite luz, compe grande parte das galxias no Universo.
por vrias teorias, mas ainda no foram produzidos ou detectados em laboratrio. Hoje em dia existem vrios experimentos tentando capturar uma dessas partculas que circulam em nossa galxia. A diculdade que essas partculas devem interagir muito fracamente e possuir uma densidade pequena, tornando sua deteco problemtica. H tambm a possibilidade fascinante de se poder criar essas partculas nos grandes anis de coliso. Em particular, o Large Hadron Collider no laboratrio CERN, na Sua, podendo assim nalmente desvendar o mistrio da matria escura. Alm da matria escura a natureza reservava outra surpresa para os cientistas. Em 1998 uma revoluo aconteceu no mundo da Cosmologia,
...
graas a uma descoberta considerada pela revista Science como uma das mais
importantes do sculo XX, sabemos hoje que cerca de
70%
do universo com-
posto de algo difuso, que no se concentra em galxias e que provoca a expanso acelerada do universo. Como a gravidade sempre atrativa, todos esperavam que a expanso do universo estivesse desacelerando! Podemos imaginar ento a pre-
139
sena de um meio extremamente tnue que permeia todo o universo. Esse meio, porm, tem propriedades diferentes de um meio material: apresenta uma presso grande e negativa, o que causa um efeito de anti-gravidade, resultando na expanso acelerada observada. A esse meio foi dado o nome de energia escura.([15], p.37)
At pouco tempo, os cosmlogos estavam concentrados simplesmente na tentativa de provar a existncia da energia escura. Com a formulao de argumentos convin-
centes a este respeito seus esforos agora esto voltados para um problema ainda mais profundo: de onde vem esta energia? energia inerente ao espao. A possibilidade mais conhecida a de que a
Se um volume de espao fosse totalmente vazio (sem
nada de matria ou radiao) ainda assim conteria esta energia. A respeitvel noo desta energia remonta a Albert Einstein e sua tentativa, em 1917, de construir um modelo esttico do Universo. Para conciliar a estagnao com a sua Teoria da Relatividade de Geral, ele precisou introduzir a energia do vcuo ou, em sua terminologia, uma constante cosmolgica. Ele ajustou o valor da constante de tal forma que a sua repulso gravitacional contrabalanasse exatamente a atrao gravitacional da matria. Mais tarde, quando os astrnomos estabeleceram que o Universo est se expandindo, Einstein lamentou o seu artifcio, considerando-o como o seu maior equvoco. Mas
talvez este julgamento tenha sido apressado. Se a constante cosmolgica tivesse valor ligeiramente maior que o proposto por Einstein, sua repulso excederia a atrao da matria e a expanso csmica seria acelerada. O maior desao para qualquer teoria da energia escura explicar a quantidade da matria inferida, quantidade esta que no seja demasiada a ponto de acarretar a sua possvel interferncia na formao de estrelas e galxias no Universo primordial, mas que seja suciente para que os seus efeitos possam ser sentidos hoje. Diferentemente da matria, a energia escura no se aglomera mais em alguns lugares que em outros. Por sua prpria natureza, ela se encontra espalhada suavemente por toda parte. Qualquer que seja a localizao, seja na Terra ou no espao intergalctico, a energia escura tem a mesma densidade. A energia escura mais conhecida como o suposto agente da acelerao csmica uma substncia indenida que exerce um tipo de fora antigravitacional no Universo como um todo. Bem menos conhecido o fato de que esta energia teve efeitos secundrios em materiais do Universo. Ela ajudou a imprimir o caracterstico padro lamentoso da matria nas maiores escalas. J em escalas menores, ela parece ter interrompido Em uma
o crescimento de aglomerados galcticos cerca de 6 bilhes de anos atrs.
escala ainda menor, a energia escura reduziu a taxa em que as galxias se chocam e se fundem umas com as outras dando formas as galxias. Ao reduzir as colises,
a energia escura pode ser o que permitiu a manuteno dos braos espirais da nossa galxia. Se fosse mais fraca ou mais forte, a Via Lctea poderia ter sofrido uma taxa de formao estelar menor, de forma que os elementos pesados que constituem nosso
140
Concluso
planeta poderiam nunca ter sido sintetizados. A energia escura no apenas parece compor a maior parte do Universo, como tambm sua existncia, se resistir ao teste do tempo, provavelmente exigir o desenvolvimento de novas teorias na fsica. Os cientistas esto apenas no incio de um longo caminho para entender a energia escura e suas implicaes. Embora apenas seus efeitos sobre o Universo como um todo sejam observados, j se sabe que a energia escura tambm pode moldar a evoluo de seus principais constituintes: estrelas, galxias e aglomerados galticos. Astrnomos provavelmente observaram durante dcadas o trabalho da energia escura sem ter se dado conta disso. Esta forma de energia faz mais que acelerar a expanso do Universo. Ela ajuda a determinar a forma e o espaamento das galxias e pode ser a principal ligao entre vrios aspectos da formao das galxias que pareciam desconectados at hoje. Com informaes cada vez mais precisas e detalhadas pode-se dizer que nosso Universo composto pelos seguintes ingredientes: 5% de tomo, elementar ainda no descoberta e
25%
de uma partcula
70%
de um meio difuso com propriedades exticas
(presso negativa), cuja origem ainda no se conhece. ([15], p.37). Hoje em dia o modelo cosmolgico de maior concordncia entre os cosmlogos baseado nos seguintes fatos. Uma regio homognea e muito pequena de um universo muito denso entrou subitamente em uma fase de inao exponencial at atingir um tamanho consideravelmente maior que o do universo observvel. Esta fase foi seguida de um aquecimento durante o qual a radiao e a matria foram criadas, sendo o contedo atual do Universo, do qual uma grande parte ainda no conhecida. Durante quase dez bilhes de anos o Universo se comportou como no antigo modelo padro de expanso freada pela gravidade. No comeo, seu contedo era dominado pela radiao sucientemente intensa para impedir que todo o hidrognio fosse consumido quando da nucleossintese primordial e para fornecer as propores de elementos leves observados hoje. Ento, como a densidade da radiao decresceu mais rapidamente do que a densidade da matria, esta ltima se imps. Cerca de 400 mil anos aps o Big Bang, a temperatura do plasma primordial baixou sucientemente para que os ncleos de hidrognio e de hlio capturassem os eltrons e formassem um gs neutro e transparente. A radiao assim liberada, cuja temperatura continuou a decrescer, passou a
constituir o fundo difuso cosmolgico a 2,73 K. Uma nova mudana ocorreu h cerca de 5 bilhes de anos. Uma forma de energia desconhecida, denominada energia escura, desempenhava um papel desconhecido at ento. Sua densidade diminua ainda mais lentamente que da matria, tornando-se preponderante e com caracteristicas prximas da constante cosmolgica, fazendo a expanso acelerar. Este modelo reproduz perfeitamente todas as observaes, mas levanta novas indagaes. Ainda no se sabe o que a matria escura, de onde vem a energia escura e qual campo desempenhou o papel de inao. Todas estas indagaes apresentam vrias respostas. Contudo, existem outros mistrios que a Cincia ainda no sabe explicar. Questes
141
como:
O que existia na regio homognea e muito pequena de um universo muito
denso que entrou subitamente em uma fase de inao exponencial? O que fez gerar esta fase de inao? Por que a temperatura era to elevada? Por que o Universo to uniforme e homogneo em ampla escala? Por que o Universo se apresenta desta forma e com estas leis? O qu ou quem determinou que ele fosse assim e no diferente? A explicao para a singularidade de onde e quando tudo comeou permanece ainda como o problema crucial da Cosmologia Moderna. Os modelos cosmolgicos baseados na teoria da energia escura tambm so conhecidos por modelos de Quintessncia ou quinto elemento, uma aluso antiga losoa grega, a qual sugeria que o Universo era composto de terra, ar, fogo, gua e uma substncia efmera que impedia que a Lua e os planetas cassem em direo ao centro da esfera celeste. O nmero de teorias e modelos alternativos extensa e novas propostas continuam surgindo regularmente. Muitas destas idias so baseadas na teoria da inao mas outras foram absolutamente inovadoras. Por exemplo, a hiptese de um Universo anterior ao Big Bang (pr Big Bang, ou ricochete primordial ). Este Universo no teria estado sempre em expanso, mas uma ou vrias fases de contrao teriam ocorrido antes, possibilitando observar efeitos nas radiaes de fundo. Tal modelo cogitado por alguns tericos da teoria de cordas, como o que precede a fase de crescimento exponencial. Outro exemplo, seria o do modelo onde o Universo se auto-reproduz. Nesta teoria de Universo, o Big Bang comeou como uma utuao quntica microscpica que ocorreu em algum lugar em um Universo que existia anteriormente ao nosso. Da mesma forma, o nosso Universo pode estar grvido de outros Universos. Isso que dizer que a qualquer momento outros eventos semelhantes ao Big Bang poderiam ocorrer s que desta vez em nosso Universo. A inao catica, teoria proposta por Andrei Linde(1948) diz que o Universo uma entidade auto-reprodutora, que existe eternamente e que est dividida em vrios mini-universos, alguns dos quais so muito maiores do que a poro observvel do nosso Universo. Na inao catica o campo quntico que d origem ao Universo no suave em uma escala microscpica mas uma espuma de espao-tempo, catica e no homognea. Em algumas regies dessa espuma a densidade de energia poderia ser maior do que a do Universo visvel nos dias atuais. Outra teoria seria a dos Multiversos. Nesta teoria o nosso Universo nasceu de
uma pequena bolha de espao-tempo que sofreu inao a partir de uma regio pr existente. Esta regio se inacionou a partir de uma regio prvia e assim por diante. Poderia-se seguir nesta linha de raciocnio no sentido contrrio de tal modo que o nascimento original do espao-tempo (a origem fundamental do Universo) teria ocorrido h tanto tempo que poderia ser intil perguntar como esta ocorreu. Desta maneira, o nosso Universo seria apenas uma componente do Multiverso, o qual continua crescendo
142
Concluso
atravs de uma srie de Big Bangs por muito mais tempo do que a nossa pequena regio no Multiverso como um todo, continuando a crescer eternamente. A teoria do Universo ekpirtico foi desenvolvida por Paul Steinhardt (1952 ) e colaboradores na Princeton University, Estados Unidos. Esta teoria tenta explicar importantes detalhes sobre a natureza do nosso Universo, inclusive o porqu dele estar se expandindo da maneira como observada hoje. Este modelo de Universo est baseado na chamada teoria M (M-Theory ), que pode ser entendida como uma extenso da teoria de cordas (string theory). A teoria de cordas, ao contrrio do que descrito no modelo padro de fsica de partculas, as partculas elementares que constituem a matria existente no Universo, no so estruturas puntiformes. Ao contrrio, os elementos constituintes fundamentais do espao e do tempo so pequenssimas cordas vibrantes. A maneira como estas cordas vibram determinaria as propriedades caractersticas de cada partcula observada na natureza. Alm das teorias para modelos de Universo descritas brevemente acima pode-se citar outras como, por exemplo: a inao eterna, a hiptese sem-contorno (no-boundary
hypothesis ), a inao dupla, a teoria da geometria torcida (warped 5-dimensional )

e os modelos cclicos. Enquanto os problemas persistirem, todas as solues devem ser consideradas mesmo que para reforar nosso atual modelo. Certas concluses apontam para a necessidade de novos modelos em fsica de partculas elementares e teorias de campos. Novos instrumentos planejados ou j em
atividades testaro esses novos modelos. Uma verdadeira revoluo est em curso, da qual podem resultar em um novo paradigma para as geraes futuras.
Referncias
[1] MOURO, R. R. F. Da Terra s Galxias: Uma Introduo Astrofsica. 3. ed. Petrpolis: Editora Vozes Ltda, 1984. [2] FARIA, R. P. (Ed.). Fundamentos de Astronomia. 2. ed. Campinas: Papirus, 1985. [3] SOUZA, R. E. Introduo Cosmologia. So Paulo: Editora da Universidade de So Paulo, 2004. [4] SILK, J. O Big Bang: A Origem do Universo. 2. ed. Braslia: Editora Universidade de Braslia, 1988. [5] PERUZZI, N. J. Modelos Geocntricos de Plato a Ptolomeu: uma contribuio
para o ensino da Geometria. Dissertao (Mestrado) UNESP - Instituto de Geocincias e Cincias Exatas, 1998. [6] MLODINOW, L. A Janela de Euclides. So Paulo: Gerao Editorial, 2008. [7] GREENE, B. O Universo Elegante. So Paulo: Companhia das Letras, 2001. [8] ELLIS, A. Black Holes - Part 1 - History. 2010. [Acessado em 01 de Fevereiro de 2010]. Disponvel em:
<http://www.astronomyedinburgh.org/publications/journals/39/blackholes.html>.
[9] NOVELO, M. Universo Oscilante e a Cosmologia no Brasil. EDIO ESPECIAL
SCIENTIFIC AMERICAN Brasil, v. 34, p. 1415, 2009.

[10] GORODSKI, C. 2009. Disponvel em: om.doc>. [11] CARMO, M. P. do. Geometria Diferencial de Curvas e Superfcies. 3. ed. Rio de Janeiro: Sociedade Brasileira de Matemtica, 2005. [12] SEIXAS, W. O Princpio da Relatividade - de Galileu a Einstein. Revista Brasileira
<http://www.ime.usp.br/
gorodski/ps/ge-
de Histria da Matemtica, v. 5, p. 4356, 2005.

[13] NEWTON, I. Sir Isaac Newton's Mathematical Principle of Natural Philosophy
and His System of the World. Berkeley: University of California Press, 1962. Traduo de A. Motte e Florian Cajori.
143
144
Referncias
[14] CRAWFORD, ou a longa
P. histria
A do
gnese
da
teoria da
da
relatividade Disponvel
geral em
princpio
equivalncia.
http://cosmo.s.fc.ul.pt/ crawford/artigos/Genese RG Coimbra.pdf. [15] ROSENFELD, R. A Cosmologia. 2005. [Acessado em 25 de Agosto de 2010]. Disponvel em:
<http://www.sbsica.org.br/fne/Vol6/Num1/cosmologia.pdf>.
[16] SEIXAS, W. Um estudo sobre a geometria extrnseca dos espaos-tempo. Dissertao (Mestrado) Universidade de Braslia, 1989. [17] FABER, R. L. Dierential Geometry and Relativity Theory. New Yok: Dekker,Inc., 1983. [18] TENENBLAT, K. Introduo Geometria Diferencial. Braslia: Editora Universidade de Braslia, 1990. [19] KHNEL, W. Dierential Geometry: Curves - Surfaces - Manifolds. 2. ed. United States of America: American Mathematical Society, 2006. [20] PRESSLEY, A. Elementary Dierential Geometry. London: London, 2001. [21] GUIDORIZZI, H. L. Um curso de Clculo - Volume 2. 4. ed. Rio de Janeiro: Livros Tcnicos e Cientcos Editora S.A., 2000. [22] CARMO, M. P. do. Geometria Riemanniana. 2. ed. Rio de Janeiro: Instituto de Matemtica Pura e Aplicada, 1988. [23] RESNICK D. HALLIDAY, K. S. K. R. Fsica 2. 5. ed. Rio de Janeiro: Livros Tcnicos e Cientcos Editora S.A., 2003. [24] TIPLER, G. M. P. A. Fsica para cientistas e engenheiros - Volume 3: Springer - Verlag Marcel
fsica
moderna: mecnica quntica, relatividade e a estrutura da matria. 5. ed. Rio de

Janeiro: Livros Tcnicos e Cientcos Editora S.A., 2006. [25] SCHUTZ, B. F. A Fisrt Course in General Relativity. Cambridge: University Press, 1985. [26] d'INVERNO, R. A. Introducing Einstein's Relativity. Oxford: Oxford University Press, 1992. Cambridge

Nilton Flávio Delbem PDF

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Nilton Flávio Delbem PDF

Caricato da

Copyright:

Formati disponibili

Universidade Estadual Paulista Jlio de Mesquita Filho

Instituto de Geocincias e Cincias Exatas Campus de Rio Claro

Introduo Matemtica aos Modelos Cosmolgicos

Dr. Wladimir Seixas

Prof. Dr. Wladimir Seixas Orientador

Prof. Dr. Henrique Lazari IGCE - Unesp/Rio Claro

Rio Claro, 15 de Outubro de 2010

), por diversos motivos,

(Composio: Toni Garrido / Lazo / Da Gama / Bino)

Geometria Diferencial, Teoria e Histria da Cosmologia, Teoria da

Relatividade, Mtodos Matemticos.

Dierential Geometry, Theory and History of Cosmology, Relativity The-

ory, Mathematical Methods.

Modelos cosmolgicos de Ptolomeu, Coprnico e Tycho Brahe

. . . . . . . . . . . . . . . . . . . . . . . A Teoria da Gravitao de Isaac . . . . . . . . . . .

O Mecanicismo de Ren Descartes.

Newton e o Determinismo de Pierre Simon Laplace 2.6 2.7 2.8 2.9

Conhecendo o Universo . . . . . . . . . . . . . . . . . . . . . . . . . . . O surgimento das Teorias de Einstein . . . . . . . . . . . . . . . . . . . Modelos Cosmolgicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Modelos de Friedmann-Lematre-Robertson-Walker para o Universo

Superfcies Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3.1 Curvas na Superfcie. Plano Tangente e Vetor Normal. . . . . .

Espaos Tangente e Dual . . . . . . . . . . . . . . . . . . . . . . Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

O Tensor Curvatura 3.6.4.1 3.6.4.2

Propriedades de Tensor de Riemann

Tensor de Ricci e Escalar de Curvatura . . . . . . . . .

Toro e Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.7.1 3.7.2 Contribuies de lie Cartan . . . . . . . . . . . . . . . . . . . . . . . . . . .

O mtodo do quase-paralelogramo de lie Cartan

A Relatividade Especial 4.2.1

113 115 115 117 117

A Relatividade Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3.1 4.3.2 A Curvatura do Espao-Tempo As equaes de Einstein 4.3.2.1 . . . . . . . . . . . . . . . . . .

Postulados da Relatividade Geral:

O Modelo Cosmolgico de Friedmann-Lematre-Robertson-Walker . . . 5.2.1 As Equaes de Friedmann . . . . . . . . . . . . . . . . . . . . .

averiguar minuciosamente o nosso Universo a luz do mtodo cientco.

. Um estudo sobre variedades diferenciveis e tensores apresentado no

equaes de Friedmann descrevem um Universo em expanso ou contrao, homogneo

de Friedmann-Lematre-Robertson-Walker. Ao nal deste trabalho discute-se o atual

mil quilmetros por segundo, Outra unidade

1 relacionada ao ano-luz e tambm muito usada o parsec que equivale a 2 luz .

300 milhes de anos-luz. 100

Estrelas formam galxias, galxias

o Universo seja homogneo ou uniforme, isto , no apresenta, na mdia, regies muito

segundo de arco [1].

dcimo de segundo-luz; a distncia da Terra ao Sol de

mais prxima, Alfa Centauro, est a

anos-luz; a galxia mais prxima, Andrmeda, se encontra a

tecnolgicos e o desenvolvimento da Cosmologia mostraram que apenas

a.C. aconteceu a transio entre a civilizao nmade e a sedentria com

Os grandes cosmlogos da Antiguidade

a.C.), que foi desde a

a.C. ([2], p.24). Embora isso seja mais mito que

realidade histrica, astrnomos calculam que esse eclipse ocorreu em

Os grandes cosmlogos da Antiguidade

547 a.C.) e Anaxmines de Mileto (585

428 a. C.) representante da Escola italiana, a

a.C.), reconheceu que a rbita da Lua era

Figura 2.1: Modelo Pirocntrico de Filolau

nmero que os pitagricos

347 a.C.) tinha uma viso distinta do Universo.

Os grandes cosmlogos da Antiguidade

347 a.C.), contemporneo de Plato e considerado o melhor ma-

Este modelo aperfeioado por Aristteles (384

322 a.C.), outro discpulo de

? a.C.), observou que as mars estavam relacionadas

194 a.C.) calculou com xito a circunferncia terrestre determi-

Universidade Estadual Paulista Jlio de Mesquita Filho

Dierential Geometry, Theory and History of Cosmology, Relativity The-

averiguar minuciosamente o nosso Universo a luz do mtodo cientco.

de Friedmann-Lematre-Robertson-Walker. Ao nal deste trabalho discute-se o atual

a.C. ([2], p.24). Embora isso seja mais mito que

Thomas Digges, escreveu um trabalho popular chamado A Pert Description of the

uma vez que a velocidade da luz nita.

Naturalis Principia Mathematica (Princpios Matemticos da Filosoa Natural).

O determinismo um conceito no qual as

uma inteligncia sucientemente vasta para submeter

Ele iniciou sua elaborao no nal da dcada de

objetos nebulosos, no cu do Hemisfrio Norte que haviam Em