리만 계량 및 측지선

리만 계량은 다양체(manifold)에서 길이와 각도를 측정하며, 측지선은 길이를 국소적으로 최소화하는 곡선으로, 휘어진 공간에서의 직선에 해당합니다.

Definition

리만 계량은 각 접공간에 점에 따라 매끄럽게 변하는 양의 정부호 내적(positive-definite inner product)을 할당합니다. 측지선은 길이를 국소적으로 최소화하는 곡선으로, 이는 자신의 속도 벡터가 자신을 따라 평행하게 유지되는 곡선과 동등합니다.

Scope

이 주제는 접공간(tangent space)에서 매끄럽게 변하는 내적(inner product)으로서의 리만 계량, 그 결과로 파생되는 호의 길이(arc length), 각도, 리만 부피(Riemannian volume)의 개념, 그리고 연결된 리만 다양체를 거리 공간(metric space)으로 만드는 거리 함수(distance function)를 정의합니다. 또한, 길이를 최소화하는 곡선이자 측지선 방정식(geodesic equation)의 해로서의 측지선, 지수 사상(exponential map)과 정규 좌표(normal coordinates), 측지적 완비성(geodesic completeness), 그리고 완비성과 최소화 측지선의 존재를 연결하는 호프-리노프 정리(Hopf-Rinow theorem)를 다룹니다. 등거리 사상(isometry)과 측지선의 변분적 특성화(variational characterization)도 포함됩니다.

Core questions

• 계량은 어떻게 매끄러운 다양체를 잘 정의된 거리를 가진 거리 공간으로 변환합니까?
• 측지선은 어떤 의미에서 가장 곧고 국소적으로 가장 짧은 곡선입니까?
• 지수 사상은 어떻게 한 점 주위에 표준 좌표를 제공합니까?
• 측지적 완비성은 언제 임의의 두 점 사이에 최소화 측지선을 보장합니까(호프-리노프 정리)?

Key concepts

• 리만 계량, 호의 길이 및 부피
• 리만 거리 함수 및 등거리 사상
• 측지선 방정식 및 길이 최소화
• 지수 사상 및 정규 좌표
• 측지적 완비성 및 호프-리노프 정리

Clinical relevance

측지선은 상대성 이론에서 자유 입자의 운동과 빛의 경로, 형상 공간(shape space) 및 로봇 공학에서의 최적 경로, 그리고 곡면에서의 최단 경로를 모델링합니다. 계량 구조는 다양체를 진정한 기하학적 및 거리 공간 객체로 만듭니다.

History

리만은 1854년에 계량을 도입했습니다. 측지선에 대한 변분 연구는 19세기 후반과 20세기 초반에 발전했으며, 호프-리노프 정리(1931)는 계량적 완비성(metric completeness)과 측지적 완비성의 동등성을 명확히 하여 오늘날 가르치는 기초적인 그림을 완성했습니다.

Key figures

• Bernhard Riemann
• Heinz Hopf
• Willi Rinow

Seminal works

• lee1997
• docarmo1992

Frequently asked questions

측지선은 항상 최단 경로입니까?

국소적으로만 그렇습니다. 측지선은 충분히 가까운 점들 사이의 길이를 최소화하지만, 전역적으로는 멀리 떨어진 두 점 사이의 측지선이 최단 경로가 아닐 수 있습니다. 예를 들어, 구의 긴 경로를 따라가는 대원(great-circle) 호가 있습니다.

호프-리노프 정리는 무엇을 보장합니까?

연결된 리만 다양체에서 측지적 완비성, 계량적 완비성, 그리고 닫힌 유계 집합(closed bounded set)이 콤팩트(compact)하다는 속성은 모두 동등하며, 이들 중 어느 하나라도 모든 점 쌍이 최소화 측지선으로 연결됨을 보장합니다.