정의
리만 다양체 $(M,g)$에서, 각 점 $p \in M$와 접공간 $T_pM$의 원소 $v$에 대해, $p$를 시작점으로 하고 초기 속도가 $v$인 정규화된 지오데시 (geodesic) $\gamma_v:[0,\varepsilon) \to M$가 존재한다면, $\varepsilon>0$에 대해
$$
\exp_p(v)=\gamma_v(1)
$$
가 정의된다. 이렇게 정의된 $\exp_p: T_pM \supset U \to M$를 지수 사상이라 한다. 여기서 $U$는 $0$을 포함하는 충분히 작은 열린 이웃집합이다.
주요 성질
| 성질 | 설명 |
|---|---|
| 지역 미분동형 | $\exp_p$는 $0 \in T_pM$ 근방에서 미분가능하고, 그 미분은 항등선형사상이다. 따라서 충분히 작은 이웃 $U$에서는 $\exp_p$가 미분동형(diffeomorphism)이다. |
| 거리와 길이 | $\exp_p$는 접공간에서 원점까지의 거리 $|v|$와 $\gamma_v$의 길이가 일치하도록 매핑한다. 특히 $|v|$가 충분히 작을 때 $\exp_p(v)$와 $p$ 사이의 거리는 $|v|$와 같다. |
| 정방향성 | $\exp_p(tv)=\gamma_v(t)$ for $t$ in the domain of $\gamma_v$. 즉, 스칼라 배를 통해 파라미터 구간을 확장하면 같은 지오데시를 따라 이동한다. |
| 정역사상과의 관계 | $\exp_p$의 역함수는 정역사상(logarithm map)이라고도 하며, $\log_p: M \supset V \to T_pM$ 로 정의된다. $\exp_p$와 $\log_p$는 서로 국소적으로 역함수 관계에 있다. |
| 다양체 전역 구조와의 연관 | 완비 리만 다양체에서는 $\exp_p$가 전역적으로 정의될 수 있다(즉, 모든 $v\in T_pM$에 대해 $\gamma_v$가 무한히 연장된다). 그러나 일반적인 리만 다양체에서는 절단점(cut locus)이나 공변곡률에 의해 정의 영역이 제한된다. |
대표적 사용 예
- 정규좌표계 구성: $\exp_p$를 이용해 $p$ 주변을 좌표화하는 정규좌표계(normal coordinates) 를 만든다. 이는 $\Gamma^k_{ij}(p)=0$ (크리스토펠 기호가 원점에서 사라짐)인 좌표계이며, 곡률 텐서의 전개에 유용하다.
- 거리 함수와 볼록성: 리만 거리 함수 $d(p,q)$는 $\exp_p$를 통해 $|v|=d(p,\exp_p(v))$ 로 표현될 수 있다. 이 관계는 볼록성 및 비교 정리(예: 헬리 데스 정리)에서 핵심 역할을 한다.
- 정칙성(Injectivity) 반경: $\exp_p$가 전역적으로 일대일인 최대 반경을 정칙성 반경(injectivity radius)라고 한다. 이는 위상학적, 기하학적 연구에서 중요하다.
- 거리 측정 및 최단 경로: 최단 경로(geodesic) 문제와 변분 원리에서 $\exp_p$는 초기값 문제를 해결하는데 사용된다.
역사적 배경
지수 사상 개념은 19세기 말~20세기 초, 리만 기하학과 미분기하학이 체계화되면서 등장하였다. 베른하르트 리만(Bernhard Riemann)은 곡률과 거리 개념을 도입했고, 이후 카를 그레베와 에두아르 힐베르트가 정규좌표와 지오데시 방정식의 해석을 정립하면서 현재의 형태가 확립되었다. 현대 미분기하학에서는 지수 사상이 곡률, 평균 곡률, 영역 비교 정리 등 다양한 정리의 핵심 도구로 활용된다.
관련 개념
- 정규 좌표계 (Normal Coordinates)
- 정역사상 (Logarithm Map)
- 정칙성 반경 (Injectivity Radius)
- 절단점 (Cut Locus)
- 트리시그스 변형 (Jacobi Fields)
참고 문헌
- M. do Carmo, Riemannian Geometry, Birkhäuser, 1992.
- J. M. Lee, Riemannian Manifolds: An Introduction to Curvature, Springer, 1997.
- S. Gallot, D. Hulin, J. Lafontaine, Riemannian Geometry, Springer, 2004.
위 내용은 리만 기하학에서 널리 인정받는 정의와 성질을 기반으로 작성하였다.
