∇미분기하학
VII. 추상 곡면으로 · 16/16

기하 곡면과 완비성

추상 리만 곡면, 지수 사상, 보네·아다마르

읽음 0/0 갱신 2026-06-30

개요 — 동기·문제의식

빼어난 정리이 확립한 사실을 끝까지 밀어붙이면 자연스러운 질문이 생긴다: 가우스 곡률이 정말로 내재적이라면, 애초에 왜 곡면을 $\mathbb{R}^3$ 안에 놓아야 하는가? O'Neill이 인용하는 리만의 결론: "따라서 $\mathbb{R}^3$과 완전히 독립적인, 처음부터 오직 등거리불변량만으로 세워진 곡면의 기하학 이론이 존재해야 한다."1 이 페이지가 다루는 것이 바로 그 이론 — 리만 기하학의 2차원 버전이다. Pressley의 범위를 넘어서는 O'Neill 마지막 두 장의 내용이며, 곡면을 주변 공간에서 완전히 떼어내 "계량(metric)만 주어진 추상적인 공간"으로 다룬다. 이는 이 위키의 다른 모든 페이지가 딛고 선 전제(곡면은 $\mathbb{R}^3$ 안에 있다)를 마지막으로 제거하는 단계다.

직관 (기하)

지금까지는 항상 곡면을 "그릇" 안에 담긴 대상으로 다뤘다 — $\mathbb{R}^3$이라는 주변 공간이 있고, 곡면은 그 안의 부분집합이었다. 그런데 빼어난 정리이 보여준 것은, 곡면 위의 벌레가 곡률을 측정하는 데 그 그릇이 전혀 필요 없다는 사실이다. 그렇다면 그릇을 아예 치워버리고, "각 점에서 길이와 각도를 재는 규칙(계량)"만 남겨두면 어떨까? 이것이 기하곡면(geometric surface)의 발상이다 — 곡면 자체는 그냥 매끄러운 2차원 공간(좌표 patch들의 모음)이고, 그 위에 "이 방향으로 이만큼 가면 실제 길이가 얼마다"를 알려주는 자(ruler) 역할의 도구(계량텐서)를 별도로 부착한다.

이 관점의 자유로움은 강력하다: 같은 밑바탕 공간(예: 상반평면)에 서로 다른 자를 붙이면 완전히 다른 기하가 나온다 — 유클리드 자를 붙이면 평범한 평면, 다른 자(포인카레 계량)를 붙이면 hyperbolic geometry가 나온다. 곡면이 "어떻게 휘었는가"라는 질문이, 이제 "어떤 자를 쓰고 있는가"라는 질문으로 완전히 대체된다.

정의

기하곡면은 추상곡면 $M$에 각 접평면마다 매끄럽게 변하는 내적 $\langle\,,\rangle_p$를 부여한 것 — 동치로 계량텐서(metric tensor) $g$를 부여한 것이다.2 표어로 쓰면 $$\text{곡면}+\text{계량텐서}=\text{기하곡면},$$ 그리고 기하곡면은 정확히 2차원 리만다양체(Riemannian manifold)다.3

구성법 정의 예
유도계량 $\mathbb{R}^3$ 안의 곡면의 내적을 접평면에 제한 이 위키의 다른 모든 곡면
등각변화 $\langle v,w\rangle=(v\cdot w)/h^2$ ($h$는 자 함수) 상반평면 계량
당김(pullback) 사상 $\phi$를 따라 목표 계량을 되당김 좌표변환으로 만드는 새 기하

$\mathbb{R}^3$ 안의 곡면은 유도계량(내적을 접평면에 그대로 제한한 것)을 통해 자동으로 기하곡면이 되지만, 같은 밑바탕 곡면에 다른 계량을 주면 다른 기하곡면이 된다.4 새로운 기하는 등각변화(ruler 함수 $h$로 $\langle v,w\rangle=(v\cdot w)/h^2$)나 당김으로 구성되며, hyperbolic geometry의 포인카레 상반평면이 그 대표적 예시다.

기하곡면 위에는 주변 $\mathbb{R}^3$이 없으므로, frame fields and structural equations의 틀 계산을 내재적으로 다시 세워야 한다: 정규직교 틀 $E_1,E_2$, 쌍대형식 $\theta_1,\theta_2$, 그리고 단 하나의 연결형식 $\omega_{12}$가 제1구조방정식 $d\theta_1=\omega_{12}\wedge\theta_2$, $d\theta_2=\omega_{21}\wedge\theta_1$에 의해 유일하게 결정된다.5 (3차원에서는 세 연결형식 $\omega_{12},\omega_{13},\omega_{23}$이 필요했지만, 2차원 표면 자체만 남기면 접평면 안에서의 회전 하나($\omega_{12}$)만 남는다는 점에 주목 — 자유도가 정확히 하나로 줄어드는 것이 2차원의 특징.) 가우스 곡률은 여기서도 제2구조방정식을 통해 다시 등장한다.

주요 정리

명제 (내재적 연결형식의 존재·유일성). 임의의 기하곡면 위의 정규직교 틀장 $E_1,E_2$에 대해, 제1구조방정식을 만족하는 1-형식 $\omega_{12}$가 유일하게 존재한다.

증명 보기

증명 스케치. 3차원 $\mathbb{R}^3$의 경우(제9자유도 중 반대칭 조건으로 3개만 독립)와 달리, 2차원에서는 반대칭 행렬 $\begin{psmallmatrix}0&\omega_{12}\\-\omega_{12}&0\end{psmallmatrix}$이 애초에 성분 하나만을 갖는다. 제1구조방정식 $d\theta_1=\omega_{12}\wedge\theta_2$을 $\omega_{12}=f\theta_1+g\theta_2$ 꼴로 놓고 $d\theta_1,d\theta_2$를 $\theta_1\wedge\theta_2$의 배수로 전개하면(2차원에서는 2-형식의 공간이 1차원이므로 항상 가능), 계수 비교로 $f,g$가 유일하게 정해진다 — 이는 frame fields and structural equations의 존재·유일성 논증을 정확히 2차원으로 특수화한 것이며, $\mathbb{R}^3$을 참조하지 않고도 순수하게 $\theta_1,\theta_2$의 외미분만으로 구성된다는 점이 핵심(내재성의 직접적 증거). ∎

정리 (구조방정식과 가우스 곡률의 재구성). $d\omega_{12}=-K\,\theta_1\wedge\theta_2$가 성립하며, 이 $K$는 정확히 유도계량의 경우 빼어난 정리의 가우스 곡률과 일치한다.

증명 보기

증명 스케치. 제2구조방정식의 2차원 버전을 쓰면 $d\omega_{12}$는 필연적으로 $\theta_1\wedge\theta_2$의 배수(2-형식 공간이 1차원이므로)이고, 그 배수 계수를 $-K$로 정의한다. 곡면이 $\mathbb{R}^3$ 안에 놓인 경우(형상연산자 참고)에는 이 정의가 $\det S$와 일치함을 (적응된 틀에서 직접 계산으로) 확인할 수 있다 — 이는 곧 이 절 전체가 빼어난 정리을 "곡면이 $\mathbb{R}^3$ 안에 있다"는 가정 없이도 재현한다는 뜻이다. ∎ 이 재구성이 중요한 이유: 이제 $K$는 곡면이 어떻게 담겼는지와 완전히 무관하게, 계량텐서 하나만으로 정의되는 양이 된다 — 내재성이 정리가 아니라 출발점이 되는 것.

정리 (지수사상의 국소미분동형성). $\exp_p:T_p(M)\to M$, $\exp_p(v)=\gamma_v(1)$(측지선 $\gamma_v$가 $v$ 방향 초속도로 출발해 시간 $1$에 도달하는 점)은 원점 근방에서 미분동형사상이며, 원점을 지나는 반직선을 측지선으로 보낸다.6

증명 보기

증명 스케치. 측지선의 측지선 존재·유일성 정리(초기조건에 대해 매끄럽게 의존하는 ODE 해)를 쓰면 $\exp_p$가 매끄러운 사상임이 보장된다. $0\in T_pM$에서 $\exp_p$의 미분사상이 항등사상임을 (측지선 방정식을 $t$에 대해 전개해 $\gamma_v(t)\approx p+tv+O(t^2)$가 됨을 관찰함으로써) 보이면, 역함수정리에 의해 원점 근방에서 국소적으로 미분동형사상이 된다. 반직선이 측지선으로 가는 것은 $\exp_p(tv)=\gamma_v(t)$라는 정의 자체의 재구성(같은 측지선을 다른 매개변수로 재매개변수화한 것과 동치)에서 나온다.6 ∎ 이 사상이 있으면 $p$ 근방의 모든 점을 "$p$에서 어느 방향으로 얼마나 멀리"라는 극좌표로 서술할 수 있다 — 그 좌표(측지극좌표)에서 계량이 $E=1,F=0,G>0$의 특히 단순한 형태를 띤다: $E=1$은 지수사상이 반경 거리를 보존한다는 뜻이고, $F=0$은 극원(원점에서 같은 거리인 점들의 자취)이 방사형 측지선과 항상 직교한다는 뜻이다.7

정리 (완비성과 대역 도달가능성). 곡면이 완비(complete)하다는 것은 모든 측지선이 모든 매개변수 값에 대해 연장 가능한 것이다. 완비 곡면에서는 한 점에서 출발한 측지선들이 결국 그 곡면의 모든 점에 도달한다.8

증명 보기

증명 스케치. 완비성의 정의로부터 지수사상 $\exp_p$가 $T_p(M)$ 전체(원점 근방이 아니라)에서 정의된다. 임의의 점 $q$에 대해, 완비성 하의 표준적 논증(호프-리노프류 정리의 2차원 버전)은 $p$에서 $q$로 가는 길이-최소화 곡선이 존재하고 그 곡선이 측지선임을 보장한다 — 즉 어떤 $v\in T_pM$에 대해 $\exp_p(v)=q$가 성립한다. ∎ 이는 "직선은 평면을 완전히 채운다"는 유클리드 기하의 사실을 곡면판으로 정확히 옮긴 것 — 완비성이 없으면(예: 원판에서 경계를 제거한 열린 곡면) 측지선이 유한 시간 안에 "가장자리에서 떨어져 나가" 버릴 수 있다.

정리 (본넷·아다마르, 곡률 부호에 따른 전역 형태). 완비곡면에서 $K\ge k>0$(균일하게 양)이면 곡면은 콤팩트(유계 지름)다(본넷). 완비 단순연결곡면에서 $K\le0$이면 지수사상이 미분동형사상이 되어 그 곡면은 평면과 미분동형이다(아다마르).9

증명 보기

증명 스개치. 두 정리 모두 야코비장(Jacobi field)(측지선을 매개변수로 살짝 변형했을 때 그 "옆으로 벌어지는 속도"를 재는 벡터장)의 거동이 곡률 부호에 어떻게 지배되는지에서 나온다 — $K>0$이면 인접한 측지선들이 서로 수렴하는 경향(구 위의 대원들이 극에서 다시 만나는 것처럼)을 보이고, 이는 야코비장이 유한 시간 안에 소멸함을 강제해 지름에 상한을 준다(본넷). 반대로 $K\le0$이면 인접한 측지선들이 결코 다시 만나지 않는 경향(안장 위에서 벌어지는 측지선들)을 보이며, 이는 지수사상이 어디서도 특이점을 갖지 않음(임계점이 없음)을 강제해 전역적인 미분동형성으로 이어진다(아다마르). ∎ 두 정리는 서로 거울상이며, "양의 곡률은 공간을 오므라들게 하고 음의 곡률은 공간을 펼쳐지게 한다"는 직관을 엄밀한 정리로 만든 것이다.

예제

예제 1 (유도계량, 표준적 경우). $\mathbb{R}^3$ 안의 임의의 곡면(예: 구, 원환면)은 유도계량을 통해 자동으로 기하곡면이 된다 — 이 위키의 다른 모든 계산(제1기본형식 $E,F,G$)이 정확히 이 유도계량의 성분이다.

예제 2 (등각변화, 포인카레 상반평면). 상반평면 $\{(v,w):w>0\}$에 유클리드 계량 대신 $\langle\cdot,\cdot\rangle=(v\cdot w)/w^2$(즉 $h(v,w)=w$)를 부여하면 hyperbolic geometry의 계량이 정확히 재현된다 — 같은 밑바탕 집합(상반평면)이지만 자 함수 $h$를 바꾸는 것만으로 유클리드 기하가 쌍곡 기하로 바뀐다는 사실을 명시적으로 보여준다.

예제 3 (구의 지수사상, 켤레점). 구($K=1/r^2$, 상수)에서 극 $p$(북극)를 중심으로 지수사상을 생각하면, 반경 $\pi r$(적도의 절반, 즉 남극까지의 거리)에서 모든 방향의 측지선이 정확히 한 점(남극)에 다시 모인다 — 여기서 지수사상은 더 이상 국소미분동형이 아니게 된다(단사성이 깨짐). 이는 본넷 정리가 예측하는 "양의 곡률은 측지선을 수렴시킨다"는 현상의 극단적인 예다.

예제 4 (측지극좌표, 구에서 직접 확인). 구의 표준 위경도 좌표는 정확히 측지극좌표의 예다 — 북극 $p$에서 $E=1$(위도 방향으로 단위속력), $F=0$(경도선과 위도원이 직교), $G=\sin^2\theta$($\theta=0$일 때 $G=0$, 즉 극에서 퇴화)가 정리에서 서술한 형태와 정확히 일치한다.

예제 5 (완비성, 열린 원판의 실패). 평면에서 원판 $\{x^2+y^2<1\}$(경계 제외, 통상적 유클리드 계량)은 완비가 아니다 — 원점에서 경계 방향으로 출발한 측지선(직선)은 매개변수 $t=1$에서 곡면을 "벗어나며" 더 이상 연장될 수 없다. 반면 평면 전체 $\mathbb{R}^2$나 닫힌 곡면(구, 원환면)은 완비다.

예제 6 (아다마르 정리 적용, 쌍곡평면). hyperbolic geometry의 상반평면 $\mathbb{H}$는 $K\equiv-1$(상수 음수)이고 단순연결이며 완비다(측지선이 무한히 연장 가능 — 수직 반직선이나 반원이 끝없이 이어짐). 아다마르 정리에 의해 $\mathbb{H}$는 지수사상을 통해 평면 $\mathbb{R}^2$와 미분동형이다 — 실제로 상반평면 자체가 이미 평면과 (매끄러운 다양체로서는) 미분동형이므로 정리와 정합적이다.

예제 7 (본넷 정리, 구의 콤팩트성). 구는 $K=1/r^2>0$(상수, 특히 균일하게 아래로 유계)이고 완비이므로 본넷 정리에 의해 콤팩트해야 한다 — 실제로 구는 콤팩트하다는 사실을 이미 알고 있으므로, 이는 정리의 자명한 확인이지만 동시에 정리의 힘을 보여준다: 비콤팩트이면서 $K\ge k>0$(균일하게 양)인 완비곡면은 존재할 수 없다는 강한 부정적 결론을 준다.

흔한 오해와 함정

큰 그림 / 연결

기하곡면 개념은 빼어난 정리이 연 문을 끝까지 걸어 들어간 결과다 — 곡률이 내재적이라는 사실이, 곡면 이론을 $\mathbb{R}^3$ 없이도 완전히 재건할 수 있다는 실현으로 이어진다. 제1기본형식은 유도계량이라는 특수한 경우로 흡수되고, frame fields and structural equations의 틀 계산은 여기서 $E_1,E_2,\omega_{12}$만 남는 정확히 절반의 크기로 재구축된다. 측지선는 지수사상을 통해 전역화되어 완비성 개념과 만나고, hyperbolic geometry는 이 모든 장치가 실전에서 어떻게 작동하는지 보여주는 가장 중요한 사례연구다(등각변화로 만든 기하곡면, $K\equiv-1$, 완비, 아다마르 정리의 적용 대상). 가우스–보네 정리도 O'Neill의 틀에서는 여기서 재구축된 기계(내재적 $\omega_{12}$, 재구성된 $K$)를 이용해 다시 증명된다 — 이 페이지는 사실상 O'Neill 책 전체가 수렴하는 지점이며, Pressley 쪽에서는 이만큼 명시적으로 다뤄지는 대응물이 없다(가장 가까운 접촉점은 힐베르트 정리를 통해 등장하는 hyperbolic geometry의 상반평면뿐).

연습문제

  1. "곡면 + 계량텐서 = 기하곡면"이라는 표어가 왜 빼어난 정리의 직접적인 귀결인지 한 문단으로 설명하라.
  2. 등각변화 $\langle v,w\rangle=(v\cdot w)/h^2$에서 $h\equiv1$이면 원래 계량과 같아진다는 것을 확인하고, 이것이 왜 "등각변화가 유클리드 계량을 일반화한 것"이라는 서술을 정당화하는지 논하라.
  3. 명제(내재적 연결형식의 존재·유일성)의 증명에서 왜 2차원이라는 사실이 결정적으로 쓰이는지(3차원과 비교해) 설명하라.
  4. 측지극좌표에서 $F=0$이 "극원이 방사형 측지선과 직교한다"는 뜻이라는 사실을, 평면의 통상적 극좌표($x=r\cos\theta,y=r\sin\theta$)에서 직접 확인하라.
  5. 완비이지만 콤팩트가 아닌 곡면의 예를 하나 들고, 그 곡면에서 왜 $K\ge k>0$(균일하게 양)이 성립할 수 없는지(본넷 정리와 모순되므로) 논하라.
  6. 아다마르 정리를 이용해, 완비 단순연결이고 $K\le0$인 곡면 위에는 서로 다른 두 점을 잇는 측지선이 (호모토피류 안에서) 유일함을 논증하라(힌트: 미분동형사상은 특히 단사).
  7. 예제 3(구의 켤레점)에서 지수사상이 단사가 아니게 되는 것이, 본넷 정리의 증명 스케치에서 언급한 "야코비장의 소멸"과 어떻게 관련되는지 설명하라.
힌트 / 정답
  1. 테오레마 에그레기움은 가우스 곡률이 오직 제1기본형식(내적의 제한)만으로 결정됨을 보였다 — 즉 곡면의 "기하적 본질"이 이미 내적 하나에 다 담겨 있다는 뜻이다. 그렇다면 굳이 $\mathbb{R}^3$ 안에 놓인 곡면에서 내적을 유도할 필요 없이, 처음부터 내적(계량텐서)을 직접 주는 것으로 이론 전체를 재건할 수 있다 — 표어는 이 발상의 요약이다.
  2. $h\equiv1$이면 $\langle v,w\rangle=(v\cdot w)/1^2=v\cdot w$, 즉 원래의 통상적 내적과 같다. 등각변화가 유클리드 계량을 재현하는 특수한 경우($h=1$)를 포함하므로, "등각변화"라는 구성법 자체가 유클리드 기하의 진정한 일반화(더 넓은 구성법의 특수한 사례로 유클리드가 포함됨)라고 말할 수 있다.
  3. 3차원에서는 반대칭 연결형식 행렬이 독립성분 3개($\omega_{12},\omega_{13},\omega_{23}$)를 가지므로 하나의 조건(제1구조방정식)만으로는 유일하게 결정되지 않을 수 있다(실제로는 세 개의 별도 방정식이 필요하다, 본문 frame fields and structural equations 참고). 2차원에서는 반대칭 $2\times2$ 행렬이 독립성분을 정확히 하나만 가지므로($\omega_{12}$뿐), 단 하나의 구조방정식(정확히는 두 식이지만 $\omega_{21}=-\omega_{12}$로 연결되어 실질적으로 하나)이 그 하나의 미지수를 완전히 결정하기에 충분하다.
  4. 평면 극좌표에서 $x=r\cos\theta,y=r\sin\theta$로 두면 $\sigma_r=(\cos\theta,\sin\theta)$, $\sigma_\theta=(-r\sin\theta,r\cos\theta)$이고, $\sigma_r\cdot\sigma_\theta=-r\sin\theta\cos\theta+r\sin\theta\cos\theta=0$ — 방사형 방향과 각 방향이 정확히 직교, 즉 $F=0$. 기하적으로 원(극원, $r=\text{const}$)의 접선 방향이 항상 반경 방향과 수직이라는 초등기하의 사실과 정확히 일치한다.
  5. 예: 무한 원기둥 $\{(x,y,z):x^2+y^2=1\}$은 완비(모든 측지선인 나선·모선·단면원이 무한히 연장 가능)이지만 비콤팩트($z$ 방향으로 무한히 뻗어 있음)다. 원기둥의 $K\equiv0$이므로 애초에 $K\ge k>0$을 만족하지 않는다 — 이는 본넷 정리와 모순이 아니라, 오히려 본넷 정리가 예측하는 바("$K\ge k>0$이면 콤팩트")의 대우(비콤팩트이면 그런 균일한 양의 하한이 존재할 수 없다)를 정확히 만족시키는 예다.
  6. 아다마르 정리에 의해 $\exp_p:T_pM\to M$이 전역 미분동형사상이므로 특히 전단사다. $q\in M$에 대해 $\exp_p(v)=q$인 $v\in T_pM$이 정확히 하나 존재하고, 이 $v$가 정의하는 측지선 $\gamma_v(t)=\exp_p(tv)$가 $p$에서 $q$로 가는 (다른 것과 구별되는) 측지선을 하나 준다 — $\exp_p$의 단사성이 정확히 이 유일성을 보장한다.
  7. 야코비장은 인접한 측지선들 사이의 "벌어짐"을 재는 벡터장인데, 지수사상의 미분사상 $d(\exp_p)_v$가 특이(비가역)해지는 지점이 정확히 어떤 야코비장이 $0$으로 돌아오는(소멸하는) 지점과 일치한다는 것이 야코비장 이론의 표준적 사실이다. 구의 켤레점(남극)에서 지수사상이 단사성을 잃는 것은, 북극에서 벌어져 나가던 측지선들의 "벌어짐(야코비장)"이 남극에서 정확히 다시 $0$으로 모이기 때문 — 이것이 예제 3과 본넷 정리 증명 스케치를 잇는 정확한 메커니즘이다.

관련 개념

  1. 원전 소개 — O'Neill §7 (intro) — "Riemann drew the correct conclusion: There must exist a geometrical theory of surfaces completely independent of $\mathbb{R}^3$, a geometry built from the start solely of isometric invariants." ↩

  2. 원전 소개 — O'Neill §7.1 Def. 1.2 — "A geometric surface is an abstract surface $M$ furnished with an inner product $\langle,\rangle$ on each of its tangent planes," varying smoothly; described by a metric tensor $g$ with $g_p(v,w)=\langle v,w\rangle_p$. ↩

  3. 원전 소개 — O'Neill §7.1 — "surface + metric tensor = geometric surface"; "a geometric surface is the same thing as a 2-dimensional Riemannian manifold." ↩

  4. 원전 소개 — O'Neill §7.1 Remark 1.3 and Ex. 2 — induced metric; conformal change $\langle v,w\rangle=(v\cdot w)/h^2$; pullback; the Poincaré half-plane $\langle v,w\rangle=(v\cdot w)/v_2^2$. ↩

  5. 원전 소개 — O'Neill §7.1 — intrinsic frame fields $E_1,E_2$, dual forms $\theta_1,\theta_2$, and the connection form $\omega_{12}$ "uniquely characterized by the first structural equations $d\theta_1=\omega_{12}\wedge\theta_2$, $d\theta_2=\omega_{21}\wedge\theta_1$." ↩

  6. 원전 소개 — O'Neill §8.1 Def. 1.2, Lemma 1.3 — "$\exp_p(v)=\gamma_v(1)$"; "$\exp_p$ carries radial lines from $0$... to geodesics starting at $p$," with $\exp_p(tv)=\gamma_v(t)$. ↩↩

  7. 원전 소개 — O'Neill §8.1 Lemma 1.6 — "For a geodesic polar parametrization, $E=1$, $F=0$, and (except at the pole) $G>0$"; "$E=1$ means the exponential map preserves radial distances... $F=0$ means polar circles are orthogonal to radial geodesics." ↩

  8. 원전 소개 — O'Neill §8 (intro), §8.2 — "geodesics starting at any point $p$ of a complete surface eventually reach every point of that surface." ↩

  9. 원전 소개 — O'Neill §8.6–8.7 [synthesis] — classification of constant-curvature surfaces and "the theorems of Bonnet and Hadamard on, respectively, positive and nonnegative curvature." ↩