다르부 정리(Darboux's Theorem)는 미분기하학 및 해석학에서 중요한 정리 중 하나로, 미분형식의 국소적 구조를 설명하는 데 사용된다. 이 정리는 특히 심플렉틱 기하학(Symplectic geometry)의 기초를 이루며, 심플렉틱 형식(Symplectic form)이 국소적으로 표준형으로 쓸 수 있음을 보장한다.
개요
다르부 정리는 프랑스의 수학자 장 고티에 레온 다르부(Jean Gaston Darboux)에 의해 19세기에 제시되었다. 이 정리의 핵심 내용은, 어떤 열린 집합 위에서 정의된 심플렉틱 형식은 그 점 근처에서 특정 좌표계(다르부 좌표계라 불림)를 통해 표준 심플렉틱 형식으로 변환할 수 있다는 것이다. 즉, 임의의 심플렉틱 다양체는 국소적으로 유클리드 공간의 표준 심플렉틱 구조와 동형이다. 이는 리만 기하학에서 메트릭이 국소적으로 유클리드가 되지 않는 것과 대조되며, 심플렉틱 기하학의 독특한 성질을 나타낸다.
어원/유래
정리는 수학자 장 고티에 레온 다르부의 이름을 따서 "다르부 정리(Darboux's Theorem)"라 불린다. 다르부는 1882년에 이 정리를 미분형식 이론의 맥락에서 처음으로 제시하였다. 이후 이는 심플렉틱 기하학, 해밀턴역학, 미분방정식 이론 등 다양한 분야에서 핵심적인 도구로 활용되고 있다.
특징
다르부 정리의 중요한 특징 중 하나는 심플렉틱 다양체에 곡률과 같은 국소적 불변량이 존재하지 않는다는 것이다. 리만 기하에서는 곡률 텐서가 다양체의 국소적 기하를 결정하지만, 심플렉틱 기하에서는 모든 심플렉틱 형식이 국소적으로 동일한 형태를 가지므로, 이러한 불변량이 존재하지 않는다. 이는 심플렉틱 기하학이 리만 기하학보다 더 "유연한(flexible)" 구조를 가진다는 인식으로 이어진다. 정리는 또한, 해밀턴 시스템의 국소적 해석에서 좌표를 표준화하여 문제를 단순화하는 데 유용하게 사용된다.
관련 항목
- 심플렉틱 기하학
- 심플렉틱 형식
- 다르부 좌표계
- 해밀턴 역학
- 미분형식
- 리만 기하학
- 다니엘 카스테르나브레의 정리 (역사적 관련)
정리된 형태의 다르부 정리는 다음과 같다:
만약 $ (M, \omega) $가 $ 2n $-차원 심플렉틱 다양체이고, $ p \in M $이면, $ p $의 근처에서 국소 좌표 $ (q^1, \dots, q^n, p_1, \dots, p_n) $가 존재하여,
$$
\omega = \sum_{i=1}^n dq^i \wedge dp_i
$$
가 성립한다. 이러한 좌표계를 다르부 좌표계(Darboux coordinates)라 한다.