연결합

위상수학에서 **연결합**(連結合, connected sum)은 두 다양체 또는 매끄러운 다양체가 주어졌을 때, 각각에서 작은 공을 도려낸 뒤 그 경계를 따라 이어붙여 더 큰 (매끄러운) 다양체를 만드는 연산이다.
# 정의
연결합은 같은 차원의 두 (위상) 다양체 또는 두 매끄러운 다양체에 대하여 정의할 수 있다. 다음과 같은 데이터가 주어졌다고 하자. * 양의 정수 n\in\mathbb Z^+ * n차원 연결 (위상) 다양체 M, N * 만약 M이 가향 다양체일 경우, M 위의 방향 (M이 비가향 다양체일 경우 필요없음) * 만약 N이 가향 다양체일 경우, N 위의 방향 (N이 비가향 다양체일 경우 필요없음) 그렇다면, 다음과 같은 데이터를 임의로 고를 수 있다. * M 속의 점 x\in M * N 속의 점 y\in N * x의 닫힌 근방을 이루는 작은 닫힌 공 \iota_M\colon\bar{\mathbb D}^n\to M, \iota_M(\mathbb D^n)\ni x. 만약 M이 유향 다양체라면, \iota_M이 방향을 보존하게 정의한다. * y의 닫힌 근방을 이루는 작은 닫힌 공 \iota_N\colon\bar{\mathbb D}^n\to N, \iota_N(\mathbb D^n)\ni y. 만약 M이 유향 다양체라면, \iota_N이 방향을 보존하게 정의한다. * 초구 \mathbb S^{n-1}=\partial\bar{\mathbb D}^n 위의, 방향을 바꾸는 연속 함수 f\colon\mathbb S^{n-1}\to\mathbb S^{n-1}. (이러한 함수의 호모토피류는 유일하다.) *:f\colon\mathbb S^{n-1}\to\mathbb S^{n-1} *:f_*[\mathbb S^{n-1}]=-[\mathbb S^{n-1}] 그렇다면, 다음과 같은 위상 공간을 정의할 수 있다. :M\\#N=(M\setminus\iota_M(\mathbb D^n))\cup_{\iota_M\circ f\circ\iota_N^{-1 (N\setminus\iota_N(\mathbb D^n)) 여기서 \cup_{\cdots}는 붙임 공간이다. 즉, 두 다양체에서 작은 열린 공을 도려낸 뒤, 그 경계에 따라 (유향 다양체인 경우 방향을 바꾸는 방향으로) 붙인 것이다. 이를 M과 N의 **연결합**(connected sum)이라고 한다. 연결합은 임의로 선택한 데이터 (x, y, \iota_M, \iota_N, f)에 의존하지 않음을 보일 수 있다. 즉, 서로 다른 임의의 데이터를 선택하더라도 얻어지는 연결합은 서로 (비표준적으로) 위상 동형이다. 또한, 두 다양체의 연결합은 항상 다양체임을 보일 수 있다.
## 매끄러운 다양체의 연결합
만약 M과 N이 매끄러운 다양체일 경우, 연결합 M\\#N 위에는 추가로 자연스러운 매끄러움 구조가 존재하여, 매끄러운 다양체를 이룬다.
# 성질
다양체 또는 매끄러운 다양체의 연결합은 (위상 동형 아래) 교환 법칙을 만족시킨다. :M\\#N\cong N\\#M 2차원 이상의 다양체의 경우, 두 연결 비가향 또는 유향 다양체의 연결합은 연결 공간이다. (1차원에서, 두 연결 다양체의 연결합은 연결되지 않을 수 있다.) 이 경우, 연결 비가향 또는 유향 다양체의 연결합은 (위상 동형 아래) 결합 법칙을 만족시키며, 매끄러운 다양체의 경우도 마찬가지이다. 따라서, 2차원 이상에서 연결 비가향 또는 유향 다양체들은 가환 모노이드를 이룬다. 연결합 모노이드의 항등원은 초구 \mathbb S^n이다. (초구의 경우, 방향을 뒤집는 자기 동형이 존재하므로 방향을 어떻게 잡든 상관없다.) 즉, 임의의 n차원 연결 비가향 또는 유향 다양체에 대하여, 다음이 성립한다. :M\\#\mathbb S^n\cong M
# 예
임의의 차원 n>0에서, 두 유클리드 공간의 연결합은 다음과 같은 기둥이다. :\mathbb R^n\\#\mathbb R^n\cong\mathbb S^{n-1}\times\mathbb R 보다 일반적으로, 임의의 차원 n>0에서, 구멍이 p개 뚫린 초구와 q개 뚫린 초구의 연결합은 구멍이 p+q개 뚫린 초구이다. (유클리드 공간은 구멍이 1개 뚫린 초구와 위상 동형이며, 기둥 \mathbb S^{n-1}\times\mathbb R은 구멍이 2개 뚫린 초구와 위상 동형이다.) :(\mathbb S^n\setminus\\{x_1,\dots,x_p\\})\\#(\mathbb S^n\setminus\\{y_1,\dots,y_q\\})\cong\mathbb S^n\setminus\\{z_1,\dots,z_{p+q}\\}
## 1차원 다양체
1차원 (하우스도르프 파라콤팩트) 연결 다양체는 모두 원 \mathbb S^1 또는 실직선 \mathbb R와 위상 동형이다. 둘 다 유향 다양체이며, 둘 다 방향을 뒤집는 자기 동형을 갖는다. 이 경우, 가능한 연결합들은 다음과 같다. :\mathbb S^1\\#\mathbb R\cong\mathbb R :\mathbb R\\#\mathbb R\cong\mathbb R\sqcup\mathbb R :\mathbb S^1\\#\mathbb S^1\cong\mathbb S^1 특히, \mathbb R\\#\mathbb R의 경우 연결 공간이 아님을 알 수 있다. 이는 0차원 초구 \mathbb S^0가 연결 공간이 아니기 때문에 가능하다.
## 2차원 다양체
두 개의 원환면의 연결합은 종수가 2인 [[리만 곡면이다.]] 2차원 콤팩트 연결 다양체의 경우, 모두 원환면 \mathbb T^2과 사영 평면 \mathbb P^2들의 연결합으로 나타낼 수 있다. (원환면은 가향 다양체이며, 방향을 뒤집는 자기 동형을 갖는다. 사영 평면은 비가향 다양체이다.) 2차원 콤팩트 연결 유향 또는 비가향 다양체들의 연결합 가환 모노이드는 다음과 같은 표시를 갖는다. :\langle\mathbb P^2,\mathbb T^2|\mathbb P^2\\#\mathbb P^2\\#\mathbb P^2=\mathbb T^2\\#\mathbb P^2\rangle (비콤팩트 다양체의 분류는 더 복잡하다.) - 부제=다각형 표시를 통한 증명 모든 2차원 콤팩트 연결 다양체는 다각형 표시를 갖는다. 이는 모든 2차원 콤팩트 연결 다양체가 삼각 분할될 수 있다는 사실로부터 유도할 수 있으며, 이 사실은 러도 티보르가 1925년에 증명하였다. 아래 증명에서는 임의로 취한 다각형 표시로부터 표준적인 다각형 표시를 유도한 뒤, 유향 다양체의 표준적인 다각형 표시에 대응하는 몫공간이 원환면들의 연결합 n\mathbb T^2과 위상 동형이며, 비가향 다양체의 표준적인 다각형 표시에 대응하는 몫공간이 사영 평면들의 연결합 n'\mathbb P^2과 위상 동형임을 보인다. 2차원 콤팩트 연결 다양체 X가 주어졌다고 하자. X의 다각형 표시 \alpha\in\\{a_1,a_1^{-1},a_2,a_2^{-1},\dots\\}^*에 대하여, l(\alpha)가 \alpha의 변의 수라고 하고, k(\alpha)가 \alpha의 꼭짓점의 동치류의 수라고 하자. 다각형 표시의 붙여지는 두 변은 다각형의 경계에 방향을 부여했을 때 같은 방향의 두 변과 반대 방향의 두 변으로 나눌 수 있다. 다음 두 가지 방법을 통해 X의 다각형 표시로부터 새로운 X의 다각형 표시를 유도할 수 있다.

* ㈀ 만약 \alpha가 X의 다각형 표시이며, 이웃하는 반대 방향의 두 변 a를 갖는다면, 이 두 변을 붙여 새로운 X의 다각형 표시 \alpha'을 얻을 수 있다. 이 경우 두 변은 사라지고 한 점 동치류를 이루던 두 변의 공통 꼭짓점은 다각형 내부의 점이 된다. 따라서 :l(\alpha')=l(\alpha)-2 :k(\alpha')=k(\alpha)-1 이다.
* ㈁ 만약 \alpha가 X의 다각형 표시이며, \alpha의 두 변 a가 대각선 a'의 양쪽에 위치한다면, \alpha를 a'을 따라 절단하고 a를 따라 접착하여 얻는 표시 \alpha' 역시 X의 다각형 표시이다. 원래의 두 변 a는 다각형의 대각선이 되며, 대각선 a'은 다각형의 두 변이 되며, :l(\alpha')=l(\alpha) :k(\alpha')=l(\alpha) 이다.

이제, 임의의 X의 다각형 표시 \alpha를 취하자. l(\alpha)>1이라고 가정하자. 임의의 꼭짓점 동치류 [P]를 취하자. 만약 [P]가 유일한 꼭짓점을 갖는다면, 이는 이웃하는 반대 방향의 두 변의 공통 꼭짓점이며, 방법 ㈀을 사용하여 두 변을 붙여 [P]를 없앨 수 있다. 만약 [P]가 둘 이상의 꼭짓점을 갖는다면, 그 원소가 아닌 점 Q\not\in[P]와 이웃하는 점 P\in[P]를 취할 수 있다. 변 PQ는 P를 지나는 다른 한 변 RP와 붙지 않는다. 이는 이 두 변이 붙는다고 가정하면 PQ와 RP의 방향이 달라 P가 [P]의 유일한 꼭짓점이 되기 때문이다. 따라서, 방법 ㈁을 사용하여 \alpha를 대각선 RP을 따라 절단하고 변 RP와 이에 대응하는 변을 접착할 수 있다. 이렇게 하면 동치류 [P]의 꼭짓점 수는 정확히 하나 줄어든다. 위 두 과정을 적절하게 거듭하면 l(\alpha')=1인 X의 다각형 표시 \alpha'를 얻을 수 있다. 다각형 표시가 붙여지는 같은 방향의 두 변을 갖는지 여부는 방법 ㈀와 방법 ㈁을 통한 변환에 대하여 불변이다. 방법 ㈀의 경우 변들의 방향이 바뀌지 않으므로 같은 방향의 두 변의 유무가 변하지 않는다. 방법 ㈁에서 a가 반대 방향인 경우, 평행 이동만이 필요하므로 역시 변들의 방향이 바뀌지 않는다. 방법 ㈁에서 a가 같은 방향인 경우, 다각형을 절단한 두 부분 가운데 하나를 뒤집어야 하므로 대각선 a'은 반대 방향의 두 변이 된다. 꼭짓점의 동치류가 하나뿐인 다각형 표시에서, 반대 방향의 두 변은 서로 이웃하지 않으며, 또한 적어도 한 쌍의 두 변이 이들과 번갈아가며 나타난다. 만약 번갈아가며 나타나는 다른 한 쌍의 변이 존재하지 않는다면, 반대 방향의 두 변을 제외하고 남은 두 꺾은선의 꼭짓점들이 서로 동치일 수 없으며, 이는 모순이다. 위에서 얻은 l(\alpha')=1인 X의 다각형 표시 \alpha'를 생각하자. 우선 \alpha'의 모든 붙여지는 두 변이 반대 방향이라고 가정하자. 반대 방향의 두 변 a를 취하자. 이와 번갈아가며 나타나는 두 변 b를 취하자. 그렇다면 b 역시 반대 방향이다. 방법 ㈁을 통한 적절한 변환을 몇 차례 가하여 두 쌍의 변 a와 b를 번갈아가며 나타나는 연이은 두 쌍의 변 a'와 b'으로 대체할 수 있다. 원래 번갈아가며 나타나던 연이은 두 쌍의 변은 변환 후에도 번갈아가며 나타나며 이어져 있다. 따라서 위 과정을 반복하면 결국 다음과 같은 꼴의 표준적인 다각형 표시를 얻는다. :a_1b_1a_1^{-1}b_1^{-1}a_2b_2a_2^{-1}b_2^{-1}\cdots a_nb_na_n^{-1}b_n^{-1} 이제 \alpha'이 같은 방향의 두 변을 갖는다고 가정하자. 그렇다면 같은 방향의 두 변 a는 적절한 변환 ㈁을 가하여 이웃하는 같은 방향의 두 변 a'으로 대체할 수 있다. 원래 이웃하던 같은 방향의 두 변은 변환 후에도 유지된다. 이와 같은 과정을 반복하면 모든 같은 방향의 두 변이 이웃하는 다각형 표시를 얻는다. 이 표시가 반대 방향의 두 변 a를 갖는다고 가정하자. a와 번갈아가며 나타나는 두 변 b를 취하자. 그렇다면 b는 이웃하지 않으므로 반대 방향의 두 변이다. 같은 방향의 두 변 c를 취하자. 그렇다면, 몇 차례 변환 ㈁을 통해 a, b, c를 세 그룹의 이웃하는 같은 방향의 두 변 a', b', c'으로 대체할 수 있으며, 원래 이웃하던 같은 방향의 두 변은 유지된다. 이를 반복하여 반대 방향의 두 변들을 모두 없애면, 이웃하는 같은 방향의 두 변들로 구성된 X의 표준적인 다각형 표시 :a_1a_1a_2a_2\cdots a_{n'}a_{n'} 를 얻는다. 위 유도 과정에서, 다각형의 변의 수는 꼭짓점 동치류의 수를 줄일 때마다 둘씩 줄어든다. 따라서 마지막 다각형 표시의 변의 수 4n 또는 2n'은 :l(\alpha)-2k(\alpha)+2 이다. 다각형 표시 :a_1b_1a_1^{-1}b_1^{-1}a_2b_2a_2^{-1}b_2^{-1}\cdots a_nb_na_n^{-1}b_n^{-1} 에서, 각 a_ib_ia_i^{-1}b_i^{-1}에 대응하는 오각형을 붙여 만든 공간은 열린 공을 도려낸 원환면이며, 남은 n각형을 붙여 만든 공간은 n개의 열린 공을 도려낸 구이다. 따라서 이 표시에 대응하는 몫공간은 n개의 원환면의 연결합 n\mathbb T^2이며, 이는 가향 다양체이다. 다각형 표시 :a_1a_1a_2a_2\cdots a_{n'}a_{n'} 에서, 각 a_ia_i에 대응하는 삼각형을 붙여 만든 공간은 뫼비우스의 띠이며, 남은 n'각형은 n'개의 열린 공을 도려낸 구이다. 따라서 이 표시에 대응하는 몫공간은 n'개의 사영 평면의 연결합 n'\mathbb P^2이며, 이는 비가향 다양체이다. 증명 끝
## 3차원 다양체
3차원에서, 모든 (위상) 다양체는 유일한 매끄러움 구조를 가지므로, 다양체와 매끄러운 다양체를 구별하지 않아도 된다. 둘 다 3차원 초구가 아닌 두 개의 다양체의 연결합으로 나타낼 수 없는 3차원 연결 콤팩트 유향 다양체를 **소다양체**(素多樣體, prime manifold)라고 하자. 모든 3차원 콤팩트 유향 다양체는 유한 개의 소다양체들의 연결합으로 나타낼 수 있으며, 이러한 표현은 유일하다. 이를 3차원 다양체의 **소분해**(素分解, prime decomposition)라고 한다. 따라서, 3차원 콤팩트 연결 유향 다양체들의 연결합 모노이드는 자유 가환 모노이드이다.
## 4차원 이상
4차원 이상에서는 다양체 · 조각적 선형 다양체 · 매끄러운 다양체가 각각 다르다. 3차원 이하에서는 연결합 모노이드에는 역원이 존재하지 않는다. 즉, M\\# N\cong\mathbb S^n이라면 M\cong N\cong\mathbb S^n이어야 한다 (n\le3). 그러나 이는 5차원 이상의 매끄러운 다양체에서 성립하지 않는다. 5차원 이상에서는 자명하지 않는 매끄러운 호모토피 초구(초구와 호모토피 동치인 매끄러운 다양체)가 존재하며, 매끄러운 다양체에 대하여 호모토피 초구인 것은 연결합 모노이드에서 역원을 갖는 것과 동치이다.
# 역사
연결합의 유일성 (즉, 서로 다른 점 및 구형 근방을 잡아도 연결합이 서로 미분 동형 · 위상 동형이라는 것)은 자명하지 않다. 매끄러운 다양체의 경우, 연결합의 유일성은 미셸 케르베르와 존 밀너가 1963년에 증명하였다.언어=en (위상) 다양체의 경우, 연결합의 유일성은 **원환 정리**(annulus theorem)로부터 유도된다. 원환 정리의 증명은 복잡하며, 2차원에서는 러도 티보르(Radó Tibor)가 1924년에 증명하였고,언어=de 3차원에서는 에드윈 에바리스트 모이즈(Edwin Evariste Moise)가 1952년에 증명하였고,언어=en 4차원에서는 프랭크 퀸(Frank Quinn)이 1982년에 증명하였고,언어=en 5차원 이상에서는 로비언 크롬웰 커비(Robion Cromwell Kirby)가 1969년에 증명하였다.언어=en 3차원 다양체의 소분해의 존재는 1929년에 헬무트 크네저(Hellmuth Kneser)가 증명하였고,언어=de256 그 유일성은 존 밀너가 증명하였다.언어=en