O conceito de espao-tempo

Definimos espao-tempo (sempre escrito dessa maneira, com as duas palavras ligadas por um hifen) 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 mostra que o conceito de espao e tempo como uma entidade nica ou seja, espaotempo, permitia um melhor entendimento dos fenmenos relativsticos. importante notar que na teoria da relatividade restrita assim como na teoria da relatividade geral a descrio do espao e do tempo por meio de uma nica estrutura, o espao-tempo, absolutamente fundamental. No possvel separar espao e tempo quando analisamos fenmenos fsicos nessas teorias, como faziamos na teoria Galileana e Newtoniana, e um descuido pode nos levar a interpretaes absolutamente erradas. Poderiamos perguntar de que modo podemos unificar grandezas com propriedades to distintas. Sabemos que tempo medido em segundos, horas, etc enquanto que espao ou seja, comprimento, medido em metros, quilmetros, etc. Como fazer essa unio matemticamente? Isso feito multiplicando-se o termo associado ao tempo pela velocidade da luz, o que d uma medida de espao uma vez que espao = velocidade x tempo. Para a fsica, o espao-tempo a arena onde todos os eventos fsicos acontecem. No entanto, cabe ressaltar que existem vrios tipos de espaos-tempo e fenmenos diferentes podem ocorrem em diferentes espaostempo. Tanto a teoria da relatividade restrita como a teoria da relatividade geral trabalham com um espao-tempo que possui quatro dimenses, trs espaciais e uma temporal. Por que assim e no, por exemplo, duas dimenses espaciais e duas temporais? Ocorre que a nossa percepo exige que tenhamos trs dimenses espaciais para descrever a posio de um corpo no espao. O tipo de coordenadas usadas no importa, elas podem ser cartesianas, esfricas, cilndricas, ou qualquer outra, mas o nmero mnimo de dimenses espaciais sempre trs. Quanto ao fato de considerarmos apenas uma dimenso temporal isso tambm se deve ao fato de que para descrevermos as equaes da dinmica ou seja, da evoluo temporal dos sistemas fsicos, precisamos de um nico tempo. No h qualquer processo fsico que exija a definio de uma outra varivel semelhante ao tempo para que possamos descrever a evoluo de um sistema qualquer. Cabe aqui ressaltar que o problema do nmero verdadeiro de dimenses no nosso Universo ainda um assunto sob discusso. Existem teorias que nos falam de cinco dimenses (teorias de Kaluza-Klein), assim como teorias que nos falam de at mesmo 26 dimenses. No entanto, em todas essas teorias o nmero de dimenses superiores a quatro esto "enroladas" de tal modo que no as percebemos. Essas dimenses extras pertencem apenas s estruturas subatmicas existente mas so muito importantes quando tratamos dos estgios iniciais do Universo (veremos esse assunto mais tarde).

A confuso sobre a "quarta dimenso" claro que um conceito to revolucionrio como a introduo de quatro dimenses para descrever os fenmenos fsicos relativsticos logo despertou a curiosidade do mundo cientfico e dos msticos de planto. Como sempre acontece, algumas pessoas, embora sem entender possivelmente uma nica linha dos trabalhos de Einstein e das propostas de Minkowski sobre um assunto to tcnico, imediatamente se adiantaram e passaram a "explicar" os chamados "fenmenos sobrenaturais" usando o conceito de "quarta dimenso". Era fcil justificar "fantasmas" ou qualquer outra coisa do gnero alegando que estes pertenciam a uma quarta dimenso e que a teoria da relatividade nada mais era do que a comprovao matemtica de que esses fenmenos realmente existiam. O termo "quarta dimenso" foi introduzido pelo escritor ingls de fico cientfica H. G. Well em 1895 na sua novela "A Mquina do Tempo". Sem querem entrar no mrito da existncia ou no de fantasmas, almas do outro mundo, mula sem cabea, ou qualquer outra coisa, bom ficar bem claro que a formulao da teoria da relatividade, restrita ou geral, em quatro dimenses apenas um belssimo artifcio matemtico usado para melhor explicar fenmenos relativsticos. Talvez voc no saiba mas outras teorias fsicas descrevem seus fenmenos em espaos com mais de trs dimenses. Por exemplo, a teoria que trata do movimento de fluidos, chamada teoria cintica dos gases, trabalha nos chamados espaos de fase que possuem seis dimenses. Como dito acima a teoria de Kaluza-Klein (que veremos em um prximo mdulo) descreve o universo em cinco dimenses. As novas teorias de superstrings precisam de mais de 11 dimenses para descrever sua estrutura matemtica. E nenhuma delas traz espritos do outro mundo para o nosso. O que elas nos trazem uma belssima, mas muito difcil, matemtica para a mesa de trabalho. Para aqueles que acreditam nos chamados "fenmenos paranormais" certamente no ser o estudo da teoria da relatividade que ir comprovar qualquer coisa nessa rea. melhor deixar a teoria relativstica quieta no seu canto, tratando apenas dos fenmenos ou com velocidades prximas da luz ou em espaos-tempo com curvatura, pois incomod-la com assuntos no cientficos certamente provocar a ira dos fantasmas de Einstein, Poincar, Minkowski, etc. E esses fantasmas so muito poderosos! Os elementos bsicos do espao-tempo Os elementos bsicos do espao-tempo so os eventos. Um evento qualquer fenmeno que ocorre no espao-tempo. Tanto o fato de voc arranjar uma namorada (aps tanto tempo de insistencia!) ou uma estrela explodir em uma galxia distante so tratados como simples eventos no espao-tempo. Em qualquer dado espao-tempo um evento ocorre em uma posio nica e em um instante de tempo nico.

Um evento marca um ponto no espao-tempo. Se o processo fsico descrito por esse evento evolui ao longo do tempo ele ser representado sob a forma de uma linha no espao-tempo onde cada um de seus pontos representa a evoluo temporal do evento ou seja, uma seqncia de posies e instantes de tempo que mostram como uma dada situao fsica evoluiu. A essa linha damos o nome de linha do universo do

processo fsico. Por exemplo, voc est parado no ponto do nibus (um evento), segundos depois voc faz sinal para um nibus (outro evento), voc entra no nibus (outro evento), o nibus bate (outro evento), etc. Todos esses eventos formam uma nica linha do universo que descreve a evoluo temporal dessa parte do seu dia. Cada ento descreve uma linha de universo diferente.

Embora o espao-tempo seja independente de cada observador para descrever um determinado fenmeno fsico que ocorre em um dado instante de tempo e em uma dada regio do espao cada observador precisa escolher um sistemas de coordenadas conveniente. Isso bastante lgico pois cada evento descrito por quatro coordenadas, trs espaciais e uma temporal. Para estudar as propriedades do espao-tempo precisamos definir outras de suas propriedades. Para simplificar, vamos considerar em primeiro lugar uma geometria Euclidiana ou seja, um espao-tempo plano. J vimos que um espao-tempo plano descrito pelo elemento de linha de Minkowski. Vamos analis-lo pois a partir dele podemos obter informaes muito importante que podem ser generalizadas para qualquer espao-tempo. A mtrica, ou elemento de linha, do espao-tempo de Minkowski escrita como ds2 = dx02 - dx12 - dx22 - dx32 Nesse elemento de linha sabemos que dx0 representa o produto cdt assim como dx 1 = dx, dx2 = dy e dx3 = dz. Dai podemos escrever o elemento de linha de Minkowski como ds2 = c2dt2 - dx2 - dy2 - dz2 Vamos considerar inicialmente o caso em que c2dt2 > (dx2 + dy2 + dz2). Isso significa que ds2 vai ter um valor positivo ou seja ds2 > 0. Como a parte que envolve tempo, que chamaremos aqui de "parte temporal", maior do que a "parte espacial" dizemos que o elemento de linha do tipo-tempo. Vimos anteriormente que, num espao tri-dimensional (dx2 + dy2 + dz2) corresponde ao comprimento de um vetor x qualquer. Podemos ento escrever que c2dt2 > dx2, onde dx2 representa dx 2 + dy2 + dz2. Consequentemente c > dx/dt. Como dx/dt nos diz de que modo a coordenada espacial varia no tempo isso representa velocidade (lembre que espao = velocidade x tempo e ento espao/tempo = velocidade). Dai, para um intervalo tipo-tempo, c > v. Esse importante resultado nos diz que a regio do espao-tempo onde o elemento de linha tipo-tempo a velocidade da luz, c, maior do que a qualquer outro objeto fsico. Considere agora o caso em que c2dt2 < (dx2 + dy2 + dz2). Isso significa que ds2 vai ter um valor negativo ou seja ds2 < 0. Como a parte que envolve coordenadas espaciais, a "parte espacial", maior do que a "parte

temporal" dizemos que o elemento de linha do tipo-espao. Considerando o que foi dito no caso anterior, temos que c2dt 2 < dx2. Consequentemente c < dx/dt. Dai, para um intervalo tipo-espao, c < v. Esse importante resultado nos diz que a regio do espao-tempo onde o elemento de linha tipo-espao a velocidade da luz, c, menor do que a qualquer outro corpo material. Isso viola um dos princpios da teoria da relatividade espacial. Finalmente vamos considerar o caso em que c2dt2 = (dx2 + dy2 + dz2). Isso significa que ds2 vai ter um valor igual a zero ou seja ds2 = 0. Nesse caso c2dt2 = dx2 e ento c = dx/dt. Como conseqncia c = v e isso nos diz que essa situao representa todos os corpos que se movem com a velocidade da luz. A esse tipo de intervalo damos o nome de tipo-luz ou nulo. Vemos, portanto, que o espao-tempo possui trs regies com caractersticas bem distintas. Seria possvel mostrar isso em um diagrama? O espao-tempo possui quatro dimenses. Sabemos que impossvel traar uma figura com quatro dimenses. O que fazer? Se queremos representar o elemento de linha de Minkowski graficamente precisamos reduzir o problema de modo a obter uma figura em trs dimenses. Para isso consideraremos apenas duas dimenses espaciais e a dimenso temporal, uma vez que queremos ver a evoluo dos fenmenos fsicos. A mtrica de Minkowski ento escrita como ds2 = c2dt2 - dx2 - dy2 Para continuarmos preciso lembrar um pouco de geometria. Essa parte da matemtica nos diz que a forma geral da equao de uma hiprbole 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 x2 e y2 na equao geral da hiprbole mostrada acima.

Sempre que, numa das formas tpicas da equao de uma hiprbole substituirmos o termo constante por zero a nova equao nos mostrar que a figura vai se reduzir a um par de retas. Essas retas so chamadas de assntotas da hiprbole. Assim, as assntotas da hiprbole bx - ay = ab so as retas bx - ay = 0, ou seja bx + ay = 0 bx - ay = 0

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 enquanto 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 acima. 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 ds2 = c2dt2 - dx2

imediatamente identificamos essa equao com a de uma hiprbole. Fazendo c = 1 isso fica ainda mais claro ds2 = dt2 - dx2 Essa a equao de uma hiprbole plana equiltera (uma vez que a = b). Suas assntotas so duas retas perpendiculares dadas por dt - dx = 0 dt + dx = 0 Como representamos isso no plano? A figura abaixo nos mostra:

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:

x2/a2 y2/b2 z2/c2 = 1

onde a, b e c so constantes. Quando dois sinais dessa equao so positivos e um deles negativo a figura chamada de hiperbolide de uma folha.

Quando apenas um dos sinais positivo a figura um hiperbolide de duas folhas.

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.

Cada evento define um cone de luz no espao-tempo. 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.

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 tipoespao. 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 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. Voc no pode ganhar na loteria e depois ento jogar. O princpio da causalidade exige que a causa (jogar) seja realizada antes do efeito (ganhar). 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 tipotempo. 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 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 acima. 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 as informaes emitidas por A, por exemplo, atingem B instantaneamente 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. 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 as matemtica envolvida nesse estudo muito complexa e difcil de tratar, exceto quando essas simetrias aparecem. por essa razo que comumente vemos a considerao de espao-tempo com simetria axial (um cilindro por exemplo) e 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. No espao-tempo esttico as componentes do tensor mtrico 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. Por que o espao-tempo possui essas caractersticas? Uma questo que sempre surge porque o espao-tempo teria as caractersticas que descrevemos : trs dimenses espaciais bidirecionais e uma dimenso temporal unidirecional. Por que no poderia ser "um pouco diferente disso"? Falamos muito ligeiramente sobre isso anteriormente mas vamos discutir esses pontos com um pouco mais de detalhes agora. A resposta mais simples a essas questes seria declarar que isso aconteceu por acaso ou que isso uma pergunta que no tem significado nem fsico nem matemtico. Ocorre que alguns cientistas se preocuparam em anlisar com detalhes essas dificlimas questes e chegaram concluso de que, ao contrrio do que afirmamos acima, nenhumas das duas sugestes de respostas est correta. Eles mostraram que todos os outros possveis nmeros de dimenses tanto temporais como espaciais conduzem a uma ou mais das seguintes situaes problemticas:

o passado no determina o futuro. Isso quer dizer que as leis da fsica so impossveis e os fenmenos naturais imprevisveis. Isso ocorre em todos os casos onde tanto o nmero de dimenses espaciais como de temporais superior a dois. a gravitao no produz rbitas estveis e o eletromagnetismo no produz tomos e molculas estveis. Os prtons e os eltrons tm meias-vidas curtas. 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 excesses, todos os casos com mais de uma dimenso temporal so instveis ou imprevisveis. Uma excesso no permite complexidade. A outra excesso, 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.

Parece que complexidade, vida e processamento de informao somente so possveis em um universo sujeito ao espao-tempo que definimos ou seja, com trs dimenses espaciais e uma dimenso temporal. Esse fato um exemplo de raciocnio antrpico. Teorias que propem que o universo tem mais de trs dimenses espaciais, tais como a teoria de Kaluza-Klein ou a teoria de cordas, no aniquilam o estado privilegiado do espao-tempo, porque as dimenses espaciais acima de tr6es somente importam para comprimentos da ordem do dimetro de partculas subatmicas. Immanuel Kant imaginou que o espao tem trs dimenses porque a lei da gravitao universal entre dois objetos proporcional ao inverso do quadrado da distncia que os separa. O argumento de Kant historicamente importante mas pe o carro na frente dos bois. A lei da gravitao resulta da dimensionalidade do espao. De modo mais geral, em um espao com N dimenses, a intensidade da atrao gravitacional entre dois corpos separados por uma distncia d porporcional a d N-1. Paul Ehrenfest mostrou em 1917 (Annalen der Physik, 61, 440) que se o nmero de dimenses espaciais superior a trs, a rbitas de um planeta qualquer em torno de sua estrela no pode permanecer estvel. O mesmo ocorre para a rbita da estrela em torno do centro da galxia qual a estrela pertence. Do mesmo modo eltrons no podem ter rbitas estveis em torno de um ncleo: eles ou caem na direo do ncleo ou se dispersam. Ehrenfest tambm notou que se o espao tem um nmero par de dimenses ento as partes diferentes de um impulso de onda se deslocaro a velocidades diferentes. Se o nmero de dimenses mpar e maior do que trs, os impulsos de onda se tornaro destorcidos. Somente com trs dimenses ambos os problemas so evitados. Tegmak em 1977 (Classical and Quantum Gravity, 14, L69-L75) fez o seguinte argumento antrpico. Se o nmero de dimenses temporais diferisse de 1, o comportamento dos sistemas fsicos no poderia ser previsto com confiana a partir do conhecimento das equqes diferenciais parciais relevantes. Em tal universo vida inteligente capaz de manipular tecnologia no poderia surgir. Se o espao tivesse mais do que trs dimenses, os tomos tais como ns os conhecemos (e, provavelmente, tambm estruturas mais complexas) no poderiam existir. Se o espao tivesse menos do que trs dimenses a gravitao de qualquer tipo se tornaria problemtica e o universo seria simples demais para conter observadores. Um outro ponto importante o fato de que existem afirmaes geomtricas cuja verdade ou falsidade conhecida para qualquer nmero de dimenses espaciais exceto trs. Curiosamente o espao tri-dimensional parece ser o mais rico matematicamente. Os leitores interessados em ler mais sobre esse assunto devem procurar os dois livros abaixo:

John D. Barrow e Frank J. Tipler The Anthropic Cosmological Principle (1986) John D. Barrow The Constants of Nature (2002)