목차
1 개요
미적분의 기본정리의 일반화 끝판왕.
함수를 극소계에 대해서 내부적분한 값은 계를 극소함수에 대해서 내부적분한 값과 같다는 것이다.
보통 대학교 학부 미적분학/공학수학에서 접하는 스토크스 정리는 미분위상수학[1]에서 이야기하는 미분다양체 상에서의 스토크스 정리의 극히 특수한 경우로, 특별히 캘빈-스토크스 정리라고도 부른다.
2 일반적인 진술
만일 [math]w[/math]가 콤팩트인 방향 [math]k[/math]차원 다양체 [math]X[/math]상에서의 [math](k-1)[/math]형식이면, 다음의 등식이 성립한다.
[math]\displaystyle \int_{\partial X} w = \int_{X} dw[/math]
3 개략적인 이해
미분위상수학에서 말하는 스토크스 정리를 증명하는 데에는 미분다양체, 외대수, 캡곱과 컴팩트 받침 등을 비롯한 온갖 엄밀한 개념들이 사용된다. 증명 자체의 흐름은 다차원에서 이루어지는 일들을 1차원의 미적분학 기본정리와 동일한 형식으로 바꾸는 것으로, 1차원 미적분학의 개념들을 다차원에서의 미분과 적분, 함수의 개념을 정의하여 '정리'의 형태로 작성하는 것이 가장 어려운 부분이다.
아래 내용을 제대로 이해하기 위해서는 수학과 대학원에서 미분위상수학이라는 과목을 배워야 하므로 여기서는 정리의 내용 자체를 개략적으로나마 이해하는 수준에서 넘어가고자 한다.
3.1 [math]k[/math]차원 다양체 [math]X[/math]
[math]k[/math]차원의 다양체라고 할 때, [math]k[/math]차원 도형을 생각하면 좋을 것이다. 다양체는 좌표공간 안에서와 똑같은 방식으로 생각할 수 있는 물체를 말한다. [math]k[/math]차원이라 함은 선형공간에서와 같이, 이 다양체가 길이는 있는데 넓이가 0이면 1차원, 넓이를 가지는데 부피가 없으면 2차원이라는 식으로 표현된다. 그리고 이와 같은 [math]X[/math]에 대한 [math]\partial X[/math]는, 다양체 [math]X[/math]의 '경계' 를 의미한다. [math]X[/math]가 속이 꽉 찬 원이라면 [math]\partial X[/math]는 그 경계부분의 원을 지칭하고, [math]X[/math]가 선분이라면 [math]\partial X[/math]는 양 끝의 점을 나타낸다.
다음과 같은 예시들을 생각할 수 있다.
- 콤팩트인 방향 1차원 다양체 [3,4]에 대해, [math]\partial[3,4]={3,4}[/math]
- 콤팩트인 방향 2차원 다양체 [math] X=\{(x,y)|x^2 + y^2 \le 1 \}[/math]에 대해, [math]\partial X=\{(x,y)|x^2 + y^2 =1\}[/math]
- 콤팩트인 방향 3차원 다양체 [math] X=\{(x,y,z)|x^2 + y^2 + z^2 \le 4 \}[/math]에 대해, [math]\partial X=\{(x,y,z)|x^2 + y^2 + z^2=4\}[/math]
그리고 [math]k[/math]차원 적분이라 함은, 다양한 모습의 [math]k[/math]차원 다양체에서 정의되는 [math]k[/math]폼인 '적분대상', 즉, 다양체의 각 점마다 어떤 숫자를 갖는 함수들에 대해서 적분을 해 보자는 것이다.
3.2 [math]X[/math]상에서의 [math](k-1)[/math]형식 [math]w[/math]
우리가 3차원 유클리드 공간의 2차원 다양체를 나타내고자 할 때, 다음과 같은 표기법을 사용할 수 있다.
어떤 함수 [math]f:R^2 \rightarrow R[/math]에 대해서, [math]X[/math]는 [math]X=\{(x,y,z)|(x,y) \in R^2, z=f(x,y)\}[/math]
이 표기법에서 생각할 수 있는 것은, 3차 유클리드 좌표계에서의 3차원 도형이라 하더라도 [math]R^2[/math]상의 점, [math](x,y)[/math]에 따라 결정되는 2차원 도형으로 취급할 수 있다는 점이다. 속이 빈 구각은 3차원 이상에서만 존재할 수 있지만 그 도형 자체는 2차원인 것이다. 이제 우리는 [math]X[/math]에 대한 논의를 2차원에서 진행할 수 있으므로, [math]X[/math] 위에서의 함수 [math]w[/math]를 2차원 좌표를 이용하여 나타낼 수 있다.
어떤 함수 [math]g:R^2 \rightarrow R[/math]에 대해서, [math]w[/math]는 [math]X[/math] 위의 점 [math](x,y,z)[/math]에 대해, [math]g(x,y)[/math]의 값을 가리키는 함수.
이를 통해 각 점마다 각각의 숫자를 가지는 함수를 작성할 수 있다. 이렇게 각 점을 '숫자'로 연결한 형식을 0형식이라 부른다. 이러한 미분형식은 각 형식에 미분을 취할수록 점점 숫자가 증가하는데, 그 중에서도 특히 [math]dw[/math]는 [math]0[/math]형식인 [math]w[/math]의 '미분형식'인 1형식 으로서, 다음과 같은 형태를 생각할 수 있다.
함수 [math] f(x)=x^2[/math]에 의한 형식 [math]w[/math]에 대해, [math] dw=2xdx[/math]
이러한 미분방식은 고등학교나 비 수학과의 야매 치환적분법과 같다. 1차원의 경우에는 이것으로 끝이지만, 2차원에서는 한 번 미분하면 벡터장, 한 번 더 미분하면 그 벡터장의 발산함수가 나오는 식으로 [math]k[/math]차원에서는 [math]k[/math]번까지 미분할 수 있다. 이제 [math]k[/math]차원 다양체에서 [math]k[/math]형식의 적분을 정의하는데, 이는 위의 예에서 보듯 [math]k[/math]형식의 형태가 [math]f(x,y,z)dxdydz[/math]와 같은 꼴로 나타나기 때문에 그냥 적분과 표기법이 같다!
예를 들어 3차원 안의 2형식은 [math]f(x,y,z)dydz+g(x,y,z)dzdx+h(x,y,z)dxdy[/math] 꼴로 나타나는데 그냥 3차원 벡터장이다. 모양을 보면 알겠지만 [math]k[/math]형식은 [math]k[/math]차원에서만 적분할 수 있도록 디자인되어있다.
이와 같이, 미분형식을 이야기할 때에는 발산 정리에서 이야기하는 벡터장 [math]F[/math]의 curl과 div, 그리고 그래디언트를 비롯한 '미분의 형식' 들을 생각하고, [math]w[/math]에 대한 미분형식 [math]dw[/math]는 [math]w[/math]에 대한 curl, div, 혹은 단순한 도함수 등의 형태로 주어진다. 이 정리의 바리에이션 중 이공계 대학생들에게 친숙한 것은 후술할 캘빈-스토크스 정리와 발산 정리 등이 있다.
3.3 그리고 적분
결국 스토크스 정리가 이야기하는 것은, 다양체 [math]X[/math]에서 어떤 벡터장 [math]w[/math]의 미분형식(보통 이러한 것이 전하, 열원 등의 원하는 물리량)을 적분하는 것은, [math]X[/math] 의 경계에서만 벡터장 [math]w[/math]자체를(이쪽은 측정가능한 정보가 많다) 적분하는 것과 같다는 것이 된다. MRI와 같이 주변에서 한 번 휙~ 돌면서 측정하면 내부 내용을 다 안다는 뜻이다.
3.4 학부 미적분학에서는(캘빈-스토크스 정리)
이 문단은 그린 정리(으)로 검색해도 들어올 수 있습니다.
학부 미적분학이나 공학수학에서는 주로 다음과 같은 형태로 나온다.
[math]\displaystyle \int_{\partial S}\vec{F} \cdot d\vec{s} = \iint_{S}{curl \vec{F}}\cdot d\vec{S}[/math]
이때 [math]S[/math]는 3차원 공간 상의 곡면, [math]\partial {S}[/math]는 해당 곡면의 경계선을 뜻한다.
2차원에서 적용되는 스토크스 정리를 따로 그린 정리(Green's theorem)이라고도 한다.[2]
[math]\displaystyle \oint_{ \partial D }{ P } dx + { Q } dy = \iint_{ D }{ ( {\partial Q \over \partial x} - {\partial P \over \partial y} ) dA} [/math]
해당 식의 좌변은 영역 D의 경계선을 따라가는 선적분이고, 우변은 3차원 스토크스 정리에서 xy평면의 법벡터가 z방향의 단위벡터이므로 dS벡터와 회전장을 내적하면 회전장의 z성분만 남게 되어 위 식이 유도된다.
보통 2차원 회전 정리를 증명할 때 그린정리가 바탕이 된다.
4 같이 보기
- 미적분의 기본정리 : 2차원 다양체 [math]X[/math]상에서의 1차 형식에 대한 스토크스 정리이다.
- 발산 정리 : 마찬가지로 3차원 다양체, 4차원 다양체 상에서의 각각 2차 형식, 3차 형식에 대한 스토크스 정리의 특수한 경우이다. 특히 3차원 다양체 상에서의 2차 형식의 미분형식으로 div, curl을 선택할 수 있고, 이를 각각 그린 정리, 스토크스 정리로 대부분 배우고 있다. 또한 4차원 다양체 상에서의 3차 형식에 대한 삼중적분으로 계산하는 정리를, 가우스의 발산정리라는 이름으로 대학수학 강의시간에 들을 수 있다.