logo

미분기하학에서 제2 기본 형식 📂기하학

미분기하학에서 제2 기본 형식

빌드업1

x:U→R3\mathbf{x} : U \to \mathbb{R}^{3}를 좌표조각사상이라 하자. 미분 기하학에서는 기하적인 대상의 특징과 성질을 미분을 통해 설명한다. 따라서 좌표조각 x\mathbf{x}의 도함수들이 각종 정리와 공식에서 등장하게 된다. 가령 1계 도함수 {x1,x2}\left\{ \mathbf{x}_{1}, \mathbf{x}_{2} \right\}들은 탄젠트 공간 TpMT_{p}M의 기저가 된다. 따라서 임의의 탄젠트 벡터 X∈TpM\mathbf{X} \in T_{p}M은 다음과 같이 표현할 수 있다.

X=X1x1+X2x2 \mathbf{X} = X^{1}\mathbf{x}_{1} + X^{2}\mathbf{x}_{2}

그럼 이제 좌표조각사상의 2계 도함수 xij=∂2x∂ui∂uj\mathbf{x}_{ij} = \dfrac{\partial^{2} \mathbf{x}}{\partial u_{i} \partial u_{j}}를 생각해보자. 이는 R3\mathbb{R}^{3}의 벡터이므로 R3\mathbb{R}^{3}의 기저의 선형결합으로 나타낼 수 있다. 그런데 우리는 이미 R3\mathbb{R}^{3}에서 서로 수직한 3개의 벡터를 알고 있는데, 그것은 1계 도함수들과 단위 노멀이다.

{n,x1,x2} \left\{ \mathbf{n}, \mathbf{x}_{1}, \mathbf{x}_{2} \right\}

그러면 xij\mathbf{x}_{ij}는 다음과 같이 나타낼 수 있다.

xij=aijn+bij1x1+bij2x2 \mathbf{x}_{ij} = a_{ij} \mathbf{n} + b^{1}_{ij} \mathbf{x}_{1} + b^{2}_{ij} \mathbf{x}_{2}

xij\mathbf{x}_{ij}들의 n\mathbf{n}항의 계수 aij=⟨xij,n⟩a_{ij} = \left\langle \mathbf{x}_{ij}, \mathbf{n} \right\rangle들을 x\mathbf{x}의 제2 기본 형식의 계수coefficient of the second fundamental form라 한다.

정의

xij\mathbf{x}_{ij}와 단위 노멀 n\mathbf{n}의 내적을 LijL_{ij}라고 표기하고 제2 기본 형식의 계수라 한다.

Lij:=⟨xij,n⟩ L_{ij} := \left\langle \mathbf{x}_{ij}, \mathbf{n} \right\rangle

X,Y\mathbf{X}, \mathbf{Y}를 곡면 x\mathbf{x}의 탄젠트 공간 TPMT_{P}M의 벡터라고 하자. 탄젠트 공간의 기저는 {x1,x2}\left\{ \mathbf{x}_{1}, \mathbf{x}_{2} \right\}이므로 다음과 같이 나타낼 수 있다.

X=X1x1+X2x2andY=Y1x1+Y2x2 \mathbf{X} = X^{1}\mathbf{x}_{1} + X^{2}\mathbf{x}_{2} \quad \text{and} \quad \mathbf{Y} = Y^{1}\mathbf{x}_{1} + Y^{2}\mathbf{x}_{2}

다음과 같은 쌍선형 형식 IIII을 곡면 x\mathbf{x}의 제2 기본 형식the second fundamental form이라 정의한다.

II(X,Y)=∑i=12∑j=12LijXiYj=LijXiYj=[X1X2][L11L12L21L22][Y1Y2] II (\mathbf{X}, \mathbf{Y}) = \sum \limits_{i=1}^{2} \sum \limits_{j=1}^{2} L_{ij}X^{i}Y^{j} = L_{ij}X^{i}Y^{j} = \begin{bmatrix} X^{1} & X^{2}\end{bmatrix} \begin{bmatrix} L_{11} & L_{12} \\ L_{21} & L_{22} \end{bmatrix} \begin{bmatrix} Y^{1} \\ Y^{2}\end{bmatrix}

∑\sum이 생략된 식은 아인슈타인 표기법을 사용한 것이다.

설명

x12=x21\mathbf{x}_{12} = \mathbf{x}_{21}이므로 L12=L21L_{12} = L_{21}이다.

xij\mathbf{x}_{ij}의 노멀 성분normal component aija_{ij}를 LijL_{ij}라 표기하고 제2 기본형식의 계수라 부르고, xij\mathbf{x}_{ij}의 탄젠트 성분tangential components bijkb_{ij}^{k}를 Γijk\Gamma_{ij}^{k}라 표기하고 크리스토펠 심볼이라 부른다.

제1 기본 형식이 곡면 위의 곡선의 길이와 관련된 함수였다면, 제2 기본 형식은 곡면이 얼마나 굽어있는지에 대한 지표인 법곡률 κn\kappa_{n}과 관련이 있다.

제1 기본 형식은 리만 메트릭이라는 다른 이름으로도 불리는 반면, 제2 기본 형식은 그냥 제2 기본 형식으로 불린다.

같이보기

  1. Richard S. Millman and George D. Parker, Elements of Differential Geometry (1977), p104-105 ↩︎