가우스–보네 정리

개요 — 동기·문제의식

빼어난 정리은 가우스 곡률 $K$가 국소적으로 내재적임을 보였다 — 각 점에서 $K$는 그 점 근처의 측정만으로 결정된다. 그런데 곡면 전체에 걸쳐 $K$를 적분하면 무슨 일이 일어날까? 놀랍게도, 그 적분은 곡면이 정확히 어떻게 휘었는지(기하학적 세부사항)와는 완전히 무관하게, 오직 곡면에 구멍이 몇 개 있는지(위상학적 사실)만으로 결정된다. 가우스-보네 정리는 이 국소-전역 도약을 완성하는 정리이며, 기하학(휘어짐, 거리와 각도)과 위상학(연결성, 구멍의 개수)이라는 겉보기에 무관한 두 세계를 잇는 20세기 수학의 원형이다.

직관 (기하)

찰흙으로 만든 구를 마음대로 찌그러뜨린다고 상상하자 — 어떤 곳은 뾰족하게, 어떤 곳은 움푹하게. 각 점의 가우스 곡률 $K$는 국소적으로 완전히 달라지지만(뾰족한 곳은 $K$가 크고, 안장처럼 눌린 곳은 $K<0$일 수도 있다), 곡면 전체에 걸쳐 $K$를 적분한 값 $\iint K\,dA$는 절대 변하지 않는다 — 항상 정확히 $4\pi$다(단, 도넛 모양으로 구멍을 뚫지 않는 한). 이는 마치 저울에 다른 모양으로 뭉친 같은 양의 찰흙을 올리면 항상 같은 무게가 나오는 것과 비슷하다 — 국소적 분포는 마음대로 바뀌지만 "총량"은 곡면의 위상(몇 개의 손잡이가 있는지)에 의해 못박혀 있다.

더 간단한 버전은 삼각형에서 시작한다. 평면에서 삼각형의 내각의 합은 항상 정확히 $\pi$다. 구 위에서(예: 지구의 삼각형) 내각의 합은 항상 $\pi$보다 크며, 그 초과분이 정확히 삼각형이 둘러싼 넓이(곡률의 적분)와 같다. 안장처럼 음의 곡률을 가진 곡면에서는 내각의 합이 $\pi$보다 작다. 가우스-보네 정리는 이 세 가지 경우(평면·구·쌍곡)를 하나의 공식으로 통일하고, 나아가 임의의 곡면·임의의 영역으로 확장한다.

정의

Pressley는 정리를 세 단계로 점점 확장해 구축한다.

국소형 (단순폐곡선)

곡면조각 위의 양의 방향(positively oriented) 단위속력 단순폐곡선 $\gamma$(길이 $\ell$)에 대해: $$\int_0^{\ell}\kappa_g\,ds = 2\pi - \iint_{\operatorname{int}(\gamma)}K\,dA,$$ 여기서 $\kappa_g$는 측지곡률, 이중적분은 둘러싸인 영역의 총곡률(total curvature)이다.¹ 증명은 그린 정리와 곡면판 버전의 홉프 회전각정리(Umlaufsatz, 접선이 총 $2\pi$만큼 회전한다는 사실)를 결합한다.²

곡선다각형

$n$개의 변이 내각 $\theta_1,\dots,\theta_n$으로 만나는 곡선다각형에 대해: $$\sum_{i=1}^n\theta_i = (n-2)\pi + \iint_{\operatorname{int}}K\,dA + \int\kappa_g\,ds.$$ 변이 모두 측지선이면($\kappa_g=0$), $\sum\theta_i = (n-2)\pi + \iint K\,dA$가 된다.³ 이 하나의 명제가 여러 고전적 사실을 통일한다: 평면($K=0$)에서는 유클리드 각의 합 $(n-2)\pi$; 구($K=1$)에서는 측지삼각형의 각 초과분이 정확히 넓이와 같아 $\alpha+\beta+\gamma-\pi=\text{넓이}$; $K=-1$인 곡면(쌍곡)에서는 각의 합이 넓이만큼 부족해진다.⁴

전역형 (컴팩트 곡면)

가장 완성된 버전은 컴팩트 곡면 $S$에 적용된다. $S$를 삼각분할하고 오일러 수 $\chi=V-E+F$(꼭짓점-변-면)를 정의하면,⁵ $$\boxed{\iint_S K\,dA = 2\pi\chi(S).}$$⁶ 측지곡률 경계항이 인접한 삼각형 사이에서 쌍쌍이 상쇄되고 각 꼭짓점에서 내각의 합이 $2\pi$가 되는 것을, 삼각분할 전체에 대해 곡선다각형 버전을 합산하면 정확히 $2\pi(V-E+F)$로 귀결된다.⁷

주요 정리

정리 (가우스-보네, 전역형). 컴팩트 방향지어진 곡면 $S$에서 $\iint_S K\,dA=2\pi\chi(S)$, $\chi(S)$는 삼각분할의 오일러 수(삼각분할 선택과 무관).

따름정리 (오일러 수는 삼각분할에 무관). 좌변 $\iint_S K\,dA$가 애초에 삼각분할과 무관한 기하적 상수이므로, 우변 $2\pi\chi$도 임의의 삼각분할에 대해 같은 값을 주어야 한다 — 즉 $\chi(S)=V-E+F$는 사용한 삼각분할의 선택에 의존하지 않는 곡면 고유의 위상불변량이다.⁸

정리 (구, 원환면의 $\chi$ 계산). $S^2$의 표준 삼각분할(정사면체 등)로 $\chi(S^2)=2$; 따라서 $\iint_{S^2}K\,dA=4\pi$. 원환면(genus 1)은 $\chi=0$이므로 $\iint_{T^2}K\,dA=0$.

예제

예제 1 (평면 삼각형, $n=3$, $K=0$). 평면에서 임의의 삼각형은 $K\equiv0$이므로 곡선다각형 공식은 $\theta_1+\theta_2+\theta_3=(3-2)\pi+0+0=\pi$(변이 직선이면 $\kappa_g=0$도 자동) — 유클리드 기하의 "삼각형 내각의 합은 $180°$"를 가우스-보네의 특수한 경우로 재확인.

예제 2 (구면삼각형, 각 초과). 반지름 $1$ 구 위의 측지삼각형(세 변이 대원호)에서 $K=1$이므로 $\alpha+\beta+\gamma=\pi+\iint K\,dA=\pi+\text{넓이}$ — 세 변이 각각 대원의 사분의 일인 정팔면체형 삼각형(세 각이 모두 $\pi/2$)이면 $\alpha+\beta+\gamma=3\pi/2$이므로 넓이는 $3\pi/2-\pi=\pi/2$ — 실제로 구 전체 넓이 $4\pi$의 정확히 $1/8$(정팔면체가 여덟 개의 합동 삼각형으로 구를 덮으므로)과 일치.

예제 3 (구 전체, 오일러 수 검증). 정리(따름정리) 부분에서 이미 확인: $\chi(S^2)=2$, $\iint_{S^2}K\,dA=4\pi=2\pi\cdot2$.

예제 4 (원환면, 상쇄 확인). 가우스곡률과 평균곡률 예제 5의 $K=\dfrac{\cos u}{b(a+b\cos u)}$를 표준 넓이요소로 적분하면 $\iint K\,dA=0$이 나옴을 알 수 있다(직접 계산은 다소 길지만, $u=0$ 근방의 양의 기여와 $u=\pi$ 근방의 음의 기여가 넓이요소의 가중치까지 감안해 정확히 상쇄된다) — $\chi(T^2)=0$의 직접적 확인.

예제 5 (곡면을 아무리 찌그러뜨려도 적분 불변, 정성적). 반지름 $1$인 구를 손으로 눌러 땅콩 모양으로 만들면 $K$는 더 이상 상수가 아니고 (눌린 안장 부분에서는 $K<0$까지 나타날 수 있다) 점마다 크게 다르지만, $\iint K\,dA$는 정확히 $4\pi$로 유지된다 — $\chi$가 위상불변량이고 매끄러운 변형(diffeomorphism)이 위상을 바꾸지 않기 때문(찢거나 붙이지 않는 한).

예제 6 (측지삼각형이 아닌 경우, 곡선다각형 일반형). 구 위에 측지선이 아닌 곡선(예: 위도원 조각)으로 이루어진 다각형이라면, 그 변을 따라 $\int\kappa_g\,ds\ne0$인 항이 추가로 필요하다 — 측지선 예제 3에서 원기둥의 단면원이 측지선이었던 것과 달리, 구의 위도원(적도 제외)은 측지선이 아니므로(같은 페이지 연습문제 1 참고) 그 경계항이 사라지지 않는다.

예제 7 (사영평면·클라인 병 등 비가향 곡면, 오리엔테이션 주의). 정리의 전역형은 방향지어진(orientable) 컴팩트 곡면에 대해 서술되었다. 사영평면처럼 비가향인 곡면에서도 $\chi$와 $K$의 적분 공식이 (부호 관례를 신중히 다루면) 성립하지만, 이 확장은 가우스곡률과 평균곡률에서 다룬 "$K$는 법선 방향에 무관"이라는 사실이 있어야 정당화된다 — $K$가 방향지을 수 없는 곡면에서도 잘 정의되는 이유가 바로 여기서 다시 쓰인다.

왜 놀라운가

좌변 $\iint K\,dA$는 순수하게 기하적이다(계량, 즉 제1기본형식에 의존). 우변 $2\pi\chi$는 순수하게 위상적이다(연속변형, 즉 미분동형사상 아래 불변인 정수). 구를 고무판처럼 마음껏 변형해 보라: $K$는 점마다 걷잡을 수 없이 바뀌지만 $\iint K\,dA$는 정확히 $4\pi=2\pi\cdot2$로 고정된다.⁹ 오일러 수는 삼각분할의 선택에 무관하다는 사실 자체가 이 정리의 따름정리로 얻어진다. 가우스-보네는 20세기에 만개하는 기하학과 위상학의 깊은 연결(천-가우스-보네 정리, 지수 정리 등)의 원형이다.¹

흔한 오해와 함정

• "$K$의 값 자체가 위상적이다" — 아니다, $K$는 순수하게 국소적·기하적인 양이며 점마다 자유롭게 변한다(예제 5). 위상적으로 고정된 것은 그 적분이지 $K$ 자체가 아니다.
• "측지삼각형의 각 초과는 항상 양수다" — $K>0$인 곡면(구)에서만 그렇다. $K<0$인 곡면(쌍곡)에서는 각이 부족(defect)해지고, $K$가 부호를 바꾸는 곡면(원환면 등)에서는 삼각형 위치에 따라 초과일 수도 부족일 수도 있다.
• 곡선다각형 공식에서 측지곡률 항을 잊음 — 변이 측지선이 아니면(예제 6) $\int\kappa_g\,ds$ 항이 반드시 필요하다. 이를 빼먹으면 위도원처럼 흔한 비측지 곡선에 대해 공식이 틀린다.
• 오일러 수를 "구멍의 개수"로만 이해 — 정확히는 $\chi=2-2g$($g$는 genus, 손잡이 개수)다. 구는 $g=0,\chi=2$; 원환면은 $g=1,\chi=0$; genus $2$ 곡면(손잡이 둘)은 $\chi=-2$. "구멍이 없으면 $\chi=2$"이지 "구멍이 없으면 $\chi=0$"이 아니다.
• 전역형이 비컴팩트 곡면(평면 전체 등)에도 그대로 적용된다고 생각 — 전역형은 컴팩트 곡면(경계 없고 유한 넓이)에 대한 서술이다. 평면 전체처럼 비컴팩트인 경우는 이 형태로 직접 적용되지 않고, 경계가 있는 영역에는 곡선다각형 버전(경계 적분 포함)을 써야 한다.

큰 그림 / 연결

가우스-보네는 빼어난 정리의 국소적 내재성을 전역으로 확장한 정점이며, 국소형의 증명에 곡선의 대역적 성질의 홉프 회전각정리가 직접 쓰인다. 경계가 측지선(측지선, $\kappa_g=0$)로 이루어진 특수한 경우가 가장 깔끔한 공식을 주며, 이는 삼각분할 논증에서 반복적으로 쓰인다. 평행이동와의 연결은 특히 깊다 — 폐곡선을 따라 벡터를 평행이동시켰을 때 회전하는 각(홀로노미)이 정확히 그 곡선이 둘러싼 영역의 총곡률과 같다는 사실은 가우스-보네 국소형의 다른 표현이다. O'Neill의 틀에서는 정리가 frame fields and structural equations의 연결형식 $\omega_{12}$의 외미분($d\omega_{12}=-K\,\omega_1\wedge\omega_2$ 꼴)을 곡면 전체에 적분하는 스토크스 정리 논증으로 증명된다 — 본질적으로 같은 국소-전역 상쇄 메커니즘의 미분형식 버전이다.

연습문제

1. 정팔면체(구의 삼각분할)로 $\chi(S^2)=2$를 직접 계산으로 확인하라($V,E,F$를 세어라).
2. 반지름 $2$인 구에서 $\iint K\,dA$를 직접 적분($K=1/4$, 넓이 $16\pi$)해 $4\pi$가 나오는지 확인하고, 이것이 반지름에 무관하다는 사실을 논평하라.
3. genus $2$ 곡면(손잡이 둘)의 오일러 수를 $\chi=2-2g$ 공식으로 구하고, 그 곡면에서 $\iint K\,dA$의 부호를 예측하라.
4. 곡선다각형 공식에서 $n=2$인 경우(두 변으로 이루어진 "이각형", 예: 구의 두 경도선 사이 영역)를 생각해 보고 각 초과가 어떻게 되는지 서술하라.
5. 안장(쌍곡점)에 그려진 아주 작은 측지삼각형의 각의 합이 $\pi$보다 큰지 작은지 판정하라.
6. 원환면에서 $K$가 상쇄되어 적분이 $0$이 된다는 사실이, 원환면을 "평평하게 만들 수 있다"(어떤 의미에서 국소등거리로 평면 조각들을 이어붙일 수 있다는 사실, 리만 계량 이론에서의 flat torus)는 사실과 어떻게 관련되는지 정성적으로 논하라.
7. 가우스-보네의 전역형을 이용해, 컴팩트 곡면에서 $K>0$인 점이 적어도 하나는 존재해야 함(구처럼 genus $0$인 경우)을 논증하라.

관련 개념

• 가우스곡률과 평균곡률 — 적분되는 대상 $K$
• 측지선 — $\kappa_g=0$인 경계의 특수 경우
• 평행이동 — 홀로노미는 적분된 곡률의 다른 표현
• 빼어난 정리 — 국소적 내재적 곡률; 가우스-보네는 그 전역적 얼굴
• frame fields and structural equations — O'Neill의 $d\omega_{12}$를 통한 증명
• 기하 곡면과 완비성 — O'Neill의 정리 배경 설정
• 곡선의 대역적 성질 — 증명에 쓰이는 홉프 회전각정리