∇미분기하학
II. 곡선의 대역이론 · 4/16

곡선의 대역적 성질

등주부등식, 네 꼭짓점 정리, 회전수 정리

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

개요 — 동기·문제의식

곡률과 비틀림까지의 모든 개념은 국소적이다 — 곡률 $\kappa(t)$는 점 $t$ 근방의 정보만으로 결정되고, 곡선의 나머지 부분이 어떻게 생겼는지는 전혀 모른다. 그런데 "이 곡선은 자기 자신과 교차하지 않는가?", "둘러싸는 영역의 넓이는 얼마나 클 수 있는가?", "곡률이 정지하는 점이 몇 개나 있는가?" 같은 질문은 곡선 전체를 봐야만 답할 수 있다. 이런 질문에는 미적분만으로는 부족하고 위상수학적 사고가 필요하다.1 이 페이지는 평면곡선에 대해 세 가지 대표적 전역 정리 — Hopf의 회전정리, 등주부등식, 4-꼭짓점 정리 — 를 다룬다. 셋 모두 "국소량(곡률)의 전역적 적분/극값이 위상이나 기하를 강하게 제약한다"는 같은 정신을 공유한다.

직관

국소와 전역의 차이를 가장 쉽게 보여주는 예는 "곡률은 모든 점에서 양수일 수 있지만, 그래도 곡선이 자기 자신과 교차할 수 있는가?"라는 질문이다. 답은 그럴 수 없다 — 는 것이 아니라, 단순폐곡선(자기교차 없는 닫힌 곡선)이라는 전역적 가정을 추가했을 때만 강한 정리들이 성립한다. 비유하자면: 자동차가 핸들을 계속 같은 방향으로 돌리면(국소적으로 곡률이 일정한 부호) 직관적으로 결국 원을 그리며 출발점으로 돌아올 것 같지만, 실제로 증명하려면 "전체 회전각이 정확히 $2\pi$의 배수"라는 전역적 사실(Umlaufsatz)이 필요하다.

등주부등식의 직관은 더 친숙하다: 같은 길이의 줄로 둘러쌀 수 있는 넓이 중 원이 가장 크다 — 비눗방울이 표면장력을 최소화하려고 구형이 되는 것과 같은 현상의 2차원 버전이다. 4-꼭짓점 정리는 "곡률이 변하는 닫힌 곡선이라면, 곡률의 증가가 감소로 바뀌는 지점(극값)이 최소 4개는 있어야 한다"는 것으로, 타원을 떠올리면 직관적이다 — 긴 축의 양 끝(곡률 최대)과 짧은 축의 양 끝(곡률 최소)에서 정확히 네 개의 극값이 생긴다.

정의

단순폐곡선(simple closed curve): 자기교차가 없는 닫힌 곡선. 조르당 곡선 정리(Jordan Curve Theorem)에 의해 평면을 유계인 내부와 비유계인 외부로 나누며, 둘 다 연결되어 있다.2 이로부터 양의 방향(positively-oriented)을 정의할 수 있다: 부호 법선 $\mathbf n_s$가 항상 내부를 향하도록 하는 방향.3

전체 부호 곡률(total signed curvature): $\displaystyle\oint \kappa_s\,ds$ — 접선 벡터가 곡선을 한 바퀴 도는 동안 회전한 총 각도.

꼭짓점(vertex): 부호 곡률의 정류점(stationary point), 즉 $d\kappa_s/dt=0$인 점.8

등주문제(isoperimetric problem)의 용어: 길이 $\ell(\gamma)$의 단순폐곡선이 둘러싸는 부호 있는 넓이 $A(\gamma)=\frac12\oint(x\dot y-y\dot x)\,dt$(그린 정리에서 유도).7

주요 정리

1. 전체 곡률과 Hopf의 회전정리(Umlaufsatz)

보조정리. 임의의 닫힌 평면곡선의 전체 부호 곡률은 $2\pi$의 정수배다(접선이 정수 바퀴만큼 회전).4

정리 (Hopf's Umlaufsatz). 단순폐곡선의 전체 부호 곡률은 정확히 $\pm2\pi$다(양의 방향이면 $+2\pi$).5

증명 보기

증명 스케치. 일반 닫힌곡선은 임의의 정수배의 회전을 할 수 있지만(예: 8자 모양은 회전수 $0$), 자기교차가 없다는 단순성 가정이 회전수를 정확히 $\pm1$로 못박는다. 표준 증명(Hopf)은 곡선 위의 점쌍 $(p,q)$를 매개로 하는 보조 곡면(할선 방향의 사상)을 구성해 회전수가 연속적으로 변형 불가능한 위상적 양임을 보이고, 볼록한 경우(회전수가 명백히 $1$)로 부드럽게 변형하여 일반의 경우로 확장한다. ∎ 이 정리가 "국소(곡률)가 전역(위상: 자기교차 없음)을 강하게 제약한다"는 이 페이지 전체 주제의 첫 사례다 — 훗날 곡면에서 가우스–보네 정리으로 직접 일반화된다.

2. 등주부등식

정리. 길이 $\ell(\gamma)$의 단순폐곡선이 둘러싸는 넓이 $A(\gamma)$는 $$A(\gamma)\le\frac{1}{4\pi}\ell(\gamma)^2$$ 을 만족하며, 등호는 $\gamma$가 원일 때만 성립한다.6

증명 보기

증명 스케치. 핵심 도구는 Wirtinger 부등식: 평균이 $0$이고 주기 $2\pi$인 매끄러운 함수 $f$에 대해 $\int_0^{2\pi}f^2\,d\theta\le\int_0^{2\pi}(f')^2\,d\theta$, 등호는 $f=a\cos\theta+b\sin\theta$일 때만. 곡선을 호의 길이로 매개변수화하고($\ell$이 주기) 적절히 스케일·평행이동한 뒤, 넓이 공식 $A=\frac12\oint(x\dot y-y\dot x)\,ds$와 둘레 $\ell=\oint\,ds$를 Wirtinger 부등식과 Cauchy–Schwarz 부등식에 대입하면 $4\pi A\le\ell^2$을 얻는다. 등호 조건이 $\dot x,\dot y$가 정확히 $\cos,\sin$의 선형결합일 것을 요구하므로, 그 경우의 곡선은 정확히 원이다.7 ∎

이 부등식은 "주어진 둘레로 넓이를 최대화하는 도형은 원"이라는 고대 직관(디도 여왕의 문제로도 알려짐)의 완전한 증명이다.

3. 4-꼭짓점 정리

정리. 볼록한 단순폐곡선은 적어도 4개의 꼭짓점을 갖는다.10 (볼록성 가설은 제거 가능하지만 증명이 훨씬 어려워진다.)

증명 보기

증명 스케치(볼록한 경우의 직관). 부호 곡률 $\kappa_s$가 닫힌 곡선 위에서 주기함수이므로 적어도 하나의 최댓값과 하나의 최솟값(2개의 꼭짓점)을 갖는다. 4개임을 보이려면, 만약 꼭짓점이 정확히 2개뿐이라면 $\kappa_s$가 그 두 점 사이에서 단조증가/단조감소하게 되고, 이때 직선 $L$이 두 꼭짓점을 지나도록 두면 $\kappa_s-c$($c$는 적절한 상수)가 곡선의 한쪽에서 양수, 다른 쪽에서 음수가 되도록 만들 수 있다. 이를 이용해 $\oint(\kappa_s-c)(x\dot y-y\dot x)\,ds$ 형태의 적분이 부호를 가져야 하는데, 동시에 그 적분이 $0$이어야 한다는 모순을 끌어낸다(곡선이 닫혀 있음과 직선의 위치 선택으로부터). 이 모순이 꼭짓점이 최소 4개임을 강제한다. ∎

예: 타원은 정확히 4개의 꼭짓점(긴축·짧은축의 끝점)을 갖는다.9

예제

예제 1 (원의 전체 곡률). 단위원 $\gamma(t)=(\cos t,\sin t)$의 부호 곡률은 상수 $\kappa_s=1$. 전체 곡률 $\oint\kappa_s\,ds=1\cdot2\pi=2\pi$ — Umlaufsatz와 정확히 일치($+$, 양의 방향).

예제 2 (8자 곡선, 단순하지 않은 경우). 8자 모양(자기교차 있음)의 전체 부호 곡률은 $0$이다(한쪽 고리는 $+2\pi$, 다른 쪽은 $-2\pi$ 방향으로 돌아 상쇄) — Umlaufsatz가 단순폐곡선에만 적용됨을 보여주는 반례.

예제 3 (등주부등식의 등호, 원). 반지름 $R$인 원: $\ell=2\pi R$, $A=\pi R^2$. $\frac{1}{4\pi}\ell^2=\frac{1}{4\pi}(2\pi R)^2=\pi R^2=A$ — 등호 성립.

예제 4 (등주부등식의 엄격한 부등호, 정사각형). 한 변 $a$인 정사각형: $\ell=4a$, $A=a^2$. $\frac1{4\pi}\ell^2=\frac{16a^2}{4\pi}=\frac{4a^2}\pi\approx1.27a^2 > a^2=A$ — 정사각형은 부등식을 엄격하게 만족(원이 아니므로).

예제 5 (타원의 4개 꼭짓점). $\gamma(t)=(a\cos t,b\sin t)$, $a\ne b$. 부호 곡률을 계산하면 $\kappa_s(t)=\dfrac{ab}{(a^2\sin^2t+b^2\cos^2t)^{3/2}}$이고, $d\kappa_s/dt=0$은 $\sin t\cos t(a^2-b^2)=0$일 때, 즉 $t=0,\pi/2,\pi,3\pi/2$ — 정확히 4개(장축·단축 끝점).9

예제 6 (원의 꼭짓점). 원은 모든 점에서 $\kappa_s$가 상수이므로 모든 점이 정류점(꼭짓점)이다 — "4개 이상"이라는 부등식과 모순 없이 극단적 경우(무한히 많은 꼭짓점)를 보여줌.

예제 7 (볼록하지 않은 곡선의 위험성). 콩팥 모양(비볼록) 단순폐곡선에서도 4-꼭짓점 정리는 (더 어려운 증명으로) 여전히 성립하지만, 볼록성을 가정한 증명 기법(직선으로 두 영역 분리)은 비볼록 곡선에서는 그대로 적용되지 않는다 — 볼록성이 증명 기법의 핵심 가설임을 보여준다.

흔한 오해와 함정

큰 그림 / 연결

이 세 정리는 모두 "$\oint(\text{국소량})$이 전역적 위상/기하를 강하게 제약한다"는 패턴의 평면곡선 버전이다. Hopf의 회전정리는 가우스–보네 정리의 1차원(경계곡선) 그림자다 — Gauss-Bonnet은 정확히 이 전체 곡률 적분을 곡면의 가우스 곡률 적분과 합쳐 오일러 표수(위상적 양)와 연결한다. 등주부등식은 변분법·기하학적 측도론에서 임의 차원으로 일반화되며(고차원 등주부등식), 극소곡면가 다루는 "넓이 최소화" 문제와 정신을 공유한다. 4-꼭짓점 정리는 사영기하·심플렉틱 기하의 더 깊은 정리들의 원형으로 여겨지며, 평면 곡선론을 넘어서는 연구의 출발점이기도 하다. 이 모든 결과의 공통 재료는 곡률과 비틀림의 부호 곡률 $\kappa_s$다.

연습문제

  1. 원의 전체 부호 곡률이 $2\pi$임을 직접 적분으로 확인하라(예제 1의 일반화, 반지름 $R$).
  2. 등주부등식을 이용해, 둘레가 $10$인 임의의 단순폐곡선이 둘러쌀 수 있는 최대 넓이를 구하라.
  3. 정삼각형(한 변 $a$)에 대해 등주부등식의 양변을 비교하라.
  4. 타원의 4개 꼭짓점을 예제 5의 공식으로 직접 계산해 확인하라.
  5. 단순폐곡선이 아닌 닫힌 곡선의 전체 곡률이 $4\pi$가 될 수 있는 예를 (정성적으로) 설명하라.
  6. 4-꼭짓점 정리를 이용해, 곡률이 단조증가하다가 단조감소하는(꼭짓점이 정확히 2개인) 단순폐곡선이 존재하지 않음을 설명하라.
  7. 양의 방향과 음의 방향의 단순폐곡선에서 전체 부호 곡률의 부호가 어떻게 달라지는지 설명하라.
힌트 / 정답
  1. $\kappa_s=1/R$(상수), $ds=R\,dt$이므로 $\oint\kappa_s\,ds=\int_0^{2\pi}\frac1R\cdot R\,dt=2\pi$.
  2. $A\le\frac1{4\pi}\ell^2=\frac{100}{4\pi}=\frac{25}\pi\approx7.96$, 등호는 반지름 $5/\pi$인 원일 때.
  3. 정삼각형 넓이 $A=\frac{\sqrt3}4a^2$, 둘레 $\ell=3a$. $\frac1{4\pi}\ell^2=\frac{9a^2}{4\pi}\approx0.716a^2$, $A=\frac{\sqrt3}4a^2\approx0.433a^2$ — $A<\frac1{4\pi}\ell^2$로 부등식 확인(엄격, 원이 아니므로).
  4. $\kappa_s(t)=ab(a^2\sin^2t+b^2\cos^2t)^{-3/2}$. $\frac{d}{dt}$를 취하면 분자에서 $\sin t\cos t(a^2-b^2)$ 인수가 나오고, $a\ne b$이므로 $\sin t\cos t=0\iff t=0,\pi/2,\pi,3\pi/2$.
  5. 8자 모양처럼 한 고리는 시계방향(기여 $-2\pi$), 다른 고리는 반시계방향(기여 $+2\pi$)... 같은 방향으로 두 바퀴 도는 자기교차 곡선(예: 리마송의 특수한 변형)을 구성하면 전체 곡률이 $2\cdot2\pi=4\pi$가 될 수 있다 — 단순곡선이 아니므로 Umlaufsatz의 가설을 벗어난다.
  6. 정류점이 2개뿐이면 그 사이에서 $\kappa_s$가 단조이므로, 4-꼭짓점 정리(볼록한 단순폐곡선은 최소 4개)에 모순된다 — 따라서 그런 곡선(볼록·단순·꼭짓점 2개)은 존재할 수 없다.
  7. 양의 방향(내부를 향한 법선)이면 전체 부호 곡률은 $+2\pi$; 방향을 뒤집으면(매개변수 진행 방향을 반대로) $\mathbf n_s$도 반대가 되어 $\kappa_s$ 전체의 부호가 뒤집히고 전체 곡률은 $-2\pi$가 된다.

관련 개념

  1. 원전 소개 — Pressley §3 (intro) — "All the properties of curves that we have discussed so far are `local'... Proving global results about curves often requires concepts from topology." ↩

  2. 원전 소개 — Pressley §3.1 Def. 3.1.1 and Jordan Curve Theorem statement — interior bounded, exterior unbounded, both connected. ↩

  3. 원전 소개 — Pressley §3.1 — "$\gamma$ is positively-oriented if the signed unit normal $\mathbf{n}_s$... points into $\operatorname{int}(\gamma)$ at every point." ↩

  4. 원전 소개 — Pressley §2.2 Cor. 2.2.5 — "The total signed curvature of a closed plane curve is an integer multiple of $2\pi$." ↩

  5. 원전 소개 — Pressley §3.1 Thm. 3.1.4 (Hopf's Umlaufsatz) — "The total signed curvature of a simple closed curve in $\mathbb{R}^2$ is $\pm 2\pi$." ↩

  6. 원전 소개 — Pressley §3.2 Thm. 3.2.2 — "$A(\gamma)\le\frac{1}{4\pi}\ell(\gamma)^2$, and equality holds if and only if $\gamma$ is a circle." ↩

  7. 원전 소개 — Pressley §3.2 Prop. 3.2.1 and Prop. 3.2.3 [synthesis] — area via Green's theorem and the Wirtinger inequality used in the proof. ↩↩

  8. 원전 소개 — Pressley §3.3 Def. 3.3.1 — "A vertex of a curve $\gamma$ in $\mathbb{R}^2$ is a point where its signed curvature $\kappa_s$ has a stationary point." ↩

  9. 원전 소개 — Pressley §3.3 Ex. 3.3.2 — the ellipse's signed curvature has $d\kappa_s/dt=0$ at exactly four points. ↩↩

  10. 원전 소개 — Pressley §3.3 Thm. 3.3.3 — "Every convex simple closed curve in $\mathbb{R}^2$ has at least four vertices." ↩