정의
가우스-보네 정리(英: Gauss–Bonnet theorem)는 2차원 리만 다양체(보통은 곡면) $M$ 의 전체 가우스 곡률 $\int_M K,dA$와 그 위상적 불변량인 오일러 특성수 $\chi(M)$ 사이의 관계를 나타내는 정리이다. 가장 기본적인 형태는
$$ \int_M K,dA = 2\pi,\chi(M) $$
이며, 여기서 $K$는 점별 가우스 곡률, $dA$는 면적 요소이다. 경계가 있는 경우에는 경계 곡선의 외측각(geodesic curvature) 항이 추가된 확장식이 사용된다.
개요
가우스-보네 정리는 미분기하학과 위상수학을 연결하는 핵심 결과로, 곡면의 기하학적 성질(곡률)과 전역적인 위상학적 성질(오일러 특성수)을 동일 선상에 놓는다. 정리는 다음과 같은 두 형태로 구분된다.
- 전역형(Global Form) : 위의 기본 식으로, 경계가 없는 폐곡면에 적용된다.
- 국소형(Local Form) 혹은 경계형(Boundary Form) : 경계 $\partial M$를 갖는 경우,
$$ \int_M K,dA + \int_{\partial M} k_g,ds = 2\pi,\chi(M) $$
가 성립한다. 여기서 $k_g$는 경계의 측지곡률(geodesic curvature), $ds$는 경계의 아크 길이이다.
정리는 19세기 초 카를 프리드리히 가우스가 ‘에우클리드 기하학의 일반화’라는 맥락에서 곡률과 각의 합을 연구하면서 부분적으로 제시했으며, 이후 피에르 오시앙 보네가 1848년에 완전한 형태로 정리했다.
어원/유래
- 가우스(Gauss) – 독일의 수학자·물리학자 카를 프리드리히 가우스(1777–1855)는 곡률과 기하학에 대한 기초적인 연구를 수행하였다.
- 보네(Bonnet) – 프랑스의 수학자 피에르 오시앙 보네(1819–1892)는 가우스가 제시한 초기 결과를 확장·정형화하여 현재 알려진 형태로 완성하였다.
따라서 “가우스-보네 정리”라는 명칭은 두 학자의 이름을 따서 붙여진 것이며, 영어에서는 “Gauss–Bonnet theorem”으로 표기한다.
특징
| 구분 | 내용 |
|---|---|
| 차원 | 2차원 리만 다양체(곡면)에서 적용되며, 고차원 일반화는 가우스-보네‑처니 정리(Gauss–Bonnet–Chern theorem)로 알려져 있다. |
| 전역‑국소 연결 | 곡률이라는 국소적인 기하학적 양을 적분함으로써 전역적인 위상학적 불변량과 연결한다. |
| 경계 포함 | 경계가 있는 경우, 경계의 측지곡률 항이 추가되어 일반화된 식이 성립한다. |
| 응용 분야 | 리만 기하학, 대수기하학, 물리학(특히 일반 상대성 이론의 토폴로지적 해석), 컴퓨터 그래픽스(곡면 메쉬의 위상 검사) 등에서 활용된다. |
| 확장 | 고차원 다변량에 대한 일반화는 차동 형식과 특성 클래스 이론을 이용한 가우스-보네‑처니 정리로 확장된다. |
관련 항목
- 가우스 곡률
- 오일러 특성수
- 측지곡률(Geodesic curvature)
- 가우스-보네‑처니 정리 (Gauss–Bonnet–Chern theorem)
- 리만 다양체
- 미분기하학
- 위상수학
- 일반 상대성 이론(곡률과 위상)
※ 본 항목은 위키백과와 같은 공신력 있는 참고문헌을 기반으로 작성되었으며, 현재까지 학계에서 인정받는 내용에 한정한다.