Cálculo tensorial e geometria diferencial
Aprenda a calcular geometria sem confundir coordenadas com estrutura física.
Desenvolva variedades, tensores, métricas, derivadas covariantes, geodésicas, curvatura, formas diferenciais e diagnósticos invariantes como pré-requisito matemático da relatividade geral e da análise de engenharia da métrica.
Antes de começar
- • Cálculo, vetores e equações diferenciais
- • Mecânica lagrangiana
- • Álgebra linear e cálculo de várias variáveis
Ao final, você consegue
- • Transformar vetores, covetores e tensores entre cartas de coordenadas.
- • Calcular conexões de Levi-Civita e geodésicas a partir de uma métrica.
- • Calcular tensores de curvatura e contrações invariantes.
- • Separar efeitos de coordenadas de efeitos geométricos mensuráveis.
Modelo interativo
Explore antes de calcular
Distinga um campo vetorial de um tensor métrico: estas setas mostram aceleração newtoniana fora de massas esféricas. Elas não representam a métrica, a conexão nem a curvatura do espaço-tempo.
A gravidade não tem um «para baixo» universal
Imagine pequenos objetos de teste ao redor das massas. Cada seta mostra a direção em que a gravidade muda o movimento de um objeto, não a trajetória que ele segue.
Fora de uma massa esférica, a gravidade aponta para seu centro em todas as direções.
Todas as setas não nulas têm o mesmo comprimento em 3D: elas mostram apenas a direção. A intensidade aparece nos valores de cada ponto. Uma seta pode parecer mais curta quando aponta para seu ponto de vista ou para longe dele. As setas mais claras estão na metade mais distante da cena; isso não indica uma gravidade mais fraca.
Experimente: onde fica o baixo?
- Escolha uma massa. Preveja para onde apontam as setas do lado mais distante e gire a vista para conferir. Olhe de cima e de baixo: as setas continuam apontando para a massa?
- Escolha duas massas e gire a vista novamente. Cada seta agora combina as duas atrações; não precisa apontar para nenhum dos centros. A massa menor também contribui.
Girar a vista mudou a gravidade ou apenas sua maneira de vê-la?
Confira sua resposta
Só mudou seu ponto de vista. As massas e a atração em cada ponto continuaram iguais. Não existe um fundo embaixo de toda a cena.
Ponto selecionado · Unidades em escala para aprendizagem
x, y e z são coordenadas da cena, não um acima ou abaixo universal.
- Posição (x, y, z)
- 1,25; 0,02604; 0
- Aceleração (x, y, z)
- -2,559; -0,05333; 0
- Intensidade
- 2,56
Massas neste retrato
- A: Massa 4; Raio 0,64; Centro (0; 0; 0)
Valores de todos os pontos
| Ponto | Posição (x, y, z) | Aceleração (x, y, z) | Intensidade |
|---|---|---|---|
| 1 | 1,25; 0,02604; 0 | -2,559; -0,05333; 0 | 2,56 |
| 2 | -1,25; -0,02604; 0 | 2,559; 0,05333; 0 | 2,56 |
| 3 | -0,9199; 0,07813; 0,8427 | 1,884; -0,16; -1,726 | 2,56 |
| 4 | 0,9199; -0,07813; -0,8427 | -1,884; 0,16; 1,726 | 2,56 |
| 5 | 0,1087; 0,1302; -1,238 | -0,2226; -0,2667; 2,536 | 2,56 |
| 6 | -0,1087; -0,1302; 1,238 | 0,2226; 0,2667; -2,536 | 2,56 |
| 7 | 0,7524; 0,1823; 0,9814 | -1,541; -0,3733; -2,01 | 2,56 |
| 8 | -0,7524; -0,1823; -0,9814 | 1,541; 0,3733; 2,01 | 2,56 |
| 9 | -1,209; 0,2344; -0,2139 | 2,476; -0,48; 0,438 | 2,56 |
| 10 | 1,209; -0,2344; 0,2139 | -2,476; 0,48; -0,438 | 2,56 |
| 11 | 1,027; 0,2865; -0,6531 | -2,103; -0,5867; 1,337 | 2,56 |
| 12 | -1,027; -0,2865; 0,6531 | 2,103; 0,5867; -1,337 | 2,56 |
| 13 | -0,3124; 0,3385; 1,162 | 0,6397; -0,6933; -2,38 | 2,56 |
| 14 | 0,3124; -0,3385; -1,162 | -0,6397; 0,6933; 2,38 | 2,56 |
| 15 | -0,5473; 0,3906; -1,054 | 1,121; -0,8; 2,158 | 2,56 |
| 16 | 0,5473; -0,3906; 1,054 | -1,121; 0,8; -2,158 | 2,56 |
| 17 | 1,098; 0,4427; 0,401 | -2,249; -0,9067; -0,8213 | 2,56 |
| 18 | -1,098; -0,4427; -0,401 | 2,249; 0,9067; 0,8213 | 2,56 |
| 19 | -1,061; 0,4948; 0,438 | 2,173; -1,013; -0,897 | 2,56 |
| 20 | 1,061; -0,4948; -0,438 | -2,173; 1,013; 0,897 | 2,56 |
| 21 | 0,4764; 0,5469; -1,018 | -0,9757; -1,12; 2,085 | 2,56 |
| 22 | -0,4764; -0,5469; 1,018 | 0,9757; 1,12; -2,085 | 2,56 |
| 23 | 0,3284; 0,599; 1,047 | -0,6725; -1,227; -2,144 | 2,56 |
| 24 | -0,3284; -0,599; -1,047 | 0,6725; 1,227; 2,144 | 2,56 |
| 25 | -0,9232; 0,651; -0,535 | 1,891; -1,333; 1,096 | 2,56 |
| 26 | 0,9232; -0,651; 0,535 | -1,891; 1,333; -1,096 | 2,56 |
| 27 | 1,009; 0,7031; -0,2219 | -2,067; -1,44; 0,4545 | 2,56 |
| 28 | -1,009; -0,7031; 0,2219 | 2,067; 1,44; -0,4545 | 2,56 |
| 29 | -0,5729; 0,7552; 0,8148 | 1,173; -1,547; -1,669 | 2,56 |
| 30 | 0,5729; -0,7552; -0,8148 | -1,173; 1,547; 1,669 | 2,56 |
| 31 | -0,1226; 0,8073; -0,9464 | 0,2512; -1,653; 1,938 | 2,56 |
| 32 | 0,1226; -0,8073; 0,9464 | -0,2512; 1,653; -1,938 | 2,56 |
| 33 | 0,6941; 0,8594; 0,585 | -1,422; -1,76; -1,198 | 2,56 |
| 34 | -0,6941; -0,8594; -0,585 | 1,422; 1,76; 1,198 | 2,56 |
| 35 | -0,8547; 0,9115; 0,03534 | 1,75; -1,867; -0,07238 | 2,56 |
| 36 | 0,8547; -0,9115; -0,03534 | -1,75; 1,867; 0,07238 | 2,56 |
| 37 | 0,5644; 0,9635; -0,5617 | -1,156; -1,973; 1,15 | 2,56 |
| 38 | -0,5644; -0,9635; 0,5617 | 1,156; 1,973; -1,15 | 2,56 |
| 39 | -0,03366; 1,016; 0,7279 | 0,06894; -2,08; -1,491 | 2,56 |
| 40 | 0,03366; -1,016; -0,7279 | -0,06894; 2,08; 1,491 | 2,56 |
| 41 | -0,4165; 1,068; -0,4991 | 0,8529; -2,187; 1,022 | 2,56 |
| 42 | 0,4165; -1,068; 0,4991 | -0,8529; 2,187; -1,022 | 2,56 |
| 43 | 0,5505; 1,12; 0,07407 | -1,127; -2,293; -0,1517 | 2,56 |
| 44 | -0,5505; -1,12; -0,07407 | 1,127; 2,293; 0,1517 | 2,56 |
| 45 | -0,3571; 1,172; 0,2484 | 0,7313; -2,4; -0,5088 | 2,56 |
| 46 | 0,3571; -1,172; -0,2484 | -0,7313; 2,4; 0,5088 | 2,56 |
| 47 | 0,05571; 1,224; -0,2476 | -0,1141; -2,507; 0,5072 | 2,56 |
| 48 | -0,05571; -1,224; 0,2476 | 0,1141; 2,507; -0,5072 | 2,56 |
| 49 | 2,05; 0,04271; 0 | -0,9516; -0,01983; 0 | 0,9518 |
| 50 | -2,05; -0,04271; 0 | 0,9516; 0,01983; 0 | 0,9518 |
| 51 | -1,509; 0,1281; 1,382 | 0,7005; -0,05949; -0,6417 | 0,9518 |
| 52 | 1,509; -0,1281; -1,382 | -0,7005; 0,05949; 0,6417 | 0,9518 |
| 53 | 0,1782; 0,2135; -2,031 | -0,08276; -0,09915; 0,943 | 0,9518 |
| 54 | -0,1782; -0,2135; 2,031 | 0,08276; 0,09915; -0,943 | 0,9518 |
| 55 | 1,234; 0,299; 1,609 | -0,5729; -0,1388; -0,7473 | 0,9518 |
| 56 | -1,234; -0,299; -1,609 | 0,5729; 0,1388; 0,7473 | 0,9518 |
| 57 | -1,983; 0,3844; -0,3507 | 0,9206; -0,1785; 0,1628 | 0,9518 |
| 58 | 1,983; -0,3844; 0,3507 | -0,9206; 0,1785; -0,1628 | 0,9518 |
| 59 | 1,684; 0,4698; -1,071 | -0,7817; -0,2181; 0,4973 | 0,9518 |
| 60 | -1,684; -0,4698; 1,071 | 0,7817; 0,2181; -0,4973 | 0,9518 |
| 61 | -0,5123; 0,5552; 1,906 | 0,2379; -0,2578; -0,8848 | 0,9518 |
| 62 | 0,5123; -0,5552; -1,906 | -0,2379; 0,2578; 0,8848 | 0,9518 |
| 63 | -0,8975; 0,6406; -1,728 | 0,4167; -0,2974; 0,8024 | 0,9518 |
| 64 | 0,8975; -0,6406; 1,728 | -0,4167; 0,2974; -0,8024 | 0,9518 |
| 65 | 1,801; 0,726; 0,6576 | -0,8361; -0,3371; -0,3053 | 0,9518 |
| 66 | -1,801; -0,726; -0,6576 | 0,8361; 0,3371; 0,3053 | 0,9518 |
| 67 | -1,74; 0,8115; 0,7183 | 0,8079; -0,3768; -0,3335 | 0,9518 |
| 68 | 1,74; -0,8115; -0,7183 | -0,8079; 0,3768; 0,3335 | 0,9518 |
| 69 | 0,7813; 0,8969; -1,67 | -0,3628; -0,4164; 0,7752 | 0,9518 |
| 70 | -0,7813; -0,8969; 1,67 | 0,3628; 0,4164; -0,7752 | 0,9518 |
| 71 | 0,5385; 0,9823; 1,717 | -0,25; -0,4561; -0,7971 | 0,9518 |
| 72 | -0,5385; -0,9823; -1,717 | 0,25; 0,4561; 0,7971 | 0,9518 |
| 73 | -1,514; 1,068; -0,8775 | 0,703; -0,4957; 0,4074 | 0,9518 |
| 74 | 1,514; -1,068; 0,8775 | -0,703; 0,4957; -0,4074 | 0,9518 |
| 75 | 1,655; 1,153; -0,3639 | -0,7686; -0,5354; 0,169 | 0,9518 |
| 76 | -1,655; -1,153; 0,3639 | 0,7686; 0,5354; -0,169 | 0,9518 |
| 77 | -0,9395; 1,239; 1,336 | 0,4362; -0,5751; -0,6205 | 0,9518 |
| 78 | 0,9395; -1,239; -1,336 | -0,4362; 0,5751; 0,6205 | 0,9518 |
| 79 | -0,2011; 1,324; -1,552 | 0,09339; -0,6147; 0,7207 | 0,9518 |
| 80 | 0,2011; -1,324; 1,552 | -0,09339; 0,6147; -0,7207 | 0,9518 |
| 81 | 1,138; 1,409; 0,9594 | -0,5285; -0,6544; -0,4454 | 0,9518 |
| 82 | -1,138; -1,409; -0,9594 | 0,5285; 0,6544; 0,4454 | 0,9518 |
| 83 | -1,402; 1,495; 0,05796 | 0,6508; -0,694; -0,02691 | 0,9518 |
| 84 | 1,402; -1,495; -0,05796 | -0,6508; 0,694; 0,02691 | 0,9518 |
| 85 | 0,9257; 1,58; -0,9212 | -0,4298; -0,7337; 0,4277 | 0,9518 |
| 86 | -0,9257; -1,58; 0,9212 | 0,4298; 0,7337; -0,4277 | 0,9518 |
| 87 | -0,0552; 1,666; 1,194 | 0,02563; -0,7733; -0,5543 | 0,9518 |
| 88 | 0,0552; -1,666; -1,194 | -0,02563; 0,7733; 0,5543 | 0,9518 |
| 89 | -0,683; 1,751; -0,8185 | 0,3171; -0,813; 0,38 | 0,9518 |
| 90 | 0,683; -1,751; 0,8185 | -0,3171; 0,813; -0,38 | 0,9518 |
| 91 | 0,9029; 1,836; 0,1215 | -0,4192; -0,8527; -0,0564 | 0,9518 |
| 92 | -0,9029; -1,836; -0,1215 | 0,4192; 0,8527; 0,0564 | 0,9518 |
| 93 | -0,5856; 1,922; 0,4074 | 0,2719; -0,8923; -0,1892 | 0,9518 |
| 94 | 0,5856; -1,922; -0,4074 | -0,2719; 0,8923; 0,1892 | 0,9518 |
| 95 | 0,09136; 2,007; -0,4061 | -0,04242; -0,932; 0,1886 | 0,9518 |
| 96 | -0,09136; -2,007; 0,4061 | 0,04242; 0,932; -0,1886 | 0,9518 |
Este retrato newtoniano supõe que a massa de cada corpo se distribui da mesma forma em todas as direções a partir do centro. Ele mostra apenas o campo externo, não a curvatura do espaço-tempo. Os corpos ficam fixos; seu movimento não é simulado.
Lição 1 de 3
Cartas, espaços tangentes e tensores
Quais grandezas mudam com as coordenadas, e quais afirmações geométricas sobrevivem a toda carta?
Uma variedade é coordenatizada localmente, mas não é idêntica a nenhuma grade de coordenadas específica. Vetores tangentes agem como derivadas direcionais, covetores agem sobre vetores, e tensores são aplicações multilineares com uma lei de transformação definida.
A métrica é um tensor simétrico e não degenerado de posto dois. Ela converte vetores em covetores, define intervalos e ângulos, e fornece um elemento de volume assim que uma assinatura e uma orientação são escolhidas.
Exemplo resolvido
Transforme a métrica do plano euclidiano de coordenadas cartesianas para polares.
- 1. Escreva x=r cosφ e y=r sinφ.
- 2. Derive para obter dx e dy.
- 3. Substitua em ds²=dx²+dy².
- 4. Reúna os termos em dr², dr dφ e dφ².
ds²=dr²+r²dφ²; a geometria é plana mesmo que as componentes da métrica variem.
Experimente
Auditoria de coordenadas versus curvatura
Materiais: Caderno simbólico ou papel
- 1. Escreva a métrica do plano nas cartas cartesiana e polar.
- 2. Compare as derivadas das componentes.
- 3. Calcule ou consulte a curvatura escalar.
- 4. Explique por que componentes que variam não implicam curvatura.
Repare: Uma grade de coordenadas pode entortar no papel enquanto a curvatura invariante continua zero.
Verifique o que entendeu: Dá para decidir se um espaço é curvo apenas verificando se as componentes da métrica variam?
Resposta: Não.
A variação das componentes pode ser causada pelas coordenadas; a curvatura exige um cálculo invariante, como o tensor de Riemann.
Lição 2 de 3
Conexões, transporte paralelo e geodésicas
Como derivadas podem comparar vetores que vivem em espaços tangentes diferentes?
Uma conexão corrige as derivadas comuns das componentes para que o resultado se transforme tensorialmente. A conexão de Levi-Civita, sem torção e compatível com a métrica, é determinada pela métrica por meio dos símbolos de Christoffel.
Geodésicas transportam paralelamente o próprio vetor tangente. Elas são caminhos localmente extremais para o intervalo sob as condições usuais, mas a aceleração em coordenadas ao longo delas não precisa se anular.
Exemplo resolvido
Encontre os símbolos de Christoffel não nulos do plano em coordenadas polares.
- 1. Use g_rr=1 e g_φφ=r².
- 2. Avalie Γᵃ_bc=½gᵃᵈ(∂_b g_dc+∂_c g_db−∂_d g_bc).
- 3. Só as derivadas radiais de r² sobrevivem.
- 4. Aplique a simetria nos índices inferiores.
Γʳ_φφ=−r e Γᵠ_rφ=Γᵠ_φr=1/r.
Experimente
Geodésicas numa esfera
Materiais: Globo, linha de costura e caderno
- 1. Estique a linha entre dois pontos ao longo de um círculo máximo.
- 2. Compare com uma linha de latitude.
- 3. Escreva a métrica esférica.
- 4. Identifique qual caminho é localmente geodésico.
Repare: Uma geodésica é intrínseca à superfície e não precisa parecer reta num espaço de imersão.
Verifique o que entendeu: Os símbolos de Christoffel são componentes de um tensor?
Resposta: Não.
O termo não homogêneo na transformação deles é justamente o que conserta as derivadas, transformando-as em derivadas covariantes.
Lição 3 de 3
Curvatura, invariantes e formas diferenciais
Que medição distingue curvatura verdadeira de artefatos de coordenadas?
O tensor de Riemann mede o quanto as derivadas covariantes deixam de comutar e a dependência do transporte paralelo em relação ao caminho. As contrações dele dão o tensor de Ricci e a curvatura escalar.
As formas diferenciais empacotam integração, orientação e conservação de forma limpa. A derivação exterior é independente de coordenadas, e o teorema de Stokes unifica gradiente, rotacional, divergente e leis de fronteira.
Exemplo resolvido
Que teste de curvatura distingue coordenadas polares num plano de uma esfera?
- 1. Calcule um invariante de curvatura, em vez de derivadas das componentes.
- 2. Para o plano, R=0.
- 3. Para uma esfera de raio a, a curvatura gaussiana é 1/a².
- 4. Conclua que os espaços são intrinsecamente diferentes.
Singularidades de coordenadas podem ocorrer em espaço plano; invariantes de curvatura não nulos não podem ser eliminados por transformação.
Experimente
Holonomia do transporte paralelo
Materiais: Globo e uma seta recortada
- 1. Leve a seta para o norte ao longo de um meridiano.
- 2. Mova-a ao longo do equador.
- 3. Volte por outro meridiano.
- 4. Compare a orientação final com a inicial.
Repare: A rotação após um circuito fechado registra a curvatura integrada.
Verifique o que entendeu: Por que o escalar de Ricci sozinho não basta para caracterizar toda a curvatura?
Resposta: Tensores de Riemann diferentes podem compartilhar a mesma contração escalar.
Um único escalar descarta informação direcional e de maré.
Da fórmula ao significado
Leia a equação em linguagem comum.
ds²=g_μν dx^μdx^ν
A métrica transforma deslocamentos de coordenada num intervalo invariante.
Γ^ρ_μν=½g^ρσ(∂_μg_σν+∂_νg_σμ−∂_σg_μν)
A conexão de Levi-Civita é construída a partir das primeiras derivadas da métrica.
R^ρ_σμν=∂_μΓ^ρ_νσ−∂_νΓ^ρ_μσ+Γ^ρ_μλΓ^λ_νσ−Γ^ρ_νλΓ^λ_μσ
A curvatura registra a não comutatividade do transporte covariante.
Prática independente
Lista de problemas
Resolva cada problema antes de abrir a dica e a solução.
1. Calcule a inversa e o determinante de diag(−1,a²,b²,c²).
Ver a dica
Inverta cada elemento diagonal e multiplique a diagonal para obter o determinante.
Ver a solução
g^{μν}=diag(−1,a⁻²,b⁻²,c⁻²), det g=−a²b²c².
2. Mostre que uma métrica constante em coordenadas cartesianas tem conexão de Levi-Civita nula.
Ver a dica
Todo termo de Γ contém uma derivada da métrica.
Ver a solução
Todos os termos ∂g se anulam, então Γ^ρ_μν=0 naquela carta.
3. Uma esfera bidimensional tem R=2/a². O que acontece quando a→∞?
Ver a dica
Pense no limite local de raio grande.
Ver a solução
R→0; um trecho suficientemente pequeno se aproxima de um plano.
Estúdio de derivação
Construa o resultado, linha por linha.
Mantenha as suposições à vista para que a matemática continue auditável.
Ponto de partida
A equação da geodésica a partir do intervalo estacionário
S=½∫g_μν ẋ^μẋ^ν dλ
- 1. Trate o integrando como uma lagrangiana.
- 2. Calcule as derivadas em relação a ẋ^ρ e a x^ρ.
- 3. Aplique a equação de Euler–Lagrange.
- 4. Levante um índice e reconheça a combinação de Christoffel.
ẍ^ρ+Γ^ρ_μνẋ^μẋ^ν=0
O movimento livre é reto no sentido covariante, mesmo quando as componentes em coordenadas aceleram.
Ponto de partida
Curvatura a partir de um comutador
[∇_μ,∇_ν]V^ρ
- 1. Expanda as duas derivadas covariantes.
- 2. Cancele as derivadas parciais segundas.
- 3. Reúna as derivadas de Γ e os termos quadráticos em Γ.
- 4. Ponha as componentes do vetor em evidência.
[∇_μ,∇_ν]V^ρ=R^ρ_σμνV^σ
A curvatura é um obstáculo operacional à comparação de vetores independente do caminho.
Caderno computacional
Transforme o modelo em um experimento.
Laboratório de geodésicas e curvatura
Como as trajetórias em coordenadas e a curvatura invariante mudam entre um plano, uma esfera e uma sela?
Entradas
- • Componentes da métrica para três superfícies bidimensionais
- • Posição e vetor tangente iniciais
- • Passo de integração e intervalo afim
Algoritmo
- 1. Calcule Γ a partir de cada métrica.
- 2. Integre a equação da geodésica.
- 3. Avalie a curvatura escalar.
- 4. Compare as trajetórias em cada carta com os diagnósticos invariantes.
Evidência a produzir
- • Gráficos de geodésicas em cada carta
- • Tabela de curvatura
- • Uma explicação de artefato de coordenadas versus geometria
Estúdio de leitura de artigos
Interrogue a fonte, não a reputação dela.
Reconstrua as suposições, reproduza um cálculo e pare na fronteira da evidência relatada.
Reconstrua uma afirmação sobre uma métrica
A fonte estabelece uma geometria nova, uma descrição de coordenadas, ou apenas um ansatz proposto?
- 1. Copie a métrica e declare a assinatura e as coordenadas.
- 2. Liste as simetrias e as condições de contorno.
- 3. Calcule pelo menos um invariante.
- 4. Rastreie cada interpretação física até um tensor ou um observável.
Cálculo a reproduzir: Reproduza a métrica inversa, o determinante, um coeficiente de conexão e um invariante de curvatura.
Fronteira da evidência: Uma métrica matematicamente consistente não é evidência de que o tensor energia-momento exigido exista ou possa ser construído.
Siga para a evidência
Próxima leitura, com as fontes
Aula 1: O que é uma métrica?
A ponte conceitual das coordenadas até a medição invariante.
Capítulo 4: Tensor métrico, motores de dobra e buracos de minhoca
Aplique as ferramentas geométricas a métricas padrão e propostas preservando as fronteiras de evidência.
Aula 5: Buracos de minhoca de Morris–Thorne
Uma geometria trabalhada com as condições explícitas de garganta e de abertura.