Escolar Documentos
Profissional Documentos
Cultura Documentos
Cosmologia - MODULO-5
Cosmologia - MODULO-5
cosmologia
2015
Da origem ao fim do universo
Mdulo 5
Presidente da Repblica
Equipe de realizao
Contedo cientfico e texto
Web Design
Giselle Verssimo
Caio Siqueira da Silva
Colaboradores
Ensino a Distncia
cosmologia
2015
Mdulo 5
35
O que
geometria?
O QUE GEOMETRIA?
Geometria a parte da matemtica que trata de curvas, superfcies e volumes. A geometria tem uma longa histria remontando a pocas at mesmo
muito anteriores aos gregos. No entanto, foram os filsofos gregos os primeiros a sistematizarem, e ampliarem, o conhecimento da geometria.
Temos uma necessidade diria de usar a geometria. Quando afirmamos
que alguma coisa est distante estamos falando de comprimento e isso geometria. Se falamos sobre a rea de um campo de futebol estamos usando
geometria. Se dizemos que o vestido da modelo est largo estamos falando de
volumes e portanto de geometria. Ela nos acompanha todo o tempo.
A geometria um dos ramos mais antigos da matemtica e, como j dissemos, trata das regras de medio de distncias e ngulos, regras estas que
foram compiladas pelo filsofo e matemtico grego Euclides por volta do ano
300 antes de Cristo.
A geometria que usamos no nosso dia-a-dia aquela desenvolvida pelos
gregos. a geometria de Euclides, ou geometria euclidiana, que estudamos
nas escolas e aprendemos a aplicar na prtica. A geometria euclidiana realiza
suas medidas sobre uma superfcie plana.
A GEOMETRIA EUCLIDIANA
relativamente complexo e presumivelmente no intuitivo, usando os outros quatro postulados. Se eles tivessem sido bem sucedidos teriam mostrado que esse postulado seria na verdade um teorema. Na verdade os
Elementos consistem de duas partes: a primeira formada por teoremas
que so provados sem o auxlio do quinto postulado e formam o que chamamos de geometria absoluta; e a segunda parte formada por teoremas que esto baseados no quinto postulado e que formam a geometria
Euclidiana propriamente dita.
As imagens mostram pginas de um manuscrito grego do sculo XI com
os Elementos.
Os axiomas de Euclides so os seguintes:
1. dados dois pontos h um intervalo que os une.
2. um intervalo pode ser prolongado indefinidamente.
3. um crculo pode ser construdo quando seu centro e um ponto sobre
ele so dados.
4. todos os ngulos retos so iguais.
5. se uma linha reta inclinada sobre duas linhas retas faz os ngulos interiores do mesmo lado menores do que dois ngulos retos, as duas
linhas retas, se prolongadas indefinidamente, se encontram naquele
lado no qual os ngulos so menores do que dois ngulos retos.
Vemos que o quinto postulado de Euclides tem um enunciado bem mais
complicado que os outros. Na verdade ele pode ser colocado de uma maneira
bem mais simples:
uma dimenso:
a distncia entre dois pontos ser dada por ds
ds= dx 2 - dx1
duas dimenses:
essa distncia ser obtida por intermdio do chamado teorema
de Pitgoras (o quadrado da hipotenusa de um tringulo retngulo e
igual soma dos quadrados dos catetos)
ds2 = dx 2 + dy2
trs dimenses:
a distncia entre os dois pontos ser obtida a partir da relao:
ds2 = dx 2 + dy2 + dz2
J vimos que a descoberta da lei que nos mostra de que maneira os corpos
celestes interagem foi feita por Isaac Newton. Ele foi capaz de determinar que
a fora da gravidade depende diretamente do produto das massas dos corpos
em interao e do inverso do quadrado da distncia entre eles.
36
O conceito
de espao
e tempo de
Isaac Newton
nal ao quadrado da distncia entre os corpos que esto interagindo. Isso nos
diz que, mantidas constantes as massas dos corpos, quanto mais afastados eles
estiverem mais fraca ser a interao gravitacional entre eles. Assim, medida
que dois objetos so afastados um do outro a interao gravitacional entre eles
tambm diminui. Por exemplo, se a separao entre dois corpos dobrada
(aumentada por um fator 2) a fora de atrao gravitacional ser diminuda
por um fator quatro, uma vez que a interao gravitacional proporcional ao
inverso do quadrado da distncia. Se a distncia entre os corpos triplicada
ou seja, aumentada por um fator 3, a interao gravitacional ir diminuir por
um fator 9 (trs elevado ao quadrado).
As proporcionalidades expressas pela lei da gravitao universal de Newton so mostradas graficamente ao lado. Observe como a interao gravitacional diretamente proporcional ao produto das duas massas e inversamente
proporcional ao quadrado da distncia entre elas.
Observaes:
note que as foras gravitacionais entre duas partculas formam um
par ao-reao, como exigido pela terceira lei de Newton. A primeira
partcula exerce uma fora de atrao sobre a segunda partcula e esta
tambm exerce uma fora sobre a primeira. Essas foras esto dirigidas ao longo da linha imaginria que une os centros dessas partculas.
As foras gravitacionais que as partculas exercem uma sobre a outra
tm o mesmo valor numrico, mas sentidos opostos.
t= t
x= x + vt
Pode ser mostrado que se voc aplica as transformaes de Galileu segunda Lei de Newton, F= ma, ela permanece com a mesma forma. Dizemos
ento que a segunda lei de Newton invariante pelas transformaes de Galileu. Assim, todos os sistemas de referncia inerciais so equivalentes e no h
uma maneira de detectar o espao absoluto.
37
Generalizando
a geometria
Euclidiana
REFERENCIAIS EM MOVIMENTO
Suponha agora que voc quer descrever a posio de um corpo no espao. A primeira coisa a fazer determinar um sistema de referncia no qual
o corpo (para simplificar o problema) esteja em repouso. Voc poder obter
as coordenadas de posio desse corpo ou seja, se estiver considerando um
sistema de coordenadas cartesianas, os pontos (x, y, z). A isso voc adiciona a
medida do tempo, t. Pronto. Voc agora est descrevendo a posio e a dinmica (mudanas no tempo) do corpo em estudo por meio de um conjunto de
quatro variveis, (x, y, z, t).
Suponha agora que, ainda estudando o mesmo corpo, voc decide descrev-lo em um outro sistema de coordenadas (no qual ele ainda est em repouso).
Ser obtido um segundo grupo de coordenadas que descreve a posio e a
dinmica desse corpo, as quais chamaremos de (x, y, z, t).
E se um dos sistemas de coordenadas estiver em movimento, deslocando-se em relao ao outro com velocidade constante e em linha reta? Pelas
propriedades descritas acima esses referenciais ainda so inerciais e, portanto,
as leis de Newton valem. Mas, como ficaro relacionadas as coordenadas do
corpo em estudo nesses dois sistemas de referncia?
Foi o fsico holands Hendrik Lorentz quem demonstrou (embora no
tenha sido o primeiro a fazer isso!) como os dois conjuntos de coordenadas do mesmo corpo, aquelas obtidas no sistema de referncia em repouso
e aquelas obtidas no sistema de referncia que se desloca com velocidade
constante e em linha reta, esto relacionadas. Essas transformaes passaram a ser conhecidas como transformaes de Lorentz e so fundamentais
para a fsica.
As transformaes de Lorentz so mostradas nas equaes a seguir. Ateno: as transformaes de Lorentz nos mostram como esto relacionadas as
coordenadas de um corpo medidas em dois referenciais diferentes: um referencial est em repouso e o outro referencial se desloca em linha reta e com
velocidade constante v. Note que as transformaes de Lorentz, por serem de-
O FATOR GAMA
Em quase todas as relaes matemticas obtidas por Einstein na sua teoria
da relatividade restrita surge um termo bastante caracterstico. Ele :
E0= m0c2
onde E0 a energia de repouso da partcula e m0 a massa que a partcula possui quando est em repouso (v= 0). Note que essa equao nos
diz que, mesmo em repouso, todo objeto possui uma energia residual
no nula.
E= pc
O leitor atento imediatamente pode reclamar: mas p= mv e se m=
0 ento o primeiro termo da equao tambm nulo! No bem
assim. No caso de partculas de massa zero o momento p no
mais dado pela expresso mv, mas sim por h onde h a constante
de Planck e a frequncia de propagao da partcula sob a forma
de onda.
A expresso:
E= mc2
relacionando a energia total e massa relativstica m do corpo.
Podemos ento resumir as possveis expresses de energia da seguinte
maneira:
MASSA
VELOCIDADE
EQUAO DE ENERGIA
v>0
v=0
E0= m0c2
(E0 a energia de repouso)
v>0
E= pc
m>0
m=0
38
As
Transformaes
de sistemas de
coordenadas em
movimento
AS TRANSFORMAES DE SISTEMAS DE
COORDENADAS EM MOVIMENTO
Um dos mais importantes trabalhos surgidos nessa poca tratavam das
transformaes existentes entre dois sistemas de coordenadas que estavam em
movimento. Esse trabalho foi apresentado pelo fsico Lorentz e sobre ele Einstein se baseou para estabelecer os princpios da relatividade restrita.
O ESPAO-TEMPO DE MINKOWSKI
Durante sculos os fsicos falaram de uma geometria aplicada ao espao
somente. Isso s veio a ser mudado com os trabalhos que levaram ao surgimento da teoria da relatividade restrita em 1905.
As transformaes de Lorentz nos dizem como podemos unir as medies
de espao com medies de tempo. Foi ele que nos mostrou como podemos
estender as regras da geometria de Euclides, estabelecidas para medies
espaciais apenas, de modo a incluir tambm medies temporais. Em 1905
Minkowski mostrou que isso podia ser feito e que era possvel falar de uma
geometria do espao-tempo do mesmo modo como falamos da geometria
do espao somente. As transformaes de Lorentz relacionam, desse modo,
medies geomtricas feitas por observadores inerciais diferentes.
Mas a geometria de Minkowski no realizvel na prtica porque a fora
da gravidade probe a existncia de observadores inerciais capazes de usar tal
geometria.
Einstein, por conseguinte, teve a ideia de procurar uma nova geometria
que, automaticamente, permitiria a existncia de observadores reais sujeitos
fora da gravidade.
Para muitos pode ser uma grande surpresa descobrir que no existe apenas uma geometria. Outras geometrias, diferentes da geometria euclidiana e
coletivamente chamadas de geometrias no euclidianas, existem e so perfeitamente respeitveis, sendo assuntos de estudo que apresentam estruturas
lgicas bastante auto-consistentes.
Os matemticos levaram quase dois mil anos para apreciar este fato. As
geometrias no-euclidianas s emergiram durante o sculo XVIII. Mesmo
assim, estas geometrias eram consideradas apenas como elegantes exerccios
intelectuais abstratos, sem qualquer relevncia para o mundo real.
Foi para estas geometrias que Einstein se voltou a fim de expressar, de maneira quantitativa, suas novas ideias sobre gravitao. Mas antes de descrever como
Einstein usou as geometrias no-euclidianas vamos ver como essas geometrias
fornecem teoremas alternativos queles apresentados pela geometria de Euclides.
O CONCEITO DE ESPAO-TEMPO
Definimos espao-tempo como uma estrutura que combina as trs dimenses do espao com a dimenso nica de tempo. Essa juno nos fornece uma
descrio nica para o espao e tempo que identificamos com o nome de continuum do espao-tempo. bastante claro que a estrutura do espao-tempo
quadri-dimensional.
O tratamento do espao e tempo como sendo duas propriedades fsicas que
podem ser unificadas foi uma criao do fsico Hermann Minkowski logo depois da teoria da relatividade restrita ter sido apresentada por Poincar e Einstein em 1905. Minkowski apresentou esse novo e surpreendente conceito em
um trabalho publicado em 1908 no qual ele ampliava o trabalho de Einstein
sobre a teoria da relatividade restrita. Foi Minkowski o primeiro a mostrar que
Ax2 + By2 = C
onde A e B diferem em sinal.
Duas hiprboles so conjugadas quando os eixos transverso e conjugado
de uma so, respectivamente, os eixos conjugado e transverso da outra. Para
obt-las basta trocar os sinais dos coeficientes de x 2 e y2 na equao geral da
hiprbole mostrada acima.
Cosmologia - Da origem ao fim do universo 261
Figura A
bx + ay = 0 (Figura B)
bx - ay = 0
Assntotas da hiprbole
Figura B
Hiprbole equiltera.
duas retas que passam pela origem e formam os ngulos - b/a e b/a com o
eixo dos x.
Uma das propriedades das hiprboles que seus ramos se aproximam indefinidamente de suas assntotas ao mesmo tempo em que o ponto que descreve a curva se afasta para o infinito. Alm disso, duas hiprboles conjugadas
tm as mesmas assntotas como vemos na figura ao lado.
Uma outra propriedade que quando os eixos de uma hiprbole so iguais
ou seja, a= b, diz-se que a hiprbole equiltera. Nesse caso suas assntotas
so retas perpendiculares.
Certamente voc j notou que o grfico da hiprbole discutido acima
est situado no plano ou seja, bidimensional. Se pensarmos na mtrica de
Minkowski dada em apenas duas dimenses, ou seja,
imediatamente identificamos essa equao com a de uma hiprbole. Fazendo c= 1 isso fica ainda mais claro
dt - dx = 0 (Figura C)
dt + dx = 0
Diagrama do espao-tempo da mtrica de
Minkwski, em duas dimenses.
Esse o diagrama do espao-tempo da mtrica de Minkowski que estudaremos a seguir. Note que os eixos coordenados agora representam uma
coordenada espacial e uma temporal.
O leitor atento est desconfiado com essa deduo: o espao-tempo quadrimensional; alegando no poder fazer uma figura em quatro dimenses as
reduzimos a duas coordenadas espaciais e uma temporal e agora mostramos
o diagrama usando apenas duas dimenses, uma espacial e uma temporal!
A justificativa muito simples. Obtivemos o diagrama em apenas duas dimenses por que ele fica muito mais simples de ser visualizado. No entanto,
podemos girar esta hiprbole em torno do eixo temporal e vamos obter dois
cones com um vrtice comum. A esse conjunto de cones damos o nome de
cone de luz. Claro que voc est perguntando se tudo isso pode ser demonstrado em trs dimenses. claro que sim. Existe uma parte da geometria que
estuda as chamadas superfcies qudricas que possuem trs dimenses. Entre
elas temos as chamadas qudricas centradas cuja equao geral do tipo:
Figura F
Figura E
Cone de luz.
Tudo isso poderia ser demonstrado por meio de hiperbolides mas no seria to simples. Fazer a deduo acima em duas dimenses e pensar na rotao
da figura em torno de um eixo vertical muito mais acessvel.
Generalizando para 4 dimenses dizemos que ds2 = 0 gera um cone no
hiperespao ou seja, um hipercone. Se a dimenso z suprimida, por exemplo,
(e passamos o estudo para trs dimenses) este hipercone ser apenas um cone
de revoluo em torno do eixo t. A esse cone damos o nome de cone de luz
(Figura F).
Em geral representamos o cone de luz na forma mostrada ao lado (Figura
G). O plano verde representa todos os eventos que esto ocorrendo no espao-tempo em um determinado instante de tempo. Este o instante presente, a
reunio de todos os eventos que esto ocorrendo simultaneamente. Note que
para cada evento teremos um nico cone de luz que nos d sua evoluo temporal. Dentro do cone de luz est a linha do universo do evento, ou seja, toda
a descrio de sua dinmica.
Cada evento define um cone de luz no espao-tempo (Figura H). A parte
superior desse cone de luz, que representa o crescimento da coordenada temporal t, est representando o futuro desse evento. A parte de baixo do cone
de luz, que nos mostra os valores da coordenada t que antecederam posio
e instante atual do evento considerado, representam o passado. A linha de
universo desse evento, ou seja, a evoluo dinmica que ele tem, ficar sempre
contida no interior desse cone indo do passado para o futuro.
Figura G
Figura H
Figura I
Figura J
Na Figura I vemos tambm que o cone de luz divide em duas regies a vizinhana infinitesimal do espao tempo em torno de um ponto O de coordenadas x = 0, y = 0, z = 0, t = 0. A parte interior do cone contm linhas que passam
por O e so chamadas de linhas tipo-tempo. A regio exterior do cone contm
linhas tipo-espao. As linhas que passam pelo ponto O e esto localizadas
sobre o hipercone tm ds2 = 0 e correspondem a pontos que se movem com
a velocidade da luz tais como os ftons. Essas so as chamadas linhas nulas.
Um ponto importante na anlise dos cones de luz diz respeito questo
da causalidade. Sabemos que todo efeito tem uma causa e isso possui uma
estrutura temporal que exige que a causa anteceda ao efeito. O princpio da
causalidade exige que a causa (por exemplo, jogar na loteria) seja realizada
antes do efeito (ganhar na loteria). Dizemos ento que os eventos causalmente
relacionados esto dentro do cone de luz na regio do futuro. Isso nos diz
que um evento para ocorrer na natureza precisa ser tipo-tempo. Dito de outra
forma, pontos cuja separao tipo-tempo esto em comunicao. Os eventos
A e B que esto sobre a linha de universo azul da Figura J esto causalmente
relacionados: veja que o evento A ocorre antes do evento B.
Isso no acontece para pontos que so tipo-espao. Nesse caso o princpio da causalidade rompido: na regio tipo-espao voc pode encontrar dois
fenmenos (causa e efeito) ocorrendo no mesmo instante de tempo t, como
mostra a figura ao lado.
Nela os pontos A e B, situados sobre o eixo X, ocorrem no mesmo instante
de tempo pois sua coordenada t a mesma. Isso quer dizer que as informaes
emitidas por A, por exemplo, atingem B instantaneamente (velocidade infinita) violando o princpio relativstico de que a maior velocidade em que uma
informao pode ser transportada a velocidade da luz. Dizemos ento que se
dois pontos x e y so separados por um intervalo tipo-espao nada que acontece em x pode ter qualquer influncia causal direta sobre o que acontece em y.
Um outro ponto muito importante aquele que diz respeito classificao
de geodsicas ou melhor, as linhas mais curtas entre dois pontos. Linhas do
universo de partculas ou objetos que se deslocam em velocidade constante
so geodsicas. Dizemos que uma geodsica tipo-tempo, nula, ou tipo-espao se o vetor tangente a ela em algum ponto classificado dessa maneira. Isso
muito importante pois as trajetrias das partculas materiais, assim como
do fton, no espao-tempo sempre so representadas por geodsicas. As partculas materiais so representadas por geodsicas tipo-tempo enquanto que os
ftons so representados por geodsicas nulas (ou tipo-luz).
Na teoria relativstica da gravitao sempre procuramos estudar o continuum do espao-tempo que possui alguma forma de simetria. A razo para
isso o fato de que a matemtica envolvida nesse estudo muito complexa e
difcil de tratar, exceto quando essas simetrias aparecem. por essa razo que
comumente estudamos espaos-tempo ou com simetria axial (um cilindro
por exemplo) ou com simetria esfrica (uma esfera), bem mais fceis de lidar
do que espaos-tempo sem simetria.
Outros tipos de espaos-tempo comumente considerados, pela simplificao que introduzem nos problemas, so os espao-tempo estticos e
estacionrios.
Como veremos mais tarde, no espao-tempo esttico as componentes do
tensor mtrico g podem ser escolhidas de modo a nenhuma delas depender
do tempo e ter iguais a zero as componentes que envolvem as coordenada tempo e espao misturadas (goi = 0, onde o equivale a t e i equivale a x, y ou z
por exemplo, em coordenadas cartesianas). Em um espao-tempo estacionrio
esses termos no so, em geral, iguais a zero. Todo espao-tempo esttico
estacionrio mas o inverso no verdade.
dos nove casos possveis com no mais do que duas dimenses espaciais e duas temporais, os trs casos que so estveis e previsveis no
permitem a existncia de matria com qualquer complexidade tais
como seres vivos com sistema nervoso.
com duas excees, todos os casos com mais de uma dimenso temporal so instveis ou imprevisveis. Uma exceo no permite complexidade. A outra exceo, o caso de trs dimenses temporais e uma
dimenso espacial, exige que toda a matria tenha uma velocidade que
excede a velocidade da luz no vcuo.
39
A Geometria do
Espao-Tempo
A GEOMETRIA DO ESPAO-TEMPO
Veremos em um dos prximos itens que a teoria da relatividade geral nos
conduz a uma equao onde o lado esquerdo descreve a geometria do espaotempo e o lado direito o seu contedo de matria.
Este foi o maior matemtico de sua poca. J aos sete anos de idade, ainda
na escola elementar, Gauss mostrou seu potencial matemtico ao demonstrar,
quase imediatamente, a seus professores a soma dos nmeros inteiros de 1
a 100 notando que isso representava a soma de 50 pares de nmeros e que a
soma dos nmeros de cada par dava sempre o resultado 101.
Desde o incio dos anos de 1800 Gauss comeou a se interessar pela questo da possvel existncia de geometrias no-Euclidianas. Sabemos a partir
dos seus livros de anotaes que Gauss desenvolveu partes de uma nova geometria, no Euclidiana, j nos anos de 1820. No entanto, Gauss sabia que a
existncia de uma geometria no Euclidiana faria uma perturbao imensa
na matemtica. Mais ainda, ele notou que a reao de seus colegas a essa descoberta, e a qualquer um que a apoiasse publicamente, seria extremamente
dura. Desse modo, Gauss preferiu manter seu status social e no divulgou
os resultados de sua pesquisa. Deve ficar claro, entretanto, que Gauss no se
acovardou cientificamente. Ele manteve correspondncia sobre o assunto com
vrios matemticos de sua poca, embora sem adaptar seu extenso trabalho
para a forma de artigo cientfico.
Gauss tambm demonstrou grande interesse na chamada geometria diferencial. Ele publicou vrios artigos sobre esse assunto e em 1828 apresentou um dos
seus mais importantes artigos onde estava contido o famoso teorema egregium,
alm de importantes ideias geomtricas tais como a curvatura Gaussiana.
Jnos Bolyai
Jnos Bolyai foi uma criana prodgio. Filho do matemtico Farkas Bolyai,
ele teve toda a sua infncia voltada para o aprendizado da matemtica. Tendo
seu pai como professor, aos treze anos Jnos Bolyai j dominava todo o clculo
e vrias formas de mecnica analtica.
Em 1832, aps cinco anos de estudos, Bolyai publicou os resultados de sua
pesquisa sobre geometrias no-Euclidianas como um apndice a um trabalho
volumoso de seu pai, o matemtico Farkas Bolyai.
Bolyai teve uma vida dura. Ele morreu em 1860 e a cerimnia de seu enterro parecia um ritual de esquecimento. Apenas trs pessoas estiveram presentes para ver seus restos mortais serem colocados em um tmulo coletivo
sem lpide. O registro de sua morte na igreja dizia apenas: Sua vida passou
inutilmente.
Curiosamente, Bolyai nunca publicou seus trabalhos, exceto algumas poucas pginas no apndice do livro de seu pai. No entanto, ele deixou mais de
2000 pginas de manuscritos de trabalhos sobre matemtica desenvolvidos
por ele at a sua morte.
A imagem de Bolyai mostrada anteriormente foi tirada de um selo postal
usado na Hungria. Alguns historiadores no acreditam que ela seja autntica.
Possivelmente no existem imagens do grande matemtico Jnos Bolyai.
Lobachevski era um dos trs filhos de uma famlia russa muito pobre. Em
1800, quando Lobachevski tinha apenas sete anos de idade, seu pai faleceu e
sua me mudou-se para a cidade de Kazan, prxima fronteira com a Sibria.
L, Lobachevski comeou seus estudos, sempre financiado por bolsas escolares devido pobreza de sua famlia.
Em 1804 o Czar Alexander I da Rssia reformou a Universidade de Kazan
e convidou vrios professores estrangeiros, principalmente da Alemanha,
para ensinarem na Universidade. Um desses professores era Martin Bartels
(1769 - 1833) que ocupou o cargo de professor de matemtica. Bartels era
muito amigo de Gauss e os dois se correspondiam sobre assuntos cientficos
com bastante frequncia. Foi Bartels que fez com que Lobachevski, inicialmente interessado em estudar medicina, se apaixonasse pela matemtica.
O principal trabalho de Lobachevski foi Geometriya terminado em 1823
mas somente no dia 23 de fevereiro de 1826 que ele fez sua famosa apresentao Sobre os Fundamentos da Geometria em uma sesso do Conselho Cientfico do Departamento de Fsica e Matemtica da Universidade de Kazan.
Esse trabalho foi publicado em 1829.
O interesse de Lobachevski na geometria no-Euclidiana fez com que ele
fosse visto na Rssia como uma pessoa excntrica, para usarmos um termo
delicado. Ele foi atacado em um artigo humilhante e ignorante publicado no
peridico O Filho da Ptria ao mesmo tempo em que membros distintos
da comunidade de matemticos russos faziam zombarias e publicavam rudes
comentrios sobre ele. Todos os estudantes de Lobatchevski o abandonaram e
no seu funeral, quando era comum serem realizados discursos enaltecendo a
obra do defunto, nada foi dito sobre o assunto que foi a principal investigao
de sua vida: a geometria no-Euclidiana.
S que, aps construir essa nova geometria, os matemticos no encontraram contradies. Mais ainda, eles descobriram que tinham uma nova e
elegante geometria com vrias caractersticas interessantes e nicas.
Por exemplo, nessa nova geometria a soma dos ngulos internos de um
tringulo era menor do que 180o e de fato dependia das dimenses lineares
do tringulo.
Essa nova geometria era bastante particular. Em uma regio bastante pequena do espao essa nova geometria era praticamente Euclidiana mas em
grandes regies as duas eram essencialmente diferentes.
importante notar que tanto Lobachevski como Gauss no se limitaram
aos aspectos matemticos dessa importante descoberta. Eles imediatamente
comearam a pensar como essa nova geometria poderia estar relacionada
com o mundo fsico. Eles queriam saber qual das duas geometrias, a Euclidiana ou a no-Euclidiana recm descoberta, descrevia realmente o espao.
Tentando responder a essa questo, Gauss tentou medir a soma dos ngulos
de um tringulo formado por trs montanhas. Lobachevski tentou fazer a
mesma medida s que usando um tringulo bem maior formado por duas
posies da Terra em sua rbita e uma estrela distante de paralaxe conhecida. Infelizmente nenhum dos dois foi bem sucedido, pois, naquela poca eles
no dispunham de equipamentos capazes de fornecer a preciso necessria
para essas medidas.
Vamos explicar melhor o que uma geometria no-Euclidiana.
Suponha que a Terra perfeitamente esfrica e que ela habitada por seres
planos, criaturas absolutamente sem graa que tm apenas duas dimenses
e que no percebem o sentido de altura. Lembre-se que estas criaturas se
deslocam se arrastando sobre a superfcie terrestre.
O mtodo usado por estas criaturas para identificar linhas retas como
sendo as linhas de mais curta distncia entre dois pontos consiste em estender linhas atravs da superfcie conectando dois pontos quaisquer. Para essas
criaturas, essa linha parece ser uma reta medida que elas se movem ao longo
delas, uma vez que as direes de chegada ou de partida dessas criaturas em
qualquer ponto sobre a linha tem ngulo zero entre elas.
Com esta definio, os seres planos encontram que todas as linhas retas
se interceptam e que movendo-se ao longo de qualquer linha reta eles finalmente retornam ao seu ponto de partida (lembre-se que os seres planos esto
vivendo sobre a superfcie de uma esfera). Eles tambm descobrem que a soma
dos trs ngulos internos de qualquer tringulo que eles desenham sobre a
Terra no d mais como resultado o valor correspondente a dois ngulos retos
como ocorre na geometria de Euclides. Em vez disso, a soma desses trs ngulos internos sempre excede dois ngulos retos. A figura ao lado mostra uma
situao onde a soma igual a trs ngulos retos.
Ao contrrio da geometria Euclidiana, as geometrias que estamos agora
apresentando so definidas sobre a superfcie de uma esfera ou de um hiperbolide (algo parecido com a sela de um cavalo)
As imagens a seguir mostram essas duas geometrias. Dizemos que uma
superfcie esfrica tem uma curvatura positiva enquanto que a superfcie de
um hiperbolide tem curvatura negativa.
Vemos que em uma superfcie com curvatura positiva a soma dos ngulos
internos de um tringulo traado nessa superfcie maior que 180 graus. No
caso de uma superfcie com curvatura negativa a soma desses ngulos internos ser menor que 180 graus.
Superfcie esfrica.
Superfcie de um hiperbolide.
O trabalho de Riemann
O passo seguinte no desenvolvimento da geometria no-Euclidiana foi feito pelo matemtico alemo Georg Friedrich Bernhard Riemann. Para obter
uma posio de professor assistente na Universidade de Gttingen, Riemann
tinha que fazer uma palestra que serviria como teste. Seguindo o procedimento existente ele apresentou ao departamento trs tpicos para que fosse escolhido o seu assunto de palestra. Dois desses tpicos versavam sobre problemas
correntes entre os matemticos da poca enquanto que o terceiro estava voltado para os fundamentos da geometria. Embora esse ltimo assunto fosse o
menos preparado por Riemann, Gauss o escolheu querendo saber como um
jovem matemtico trataria tema to difcil.
Riemann deu sua palestra sobre esse tema, que mais tarde foi publicada
com o ttulo de Sobre as Hipteses subjacentes aos fundamentos da Geometria, com sucesso absoluto. Aps o trmino da palestra, Gauss permaneceu em
silncio e ento levou Riemann aos cus, algo bastante raro de ser feito por ele.
Gauss ficou impressionado pela abordagem feita por Riemann para a
geometria no-Euclidiana, pelo fato de que ela era bem diferente daquelas
apresentadas por seus antecessores. Aparentemente, Riemann no sabia nada
sobre os trabalhos de Lobachevski e Bolyai e tinha somente uma vaga ideia do
interesse de Gauss pelo assunto. O sucesso de Riemann se deve ao fato dele
ter incorporado em seu estudo duas ideias extremamente frteis: o aparato
matemtico de Gauss para descrever a geometria de superfcies curvas bidimensionais e seu prprio novo conceito de variedade multidimensional, ou
seja, objetos geomtricos com mltiplas dimenses.
Uma superfcie uma variedade bidimensional, um espao uma variedade tridimensional, etc. Como essa a nica diferena entre elas, todas as ideias
e mtodos usados para descrever superfcies bidimensionais podem ser agora
diretamente aplicados a espaos curvos tridimensionais. Entre as noes usadas, a mais importante aquela de mtrica, ou seja, a forma quadrtica para as
diferenas entre coordenadas que descreve o comprimento do intervalo entre
dois pontos vizinhos em uma variedade curva.
atravs de um ponto dado podemos traar somente uma paralela a uma linha reta.
a soma dos ngulos interiores de um tringulo igual a dois ngulos retos.
a circunferncia de um crculo igual a vezes o seu dimetro.
atravs de um ponto dado no podemos traar nenhuma paralela a um ponto dado.
espao esfrico
a soma dos ngulos interiores de um tringulo maior do que dois ngulos retos.
a circunferncia de um crculo menor do que vezes o seu dimetro.
espao
hiperblico
atravs de um ponto dado podemos traar mais de uma paralela a uma linha reta.
a soma dos ngulos interiores de um tringulo menor do que dois ngulos retos.
a circunferncia de um crculo maior do que vezes o seu dimetro.
40
O que a Teoria
da Relatividade
Geral?
GEODSICAS
A teoria relativstica da gravitao trata, em geral, com espaos-tempo
curvos. Em um espao-tempo desse tipo os movimentos das partculas assim
como o da luz so curvos. Entretanto, essas curvas tm uma caracterstica
comum com as linhas retas.
Do mesmo modo que as linhas retas so as trajetrias mais curtas conectando dois pontos de um espao plano, os movimentos nos espaos-tempo
curvos percorrem as linhas curvas mais curtas entre dois pontos. Tais curvas
so chamadas geodsicas. Por exemplo, sobre a superfcie de uma esfera podemos traar somente curvas e no linhas retas. De todas as curvas que conectam dois pontos a mais curta o arco de um grande crculo. Por conseguinte,
as geodsicas sobre a superfcie de uma esfera so os arcos de grandes crculos.
A luz segue curvas geodsicas. Dizemos que a luz no se move uniformemente ao longo de linhas retas, no porque ela est sujeita a alguma fora mas
por que o espao-tempo curvo. Isso muito importante por que mostra que
o conceito de fora foi substitudo pelo conceito geomtrico de curvatura do
espao-tempo.
A teoria da relatividade geral trata, em geral, com espaos-tempo curvos.
Nesses espaos-tempo os movimentos das partculas materiais, assim como
da luz, so descritos por linhas curvas.
GEOMETRIA E COSMOLOGIA
A geometria do espao de grande importncia para a cosmologia, uma vez
que a teoria relativstica da gravitao se apoia inteiramente na ideia de que a
geometria do espao em qualquer local no Universo est diretamente relacionada com a intensidade do campo gravitacional naquele local. Quanto mais
intenso o campo gravitacional mais forte ser a curvatura correspondente.
Poderamos dizer, de uma maneira bastante livre e baseado exclusivamente
nas questes de geometria discutidas acima, que em um contexto cosmolgico
os trs tipos de curvaturas podem nos dar:
o universo de curvatura zero corresponde a um universo que se expande para sempre, diminuindo sua velocidade medida que faz isso.
Este o chamado universo espacialmente plano.
Isaac Newton.
41
A Teoria da
Gravitao de
Einstein
curvo:
dizemos que o espao-tempo da relatividade geral tem uma geometria
no-Euclidiana. Na relatividade restrita o espao-tempo plano.
Lorentziano:
as mtricas do espao-tempo devem ter uma assinatura mtrica mista.
Isto herdado da relatividade especial.
quadri-dimensional:
isso necessrio para poder cobrir as trs dimenses espaciais e o tempo. Isto tambm herdado da relatividade especial.
A Teoria da Gravitao de Einstein est baseada em um conjunto de princpios fundamentais que guiaram o seu desenvolvimento. Esses princpios
foram sendo criados ao longo do desenvolvimento da prpria teoria.
o espao-tempo curvo:
isso permite que os efeitos gravitacionais, como por exemplo a queda
livre, sejam descritos como uma forma de movimento inercial.
A Teoria da Gravitao de Einstein no somente nos diz que o espaotempo curvo mas tambm especifica quanto a sua curvatura. Mais especificamente, ela nos d um conjunto de equaes que relacionam a curvatura do
espao-tempo com a distribuio de energia-matria no espao.
As equaes propostas por Einstein so chamadas de equaes de campo
porque elas descrevem o comportamento e as propriedades do campo gravitacional. Elas tm a forma:
G = - k T
onde k dado por:
k = 8 G/ c4
Nesta ltima expresso G a constante gravitacional.
Vamos explicar melhor o que essa equao nos diz. O lado esquerdo dela,
G, o chamado tensor de Einstein. Ele depende das funes g e de suas
primeiras e segundas derivadas. Essa parte da equao de campo de Einstein
est associada com a estrutura geomtrica do espao-tempo.
O lado direito da equao de campo de Einstein apresenta o tensor energia-momentum T. Ele depende da distribuio de energia e matria no
universo.
Veja ento que a equao de campo de Einstein nos diz que a curvatura do
espao-tempo (lado esquerdo) produzida pela distribuio de massa-energia
no espao-tempo (lado direito).
Poderamos escrever as equaes de campo de Einstein de modo mais detalhado. O tensor de Einstein, G, na verdade dado por:
G = R -1/2 g R
Deste modo, as equaes do campo gravitacional so dadas por:
R -1/2 g R = - k T
ou ento:
calcular. Felizmente este tensor possui simetrias que reduzem bastante esse
nmero. No final, aps utilizarmos os recursos dessas simetrias, ficamos com
apenas 20 componentes independentes para calcular.
Conhecendo as componentes do tensor d e Riemann-Christoffel, fcil
calcular o Tensor de Ricci, R = R . Esse tensor dado por:
G = 0
Uma das possveis solues desta equao o espao-tempo plano de
Minkowski. Isso no surpresa, pois se a matria que provoca a curvatura do
espao-tempo e, no caso considerado no existe matria, a curvatura s pode
ser zero. Isto obriga que o tensor de Einstein G que est no lado esquerdo das
equaes de campo seja nulo.
Uma outra soluo relativamente simples das equaes de campo de Einstein aquela que diz respeito a um corpo esfrico em um espao vazio. Se
considerarmos o Sol como um corpo esfrico e que o espao vazio em torno
dele, as equaes de campo de Einstein nos do a curvatura do espao-tempo
naquele local.
O tensor mtrico em volta do Sol chamado de mtrica de Schwarzschild, resultado obtido em 1916, e corresponde a um elemento de linha que
em coordenadas esfricas :
dividido por zero que sabemos tender para infinito. Vemos ento que h um
limite em 2GM/c2 = r. Esse limite o chamado raio de Schwzarzschild e
marca o chamado de horizonte de eventos de um buraco negro.
42
O Contedo
de matria do
Universo
E2 = p2c2 + m02c4
onde m0 representa a massa de uma partcula em repouso e p representa o
seu momentum linear. O momentum linear, ou simplesmente momentum,
dado pela expresso p = mv onde m a massa da partcula e v sua velocidade.
A expresso para energia apresentada acima tambm pode ser escrita
como E = mc2, onde m a massa relativstica da partcula. Ela nos mostra que
matria e energia so indistinguveis no que diz respeito s suas propriedades
inerciais.
Como consequncia disso, tanto podemos falar de massa como de energia,
o que justifica parcialmente o nome do tensor energia-momentum. Por outro
lado, os corpos no universo esto em movimento e, portanto, possuem uma
dinmica que pode ser caracterizada pelo seu momentum, uma vez que esse
conceito est associado velocidade dos corpos.
Alm disso, devemos ter em mente que ao tratarmos com o espao que no
est vazio temos que reunir todo o contedo de energia do espao. Isso nos
obriga a considerar todas as possveis formas de energia ou seja, matria, energia radiante, energia elstica, etc., no tensor energia-momentum. No entanto,
Cosmologia - Da origem ao fim do universo 279
este tensor no inclui a energia gravitacional. Lembre-se que ela a responsvel pela curvatura do espao-tempo e, portanto, est sendo considerada no
lado esquerdo da equao de Einstein.
A expresso do tensor energia-momentum dada pela teoria da relatividade especial. Para isso, imaginamos que o universo est preenchido por um
fluido de partculas. Cada uma dessa partculas um aglomerado de galxias.
Para tratarmos com um problema to complicado necessrio fazer algumas simplificaes. No caso do tensor de energia-momentum vamos supor
que as partculas que compem esse fluido no interagem. Isso quer dizer que
no h colises entre elas, o que simplifica enormemente nosso trabalho. A um
fluido com essa caracterstica damos o nome de fluido perfeito.
Cada uma dessas partculas desloca-se no espao ao longo do tempo com
uma velocidade caracterstica. Como estamos trabalhando no espao-tempo
descrito por quatro dimenses, nossa velocidade tambm ser uma grandeza
quadri-dimensional que representaremos por u. claro que o ndice varia
de 0 a 3 pois estamos tratando com um espao quadri-dimensional. Novamente, chama-se a ateno para o fato de que apenas um ndice e seus valores 0,1,2,3 esto associados s correspondentes coordenadas que estamos
usando. Temos ento um vetor velocidade descrito pelas coordenadas u = (uo,
u1, u2, u3) onde uo a componente da velocidade ao longo do eixo temporal e
u1, u2, u3 so as componentes espaciais da velocidade.
Se estamos pensando no contedo de matria do universo como um fluido,
temos que levar em conta as grandezas que os descrevem. Um fluido possui densidade e ento definimos que o fluido que permeia o Universo tem uma densidade . Note que essa densidade ser medida em cada ponto do espao-tempo. Ela
medida em um sistema de coordenadas tal que, no ponto que est sendo considerado, a matria est em repouso. A isso damos o nome de densidade prpria.
Alm de densidade, um fluido possui presso e essa propriedade tambm
deve aparecer na expresso geral do tensor energia-momentum.
Aps a anlise desses fatos, os fsicos chegaram concluso que se descrevermos o contedo de matria existente no universo por meio de um fluido
perfeito, ou seja, considerando que os aglomerados de galxias so partculas
que no interagem, o tensor energia-momento ser dado por:
T = ( + p/c2) u u - (p/c2) g
Essa a expresso do tensor energia-momentum para um fluido perfeito,
ou melhor, um meio em que qualquer ponto caracterizado por uma presso
escalar p, uma densidade e uma velocidade u. Esse fluido perfeito pode ser,
por exemplo, uma nuvem de poeira, um gs molecular, um gs de ftons, etc.
No nosso caso, cosmologia, as partculas que formam o fluido perfeito so os
aglomerados de galxias. Estamos considerando os aglomerados de galxias
como sendo as molculas de um gs que preenche o espao. Isso no estranho! Lembramos que qualquer aglomerado de galxias muitssimo menor
que o tamanho do universo! Veremos mais tarde que na poca em que as galxias no existiam, quando o universo era muito condensado, ele era preenchido por um gs de ftons, que tambm se comporta como um fluido perfeito.