장 45 미분 형식 적분하기

이제 셀 위에서 미분 형식을 적분하는 방법을 보이고, 이러한 맥락에서 스토크스 정리를 서술합니다. 이 장에서는 모든 벡터 공간이 유한 차원이고 실수입니다.

45.1 동기: 선적분

함수 $g\colon[a,b]\to\mathbb{R}$ 가 주어졌을 때, 미적분학의 기본정리에 의해 다음을 알 수 있습니다.

\int_{[a,b]}g(t)\;dt=f(b)-f(a)

여기서 $f$ 는 $g=df/dt$ 를 만족하는 함수입니다. 동등하게, $f\colon[a,b]\to\mathbb{R}$ 에 대해서는

\int_{[a,b]}g\;dt=\int_{[a,b]}df=f(b)-f(a)

여기서 $d f$ 는 앞서 정의한 외미분입니다.

좋습니다, 이제 $[a,b]$ 위에서 적분을 할 수 있습니다. 이제 더 일반적으로, 실수 벡터 공간 $V$ 의 열린 부분집합 $U$ 와 $1$ -형식 $\alpha\colon U\to V^{\vee}$ 가 있다고 합시다. 매개변수화된 곡선(parametrized curve), 즉 매끄러운 함수 $c\colon[a,b]\to U$ 를 생각해봅시다. 그림:

다음을 만족하는 $\int_{c}\alpha$ 를 정의하고자 합니다.

적분 $\int_{c}\alpha$ 는 곡선 $c$ 를 따라 모든 $\alpha$ 를 더한 것이어야 합니다.

우리의 미분 형식 $\alpha$ 는 먼저 점 $p$ 를 받아 $\alpha_{p}\in V^{\vee}$ 를 얻습니다. 그다음, 곡선 $c$ 에 대한 접벡터 $v\in V$ 를 받아들여 마침내 실수 $\alpha_{p}(v)\in\mathbb{R}$ 를 내놓습니다. 우리는 $[a,b]$ 위에서의 적분이라는 개념만을 사용하여 ”이 모든 수들을 더하고” 싶습니다.

연습문제 45.1.1.

적분의 정의가 무엇이어야 할지 추측해보십시오. (형식 검사만으로도, 합리적인 답은 하나뿐입니다.)

따라서, 우리가 제시하는 정의는 다음과 같습니다.

\int_{c}\alpha\coloneqq\int_{[a,b]}\alpha_{c(t)}\left(c^{\prime}(t)\right)\;dt.

여기서 $c^{\prime}(t)$ 는 $(Dc)_{t}(1)$ 의 약칭입니다. 이는 시각 $t$ 에서, 점 $p=c(t)$ 에서의 곡선 $c$ 의 접벡터를 나타냅니다. (여기서는 $[a,b]$ 가 1차원이라는 사실을 이용하고 있습니다.)

이제 그 정의는 쓰기가 번거로우므로, $[a,b]$ 위에 미분 $1$ -형식 $c^{\ast}\alpha$ 를 정의하여 그 전체를 삼키도록 하겠습니다. 구체적으로, 이 경우 우리는 $c^{\ast}\alpha$ 를 다음과 같이 정의합니다.

\left(c^{\ast}\alpha\right)_{t}(\varepsilon)=\alpha_{c(t)}\cdot(Dc)_{t}(\varepsilon)

(여기서 $\varepsilon$ 는 시간상의 어떤 변위입니다.) 따라서, 더 간결하게 다음과 같이 쓸 수 있습니다.

\int_{c}\alpha\coloneqq\int_{[a,b]}c^{\ast}\alpha.

이는 당겨오기(pullback)의 특수한 경우입니다. 대략적으로, $\phi\colon U\to U^{\prime}$ ( $U\subseteq V$ , $U^{\prime}\subseteq V^{\prime}$ )일 때, $U^{\prime}$ 위의 임의의 미분 $k$ -형식 $\alpha$ 를 $U$ 위의 $k$ -형식으로 바꿀 수 있습니다. 특히, $U=[a,b]$ 인 경우,¹¹1네, $[a,b]$ 는 사실 열린집합이 아닙니다, 죄송합니다. $(a-\varepsilon,b+\varepsilon)$ 같은 것을 썼어야 합니다. 우리는 기존의 적분 정의로 돌아갈 수 있습니다. 이제 이것을 완전히 일반적으로 해봅시다.

45.2 당겨오기

$V$ 와 $V^{\prime}$ 를 유한 차원 실수 벡터 공간(차원이 다를 수도 있음)이라 하고, $U$ 와 $U^{\prime}$ 가 각각의 열린 부분집합이라 합시다. 다음으로, $U^{\prime}$ 위의 $k$ -형식 $\alpha$ 를 생각해봅시다.

사상 $\phi\colon U\to U^{\prime}$ 가 주어졌을 때, 이제 이전과 거의 같은 방식으로 당겨오기를 정의하고자 합니다. 그림:

음, 우리가 할 수 있는 일은 대략 한 가지뿐입니다. 구체적으로: $\alpha$ 는 $U^{\prime}$ 안의 점 하나와 $V^{\prime}$ 안의 접벡터 $k$ 개를 받아, 실수를 반환합니다. 우리는 $\phi^{\ast}\alpha$ 가 $p\in U$ 안의 점과 $V$ 안의 접벡터 $v_{1},\dots,v_{k}$ $k$ 개를 받아, 그에 대응하는 정보를 $\alpha$ 에 넘겨주기를 원합니다.

명백히 우리는 점 $q=\phi(p)$ 를 넘겨줍니다. 접벡터에 대해서는, 우리가 부피에 관심이 있으므로 $p$ 에서 $\phi$ 의 미분 $(D\phi)_{p}$ 를 취하는데, 이는 우리의 각 벡터 $v_{i}$ 를 목표 공간 $V^{\prime}$ 안의 어떤 벡터로 스케일링할 것입니다. 결론부터 말하면 다음과 같습니다.

정의 45.2.1.

$\phi\colon U\to U^{\prime}$ 와 $k$ -형식 $\alpha$ 가 주어졌을 때, 당겨오기(pullback)를 다음과 같이 정의합니다.

(\phi^{\ast}\alpha)_{p}(v_{1},\dots,v_{k})\coloneqq\alpha_{\phi(p)}\left((D% \phi)_{p}(v_{1}),\dots,(D\phi)_{p}(v_{k})\right).

기저를 사용하여 당겨오기를 정의하는 더 구체적인 방법이 있습니다. $w_{1},\dots,w_{n}$ 을 $V^{\prime}$ 의 기저라 하고 $e_{1},\dots,e_{m}$ 을 $V$ 의 기저라 합시다. 그러면 사영 원리(정리 43.2.1)에 의해 사상 $\phi\colon V\to V^{\prime}$ 는 다음과 같이 생각할 수 있습니다.

\phi(v)=\phi_{1}(v)w_{1}+\dots+\phi_{n}(v)w_{n}

여기서 각 $\phi_{i}$ 는 $v\in V$ 를 받아서 실수를 반환합니다. 또한 $\alpha$ 는 구체적으로 다음과 같이 쓸 수 있다는 것을 알고 있습니다.

\alpha=\sum_{I\subseteq\{1,\dots,n\}}f_{I}\;dw_{I}.

그러면, 다음과 같이 정의합니다.

\phi^{\ast}\alpha=\sum_{I\subseteq\{1,\dots,n\}}(f_{I}\circ\phi)(D\phi_{i_{1}}% \wedge\dots\wedge D\phi_{i_{k}}).

성실한 독자라면 이 정의들이 동치임을 확인할 수 있습니다.

예제 45.2.2 (당겨오기의 계산).

$V=\mathbb{R}^{2}$ 이 기저 $\mathbf{e}_{1}$ 과 $\mathbf{e}_{2}$ 를 가진다고 하고, $\phi\colon V\to V^{\prime}$ 가 다음과 같이 보낸다고 합시다.

\phi(a\mathbf{e}_{1}+b\mathbf{e}_{2})=(a^{2}+b^{2})w_{1}+\log(a^{2}+1)w_{2}+b^% {3}w_{3}

여기서 $w_{1}$ , $w_{2}$ , $w_{3}$ 은 $V^{\prime}$ 의 기저입니다. $f\colon V^{\prime}\to\mathbb{R}$ 일 때, 형식 $\alpha_{q}=f(q)w_{1}^{\vee}\wedge w_{3}^{\vee}$ 를 생각해 봅시다. 그러면

(\phi^{\ast}\alpha)_{p}=f(\phi(p))\cdot(2a\mathbf{e}_{1}^{\vee}+2b\mathbf{e}_{% 2}^{\vee})\wedge(3b^{2}\mathbf{e}_{2}^{\vee})=f(\phi(p))\cdot 6ab^{2}\cdot% \mathbf{e}_{1}^{\vee}\wedge\mathbf{e}_{2}^{\vee}.

당겨오기는 기본적으로 가능한 한 좋은 성질을 가지는 것으로 밝혀졌는데, 예를 들면

•

$\phi^{\ast}(c\alpha+\beta)=c\phi^{\ast}\alpha+\phi^{\ast}\beta$ (선형성)
•

$\phi^{\ast}(\alpha\wedge\beta)=(\phi^{\ast}\alpha)\wedge(\phi^{\ast}\beta)$
•

$\phi_{1}^{\ast}(\phi_{2}^{\ast}(\alpha))=(\phi_{2}\circ\phi_{1})^{\ast}(\alpha)$ (자연성)

하지만 여기서는 이것들을 확인하는 데 시간을 들이지 않겠습니다 (기저로 전개하면 모두 검증할 수 있습니다).

45.3 세포

대표적인 예: $\mathbb{R}^{2}$ 의 원판은 $(r,\theta)\mapsto(r\cos\theta)\mathbf{e}_{1}+(r\sin\theta)\mathbf{e}_{2}$ 에 의한 세포 $[0,R]\times[0,2\pi]\to\mathbb{R}^{2}$ 로 생각할 수 있습니다.

이제 당겨오기의 개념을 갖게 되었으므로, 더 일반적인 공간에 대한 적분의 개념을 정의할 수 있습니다. 구체적으로, 앞서 다뤘던 적분의 개념을 일반화하기 위해서는 다음과 같이 합니다:

정의 45.3.1.

$k$ -세포란 매끄러운 함수 $c\colon[a_{1},b_{1}]\times[a_{2},b_{2}]\times\dots[a_{k},b_{k}]\to V$ 를 말합니다.

예제 45.3.2 (셀의 예시).

편의를 위해 $V=\mathbb{R}^{2}$ 이라 합시다.

(a)

$0$ -셀은 하나의 점으로 이루어집니다.
(b)

앞서 보았듯이, $1$ -셀은 임의의 곡선입니다.
(c)

$2$ -셀은 $2$ 차원 곡면에 대응합니다. 예를 들어, 사상 $c\colon[0,R]\times[0,2\pi]\to V$ 를 다음과 같이 정의하면

$c\colon(r,\theta)\mapsto(r\cos\theta,r\sin\theta)$

반지름 $R$ 인 원판으로 생각할 수 있습니다.

이제 정의를 제시할 수 있습니다.

정의 45.3.3 (미분 $k$ -형식을 적분하는 방법).

미분 $k$ -형식 $\alpha$ 와 $k$ -셀 $c\colon[0,1]^{k}\to V$ 를 취합시다. 당겨오기를 이용하여 적분 $\int_{c}\alpha$ 를 다음과 같이 정의합니다.

\int_{c}\alpha\coloneqq\int_{[0,1]^{k}}c^{\ast}\alpha.

$c^{\ast}\alpha$ 는 $k$ 차원 단위 상자 위의 $k$ -형식이므로, $f(x_{1},\dots,x_{k})\;dx_{1}\wedge\dots\wedge dx_{k}$ 로 쓸 수 있습니다. 따라서 위 적분은 다음과 같이도 쓸 수 있습니다.

\int_{0}^{1}\dots\int_{0}^{1}f(x_{1},\dots,x_{k})\;dx_{1}\wedge\dots\wedge dx_% {k}.

예제 45.3.4 (원의 넓이).

$V=\mathbb{R}^{2}$ 을 생각하고, 앞서와 같이 $[0,R]\times[0,2\pi]$ 위에서 $c\colon(r,\theta)\mapsto(r\cos\theta)\mathbf{e}_{1}+(r\sin\theta)\mathbf{e}_{2}$ 라 합시다. 모든 점 $p$ 에서 $\alpha_{p}=\mathbf{e}_{1}^{\vee}\wedge\mathbf{e}_{2}^{\vee}$ 를 주는 $2$ -형식 $\alpha$ 를 취합시다. 그러면

	$\displaystyle c^{\ast}\alpha$	$\displaystyle=\left(\cos\theta dr-r\sin\theta d\theta\right)\wedge\left(\sin% \theta dr+r\cos\theta d\theta\right)$
		$\displaystyle=r(\cos^{2}\theta+\sin^{2}\theta)(dr\wedge d\theta)$
		$\displaystyle=r\;dr\wedge d\theta$

따라서,

\int_{c}\alpha=\int_{0}^{R}\int_{0}^{2\pi}r\;dr\wedge d\theta=\pi R^{2}

이것이 바로 원의 넓이입니다.

무슨 일이 일어나고 있는지에 대한 기하학적 직관을 소개하겠습니다. $V$ 안의 $k$ -cell이 주어졌을 때, 미분 $k$ -형식 $\alpha$ 는 점 $p$ 와 접벡터 $v_{1}$ , …, $v_{k}$ 를 받아 숫자 $\alpha_{p}(v_{1},\dots,v_{k})$ 를 내놓는데, 이는 앞서와 마찬가지로 부호가 있는 초부피로 볼 수 있습니다. 그러면 적분은 이 모든 무한소들을 전체 cell에 걸쳐 합산합니다. 특히 $V=\mathbb{R}^{k}$ 이고 형식 $\alpha\colon p\mapsto\mathbf{e}_{1}^{\vee}\wedge\dots\wedge\mathbf{e}_{k}^{\vee}$ 를 취하면, 이 $\alpha$ 들이 주는 것은 그 cell의 $k$ 번째 초부피입니다. 이러한 이유로 이 $\alpha$ 는 $\mathbb{R}^{k}$ 위의 부피 형식이라고 불립니다.

여기서 제가 ”cell”이라는 용어를 다소 느슨하게 사용하기 시작했다는 것을 눈치채셨을 것입니다. cell $c\colon[0,R]\times[0,2\pi]\to\mathbb{R}^{2}$ 는 원래 함수여야 하지만, 저는 이를 (즉 그 상의 관점에서) 단위 원판으로 생각하라고 계속 말해왔습니다. 같은 맥락에서, 곡선 $[0,1]\to V$ 는 시간에 대한 함수라기보다는 공간 속의 곡선으로 생각해야 합니다.

이 오류는 무해한 것으로 밝혀집니다. $\alpha$ 를 $U$ 위의 $k$ -형식이라 하고 $c\colon[a_{1},b_{1}]\times\dots\times[a_{k},b_{k}]\to U$ 를 $k$ -cell이라 합시다. $\phi\colon[a_{1}^{\prime},b_{1}^{\prime}]\times\dots[a_{k}^{\prime},b_{k}^{% \prime}]\to[a_{1},b_{1}]\times\dots\times[a_{k},b_{k}]$ 라 합시다. $\phi$ 가 전단사이고 $(D\phi)_{p}$ 가 항상 가역이면(변수 변환이라고 생각하십시오) 이를 재매개화라고 합니다. 따라서

c\circ\phi\colon[a_{1}^{\prime},b_{1}^{\prime}]\times\dots\times[a_{k}^{\prime% },b_{k}^{\prime}]\to U

역시 $k$ -cell입니다. 그러면 모든 $p$ 에 대해 $\det(D\phi)_{p}>0$ 이면 방향을 보존한다고 하고, 모든 $p$ 에 대해 $\det(D\phi)_{p}<0$ 이면 방향을 뒤집는다고 합니다.

연습문제 45.3.5.

왜 이 두 경우 중 정확히 하나만 일어나야 할까요?

정리 45.3.6 (변수 변환은 적분에 영향을 주지 않는다).

$c$ 를 $k$ -cell, $\alpha$ 를 $k$ -형식, $\phi$ 를 재매개화라 합시다. 그러면

\int_{c\circ\phi}\alpha=\begin{cases}\int_{c}\alpha&\phi\text{방향을 보존합니다}\\ -\int_{c}\alpha&\phi\text{방향을 뒤집습니다}.\end{cases}

증명.

당겨오기의 자연성을 이용하여 이를 일반 미적분학의 대응하는 정리로 환원하십시오. ∎

예를 들어, 단위원을 $[0,1]\times[0,1]\to\mathbb{R}^{2}$ 로 $(r,t)\mapsto R\cos(2\pi t)\mathbf{e}_{1}+R\sin(2\pi t)\mathbf{e}_{2}$ 에 의해 매개화했다면, 우리는 같은 결과에 도달했을 것입니다. 그러므로 우리는 정말로 $k$ -cell을 그것이 지정하는 점들만으로 생각할 수 있습니다.

45.4 경계

대표적인 예: $[a,b]$ 의 경계는 $\{b\}-\{a\}$ 입니다. 정사각형의 경계는 그 가장자리를 반시계 방향으로 돕니다.

먼저, 여러 cell을 동시에 고려할 수 있게 해주는 전문 용어를 소개하겠습니다.

정의 45.4.1.

$k$ -사슬 $U$ 는 $U$ 위의 $k$ -cell들의 형식적 선형결합, 즉 다음과 같은 형태의 합입니다.

c=a_{1}c_{1}+\dots+a_{m}c_{m}

여기서 각 $a_{i}\in\mathbb{R}$ 이고 $c_{i}$ 는 $k$ -cell입니다. 우리는 $\int_{c}\alpha=\sum_{i}a_{i}\int_{c_{i}}\alpha$ 로 정의합니다.

특히, $0$ -사슬은 각각 주어진 가중치를 가진 여러 점들로 이루어집니다.

이제, 경계를 어떻게 정의할까요? $1$ -cell $[a,b]\to U$ 에 대해, 앞서 암시했듯이 답이 $0$ -사슬 $\{c(b)\}-\{c(a)\}$ 이기를 원합니다. 일반적인 경우에는 다음과 같이 합니다.

정의 45.4.2.

$c\colon[0,1]^{k}\to U$ 가 $k$ -cell이라 합시다. 그러면 $\partial c\colon[0,1]^{k-1}\to U$ 로 표기되는 $c$ 의 경계는 다음과 같이 정의되는 $(k-1)$ -사슬입니다. 각 $i=1,\dots,k$ 에 대해 다음으로 $(k-1)$ -사슬들을 정의합니다.

	$\displaystyle c_{i}^{\text{시작}}\colon(t_{1},\dots,t_{k-1})$	$\displaystyle\mapsto c(t_{1},\dots,t_{i-1},0,t_{i},\dots,t_{k-1})$
	$\displaystyle c_{i}^{\text{정지}}\colon(t_{1},\dots,t_{k-1})$	$\displaystyle\mapsto c(t_{1},\dots,t_{i-1},1,t_{i},\dots,t_{k-1}).$

그러면

\partial c\coloneqq\sum_{i=1}^{k}(-1)^{i+1}\left(c_{i}^{\text{정지}}-c_{i}^{% \text{시작}}\right).

마지막으로, 사슬의 경계는 각 cell의 경계들의 합입니다(적절한 가중치와 함께). 즉, $\partial(\sum a_{i}c_{i})=\sum a_{i}\partial c_{i}$ 입니다.

질문 45.4.3.

이 정의가 $[0,1]^{k}\to V$ 가 아니라 $c\colon[a_{1},b_{1}]\times\dots\times[a_{k},b_{k}]\to V$ 로 정의된 $k$ -cell $c$ 로 확장될 수 있음을 스스로 확인해 보십시오.

예제 45.4.4 (경계의 예).

아래에 나타난 $2$ -cell $c\colon[0,1]^{2}\to\mathbb{R}^{2}$ 를 생각해 봅시다.

여기서 $p_{1}$ , $p_{2}$ , $p_{3}$ , $p_{4}$ 는 각각 $(0,0)$ , $(1,0)$ , $(1,1)$ , $(0,1)$ 의 상입니다. 형식적으로 $\partial c$ 는 다음과 같이 주어집니다.

\partial c=(t\mapsto c(1,t))-(t\mapsto c(0,t))-(t\mapsto c(t,1))+(t\mapsto c(t% ,0)).

인라인 함수로 인한 눈에 거슬리는 표기에 대해 사과드립니다. 이를 개선하여 그냥 다음과 같이 써봅시다.

\partial c=[p_{2},p_{3}]-[p_{1},p_{4}]-[p_{4},p_{3}]+[p_{1},p_{2}]

여기서 각 ”구간”은 부호를 반영한 후 오른쪽에 붉은 화살표로 표시된 $1$ -cell을 나타냅니다. 이것의 경계 또한 취할 수 있으며, 다음과 같이 빈 사슬을 얻습니다.

\partial(\partial c)=\sum_{i=1}^{4}\{p_{i+1}\}-\{p_{i}\}=0.

예제 45.4.5 (단위 원판의 경계).

다음으로 주어진 단위 원판을 생각해 봅시다.

c\colon[0,1]\times[0,1]\to\mathbb{R}^{2}\quad\text{에 의해}\quad(r,\theta)\mapsto r% \cos(2\pi\theta)\mathbf{e}_{1}+r\sin(2\pi\theta)\mathbf{e}_{2}.

경계의 네 부분은 아래 그림에 나타나 있습니다:

화살표 중 두 개는 적분될 때 서로 거의 상쇄된다는 점에 주목하십시오. 더욱이 흥미롭게도 원의 중심에 퇴화된 $1$ -cell이 있습니다; 이는 항상 원점을 내놓는 상수 함수 $[0,1]\to\mathbb{R}^{2}$ 입니다.

$d^{2}=0$ 과 유사한 필수 정리이며, 문제로 남겨둡니다.

정리 45.4.6 (경계의 경계는 공집합입니다).

$\partial^{2}=0$ , 즉 임의의 $k$ -사슬 $c$ 에 대해 $\partial^{2}(c)=0$ 이라는 의미입니다.

45.5 스토크스 정리

대표적인 예: $\int_{[a,b]}dg=g(b)-g(a)$ .

이제 cell에 대한 스토크스 정리를 서술하는 데 필요한 모든 재료가 준비되었습니다.

정리 45.5.1 (cell에 대한 스토크스 정리).

평소와 같이 $U\subseteq V$ 를 취하고, $c\colon[0,1]^{k}\to U$ 를 $k$ -cell이라 하고, $\alpha\colon U\to\bigwedge^{k-1}(V^{\vee})$ 를 $(k-1)$ -형식이라 합시다. 그러면

\int_{c}d\alpha=\int_{\partial c}\alpha.

특히, $d\alpha=0$ 이면 좌변은 사라집니다.

예를 들어, $c$ 가 구간 $[a,b]$ 이면 $\partial c=\{b\}-\{a\}$ 이며, 이로부터 미적분학의 기본정리를 얻습니다.

45.6 다시 현실로: 벡터 미적분학에서 배운 내용과의 비교

지금까지 모든 것을 추상적으로 다루었으니, 이제 일반적인 대학교에서 벡터 미적분학 강의를 듣는다면 $\mathbb{R}^{3}$ 에서 보게 될 내용과 우리가 배운 것을 비교해 봅시다.

그림 45.1에서는 제가 2024년 가을 MIT의 18.02 강의를 위해 그렸던 그림을 옮겨왔습니다. 이 강의는 많은 1학년 학생들이 수강하는 다변수 미적분학 강의입니다. $0\leq d\leq n\leq 3$ 인 각 경우(단, $d=n=0$ 은 제외)에 대해, 정의역이 $\mathbb{R}^{n}$ 인 함수의 $d$ 차원 적분을 수행할 때 그 강의에서 어떤 종류의 적분이 등장했는지를 보여줍니다. 이 그림의 모든 적분은 실숫값을 갖는다는 점에 유의하십시오.

저는 의도적으로 MIT에서 실제로 사용되었던 표기법을 사용했으며, 이를 18.02 표기법이라고 부르겠습니다. 이는 위키백과 및 다른 여러 곳에서 보게 될 표기법과 유사하기 때문입니다. 이 절의 목표는 18.02 표기법에서 냅킨 표기법으로의 변환 체계를 제공하는 것입니다. (이 절 전체에서 $\mathbb{R}^{n}$ 은 노름 벡터 공간으로 취급되므로, $\mathbf{e}_{1}\mapsto\mathbf{e}_{1}^{\vee}$ 등의 식별은 표준적입니다.)

18.02 도표.

그림 45.1: 대학 1학년으로의 회귀인가요? 고해상도 버전은 https://web.evanchen.cc/textbooks/poster-stokes.pdf에서 확인할 수 있습니다.

그림 45.1에는 많은 내용이 담겨 있으므로, 하나씩 나누어 살펴보겠습니다.

$0$ -형식.

$0$ -형식은 그저 함수와 같으므로, 0차원 적분 열은 이해하기 쉬울 것입니다: 이는 단지 한 점에서의 값, 또는 여러 점에서의 값의 합일 뿐입니다.

$n$ -형식.

The case $n=d$ is also easy: $\mathbb{R}^{n}$ 에서 $n$ -형식을 적분하여 하나의 수를 얻는 것이 가능함을 우리는 알고 있습니다. 즉:

•

통상적인 적분 $\int_{a}^{b}\mathop{}\!\mathrm{d}x$ 는 $1$ -cell $[a,b]$ 에서 $1$ -형식 $f\cdot\mathbf{e}_{1}^{\vee}$ 를 적분한 것입니다.
•

면적분 $\int_{a_{1}}^{b_{1}}\int_{a_{2}}^{b_{2}}f(x,y)\mathop{}\!\mathrm{d}x\mathop{}% \!\mathrm{d}y$ 는 $2$ -형식 $f\cdot\mathbf{e}_{1}^{\vee}\wedge\mathbf{e}_{2}^{\vee}$ 를 적분하는 것에 해당합니다.
•

부피적분 $\int_{a_{1}}^{b_{1}}\int_{a_{2}}^{b_{2}}\int_{a_{3}}^{b_{3}}f(x,y,z)\mathop{}% \!\mathrm{d}x\mathop{}\!\mathrm{d}y\mathop{}\!\mathrm{d}z$ 는 $3$ -형식 $f\cdot\mathbf{e}_{1}^{\vee}\wedge\mathbf{e}_{2}^{\vee}\wedge\mathbf{e}_{3}^{\vee}$ 를 적분하는 것에 해당합니다.

이로써 대각선 위에 있는 초록색으로 표시된 것들을 처리했습니다.

나머지 세 개의 초록색 그림은 해석할 수 없습니다!

까다로운 부분은 $0<d<n<3$ 인 상황들입니다. 이런 것이 세 가지 있는데, $d=1$ 이고 $n\in\{2,3\}$ 일 때의 두 선적분과 $d=2$ 이고 $n=3$ 일 때의 면적분입니다.

사실 이것들은 우리의 미분 형식 이론으로 다뤄지지 않습니다! 실제로 $f=1$ 이 상수 함수인 특수한 경우조차, 선적분은 사실상 호의 길이이며, 절 44.6에서 언급했듯이 그 적분은 어떤 미분 형식의 적분으로도 볼 수 없습니다. 마찬가지로 표면적도 미분 형식이 아닙니다.

$1$ -형식과 $2$ -형식입니다.

하지만 (벡터장에 대한) 세 개의 자주색 적분은 우리의 틀 안에서 볼 수 있습니다.

•

$d=1$ 이고 $n=3$ 인 경우, 즉 3차원 선적분을 생각해 봅시다. 입력으로 벡터값 함수 $\mathbf{F}\colon\mathbb{R}^{3}\to\mathbb{R}^{3}$ 이 주어집니다. 사영 원리(정리 43.2.1)에 의해, 이는 다음 데이터와 동일합니다

$\mathbf{F}(p)=F_{1}(p)\mathbf{e}_{1}+F_{2}(p)\mathbf{e}_{2}+F_{3}(p)\mathbf{e}% _{3}$

$i=1,2,3$ 에 대한 세 함수 $F_{i}\colon\mathbb{R}^{3}\to\mathbb{R}$ 에 대해서입니다.

18.02 표기법 $\mathbf{F}(p)$ 를 냅킨 표기법으로 변환하기 위해, $\mathbf{F}$ 를 다음 미분 형식과 동일시합니다

$\alpha_{p}=F_{1}(p)\mathbf{e}_{1}^{\vee}+F_{2}(p)\mathbf{e}_{2}^{\vee}+F_{3}(p% )\mathbf{e}_{3}^{\vee}.$

한편, 시간 $t\in[t_{0},t_{1}]$ 으로 매개변수화된 경로 $\mathbf{r}(t)$ 는 $1$ -형식 $c:[t_{0},t_{1}]\to\mathbb{R}^{3}$ 의 개념과 일치합니다. 적분에서의 ”일”은 다음과 같이 씁니다

$\mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}^{\prime}(t)$

하지만 그 내적은 정확히 당겨오기 $c^{\ast}\alpha$ 입니다.
•

$d=1$ 이고 $n=2$ 인 경우는 $3$ 을 $2$ 로 바꾼 것과 정확히 동일합니다.

•

가장 이상한 경우는 $d=2$ 이고 $n=3$ 인 유량 적분입니다. 매개변수화 $\mathbf{r}(u,v)$ 는 문제없으며, 이는 $2$ -세포 $c$ 에 대응합니다. 하지만 $\mathbf{F}(p)$ 는 타입이 맞지 않는 것처럼 보입니다.

하지만 다시 다음과 같이 써 봅시다

\mathbf{F}(p)=F_{1}(p)\mathbf{e}_{1}+F_{2}(p)\mathbf{e}_{2}+F_{3}(p)\mathbf{e}% _{3}.

이를 냅킨 표기법으로 변환하는 데는 상당히 이상한 편법이 사용되는데, 원하는 형식은 다음과 같습니다

\alpha_{p}=F_{1}(p)\mathbf{e}_{2}^{\vee}\wedge\mathbf{e}_{3}^{\vee}+F_{2}(p)% \mathbf{e}_{3}^{\vee}\wedge\mathbf{e}_{1}^{\vee}+F_{3}(p)\mathbf{e}_{1}^{\vee}% \wedge\mathbf{e}_{2}^{\vee}.

네, 그것이 정말로 그 동일시입니다! 이 정의가 가능하려면 다음 사실을 이용해야 했습니다

\binom{3}{1}=\binom{3}{2}.

즉 삼차원 공간 $\bigwedge^{2}(\mathbb{R}^{3})$ 이 마침 $\bigwedge^{1}(\mathbb{R}^{3})\cong\mathbb{R}^{3}$ 과 같은 개수의 기저 원소를 가지므로, 다음 사상은

	$\displaystyle\star\colon\bigwedge^{2}(\mathbb{R}^{3})$	$\displaystyle\to\mathbb{R}^{3}$
	$\displaystyle\mathbf{e}_{1}\wedge\mathbf{e}_{2}$	$\displaystyle\mapsto\mathbf{e}_{3}$
	$\displaystyle\mathbf{e}_{2}\wedge\mathbf{e}_{3}$	$\displaystyle\mapsto\mathbf{e}_{1}$
	$\displaystyle\mathbf{e}_{3}\wedge\mathbf{e}_{1}$	$\displaystyle\mapsto\mathbf{e}_{2}$

실제로 동형사상인데, 이는 기저 원소를 기저 원소로 대응시키기 때문입니다. 이 사상을 $\star$ 로 표기하는데, 이는 이 사상이 고차원에서 이른바 호지 스타 연산자로 일반화되기 때문입니다.

지금까지 의도적으로 피해 왔던 외적에 대해 이야기할 차례입니다. 외적은 $\mathbb{R}^{3}$ 의 두 벡터를 입력받아 $\mathbb{R}^{3}$ 의 벡터를 출력하는 이상한 연산입니다. 구체적으로, $\mathbf{v}=x\mathbf{e}_{1}+y\mathbf{e}_{2}+z\mathbf{e}_{3}$ 이고 $\mathbf{w}=x^{\prime}\mathbf{e}_{1}+y^{\prime}\mathbf{e}_{2}+z^{\prime}\mathbf% {e}_{3}$ 일 때, 학교에서 배우는 외적의 정의는 다음과 같습니다

\mathbf{v}\times\mathbf{w}\coloneqq(yz^{\prime}-y^{\prime}z)\mathbf{e}_{1}+(zx% ^{\prime}-xz^{\prime})\mathbf{e}_{2}+(xy^{\prime}-x^{\prime}y)\mathbf{e}_{3}.

이것은 어디서 나온 것일까요? 답은 $\star(\mathbf{v}\wedge\mathbf{w})$ 가 다음과 같기 때문입니다

	$\displaystyle\mathbf{v}\wedge\mathbf{w}$	$\displaystyle=(x\mathbf{e}_{1}+y\mathbf{e}_{2}+z\mathbf{e}_{3})\wedge(x^{% \prime}\mathbf{e}_{1}+y^{\prime}\mathbf{e}_{2}+z^{\prime}\mathbf{e}_{3})$
		$\displaystyle=(xy^{\prime}-x^{\prime}y)\mathbf{e}_{1}\wedge\mathbf{e}_{2}+(yz^% {\prime}-y^{\prime}z)\mathbf{e}_{2}\wedge\mathbf{e}_{3}+(zx^{\prime}-xz^{% \prime})\mathbf{e}_{3}\wedge\mathbf{e}_{1}$
	$\displaystyle\star(\mathbf{v}\wedge\mathbf{w})$	$\displaystyle\mapsto(xy^{\prime}-x^{\prime}y)\mathbf{e}_{3}+(yz^{\prime}-y^{% \prime}z)\mathbf{e}_{1}+(zx^{\prime}-xz^{\prime})\mathbf{e}_{2}.$

이를 정리하고 나면, 이상한 내적-외적

\mathbf{F}(\mathbf{r}(u,v))\cdot\left(\mathbf{r}_{u}\times\mathbf{r}_{v}\right% )\mathop{}\!\mathrm{d}{u}\mathop{}\!\mathrm{d}{v}

은 이제 당겨오기 $c^{\ast}\alpha$ 에 대응하도록 조작되어 있습니다. 그래서 이 호지 스타를 사용하면, 유량이 실제로는 $2$ -형식의 적분임을 알 수 있습니다.

외미분

그림 45.1의 모든 빨간 화살표는 해당 형식의 외미분에 대응합니다. 즉:

•

”grad” 연산은 $0$ -형식 $f$ 를 입력받아 $1$ -형식 $d f$ 에 대응하는 벡터장을 출력합니다.

•

”curl” 연산은 $1$ -형식 $\alpha$ 를 입력받아 $2$ -형식 $d\alpha$ 에 대응하는 벡터장을 출력합니다. $n=3$ 일 때 이는 잘 맞아떨어지는데, $1$ -형식의 공간이 $\binom{3}{1}$ 차원이고 $2$ -형식의 공간이 $\binom{3}{2}$ 차원이며, 다행히도 $\binom{3}{1}=3=\binom{3}{2}$ 이기 때문입니다.

이상해 보이는 표기 $\nabla\times\mathbf{F}$ 는 외미분에 대응함을 확인할 수 있습니다. 18.02 쪽에서는 다음과 같은 것이 있다면

\mathbf{F}=F_{1}\mathbf{e}_{1}+F_{2}\mathbf{e}_{2}+F_{3}\mathbf{e}_{3}

curl에 대한 18.02의 정의는 다음과 같습니다

\operatorname{curl}(\mathbf{F})\coloneqq\nabla\times\mathbf{F}\coloneqq\left(% \frac{\partial F_{3}}{\partial y}-\frac{\partial F_{2}}{\partial z}\right)% \mathbf{e}_{1}+\left(\frac{\partial F_{1}}{\partial z}-\frac{\partial F_{3}}{% \partial x}\right)\mathbf{e}_{2}+\left(\frac{\partial F_{2}}{\partial x}-\frac% {\partial F_{1}}{\partial y}\right)\mathbf{e}_{3}

$\nabla\times$ 라는 말도 안 되는 표기의 이유는, 정말로 표기를 남용한다면 이것을 벡터 $\nabla=\left<\frac{\partial}{\partial x},\frac{\partial}{\partial y},\frac{% \partial}{\partial z}\right>$ 와 벡터 $\mathbf{F}=\left<F_{1},F_{2},F_{3}\right>$ 의 외적으로 거의 생각할 수 있다는 데 있습니다.

이제 $\mathbf{F}$ 를 냅킨 표기법으로 변환하기 위해, 우리가 $\mathbf{F}$ 를 다음 미분 형식과 동일시했다는 것을 기억하십시오

\alpha=F_{1}\mathbf{e}_{1}^{\vee}+F_{2}\mathbf{e}_{2}^{\vee}+F_{3}\mathbf{e}_{% 3}^{\vee}.

정의 44.4.4에서의 외미분 공식을 따르면 다음을 얻습니다

	$\displaystyle d\alpha$	$\displaystyle=dF_{1}\wedge\mathbf{e}_{1}^{\vee}+dF_{2}\wedge\mathbf{e}_{2}^{% \vee}+dF_{3}\wedge\mathbf{e}_{3}^{\vee}$
		$\displaystyle=\left(\frac{\partial F_{1}}{\partial x}\mathbf{e}_{1}^{\vee}+% \frac{\partial F_{1}}{\partial y}\mathbf{e}_{2}^{\vee}+\frac{\partial F_{1}}{% \partial z}\mathbf{e}_{3}^{\vee}\right)\wedge\mathbf{e}_{1}^{\vee}$
		$\displaystyle+\left(\frac{\partial F_{2}}{\partial x}\mathbf{e}_{1}^{\vee}+% \frac{\partial F_{2}}{\partial y}\mathbf{e}_{2}^{\vee}+\frac{\partial F_{2}}{% \partial z}\mathbf{e}_{3}^{\vee}\right)\wedge\mathbf{e}_{2}^{\vee}$
		$\displaystyle+\left(\frac{\partial F_{3}}{\partial x}\mathbf{e}_{1}^{\vee}+% \frac{\partial F_{3}}{\partial y}\mathbf{e}_{2}^{\vee}+\frac{\partial F_{3}}{% \partial z}\mathbf{e}_{3}^{\vee}\right)\wedge\mathbf{e}_{3}^{\vee}$
		$\displaystyle=\left(\frac{\partial F_{3}}{\partial y}-\frac{\partial F_{2}}{% \partial z}\right)\mathbf{e}_{2}^{\vee}\wedge\mathbf{e}_{3}^{\vee}+\left(\frac% {\partial F_{1}}{\partial z}-\frac{\partial F_{3}}{\partial x}\right)\mathbf{e% }_{3}^{\vee}\wedge\mathbf{e}_{1}^{\vee}+\left(\frac{\partial F_{2}}{\partial x% }-\frac{\partial F_{1}}{\partial y}\right)\mathbf{e}_{1}^{\vee}\wedge\mathbf{e% }_{2}^{\vee}.$

호지 스타를 취한 후 모든 $\vee$ 를 없애면 $\nabla\times\mathbf{F}$ 와 같은 것을 얻으며, 이로써 18.02 표기법과 냅킨 표기법 사이의 대응이 완성됩니다.

•

18.02 용어로, 발산 $\operatorname{div}$ 는 다음과 같이 정의됩니다

$\operatorname{div}(\mathbf{F})\coloneqq\nabla\cdot\mathbf{F}\coloneqq\frac{% \partial F_{1}}{\partial x}+\frac{\partial F_{2}}{\partial y}+\frac{\partial F% _{3}}{\partial z}$

이는 입력점 $p\in\mathbb{R}^{3}$ 에 대한 스칼라 값 함수입니다. 이 문제는 문제 45C에서 직접 풀어보도록 남겨두겠습니다.

$\nabla\cdot$ 라는 말도 안 되는 표기의 이유는, 정말로 표기를 남용한다면 이것을 벡터 $\nabla=\left<\frac{\partial}{\partial x},\frac{\partial}{\partial y},\frac{% \partial}{\partial z}\right>$ 와 벡터 $\mathbf{F}=\left<F_{1},F_{2},F_{3}\right>$ 의 내적으로 거의 생각할 수 있다는 데 있습니다.

이중 미분

우리는 $d^{2}=0$ 임을 알고 있으며, 이는 그림 45.1에서 두 화살표를 합성하면 영이 됨을 의미합니다. 18.02에서는 이것을 다음과 같이 보게 됩니다

•

기울기의 curl은 영입니다.
•

curl의 플럭스는 영입니다.

하지만 실제로는 이 둘이 같은 정리입니다.

스토크스 정리

각 붉은 화살표 역시 셀에 대한 스토크스 정리의 한 사례를 제공합니다. 따라서 셀에 대한 스토크스 정리조차도 정말 훌륭한데, 여섯 개의 18.02 정리를 특수한 경우로 얻게 되기 때문입니다!

•

0차원 적분에서 1차원 적분으로 가는 세 개의 화살표는 모두 ”미적분학의 기본 정리”라고 불립니다. 몇몇 저자들은 $n>1$ 인 경우에는 대신 ”선적분에 대한 미적분학의 기본 정리”라고 말할 것입니다.
•

$n=2$ 일 때, 다른 붉은 화살표는 ”그린 정리”라고 불리며, 이를 문제 45A에서 직접 풀어보도록 남겨두겠습니다.
•

$n=3$ 일 때, work에서 flux로 가는 화살표는 헷갈리게도 마찬가지로 ”스토크스 정리”라고 불리며, 이는 2차원 곡면의 플럭스가 1차원 경계 위의 work와 같다는 것을 말합니다.
•

$n=3$ 에 대한 가장 오른쪽의 붉은 화살표는 ”발산 정리”라고 불리며, 이는 3차원 부피의 발산이 2차원 경계 곡면의 플럭스와 같다는 것을 말합니다.

45.7 생각해 볼 만한 조금 더 어려운 문제

문제 45A (그린 정리).

$f,g\colon\mathbb{R}^{2}\to\mathbb{R}$ 를 매끄러운 함수라 하고 $c$ 를 $2$ -셀이라 합시다. 다음을 증명하십시오

\int_{c}\left(\frac{\partial g}{\partial x}-\frac{\partial f}{\partial y}% \right)\;dx\wedge dy=\int_{\partial c}(f\;dx+g\;dy).

힌트. $\alpha=f\;dx+g\;dy$ 에 스토크스 정리를 직접 적용하십시오.

문제 45B.

$\partial^{2}=0$ 임을 보이십시오.

힌트. 이는 시그마 표기법에 대한 단순한 연습 문제입니다.

문제 45C.

18.02 표기법과 냅킨 표기법의 대응을 완성하십시오. 즉, $\mathbf{F}\colon\mathbb{R}^{3}\to\mathbb{R}^{3}$ 를 벡터장이라 하고, $\alpha$ 를 냅킨 버전에서 이에 대응하는 $2$ -형식이라 합시다. 다음과 같이 정의되는 스칼라값 함수가

\operatorname{div}(\mathbf{F})\coloneqq\nabla\cdot\mathbf{F}\coloneqq\frac{% \partial F_{1}}{\partial x}+\frac{\partial F_{2}}{\partial y}+\frac{\partial F% _{3}}{\partial z}

$3$ -형식 $d\alpha$ 에서의 평갓값과 일치함을 보이십시오.

문제 45D (당겨오기와 $d$ 는 가환합니다).

$U$ 와 $U^{\prime}$ 를 벡터 공간 $V$ 와 $V^{\prime}$ 의 열린집합이라 하고, $\phi\colon U\to U^{\prime}$ 를 이들 사이의 매끄러운 사상이라 합시다. $U^{\prime}$ 위의 임의의 미분 형식 $\alpha$ 에 대해 다음이 성립함을 증명하십시오.

\phi^{\ast}(d\alpha)=d(\phi^{\ast}\alpha).

힌트. 이는 간단하지만 (귀찮은) 계산입니다.

문제 45E (호의 길이는 형식이 아닙니다).

$\mathbb{R}^{2}$ 위에 $1$ -형식 $\alpha$ 가 존재하여, 곡선 $c\colon[0,1]\to\mathbb{R}^{2}$ 에 대해 적분 $\int_{c}\alpha$ 가 $c$ 의 호의 길이를 주는 그러한 $\alpha$ 가 존재하지 않음을 보이십시오.

힌트. 우리는 $\alpha_{p}(v)=\left\lVert v\right\rVert$ 이기를 원할 것입니다.

문제 45F.

완전 $k$ -형식 $\alpha$ 란 어떤 $\beta$ 에 대해 $\alpha=d\beta$ 를 만족하는 것입니다. 다음을 증명하십시오.

\int_{C_{1}}\alpha=\int_{C_{2}}\alpha

여기서 $C_{1}$ 과 $C_{2}$ 는 평면 위의 임의의 동심원이고 $\alpha$ 는 어떤 완전 $1$ -형식입니다.

힌트. $d^{2}=0$ 이 완전형식 $\alpha$ 에 대해 $\int_{\partial c}\alpha=0$ 을 함의함을 보이십시오. 환형(annulus)을 그리십시오.