Métricas Riemannianas e Geodésicas

Uma métrica Riemanniana mede comprimentos e ângulos em uma variedade, e as geodésicas são as curvas que minimizam localmente o comprimento — os análogos das linhas retas em espaços curvos.

Definition

Uma métrica Riemanniana atribui a cada espaço tangente um produto interno positivo-definido que depende suavemente do ponto; uma geodésica é uma curva que minimiza localmente o comprimento, ou equivalentemente, uma cuja velocidade é paralela a si mesma.

Scope

Este tópico define a métrica Riemanniana como um produto interno que varia suavemente em espaços tangentes, as noções resultantes de comprimento de arco, ângulo e volume Riemanniano, e a função distância que torna uma variedade Riemanniana conexa um espaço métrico. Ele desenvolve as geodésicas tanto como curvas que minimizam o comprimento quanto como soluções da equação geodésica, o mapa exponencial e as coordenadas normais, a completude geodésica e o teorema de Hopf-Rinow que relaciona a completude à existência de geodésicas minimizadoras. Isometrias e a caracterização variacional das geodésicas estão incluídas.

Core questions

• Como uma métrica transforma uma variedade suave em um espaço métrico com uma distância bem definida?
• Em que sentido as geodésicas são as curvas mais retas e localmente mais curtas?
• Como o mapa exponencial fornece coordenadas canônicas em torno de um ponto?
• Quando a completude geodésica garante a existência de geodésicas minimizadoras entre quaisquer dois pontos (Hopf-Rinow)?

Key concepts

• Métrica Riemanniana, comprimento de arco e volume
• Função distância Riemanniana e isometrias
• Equação geodésica e minimização do comprimento
• Mapa exponencial e coordenadas normais
• Completude geodésica e o teorema de Hopf-Rinow

Clinical relevance

As geodésicas modelam o movimento de partículas livres e os caminhos da luz na relatividade, caminhos ótimos em espaços de formas e robótica, e as rotas mais curtas em superfícies curvas; a estrutura métrica torna uma variedade um objeto geométrico e de espaço métrico genuíno.

History

Riemann introduziu a métrica em 1854; o estudo variacional das geodésicas amadureceu no final do século XIX e início do século XX, e o teorema de Hopf-Rinow (1931) esclareceu a equivalência da completude métrica e geodésica, completando o quadro fundamental ensinado hoje.

Key figures

• Bernhard Riemann
• Heinz Hopf
• Willi Rinow

Seminal works

• lee1997
• docarmo1992

Frequently asked questions

As geodésicas são sempre os caminhos mais curtos?

Apenas localmente. Uma geodésica minimiza o comprimento entre pontos suficientemente próximos, mas globalmente uma geodésica entre dois pontos distantes pode não ser a mais curta — por exemplo, um arco de círculo máximo que percorre o caminho mais longo em uma esfera.

O que o teorema de Hopf-Rinow garante?

Em uma variedade Riemanniana conexa, a completude geodésica, a completude métrica e a propriedade de que conjuntos fechados e limitados são compactos são todas equivalentes, e qualquer uma delas garante que cada par de pontos é unido por uma geodésica minimizadora.