최근 수정 시각 : 2024-10-17 16:35:26

곡면

<rowcolor=#fff> '기하학·위상수학
'
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
평면기하학에 대한 내용은 틀:평면기하학 참고.
기본 대상
공리 유클리드 기하학 · 비유클리드 기하학
도형 기본 도형 평면 · 부피 · 꼬인 위치 · 각기둥 · 각뿔 · 원기둥 · 원뿔 · (공 모양) · 전개도 · 겨냥도 · 다면체 (정다면체) · 정사영
곡면 타원면 · 타원포물면 · 쌍곡포물면 · 원환면
프랙털 도형 시에르핀스키 삼각형 · 시에르핀스키 사각형(멩거 스펀지) · 망델브로 집합 · 코흐 곡선 · 드래곤 커브
기타 다포체 · 초구 · 준구 · 일각형 · 이각형
다루는 대상과 주요 토픽
대수기하학 대수다양체 · · 스킴 · 에탈 코호몰로지 · 모티브 · 타원곡선
미분기하학 미분다양체 · 측지선 · 곡률(스칼라 곡률 · 리만-크리스토펠 곡률 텐서 · 리치 텐서) · 열률 · 텐서 · 쌍곡 공간(쌍곡삼각형 · 푸앵카레 원반) · 타원 공간(구면삼각형) · 아핀접속
위상수학 위상 공간 유계 · 옹골 집합 · 다양체 · 택시 거리 공간 · 연결 공간 · 위상수학자의 사인곡선
위상도형 사영평면 · 뫼비우스의 띠 · 클라인의 병 · 매듭(/목록)
주요 성질·정리 분리공리 · 우리손 거리화정리(우리손 보조정리) · 베르 범주 정리
대수적 위상수학 호모토피 · 사슬 복합체 · 호몰로지 이론(호몰로지 · 코호몰로지) · 사상류 군 · 닐센-서스턴 분류
기타 차원 · 좌표계 · 거리함수 · 그물 · 쾨니히스베르크 다리 건너기 문제
정리·추측
실베스터-갈라이 정리 · 해안선 역설 · 바나흐-타르스키 역설 · 라이데마이스터 변환 · 오일러 지표 · 푸앵카레 정리 · 페르마의 마지막 정리 · 호지 추측미해결 · 버츠와 스위너톤-다이어 추측미해결
분야
논증기하학 · 대수기하학 · 미분기하학 · 해석 기하학 · 매듭이론 · 프랙털 이론 · 정보기하학 · 위상 데이터분석 }}}}}}}}}

1. 개요2. 관련 용어3. 기본계수와 기본형식(fundamental coefficients / form)
3.1. 특수한 경우의 제1, 제2기본계수
4. 기본계수와 곡면의 성질
4.1. 제2기본계수

1. 개요

/ surface

기본적으로는 2차원으로 표현이 가능한 굽어있는 기하학적 형상을 의미하며, 이를 보다 일반화시킨 정의로는 다차원 공간 상에서의 2차원 다양체를 의미한다.

2. 관련 용어

  • 평면(plane)
    곡면의 특수한 경우로, 모든 방향에서 곡률이 0인 곡면이다.
  • 접평면(tangent plane)
    곡선에서의 접선의 개념을 보다 고차원으로 확장시킨 것. 거의 모든 점에서 연속적인 곡면상의 임의의 점에서 해당 점에 접하는 평면이라는 형태로 정의된다.
  • 부드러움(smooth)
    곡면 [math(S)]가 해당 영역 내의 모든 점에서의 편미분이 연속된 값을 가지는 경우, 해당 영역에서 이 곡면은 매끄럽다고 표현한다. 다만 정확하게 정의하자면 곡면 [math(S)]를 매개변수 [math(u, v)]에 대해 매개화한 좌표함수 [math(r(u,v))]를 정의한 뒤, [math(r_u\times r_v\neq 0)]. 즉 정의된 모든 점에서 법선벡터의 크기가 0이 아닌 곡면을 말한다.
  • 단순곡면(simple surface)
    [math(u, v)]로 구성된 2차원 좌표를 지닌 유클리드 공간의 부분집합 [math(U \subset \mathbb{R}^2)]가 개집합이라 할 때, [math(k \in \mathbb{N})]에 대한 [math(C^{k})]-단사함수 [math(\mathbf{x}:U\to \mathbb{R}^3)]가 모든 [math(p \in U)]에 대하여 [math(\displaystyle \frac{\partial\mathbf{x}}{\partial u}(p)\times \frac{\partial\mathbf{x}}{\partial v}(p)\neq 0)]를 만족하는 곡면
  • 고유조각사상(proper patch)
    단순곡면 [math(\mathbf{x}:U\to \mathbb{R}^3)]의 역함수 [math(\mathbf{x}^{-1}:\mathbf{x}(U)\to U)]가 정의역 [math(\mathbf{x}(U))]의 모든 점에서 연속인 사상.

3. 기본계수와 기본형식(fundamental coefficients / form)

여기서는 3차원 공간의 2차원 곡면에 대해서만 정의한다. 그 이상이 되면 대학원 수준에 이르는 미분기하학 지식이 필요하기 때문.
  • 제1기본계수(1st fundamental coefficients)
    곡면 [math(M, p \in M)]에 대하여
    [math(x:D\to x(D)(\subset M))]

    가 [math(p)] 근방의 고유조각사상일 때, 다음의 3가지를 점 [math(p)]에서의 곡면 [math(M)]의 제1기본계수라고 한다.
    • [math(E:=\left\langle \mathbf{x}_u, \mathbf{x}_u\right\rangle)]
    • [math(F:=\left\langle \mathbf{x}_u, \mathbf{x}_v\right\rangle)]
    • [math(G:=\left\langle \mathbf{x}_v, \mathbf{x}_v\right\rangle)]
  • 제2기본계수(2nd fundamental coefficients)
    • [math(L:=\left\langle \mathbf{x}_{uu}, U \right\rangle=-\left\langle \mathbf{x}_u, U_u\right\rangle)]
    • [math(M:=\left\langle \mathbf{x}_{uv}, U \right\rangle=-\left\langle \mathbf{x}_u, U_v\right\rangle=-\left\langle \mathbf{x}_v, U_u\right\rangle)]
    • [math(N:=\left\langle \mathbf{x}_{vv}, U \right\rangle=-\left\langle \mathbf{x}_v, U_v\right\rangle)]
  • 제1기본형식과 제2기본형식(1st/2nd fundamental form)
    원래는 헤세 행렬 개념이 포함되는 내용이지만, 미분기하학에서 쓰이는 수준으로 간략하게 표현하면 다음과 같다.
    • 제1기본형식
      [math(T_pM=\{a\mathbf{x}_u+b\mathbf{x}_v|a, b\in \mathbb{R}\})]이라는 접평면을 가정하자. 즉, 이 접평면 위의 모든 점은 접평면의 기저의 2차원 좌표로 표현할 수 있다. 이 때, A 항목을 만족하는 사상을 제1기본형식, B 항목을 만족하는 사상을 제2기본형식이라고 한다.
      (단, [math(\mathbf{w}\in T_pM)])
      ([math(\alpha:\left(-\epsilon, \epsilon\right)\to M)]는 정칙곡선이다. 즉 [math(\displaystyle \alpha(0)=p, \alpha'(0)=\biggl. \frac{du}{dt} \mathbf{x}_u+\frac{dv}{dt} \mathbf{x}_v \biggl|_{t=0})]

      1. 제1기본형식

        1. [math(\textrm{Ⅰ}_p:T_pM\to \mathbb{R})]
          [math(\displaystyle\begin{aligned}\textrm{Ⅰ}_p(\mathbf{w}):&=\left\langle\mathbf{w},\mathbf{w}\right\rangle\\&=\lVert w\rVert^2\\&=\left\langle\alpha'(0), \alpha'(0)\right\rangle\\&=\biggl.E\left(\frac{du}{dt}\right)^2+2F\left(\frac{du}{dt}\right)\left(\frac{dv}{dt}\right)+G\left(\frac{dv}{dt}\right)^2\biggl|_{t=0}\end{aligned})]



        B. 제2기본형식[1]

          [math(\textrm{Ⅱ}_p:T_pM\to \mathbb{R})]
          [math(\displaystyle \begin{aligned}\textrm{Ⅱ}_p(w):&=-\left\langle dU_p(\mathbf{w}), \mathbf{w}\right\rangle\\&=\biggl.L\left(\frac{du}{dt}\right)^2+2M\left(\frac{du}{dt}\right)\left(\frac{dv}{dt}\right)+N\left(\frac{dv}{dt}\right)^2\biggl|_{t=0}\end{aligned})]


      엄밀하게는 리만 다양체아핀접속 등의 고급 위상수학적 개념을 끌고 와야 하므로 학부 미분기하학 수준에서 멈춘다.

이 제1기본계수와 제2기본계수를 이용하면 평균곡률([math(H)])과 가우스 곡률([math(K)])을 다음 관계식에 의해 구할 수 있다.

[math(\displaystyle H=\frac{EN+GL-2FM}{2\left(EG-F^2\right)})]
[math(\displaystyle K=\frac{LN-M^2}{EG-F^2})]
이는 제1기본계수와 제2기본계수를 이용한 다음 행렬의 행렬식과 대각합으로 유도된다.
[math(\left[S_p\right]_{\textbf{B}_1}=\begin{pmatrix} E & F \\ F & G \end{pmatrix}^{-1}\begin{pmatrix} L & M \\ M & N \end{pmatrix})]
여기서 행렬 [math(\left[S_p\right]_{\textbf{B}_1})]은 순서기저 [math(\textbf{B}=\left(e_1, e_2\right))]에서 [math(\textbf{B}_1=\left(\mathbf{x}_u, \mathbf{x}_v\right))]로 보내는 접평면으로의 순서기저 행렬표현이다. 이 때, 위의 평균곡률과 가우스 곡률은 각각 [math(\displaystyle\frac{1}{2}\text{tr}\left(\left[S_p\right]_{\textbf{B}_1}\right))]과 [math(\text{det}\left(\left[S_p\right]_{\textbf{B}_1}\right))]이 된다. 여담으로 주방향의 경우는 이 행렬에 대한 고유벡터의 각 성분을 기저에 대응시켜 만든 좌표값에 해당하며, 이를 통해 주곡률을 구할수도 있다.

그 외에도 주곡률이 [math(\kappa_1, \kappa_2)]인 곡면에서 평균곡률과 가우스 곡률은 각각 [math(\displaystyle H=\frac{\kappa_1+\kappa_2}{2}, K=\kappa_1\kappa_2)]의 형태로 주어지므로, 근과 계수의 관계에 따라서 주곡률을 구할 수 있게 된다.
즉, 이 경우의 주곡률은 다음 이차방정식 [math(\kappa_1, \kappa_2:x^2-2Hx+K=0)]의 두 근이 되는 것.
이 자체가 바이가르텐 사상(Weingarten Map)인지라, 이를 통해 증명은 가능하다. 다만 바이가르텐 사상 자체가 학부 수준에서는 넘어가는 케이스가 많아서 증명에 대한 언급은 생략.

3.1. 특수한 경우의 제1, 제2기본계수

고유조각사상이 [math(\mathbf{x}(u,v)=((R+r\cos u)\cos v, (R+r\cos u)\sin v, r\sin u))]인 곡면은 원환면이다.
이 때, 원환면에서의 제1, 제2기본계수는 다음과 같다.
제1기본계수 제2기본계수
[math(E)] [math(F)] [math(G)] [math(L)] [math(M)] [math(N)]
[math(r^2)] [math(0)] [math(\left(R+r\cos u\right)^2)] [math(r)] [math(0)] [math(\left(R+r\cos u\right)\cos u)]
주곡률 [math(\kappa_1)] [math(\displaystyle \frac{1}{r})]
[math(\kappa_2)] [math(\displaystyle \frac{\cos u}{\left(R+r\cos u\right)})]
평균곡률 [math(H)] [math(\displaystyle \frac{R+2r\cos u}{2r\left(R+r\cos u\right)})]
가우스 곡률 [math(K)] [math(\displaystyle \frac{\cos u}{r\left(R+r\cos u\right)})]

고유조각사상이 [math(\mathbf{x}(u,v)=(r\cos u\cos v, r\sin u\cos v, r\sin v))](단 [math(r>0)])인 곡면은 구면이다.
이 때, 구면에서의 제1, 제2기본계수는 다음과 같다.
제1기본계수 제2기본계수
[math(E)] [math(F)] [math(G)] [math(L)] [math(M)] [math(N)]
[math(r^2\cos^2 v)] [math(0)] [math(r^2)] [math(-r\cos^2 v)] [math(0)] [math(-r)]
주곡률 [math(\kappa_1)] [math(\displaystyle -\frac{1}{r})]
[math(\kappa_2)] [math(\displaystyle -\frac{1}{r})]
평균곡률 [math(H)] [math(\displaystyle -\frac{1}{r})]
가우스 곡률 [math(K)] [math(\displaystyle \frac{1}{r^2})]
법곡률 [math(\kappa_n)] [math(\displaystyle \pm\frac{1}{r})]
※법곡률이 부호가 고정되지 않은 이유는, 고유조각사상을 냈을 때, 법곡면의 법선벡터가 원의 중심을 향하는 사상을 택하느냐, 원의 외부를 향하는 사상을 택하느냐에 따라 부호가 달라지기 때문이다.

평면의 경우는 이미 알려져 있다시피 주곡률이 0이므로 [math(H=K=0)]으로 정리된다.
실제로 평면의 경우 [math(\mathbf{x}(u, v)=(x_0+x_1u+x_2v, y_0+y_1u+y_2v, z_0+z_1u+z_2v))](단, [math(\left\vert(x_1, y_1, z_1)\times(x_2, y_2, z_2)\right\vert\neq 0)])라고 매개변수화 할 수 있는데, 이 경우 제1, 제2기본계수는 다음과 같다.
제1기본계수 제2기본계수
[math(E)] [math(F)] [math(G)] [math(L)] [math(M)] [math(N)]
[math(x_1^2+y_1^2+z_1^2)] [math(x_1x_2+y_1y_2+z_1z_2)] [math(x_2^2+y_2^2+z_2^2)] [math(0)] [math(0)] [math(0)]
주곡률 [math(\kappa_1, \kappa_2)] [math(0)]
평균곡률 [math(H)]
가우스 곡률 [math(K)]

4. 기본계수와 곡면의 성질

4.1. 제2기본계수

곡면 [math(M)]상의 한 점 [math(p)]에 대해서, 다음 행렬은 해당 점의 국소적인 기하학적 성질을 결정한다.

[math(\begin{pmatrix} L & M \\ M & N \end{pmatrix})]
이 행렬의 행렬식을 [math(D)]라고 하면, 다음이 성립한다.
[math(D>0)] 타원점(Ecliptic Point)
[math(D<0)] 쌍곡점(Hyperbolic Point)
[math(D=0)] [math((L, M, N)\neq (0,0,0))] 포물점(Parabolic Point)
[math((L, M, N)=(0,0,0))] 평탄점(Planar Point)


[1] 헤세 행렬은 여기서 적용되며, 접곡면의 편차에 대하여 테일러 급수를 취한 2차항의 계수의 2배가 헤세 행렬이 된다. 여기서 편차를 매개변수에 대한 2차 미분에 대한 스칼라곱으로 바꾼게 바로 제2기본형식이 된다.

분류