제트 (수학)

틀:위키데이터 속성 추적 미분기하학에서 제트(틀:Llang)는 어떤 매끄러운 함수 또는 단면의 테일러 급수를 유한 차수로 절단한 것이다. 제트는 제트 다발(틀:Llang)이라는 올다발의 단면을 이룬다. (그러나 제트가 아닌 제트 다발의 단면이 존재한다.)

정의

$n$차원 매끄러운 다양체 $M$ 위의 올다발 $\pi :E\twoheadrightarrow M$이 주어졌다고 하자. 또한, $E$의 올 역시 $k$차원의 매끄러운 다양체라고 하자.

점 $x\in M$의 근방에 정의되는, $E$의 매끄러운 단면의 공간을 ${\mathrm{\Gamma }}_x(E)$라고 표기하자.

제트

$E$의 두 매끄러운 국소 단면 $s,t\in {\mathrm{\Gamma }}_x(E)$이 $x\in M$에서 같은 $r$차 제트(틀:Llang)를 갖는다는 것은 다음과 동치이다.

임의의 $M$의 국소 좌표계 및 $E$의 국소 자명화 및 다중지표 $\alpha \in {\mathbb{N}}^n$에 대하여, 만약 $|\alpha |\le r$이라면 ${\partial }^{\alpha }s{|}_x={\partial }^{\alpha }t{|}_x$

즉, $x\in M$에서의 $r$차 제트는 위 동치 관계에 대한 동치류이다. 매끄러운 국소 단면 $s\in {\mathrm{\Gamma }}_x(E)$의 $x\in M$에서의 $r$차 제트를 $j_x^{r}s$로 표기한다.

제트 공간

임의의 $x\in M$에 대하여, $r$차 제트들의 집합 $J_x^{r}E$에는 다음과 같이

$\dim J_x^{r}E=k\sum _{i=0}^r(\genfrac{}{}{0ex}{}{i+n-1}{i})=k(\genfrac{}{}{0ex}{}{r+n}{r})$

차원의 매끄러운 다양체의 구조를 줄 수 있다. $M$의 $\pi (e)\in M$에서의 국소 좌표계 $(x^1,\dots ,x^n)$ 및 이를 확장하는 $E$의 $e\in E$에서의 국소 좌표계 $(x^1,\dots ,x^n,e^1,\dots ,e^k)$가 주어졌다면,

$({\partial }^{\alpha }{e}^i{)}_{\alpha \in {\mathbb{N}}^n,|\alpha |\le r,i\in \{1,\dots ,k\}}$

는 $J_x^{r}E$의 국소 좌표계를 정의한다. $J_x^{r}E$를 $E$의 $r$차 제트 공간($r$次jet空間, 틀:Llang)이라고 한다.

$r$차 제트 공간에서 $s<r$차 제트 공간으로 가는 자연스러운 사영 사상이 존재한다.

$J_x^{r}E\to J_x^{s}E$

그러나 $s$차 제트 공간에서 $r>s$차 제트 공간으로 가는 포함 사상은 국소 좌표계에 의존하므로 자연스럽지 않다.

제트 다발

$M$ 위에, $r$차 제트 공간 $J_x^{r}E$을 올로 하는 자연스러운 올다발을 정의할 수 있다. 이를 $r$차 제트 다발 $J^{r}E\twoheadrightarrow M$이라고 한다. 즉, 제트 다발 $J^{r}E$의 전체 공간은 $n+k(\genfrac{}{}{0ex}{}{r+n}{r})$차원이다.

자연스러운 사영 $J^{r}E\twoheadrightarrow E$이 존재하므로, 이는 $E$ 위의 올다발로도 여길 수 있다. 또한, 자연스러운 사상

$j^r:{\mathrm{\Gamma }}_x(E)\to {\mathrm{\Gamma }}_x(J^{r}E)$

$j^r:s\mapsto j^{r}s\mathrm{\forall }s\in {\mathrm{\Gamma }}_x(E)$

이 존재한다. $j^{r}s$를 $s$의 $r$차 제트 연장($r$次jet延長, 틀:Llang)이라고 한다.

제트 연장 사상은 일반적으로 전사 함수가 아니다. 즉, 모든 제트는 제트 다발의 단면이지만, 제트가 아닌 제트 다발의 단면이 존재한다.

무한 제트 다발

제트 다발 사이에는 사영 사상

$J^{r}E\to J^{s}E(s<r)$

이 존재한다. 이에 대한 역극한

$J^{\mathrm{\infty }}E=\underset{r}{\underleftarrow{\lim }}{J}^{r}E$

을 무한 제트 다발(틀:Llang)이라고 한다. 이는 무한 차원이므로 매끄러운 다양체가 아니지만, 자연스럽게 미분학적 공간(틀:Llang)의 구조를 줄 수 있다.

편미분 방정식

매끄러운 다양체 위의 편미분 방정식의 개념은 제트 다발로 엄밀하게 다룰 수 있다. 구체적으로, 매끄러운 다양체 $M$ 위의, 올다발 $E$의 단면에 대한 $r$차 편미분 방정식은 $r$차 제트 다발 $J^{r}E$의 매끄럽게 매장된 부분 다양체 $P\hookrightarrow J^{r}E$이다. 편미분 방정식 $P$의 해(解, 틀:Llang)는 제트 연장 $j^{r}s:M\to J^{r}E$의 상 $j^{r}s(M)$이 $P$에 속하는, $E$의 매끄러운 단면 $s\in \mathrm{\Gamma }(E)$이다.

$\mathrm{Sol}(P)=\{s\in \mathrm{\Gamma }(E):j^{r}s(M)\subseteq P\}$

변분 이중 복합체

무한 제트 다발 $J^{\mathrm{\infty }}E$은 미분학적 공간(틀:Llang)의 구조를 가지므로, 그 위에 미분 형식을 정의할 수 있다. $J^{\mathrm{\infty }}E$ 위의 미분 형식 공간 ${\mathrm{\Omega }}^n{J}^{\mathrm{\infty }}E$에서, 차수 $n=h+v$은 다음과 같은 두 성분으로 분해된다.

• $X$ 방향의 차수 $h$. 이를 수평 차수(틀:Llang)라고 한다.
• 무한 제트 다발의 올 $J_e^{\mathrm{\infty }}E$ 방향의 차수 $v$. 이를 수직 차수(틀:Llang)라고 한다.

따라서,

${\mathrm{\Omega }}^{n}E=\underset{h+v=n}{⨁}{\mathrm{\Omega }}^{h,v}{J}^{\mathrm{\infty }}E$

가 된다. 이를 $E\twoheadrightarrow M$의 변분 이중 복합체(變分二重複合體, 틀:Llang)라고 한다. 또한, 미분 형식의 외미분 $𝐝$ 역시 수평 방향 $d$와 수직 방향 $\delta$로 분해할 수 있다.

$𝐝=d+\delta$

$d:{\mathrm{\Omega }}^{h,v}{J}^{\mathrm{\infty }}E\to {\mathrm{\Omega }}^{h+1,v}{J}^{\mathrm{\infty }}E$

$\delta :{\mathrm{\Omega }}^{h,v}{J}^{\mathrm{\infty }}E\to {\mathrm{\Omega }}^{h,v+1}{J}^{\mathrm{\infty }}E$

이 구조는 변분법에서 핵심적인 역할을 한다.

예를 들어, $n$차원 시공간 $M$ 위의 라그랑주 고전 장론을 변분 이중 복합체의 언어로 서술하면 다음과 같다. 우선, 장은 어떤 올다발 $E\twoheadrightarrow M$의 단면 $\varphi \in \mathrm{\Gamma }(E)$이 되고, 라그랑지언 밀도는 미분 형식 $ℒ(j^{\mathrm{\infty }}\varphi )\in {\mathrm{\Omega }}^{n,0}{J}^{\mathrm{\infty }}E$이다. 이를 시공간 위에 적분하면 작용

$S=\underset{M}{\int }ℒ(j^{\mathrm{\infty }}\varphi )$

을 얻으며, 오일러-라그랑주 방정식은

$\delta L\in \mathrm{im}d$

$d:{\mathrm{\Omega }}^{n,1}{J}^{\mathrm{\infty }}E\to {\mathrm{\Omega }}^{n,1}{J}^{\mathrm{\infty }}E$

가 된다.

성질

올다발 $E\twoheadrightarrow M$ 위의 변분 이중 복합체를 사용하여, 다음과 같은 오일러-라그랑주 복합체(틀:Llang)를 정의할 수 있다.

$0\to ℝ\to {\mathrm{\Omega }}^{0,0}\stackrel{d}{\to }{\mathrm{\Omega }}^{1,0}\stackrel{d}{\to }{\mathrm{\Omega }}^{2,0}\stackrel{d}{\to }\cdots \stackrel{d}{\to }{\mathrm{\Omega }}^{n,0}\to {ℱ}^1(J^{\mathrm{\infty }}E)\stackrel{\delta }{\to }{F}^2(J^{\mathrm{\infty }}E)\to \cdots$

여기서

${ℱ}^v(E)={\mathrm{\Omega }}^{n,v}/d({\mathrm{\Omega }}^{n-1,s})$

는 ${\mathrm{\Omega }}^{\bullet ,\bullet }$을 0번째 쪽으로 하는 스펙트럼 열의 1번째 쪽의 성분이며, 자연스럽게 포함 관계

${ℱ}^v(E)\hookrightarrow {\mathrm{\Omega }}^{n,v}$

가 존재한다.

오일러-라그랑주 복합체는 공사슬 복합체를 이루며, 그 코호몰로지는 올다발의 전체 공간 $E$의 드람 코호몰로지와 동형이다.

예

0차 제트

임의의 올다발

$E\twoheadrightarrow M$

의 0차 제트 다발은 $E$이다.

$J^{0}E=E$

즉, 0차 제트 연장은 항등 함수이다.

$j^{0}s=s\mathrm{\forall }s\in \mathrm{\Gamma }(E)$

자명한 올다발의 1차 제트

자명한 올다발

$E=M\times N\twoheadrightarrow M$

의 1차 제트 다발을 생각하자. 자명한 올다발의 매끄러운 단면은 매끄러운 함수와 같다.

$\mathrm{\Gamma }(E)={𝒞}^{\mathrm{\infty }}(M;N)$

매끄러운 함수 $f:M\to N$의 1차 제트는 함수의 미분이다.

$j_x^{1}f=Df(x)\in T_x^{*}M\otimes T_{f(x)}N$

여기서 $T^{*}M$ 및 $TN$은 각각 공변접다발과 접다발이다.

따라서, 자명한 올다발의 1차 제트 다발은

$J^{1}E={\mathrm{pr}}_M^{*}{T}^{*}M\otimes {\mathrm{pr}}_{N}TN$

이다. 여기서

${\mathrm{pr}}_M:M\times N\twoheadrightarrow M$

${\mathrm{pr}}_N:M\times N\twoheadrightarrow N$

는 곱공간의 자연스러운 사영 사상이며, ${\mathrm{pr}}_M^{*}$은 이러한 사영 사상에 대한 벡터 다발의 당김이다.

특히, $M={ℝ}^n$일 경우

$J^{1}E={ℝ}^n\times (TN{)}^{\otimes n}$

이며, 반대로 $N={ℝ}^k$일 경우

$J^{1}E=(T^{*}M{)}^{\otimes k}\times {ℝ}^k$

이다. 후자에서 $k=1$인 경우는 자연스럽게 접촉다양체를 이룬다. 구체적으로, $T^{*}M\times ℝ$의 국소 좌표계 $(x^i,p_i,t)$를 잡는다면, 접촉 형식은 다음과 같다.

$dt+\sum _i{p}_{i}d{x}^i$

일반적 올다발의 1차 제트

올과 밑공간이 매끄러운 다양체인 올다발

$\pi :E\twoheadrightarrow M$

$\dim M=n$

$\dim E=n+k$

을 생각하자. 이 경우, 올다발의 접다발 $TE$의 자연스러운 부분 다발인 수직 다발(틀:Llang) $VE$를 다음과 같이 정의할 수 있다.

$V_{e}E=T_e{E}_{\pi (e)}$

즉, 올다발 $E$의 수직 다발 $VE$의 올 $V_{e}E$는 $E$의 올의 접공간이다. $VE$는 $E$ 위의 $k$차원 벡터 다발을 이룬다.

그렇다면, $E\twoheadrightarrow M$ 위의 1차 제트 다발은 ($E$ 위의 올다발로서) 다음과 같다.

$J^{1}E=VE{\otimes }_E{\pi }^{*}{T}^{*}M$

$\dim J^{1}E=nk+k+n$

$J^{1}E\twoheadrightarrow E$의 단면 $\theta$는 (${\pi }^{*}{T}^{*}M\subset T^{*}E$이므로) $E$ 위의 $VE$값의 1차 미분 형식을 정의한다. 또한, $\theta$를 다발 사상 $TE\to VE\subset TE$로 생각할 수 있다. 만약 이 다발 사상이 (각 올에서) 사영작용소를 이룰 경우, 그 핵 $\ker \theta \subset TE$는 $E$ 위의 에레스만 접속을 이룬다. 즉,

$TE=\ker \theta \oplus VE$

가 되어, $\ker \theta$를 수평 다발로 여길 수 있다.

피복 공간의 제트

$n\in {\mathbb{Z}}^{+}\cup \{\mathrm{\infty }\}$겹 피복 공간

$E\twoheadrightarrow M$

은 올이 $n$개의 점의 이산 공간인 올다발이다. 이 경우, $E\twoheadrightarrow M$의 (충분히 작은) 매끄러운 국소 단면은 올의 한 점을 고르는 것과 같으며, 국소 자명화 아래 국소 단면은 국소 상수 함수가 되므로 임의의 $r$에 대하여 $r$차 제트는 0차 제트와 같은 정보를 담는다. 다시 말해,

$E=J^{0}E=J^{1}E=J^{2}E=\cdots$

가 된다.

역사

제트의 개념은 샤를 에레스만이 도입하였다.

같이 보기

• 제트 군

각주

• 틀:서적 인용
• 틀:저널 인용
• 틀:저널 인용
• 틀:서적 인용

외부 링크

• 틀:Eom
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:Nlab
• 틀:웹 인용
• 틀:웹 인용
• 틀:웹 인용