장 72 긴 완전열

이 장에서는 임의의 공간의 호몰로지 군을 계산할 수 있게 해 주는, 사슬 복합체에 관한 핵심 사실인 이른바 “긴 완전열”을 소개합니다.

아벨 범주에 대해 읽지 않은 분들을 위해 설명하자면, 아벨 군의 사상들의 열

\dots\to G_{n+1}\to G_{n}\to G_{n-1}\to\dots

이 완전하다는 것은 각 화살표의 상이 다음 화살표의 핵과 같다는 뜻입니다. 특히 다음이 성립합니다.

•

사상 $0\to A\to B$ 가 완전인 것은 $A\to B$ 가 단사인 것과 동치입니다.
•

사상 $A\to B\to 0$ 이 완전인 것은 $A\to B$ 가 전사인 것과 동치입니다.

(이와 관련하여, 호몰로지 군이 모두 자명한 사슬 복합체를 무엇이라고 부릅니까?) 짧은 완전열은 $0\to A\hookrightarrow B\twoheadrightarrow C\to 0$ 꼴의 완전열입니다.

72.1 짧은 완전열과 네 가지 예

대표적인 예: 상대 열과 마이어-비토리스 열.

$\mathcal{A}=\mathsf{AbGrp}$ 라고 합시다. $\mathcal{A}$ 에서의 사슬 복합체의 사상은 이미 정의했음을 상기하십시오.

정의 72.1.1.

다음과 같은 사슬 복합체의 사상이 있다고 합시다.

0\to A_{\bullet}\xrightarrow{f}B_{\bullet}\xrightarrow{g}C_{\bullet}\to 0

아래 도식의 각 행이 짧은 완전일 때, 이를 짧은 완전이라고 합니다.

이는 기본적으로, 사슬 복합체에 대한 $/$ 를 적절히 정의했을 때 $C_{\bullet}=B_{\bullet}/A_{\bullet}$ 임을 의미합니다.

이는 절 70.3의 정의와 일치합니다.

예제 72.1.2 (마이어-비토리스 짧은 완전열과 그 증강).

$X=U\cup V$ 가 열린 덮개라고 합시다. 각 $n$ 에 대해 다음을 생각합시다.

(적절한 기저를 잡으면) 뒤쪽 사상의 핵이 정확히 첫 번째 사상의 상이라는 것을 쉽게 알 수 있습니다. 이로부터 다음 짧은 완전열이 생성됩니다.

0\to C_{\bullet}(U\cap V)\hookrightarrow C_{\bullet}(U)\oplus C_{\bullet}(V)% \twoheadrightarrow C_{\bullet}(U+V)\to 0.

예제 72.1.3 (증강된 마이어-비토리스 열).

마이어-비토리스 열의 각 사슬 복합체 또한 증강할 수 있습니다. 다음을

도식의 맨 아래에 덧붙이면 됩니다. 다시 말해 위의 것을 다음과 같이 수정합니다.

0\to\widetilde{C}_{\bullet}(U\cap V)\hookrightarrow\widetilde{C}_{\bullet}(U)% \oplus\widetilde{C}_{\bullet}(V)\twoheadrightarrow\widetilde{C}_{\bullet}(U+V)\to 0

여기서 $\widetilde{C}_{\bullet}$ 는 정의 71.4.3에서 정의한 사슬 복합체입니다.

예제 72.1.4 (상대 사슬 짧은 완전열).

$C_{n}(X,A)\coloneqq C_{n}(X)/C_{n}(A)$ 이므로, 다음 짧은 완전열을 얻습니다.

0\to C_{\bullet}(A)\hookrightarrow C_{\bullet}(X)\twoheadrightarrow C_{\bullet% }(X,A)\to 0

이는 모든 공간 $X$ 와 부분공간 $A$ 에 대해 성립합니다. 이것도 증강할 수 있으며, 다음을 얻습니다.

0\to\widetilde{C}_{\bullet}(A)\hookrightarrow\widetilde{C}_{\bullet}(X)% \twoheadrightarrow C_{\bullet}(X,A)\to 0

마지막 행을 추가하여

72.2 호몰로지 군의 긴 완전열

짧은 완전열 $0\to A_{\bullet}\xrightarrow{f}B_{\bullet}\xrightarrow{g}C_{\bullet}\to 0$ 을 생각합시다. 우리는 이미 호몰로지 군 사이에 유도된 사상을 얻는다는 것을 알고 있습니다. 즉 다음이 성립합니다.

그러나 이 정리는 이들을 모두 하나로 이을 수 있다는 것이며, 이때 각 $H_{n+1}(C_{\bullet})$ 는 $H_{n}(A_{\bullet})$ 로 보내집니다.

정리 72.2.1 (짧은 완전 $\implies$ 긴 완전).

$0\to A_{\bullet}\xrightarrow{f}B_{\bullet}\xrightarrow{g}C_{\bullet}\to 0$ 을 우리가 원하는 임의의 사슬 복합체의 짧은 완전열이라고 합시다. 그러면 다음과 같은 완전열이 존재합니다.

이를 호몰로지 군의 긴 완전열이라고 부릅니다.

증명.

매우 긴 도식 추적으로 증명하며, 이는 임의의 아벨 범주에서 성립합니다. (또는 뱀 보조정리를 두 번 사용하는 것도 실제로 가능합니다.) ∎

비고 72.2.2.

사상 $\partial\colon H_{n}(C_{\bullet})\to H_{n-1}(A_{\bullet})$ 는 다음과 같이 명시적으로 쓸 수 있습니다. $H_{n}$ 이 “경계를 법으로 한 순환”이라는 것을 상기하고, 다음 부분 도식을 생각하십시오.

$C_{n}$ 의 모든 순환을 $A_{n-1}$ 의 순환으로 보내야 합니다. (그다음에는 “잘 정의됨”에 관한 수많은 문제를 확인해야 하지만, 지금은 이를 제쳐 둡시다.)

$c\in C_{n}$ 이 순환이라고 가정합시다(즉 $\partial_{C}(c)=0$ 입니다). 전사성에 의해 $g_{n}(b)=c$ 를 만족하는 $b\in B_{n}$ 이 존재하며, 이 $b$ 는 아래로 $\partial_{B}(b)$ 에 사상됩니다. 이제 사각형의 가환성에 의해 $g_{n-1}$ 에 의한 $\partial_{B}(b)$ 의 상은 0이므로, $f_{n-1}$ 을 따라 당겨와서 $A_{n-1}$ 의 유일한 원소를 얻을 수 있습니다( $B_{n-1}$ 에서의 완전성에 의해).

요약하면, $c$ 에서 $a$ 로 가기 위해 “왼쪽, 아래, 왼쪽”으로 이동합니다:

연습문제 72.2.3.

이렇게 복원한 $a$ 가 실제로 순환임을, 즉 $\partial_{A}(a)=0$ 임을 빠르게 확인하십시오. (행이 하나 더 필요하며, $\partial_{B}^{2}=0$ 이라는 사실도 필요합니다.)

결론은 다음과 같습니다:

사슬 복합체의 짧은 완전열은 호몰로지 군의 긴 완전열을 줍니다.

특히 앞에서 제시한 네 가지 예를 살펴봅시다.

예제 72.2.4 (마이어-비토리스 긴 완전열, 잠정적 버전).

마이어-비토리스 완전열은 열린 덮개 $X=U\cup V$ 에 대하여 다음을 줍니다.

\dots\to H_{n}(U\cap V)\to H_{n}(U)\oplus H_{n}(V)\to H_{n}(U+V)\to H_{n-1}(U% \cap V)\to\dots.

그리고 그 축약 버전

\dots\to\widetilde{H}_{n}(U\cap V)\to\widetilde{H}_{n}(U)\oplus\widetilde{H}_{% n}(V)\to\widetilde{H}_{n}(U+V)\to\widetilde{H}_{n-1}(U\cap V)\to\dots.

이 버전이 “잠정적”인 이유는 다음 절에서 $H_{n}(U+V)$ 와 $\widetilde{H}_{n}(U+V)$ 를 더 나은 것으로 대체할 것이기 때문입니다. 상대 호몰로지 완전열의 경우에는 다음이 성립합니다:

정리 72.2.5 (상대 호몰로지의 긴 완전열).

$X$ 를 공간이라 하고, $A\subseteq X$ 를 부분공간이라고 합시다. 다음과 같은 긴 완전열이 존재합니다.

\dots\to H_{n}(A)\to H_{n}(X)\to H_{n}(X,A)\to H_{n-1}(A)\to\dots.

그리고

\dots\to\widetilde{H}_{n}(A)\to\widetilde{H}_{n}(X)\to H_{n}(X,A)\to\widetilde% {H}_{n-1}(A)\to\dots.

$H_{n}(U+V)$ 나 $H_{n}(X,A)$ 가 어떤 모습인지 조금이라도 알 수 있다면, 이 완전열들의 완전성은 $H_{n}(X)$ 에 대한 엄청난 양의 정보를 줄 것입니다. 이것이 다음 장의 목적입니다.

72.3 마이어-비토리스 열

대표적인 예: $S^{m}$ 을 두 반구로 나누어 $H_{n}(S^{m})$ 을 계산합니다.

지금까지 대수를 많이 다루었으니 이제 기하를 조금 동원해야 합니다. Napkin에는 주요한 기하학적 결과가 두 가지 있습니다. 하나는 절제 정리로, 다음 장에서 다룹니다. 다른 하나는 여기서 소개하며, 이를 통해 마이어-비토리스 열을 활용할 수 있게 됩니다. 증명은 다소 복잡하므로 생략합니다. 자세한 내용은 [HAT02]를 참고하십시오.

첫 번째 정리는 지금까지 유지해 온 $H_{n}(U+V)$ 라는 표기가 불필요하며, 그냥 $H_{n}(X)$ 로 대체할 수 있다는 것입니다:

정리 72.3.1 (열린 덮개 호몰로지 정리).

포함 사상 $\iota\colon C_{\bullet}(U+V)\hookrightarrow C_{\bullet}(X)$ 를 생각합시다. 그러면 $\iota$ 는 다음 동형사상을 유도합니다.

H_{n}(U+V)\cong H_{n}(X).

비고 72.3.2.

사실 이는 두 덮개 $U\cup V$ 로 이루어진 경우뿐만 아니라 임의의 열린 덮개(비가산인 경우라도)에 대해 성립합니다. 하지만 예제 72.1.2에 필요한 것은 두 열린집합의 경우이므로, 여기서는 그 특수한 경우만 서술합니다.

따라서 예제 72.1.2와 위 정리를 함께 사용하여 모든 $H_{n}(U+V)$ 를 $H_{n}(X)$ 로 바꾸면 다음을 얻습니다:

정리 72.3.3 (마이어-비토리스 긴 완전열).

$X=U\cup V$ 가 열린 덮개이면 다음 긴 완전열들을 얻습니다.

\dots\to H_{n}(U\cap V)\to H_{n}(U)\oplus H_{n}(V)\to H_{n}(X)\to H_{n-1}(U% \cap V)\to\dots.

그리고

\dots\to\widetilde{H}_{n}(U\cap V)\to\widetilde{H}_{n}(U)\oplus\widetilde{H}_{% n}(V)\to\widetilde{H}_{n}(X)\to\widetilde{H}_{n-1}(U\cap V)\to\dots.

드디어 구면의 호몰로지 군을 계산할 수 있습니다.

정리 72.3.4 ( $S^{m}$ 의 호몰로지 군).

정수 $m$ 과 $n$ 에 대하여,

\widetilde{H}_{n}(S^{m})\cong\begin{cases}\mathbb{Z}&n=m\\ 0&\text{그렇지 않으면}.\end{cases}

$\widetilde{H}_{n}(S^{n})$ 의 생성원은 $S^{n}$ 을 정확히 한 번 덮는 $n$ -세포입니다(예를 들어 $\widetilde{H}_{1}(S^{1})$ 의 생성원은 $S^{1}$ 을 한 번 감는 고리입니다).

증명.

이 문제는 재미있으므로 $m=1$ 인 경우만 미리 보여 드리고 나머지는 여러분께 맡기겠습니다. 그림과 같이 원 $S^{1}$ 을 두 호 $U$ 와 $V$ 로 분해합니다:

$U$ 와 $V$ 는 각각 수축 가능하므로 이들의 축소 호몰로지 군은 모두 소멸합니다. 또한 $U\cap V$ 는 두 점과 호모토피 동치이므로, 다음이 성립합니다.

\widetilde{H}_{n}(U\cap V)\cong\begin{cases}\mathbb{Z}&n=0\\ 0&\text{그렇지 않으면}.\end{cases}

이제 짧은 완전열의 다음 부분을 다시 생각합시다.

\dots\to\underbrace{\widetilde{H}_{n}(U)\oplus\widetilde{H}_{n}(V)}_{=0}\to% \widetilde{H}_{n}(S^{1})\xrightarrow{\partial}\widetilde{H}_{n-1}(U\cap V)\to% \underbrace{\widetilde{H}_{n-1}(U)\oplus\widetilde{H}_{n-1}(V)}_{=0}\to\dots.

이로부터 $\widetilde{H}_{n}(S^{1})$ 은 $n=1$ 일 때 $\mathbb{Z}$ 이고 그 밖의 경우에는 $0$ 임을 얻습니다.

남은 것은 $\widetilde{H}_{1}(S^{1})$ 의 생성원을 분석하는 일입니다. 이 동형사상은 연결 준동형사상 $\partial$ 로 주어졌으며, $\partial$ 는 다음 도식에서 “왼쪽, 아래, 왼쪽” 절차(비고 72.2.2)로 주어진다는 점에 유의하십시오.

$U\cap V$ 의 서로소인 두 경로에 그림과 같이 점 $a$ 와 $b$ 를 표시합니다.

그러면 $a-b$ 는 $H_{0}(U\cap V)$ 의 생성원을 나타내는 순환입니다. $\partial$ 의 역상은 다음과 같이 찾을 수 있습니다. $c$ 와 $d$ 를 $a$ 와 $b$ 를 잇는 사슬이라 하고, $c$ 는 $U$ 에, $d$ 는 $V$ 에 포함된다고 하면, 도식은 다음과 같이 완성됩니다.

다시 말해 $\partial(c-d)=a-b$ 이므로, $c-d$ 는 $\widetilde{H}_{1}(S^{1})$ 의 생성원입니다.

따라서 $c-d$ 가 ( $H_{1}(S^{1})$ 에서) $S^{1}$ 을 반시계 방향으로 한 번 감는 고리 $\gamma$ 와 동치임을 보이고자 합니다. 이는 예제 71.2.10에서 설명하였습니다. ∎

따라서 마이어-비토리스의 핵심 아이디어는 다음과 같습니다.

마이어-비토리스를 이용하면 $X$ 를 두 열린집합으로 쪼개어 $H_{n}(X)$ 를 계산할 수 있습니다.

몇 가지 예를 더 살펴보겠습니다.

명제 72.3.5 (8자 도형의 호몰로지 군).

$X=S^{1}\vee S^{1}$ 을 8자 도형이라고 합시다. 그러면 다음이 성립합니다.

\widetilde{H}_{n}(X)\cong\begin{cases}\mathbb{Z}^{\oplus 2}&n=1\\ 0&\text{그렇지 않으면}.\end{cases}

$\widetilde{H}_{1}(X)$ 의 생성원은 8자 도형의 두 고리입니다.

증명.

이번에도 간단히 하기 위해 축소 호몰로지 군을 사용합니다. 아래 그림과 같이 $U$ 를 8자 도형의 “왼쪽” 절반에 오른쪽 부분을 조금 더한 것이라고 합시다.

집합 $V$ 는 대칭적으로 정의합니다. 이 경우 $U\cap V$ 는 축약 가능하고, $U$ 와 $V$ 는 각각 $S^{1}$ 과 호모토피 동치입니다.

따라서 긴 완전열의 한 구간을 다음과 같이 읽을 수 있습니다.

\dots\to\underbrace{\widetilde{H}_{n}(U\cap V)}_{=0}\to\widetilde{H}_{n}(U)% \oplus\widetilde{H}_{n}(V)\to\widetilde{H}_{n}(X)\to\underbrace{\widetilde{H}_% {n-1}(U\cap V)}_{=0}\to\dots.

따라서 $\widetilde{H}_{n}(X)\cong\widetilde{H}_{n}(S^{1})\oplus\widetilde{H}_{n}(S^{1})$ 를 얻습니다. 생성원에 관한 주장은 위의 동형사상에 따라 $\widetilde{H}_{n}(X)$ 의 생성원이 $\widetilde{H}_{n}(U)$ 와 $\widetilde{H}_{n}(V)$ 의 생성원이라는 사실에서 따라 나옵니다. 이 생성원들은 앞의 정리에서 기하학적으로 설명하였습니다. ∎

지금까지는 운 좋게도 공간의 특정 부분을 항상 축약 가능하게 만들 수 있었습니다. 하지만 항상 그렇지는 않으며, 다음 예에서는 풀이를 완성하기 위해 해당 사상들을 실제로 이해해야 합니다.

명제 72.3.6 (원환면의 호몰로지 군).

$X=S^{1}\times S^{1}$ 을 원환면이라고 합시다. 그러면 다음이 성립합니다.

\widetilde{H}_{n}(X)=\begin{cases}\mathbb{Z}^{\oplus 2}&n=1\\ \mathbb{Z}&n=2\\ 0&\text{그렇지 않으면}.\end{cases}

증명.

2차원 종이 위에서 도식이 보기 좋도록, 원환면을 변들이 동일시된 정사각형으로 나타내겠습니다. 물론 3차원으로 그려도 그림은 잘 이해됩니다. 그림과 같이 $U$ (연한 주황색으로 칠한 부분)와 $V$ (초록색으로 칠한 부분)를 생각합시다. (그림에서는 연결되어 보이지 않더라도, 왼쪽과 오른쪽(파란색) 변이 동일시되므로 $V$ 는 연결되어 있다는 점에 유의하십시오.)

3차원 그림에서 $U$ 와 $V$ 는 합쳐서 원환면을 이루는 두 개의 원기둥입니다. 이번에는 $U$ 와 $V$ 가 각각 $S^{1}$ 과 호모토피 동치이고, 교집합 $U\cap V$ 는 두 원의 서로소 합집합입니다. 따라서 $\widetilde{H}_{1}(U\cap V)\cong\mathbb{Z}\oplus\mathbb{Z}$ 이고, $H_{0}(U\cap V)\cong\mathbb{Z}^{\oplus 2}\implies\widetilde{H}_{0}(U\cap V)% \cong\mathbb{Z}$ 입니다.

$n\geq 3$ 에 대해 다음이 성립합니다.

\dots\to\underbrace{\widetilde{H}_{n}(U\cap V)}_{=0}\to\widetilde{H}_{n}(U)% \oplus\widetilde{H}_{n}(V)\to\widetilde{H}_{n}(X)\to\underbrace{\widetilde{H}_% {n-1}(U\cap V)}_{=0}\to\dots.

따라서 $n\geq 3$ 에 대해 $H_{n}(X)\cong 0$ 입니다. 또한 $X$ 는 경로 연결이므로 $H_{0}(X)\cong\mathbb{Z}$ 입니다. 따라서 $H_{2}(X)$ 와 $H_{1}(X)$ 를 계산하는 일만 남습니다.

먼저 $H_{2}(X)$ 를 구해 봅시다. 우선 다음 구간을 생각합니다.

\dots\to\underbrace{\widetilde{H}_{2}(U)\oplus\widetilde{H}_{2}(V)}_{=0}\to% \widetilde{H}_{2}(X)\xhookrightarrow{\partial}\underbrace{\widetilde{H}_{1}(U% \cap V)}_{\cong\mathbb{Z}\oplus\mathbb{Z}}\xrightarrow{\phi}\underbrace{% \widetilde{H}_{1}(U)\oplus\widetilde{H}_{1}(V)}_{\cong\mathbb{Z}\oplus\mathbb{% Z}}\to\dots

안타깝게도 이번에는 왼쪽에 0이 하나밖에 없으므로 $\widetilde{H}_{2}(X)$ 가 무엇인지 곧바로 명확하지 않습니다. 이를 알아내려면 사상 $\partial$ 와 $\phi$ 가 어떻게 생겼는지 실제로 파악해야 합니다. 앞으로 보겠지만, 두 군이 동형이더라도 $\phi$ 는 동형사상이 아니라는 점에 유의하십시오.

0 항이 있기 때문에 연결 사상 $\partial$ 를 단사로 만들 수 있었습니다. 먼저 $\widetilde{H}_{2}(X)$ 는 $\partial$ 의 상과 동형이며, 이는 정확히 삽입된 화살표 $\phi$ 의 핵입니다. $\ker\phi$ 가 무엇인지 알아내려면 사상 $C_{\bullet}(U\cap V)\to C_{\bullet}(U)\oplus C_{\bullet}(V)$ 가 어떻게 구성되었는지 되짚어 보아야 합니다. 그 사상은 $c\mapsto(c,-c)$ 였습니다. 따라서 호몰로지 군 사이에 유도된 사상은 실제로 예상하는 그대로입니다. 즉, $\widetilde{H}_{1}(U\cap V)$ 의 $1$ -순환 $z$ 는 $\widetilde{H}_{1}(U)\oplus\widetilde{H}_{1}(V)$ 의 $(z,-z)$ 로 보내집니다.

특히 $\widetilde{H}_{1}(U\cap V)=\mathbb{Z}\oplus\mathbb{Z}$ 의 두 생성원 $z_{1}$ 과 $z_{2}$ , 즉 $U\cap V$ 의 각 연결 성분마다 하나씩 있는 순환을 생각합시다. (분명히 하자면, $U\cap V$ 는 두 개의 “손목 밴드”로 이루어져 있고, $z_{i}$ 는 $i$ 번째 밴드를 한 번 감습니다.) 또한 $\alpha_{U}$ 를 $\widetilde{H}_{1}(U)\cong\mathbb{Z}$ 의 생성원, $\alpha_{V}$ 를 $\widetilde{H}_{1}(V)\cong\mathbb{Z}$ 의 생성원이라고 합시다.

이 원소들은 아래 그림과 같습니다.

$z_{1}$ , $z_{2}$ , $\alpha_{U}$ , $\alpha_{V}$ 는 호몰로지 군의 원소이므로 경로를 조금씩 움직여도 된다는 점에 유의하십시오 — 예를 들어 $\widetilde{H}_{1}(U)$ 의 원소로서 $z_{1}$ 로 그린 사슬과 $\alpha_{U}$ 로 그린 사슬은 같은 원소를 나타냅니다.

그러면 다음이 성립합니다.

z_{1}\mapsto(\alpha_{U},-\alpha_{V})\qquad\text{그리고}\qquad z_{2}\mapsto(\alpha% _{U},-\alpha_{V}).

(생성원의 방향을 어떻게 고르느냐에 따라 부호가 달라질 수 있습니다. $\mathbb{Z}$ 에는 가능한 생성원이 두 개 있다는 점에 유의하십시오.) 이를 행렬로 나타낼 수도 있습니다:

\phi=\begin{bmatrix}1&1\\ -1&-1\end{bmatrix}.

그리고 $\phi(z_{1}-z_{2})=0$ 임을 관찰할 수 있는데, 이는 이 사상이 자명하지 않은 핵을 가진다는 뜻입니다! 즉,

\ker\phi=\left<z_{1}-z_{2}\right>\cong\mathbb{Z}.

따라서 $\widetilde{H}_{2}(X)\cong\operatorname{im}\partial\cong\ker\phi\cong\mathbb{Z}$ 입니다. 또한 $\operatorname{im}\phi$ 는 $(\alpha_{U},-\alpha_{V})$ 로 생성되는 집합이라는 점도 짚어 두겠습니다(특히 $\operatorname{im}\phi\cong\mathbb{Z}$ 이며 $\operatorname{im}\phi$ 에 의한 몫도 $\mathbb{Z}$ 입니다).

$\widetilde{H}_{1}(X)$ 의 경우도 상황이 비슷합니다. 이번에는 다음을 얻습니다

\dots\xrightarrow{\phi}\underbrace{\widetilde{H}_{1}(U)\oplus\widetilde{H}_{1}% (V)}_{\cong\mathbb{Z}\oplus\mathbb{Z}}\overset{\psi}{\to}\widetilde{H}_{1}(X)% \overset{\partial}{\twoheadrightarrow}\underbrace{\widetilde{H}_{0}(U\cap V)}_% {\cong\mathbb{Z}}\to\underbrace{\widetilde{H}_{0}(U)\oplus\widetilde{H}_{0}(V)% }_{=0}\to\dots

따라서 연결 사상 $\partial$ 가 전사임을 알 수 있고, 그러므로 $\operatorname{im}\partial\cong\mathbb{Z}$ 입니다. 이제 다음도 얻습니다

	$\displaystyle\ker\partial\cong\operatorname{im}\psi$	$\displaystyle\cong\left(\widetilde{H}_{1}(U)\oplus\widetilde{H}_{1}(V)\right)/\ker\psi$
		$\displaystyle\cong\left(\widetilde{H}_{1}(U)\oplus\widetilde{H}_{1}(V)\right)/% \operatorname{im}\phi\cong\mathbb{Z}$

이는 $\operatorname{im}\phi$ 에 대해 이미 알고 있던 사실에 따른 것입니다. 마무리하려면 몇 가지 대수적 기법이 필요합니다. 첫 번째는 명제 70.5.1로, 이로부터 다음 짧은 완전열을 얻습니다

0\to\underbrace{\ker\partial}_{\cong\operatorname{im}\psi\cong\mathbb{Z}}% \hookrightarrow\widetilde{H}_{1}(X)\twoheadrightarrow\underbrace{\operatorname% {im}\partial}_{\cong\mathbb{Z}}\to 0.

$\widetilde{H}_{1}(X)\cong\mathbb{Z}\oplus\mathbb{Z}$ 가 유일한 가능성임을 스스로 납득해 보십시오. 이는 보조정리 72.3.8를 이용하여 엄밀하게 증명하겠습니다. ∎

비고 72.3.7.

앞에서 우리는 (증명 없이) $\pi_{2}(X)$ 가 자명하다고 언급했습니다. 즉, 호모토피는 원환면에서 어떠한 “ $2$ 차원 구멍”도 찾아내지 못합니다. 그렇다면 왜 $H_{2}(X)\cong\mathbb{Z}$ 입니까?

다음 방법으로 긴 완전열을 이용하여 $H_{2}(X)$ 의 자명하지 않은 원소를 직접 계산해 보는 것도 좋습니다. 긴 완전열을 살펴보십시오:

우리는 $H_{2}(X)$ 의 자명하지 않은 원소를 찾고자 합니다. 이를 위해 $\ker\phi\subseteq H_{1}(U\cap V)$ 의 원소를 하나 잡고 $\partial$ 에 대한 그 원상을 취하면 됩니다.

이를 위해서는 $z_{1}-z_{2}$ 로 충분합니다. $\partial$ 에 대한 원상을 취하려면 $\partial$ 가 어떻게 구성되었는지 떠올려야 합니다. 그것은 도식에서 “왼쪽, 아래, 왼쪽”으로 이동하는 절차였습니다:

따라서 몫 사상에 의한 상이 $z_{1}-z_{2}$ 인 $C_{1}(U\cap V)$ 의 (닫힌) 원소를 찾은 다음, 이를 “오른쪽, 위, 오른쪽”으로 옮겨 $C_{2}(X)$ 의 원소로 보냅니다.

모든 과정을 올바르게 수행했다면, 결과는 원환면 전체가 되어야 합니다!

이는 다음 요점을 강조합니다:

호몰로지가 감지하는 “구멍”이 반드시 $S^{n}$ 의 내부처럼 생길 필요는 없습니다.

앞의 예는 그 이전의 예들과 접근 방식이 다르다는 점에 유의하십시오. 군을 계산하는 것만을 위해서도 긴 완전열의 사상들이 실제로 무엇인지 알아내야 했기 때문입니다. 원리적으로는 앞의 증명에 나오는 모든 동형사상을 알아내어 $\widetilde{H}_{1}(S^{1}\times S^{1})$ 의 생성원을 명시적으로 계산할 수도 있지만, 세부 사항에 매몰되지 않도록 여기서는 하지 않겠습니다.

마지막으로, 마지막 단계를 완전히 정당화하기 위해 다음을 제시합니다:

보조정리 72.3.8 (분할 보조정리).

아벨 군의 짧은 완전열 $0\to A\xrightarrow{f}B\xrightarrow{g}C\to 0$ 에 대하여 다음은 서로 동치입니다:

(a)

$A\xrightarrow{f}B\xrightarrow{p}A$ 가 항등 사상이 되도록 하는 $p\colon B\to A$ 가 존재합니다.
(b)

$C\xrightarrow{s}B\xrightarrow{g}C$ 가 항등 사상이 되도록 하는 $s\colon C\to B$ 가 존재합니다.
(c)

$B$ 에서 $A\oplus C$ 로 가는 동형사상이 존재하여 다음 도식이

가환합니다. ( $A\oplus C$ 에 딸린 사상들은 자명한 것들입니다.)

특히 $C$ 가 자유 아벨 군이면 언제나 (b)가 성립합니다.

이러한 경우 짧은 완전열이 분할된다고 합니다. 요점은 다음과 같습니다

분할되는 완전열이 있으면 $A$ 와 $C$ 로부터 $B$ 를 얻을 수 있습니다.

특히 $C=\mathbb{Z}$ 이거나 $C$ 가 임의의 자유 아벨 군이면 조건 (b)는 반드시 성립합니다. 따라서 짧은 완전열 $0\to\mathbb{Z}\to\widetilde{H}_{1}(X)\to\mathbb{Z}\to 0$ 을 얻은 시점에서 증명이 끝난 것입니다.

비고 72.3.9.

안타깝게도 모든 완전열이 분할되는 것은 아닙니다. 분할되지 않는 짧은 완전열의 예는 다음과 같습니다

0\to\mathbb{Z}/2\mathbb{Z}\xhookrightarrow{\times 2}\mathbb{Z}/4\mathbb{Z}% \twoheadrightarrow\mathbb{Z}/2\mathbb{Z}\to 0

$\mathbb{Z}/4\mathbb{Z}\cong\mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}$ 는 성립하지 않기 때문입니다.

비고 72.3.10.

분할 보조정리는 임의의 아벨 범주에서 성립합니다. 여기서 “직합”은 두 대상 $A$ 와 $C$ 의 쌍대극한입니다.

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

문제 72A.

정리 72.3.4의 증명을 완성하십시오. 즉, 모든 $m$ 과 $n$ 에 대하여 $H_{n}(S^{m})$ 을 계산하십시오. ( $m=2$ 인 경우를 먼저 해 보면 어떻게 진행해야 하는지 알 수 있습니다.)

힌트. 반구를 이용하여 $m$ 에 대한 귀납법을 사용하십시오.

문제 72B.

$\mathbb{R}^{n}$ 에서 $p\geq 1$ 개의 점을 제거한 공간의 축소 호몰로지 군을 계산하십시오.

힌트. 한 가지 방법은 $p=1$ 을 기저 경우로 하여 $p$ 에 대한 귀납법을 사용하는 것입니다. 또 다른 방법은 $U$ 를 구하려는 공간으로 두고 $V$ 를 서로 교차하지 않는 $p$ 개의 공의 합집합으로 두는 것입니다.

풀이. 답은 $\widetilde{H}_{n-1}(X)\cong\mathbb{Z}^{\oplus p}$ 이며, 나머지 군은 모두 0입니다. $p=1$ 이면 $\mathbb{R}^{n}-\{\ast\}\cong S^{n-1}$ 이므로 증명이 끝납니다. 그 밖의 $p$ 에 대해서는 $p$ 개의 점을 두 부분으로 나누는 초평면을 그어 한쪽에 $a$ 개, 다른 쪽에 $b$ 개의 점이 있도록 하십시오(따라서 $a+b=p$ 입니다). $U$ 와 $V$ 를 정하고 귀납법을 사용하십시오.

또는, $U$ 를 구하고자 하는 공간이라 하고 $V$ 를 각 점 주위에 하나씩 놓인 $p$ 개의 서로소인 공의 합집합이라 합시다. 그러면 $U\cup V=\mathbb{R}^{n}$ 의 축소 호몰로지 군은 모두 자명합니다. 마이어-비토리스 열로부터 $\widetilde{H}_{k}(U\cap V)\cong\widetilde{H}_{k}(U)\oplus\widetilde{H}_{k}(V)$ 임을 읽어낼 수 있습니다. 그런데 $U\cap V$ 는 $p$ 개의 구멍 뚫린 공이고, 각각은 $S^{n-1}$ 과 같습니다. 여기서 결론을 읽어낼 수 있습니다.

문제 72C.

$n\geq 1$ 과 $k\geq 0$ 을 정수라 합시다. $H_{k}(\mathbb{R}^{n},\mathbb{R}^{n}\setminus\{0\})$ 을 계산하십시오.

힌트. 정리 72.2.5을 사용하십시오. $\mathbb{R}^{n}\setminus\{0\}$ 은 $S^{n-1}$ 과 호모토피 동치임에 유의하십시오.

풀이. $k=n$ 이면 $\mathbb{Z}$ 이고, 그 외에는 $0$ 입니다.

문제 72D (9 보조정리).

다음 가환 도식을 생각하십시오

모든 행이 완전하고 두 열이 완전하다고 가정하십시오. 세 번째 열도 완전함을 보이십시오.

힌트. $0\to A_{\bullet}\to B_{\bullet}\to C_{\bullet}\to 0$ 은 사슬 복합체의 짧은 완전열입니다. 이에 대응하는 긴 완전열을 적어 보십시오. 거의 모든 항이 소멸합니다.

문제 72E (클라인 병).

^†^†margin:

클라인 병 $K$ 의 축소 호몰로지 군이 다음과 같음을 보이십시오

\widetilde{H}_{n}(K)=\begin{cases}\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}&n=1\\ 0&\text{그렇지 않으면}.\end{cases}

힌트. $U$ 와 $V$ 로 두 개의 원기둥을 사용할 수 있습니다. 다만 이번에는 행렬이 $\begin{bmatrix}1&1\\ 1&-1\end{bmatrix}$ 또는 그 변형입니다. 특히 이 행렬은 단사이므로 $\widetilde{H}_{2}(X)=0$ 입니다.

문제 72F (삼중쌍의 긴 완전열).

$A\subseteq B\subseteq X$ 를 부분공간이라 합시다. 다음과 같은 긴 완전열이 존재함을 보이십시오

\dots\to H_{n}(B,A)\to H_{n}(X,A)\to H_{n}(X,B)\to H_{n-1}(B,A)\to\dots.

힌트. 정리 72.2.1를 적용할 새로운 짧은 완전열을 찾으십시오.

풀이. 다음 짧은 완전열을 사용하십시오

$0\to C_{\bullet}(B,A)\to C_{\bullet}(X,A)\to C_{\bullet}(X,B)\to 0$

사슬 복합체의.