짜임새 공간

배위 공간 (고전역학) 물리학과 수학에서 **짜임새 공간**(-空間, configuration space) 또는 **배위 공간**(配位空間)은 계의 일반화 좌표가 가질 수 있는 모든 값들로 이루어진 매끄러운 다양체다. 다시 말해, 계의 구속 조건을 만족시키는 모든 가능한 위치로 이루어진 공간이다. 그 차원은 계의 자유도의 수와 같다. 라그랑주 역학은 짜임새 공간 위에서 정의된다. (반면, 해밀턴 역학은 일반화 좌표 뿐만 아니라 일반화 속도도 포함하는 공간인 위상 공간 위에서 정의된다.) 예를 들어, 구속받지 않는 하나의 입자의 짜임새 공간은 \mathbb R^3이고, 구속받지 않는 n개의 입자들의 짜임새 공간은 \mathbb R^{3n}이다. 반면 어떤 곡선이나 곡면 M에 구속된 하나의 입자의 짜임새 공간은 M이며, M에 구속된 n개의 입자들의 짜임새 공간은 M^n이다. 한 입자는 M에 구속되었지만, 다른 입자는 구속되지 않으면 그 짜임새 공간은 M\times\mathbb R^3이다.
# 정의
위상 공간 X 위의 n개의 점들의 **짜임새 공간** \operatorname{Conf}^nX은 집합으로서 X 속의, n개 이하의 원소들을 갖는 부분 집합들의 집합이다. 이는 다음과 같은 몫공간으로 정의할 수 있다. :\operatorname{Conf}^nX=X^n/\operatorname{Sym}(n) 여기서 \operatorname{Sym}(n)은 n개의 원소 위의 대칭군이며, 몫공간은 \operatorname{Sym}(n)의 X^n 위의 표준적인 작용 (각 성분들의 순열)에 대한 몫공간이다. 만약 X가 다양체라면, 그 위의 짜임새 공간은 오비폴드를 이룬다. 짜임새 공간 속에서, 좌표가 중복되지 않는 부분 공간 :\operatorname{Conf_{nonsing^nX=\\{(x_1,\dots,x_n)\in X^n\colon \forall i\ne j\colon x_i\ne x_j\\}/\operatorname{Sym}(n)\subseteq\operatorname{Conf}^nX 을 **비특이 짜임새 공간**(nonsingular configuration space)이라고 한다. 만약 X가 다양체라면 비특이 짜임새 공간 역시 다양체이다. (이름과 달리, 짜임새 공간 자체가 특이점을 갖지 않을 수 있다. 예를 들어, 평면이나 구 위의 짜임새 공간은 특이점을 갖지 않는다.) 점을 가진 공간 (X,\bullet)의 거듭 곱공간에 대하여, 표준적인 포함 사상들의 열 :X^0\cong \\{\bullet\\}\subseteq X\cong X\times\\{\bullet\\}\subseteq X^2\cong X^2\times\\{\bullet\\}\subseteq X^3\cong X^3\times\\{\bullet\\}\subseteq\cdots 이 존재한다. 이에 따라 짜임새 공간들의 포함 사상 :\operatorname{Conf}^0X\hookrightarrow \operatorname{Conf}^1X\hookrightarrow\operatorname{Conf}^2X\hookrightarrow\operatorname{Conf}^3X\hookrightarrow\cdots 이 존재한다. 이들의 귀납적 극한을 **무한 짜임새 공간**(infinite configuration space) :\operatorname{Conf}^\infty X=\varinjlim_{n\to\infty}\operatorname{Conf}^nX 이라고 한다.
# 성질
**돌트-톰 정리**(Dold–Thom theorem)에 따르면, 점을 가진 연결 CW 복합체 X의 무한 짜임새 공간 \operatorname{Conf}^\infty X의 i차 호모토피 군 \pi_i(\operatorname{Conf}^\infty X)은 X의 i번째 축소 특이 호몰로지 \operatorname{\tilde H}_i(X;\mathbb Z)와 동형이다. :\pi_i(\operatorname{Conf}^\infty X)\cong \operatorname{\tilde H}_i(X;\mathbb Z) 특히, 무한 짜임새 공간의 기본군은 항상 아벨 군이다.
# 예
\operatorname{Conf}^0X는 항상 한원소 공간이다. \operatorname{Conf}^1X는 X와 같다.
## 전순서 집합 위의 짜임새 공간
단체 \triangle^3. 이는 닫힌구간 [0,1] 위의 3차 짜임새 공간 \operatorname{Conf}^3[0,1]이다.]] 전순서 집합 (L,\le) 위에 순서 위상을 주자. 그렇다면, L 위의 n차 짜임새 공간 \operatorname{Conf}^nL은 곱공간 L^n의 부분 공간 :\\{(a_1,a_2,\dots,a_n)\in L^n\colon a_1\le a_2\le\cdots\le a_n\\}\subseteq L^n 으로 여길 수 있다. 예를 들어, 닫힌구간 [0,1] 위의 n차 짜임새 공간은 n차원 단체 :\triangle^n=\\{(t_1,t_2,\dots,t_n)\in[0,1]^n\colon t_1\le t_2\le\cdots\le t_n\\} 이며, 반직선 \mathbb R_{\ge0} 위의 n+1차 짜임새 공간은 n차원 단체 위의 무한 뿔 :\operatorname{Conf}^{n+1}\mathbb R_{\ge0}\cong\frac{\triangle^n\times\mathbb R_{\ge0{\triangle^n\times\\{0\\ =\\{(tr_1,tr_2,\dots,tr_n,t)\colon (r_1,\dots,r_n)\in\triangle^n,t\in\mathbb R^+\\}\sqcup\\{(0,0,\dots,0)\\} 이다.
## 평면 위의 짜임새 공간
유클리드 평면 \mathbb R^2 위의 n개 입자의 짜임새 공간 \operatorname{Conf}^n\mathbb R^2를 생각해 보자. 유클리드 평면을 복소평면 \mathbb C로 생각하자. 대수학의 기본 정리에 따라, 복소수 계수 n차 다항식 :p(z)=c_0+c_1z+c_2z^2+\cdots+z^n 은 n개의 (중복될 수 있는) 근을 갖는다. 반대로, n개의 복소수들의 중복집합 (z_1,z_2,\dots,z_n)이 주어진다면, 이들을 근으로 하는 다항식 :p(z)=(z-z_1)(z-z_2)\cdots(z-z_n) 을 재구성할 수 있다. 따라서, \operatorname{Conf}^n\mathbb C는 n차 복소수 일계수 다항식들의 모듈라이 공간 :\mathbb C^n 과 위상 동형이다. 특히 이는 매끄러운 다양체로 나타낼 수 있다. :\operatorname{Conf}^n\mathbb R^2\cong\mathbb R^{2n} 짜임새 공간과 달리, 평면 위의 비특이 짜임새 공간 :\operatorname{Conf_{nonsing^n\mathbb R^2\subseteq\mathbb R^{2n} 은 n\ge 2일 경우 축약 가능 공간이 아니며, 그 기본군을 **꼬임군** :\pi_1(\operatorname{Conf_{nonsing^n\mathbb R^2)=\operatorname{Braid}(n) 이라고 한다.
## 구 위의 짜임새 공간
구 \mathbb S^2 위의 n개의 입자의 짜임새 공간 \operatorname{Conf}^n\mathbb S^2를 생각하자. 구를 리만 구 \mathbb{CP}^1=\mathbb C\sqcup\\{\widehat\infty\\}로 여길 수 있다. 복소수 사영 공간 속의 임의의 점 [c_0:c_1:\cdots:c_n]\in \mathbb{CP}^n에 대하여, 다항식 :p(z)=c_0+c_1z+\cdots+c_nz^n 을 정의하자. * 만약 c_n\ne0이라면 이는 n개의 (유한한) 근들을 가진다. * 만약 c_n=0이지만 c_{n-1}\ne0이라면 이는 n-1개의 유한한 근들을 가진다. 이 경우, \widehat\infty\in\mathbb{CP}^1를 무한한 "근"으로 정의하여, n개의 (유한하거나 무한한) 근들을 가지게 할 수 있다. * 일반적으로, 임의의 k\in\\{0,1,2,3,\dots,n\\}에 대하여 0=c_{k+1}=c_{k+2}=\cdots이지만 c_k\ne0이라면, 이는 k개의 유한한 근들과 n-k개의 무한한 근들을 가진다. 반대로, a_1/b_1,\dots,a_n/b_n\in\mathbb C\sqcup\\{\infty\\}=\mathbb{CP}^1이 주어졌을 때 :p(z)=(b_1z-a_1)(b_2z-a_2)\cdots(b_nz-a_n) 은 이들을 (유한하거나 무한한) 근으로 하는 다항식을 이룬다. 따라서, 초구 위의 짜임새 공간은 복소수 사영 공간 :\operatorname{Conf}^n\mathbb S^2\cong\mathbb{CP}^n 이다. 돌트-톰 정리에 따라, 초구 위의 무한 짜임새 공간은 무한 순환군의 에일렌베르크-매클레인 공간을 이룬다. :\operatorname{Conf}^\infty\mathbb S^n\simeq K(\mathbb Z,n) 특히, K(\mathbb Z,2)는 무한 차원 복소수 사영 공간이다. :\mathbb{CP}^\infty\cong \operatorname{Conf}^\infty\mathbb S^2\simeq K(\mathbb Z,2)
## 원 위의 짜임새 공간
원 위의 n차 짜임새 공간 :\operatorname{Conf}^n(\mathbb S^1) 은 (n-1)차원 단체의 기둥에서, 윗면과 아랫면을 뒤틀림을 가해 붙이는 오비폴드이다.언어=en 즉, 단체 :\triangle^{n-1} = \left\\{(t_1,\dots,t_n)\in[0,1]^n \colon \sum_{i=1}^nt_i = 1 \right\\} 의 자기 동형 :\sigma \colon \triangle^{n-1}\to\triangle^{n-1} :\sigma \colon (t_1,\dotsc,t_n) \mapsto (t_2,t_3,\dotsc,t_n,t_1) 을 생각하면, :\operatorname{Conf}^n(\mathbb S^1) = \frac{\triangle^{n-1}\times[0,1]}{\triangle^{n-1}\times\\{0\\} \sim_\sigma\triangle^{n-1}\times\\{1\\ 이다.

**증명:**

원 :\mathbb S^1=\mathbb R/\mathbb Z 에 임의의 방향을 주자. 이제, n개의 점 가운데 임의의 한 점 x_0\in\mathbb S^1을 고르고, 나머지 점들을 반시계 방향으로 :x_0,x_1,\dotsc,x_n=x_0\in\mathbb S^1 이라고 부르자. 이제, 서로 이웃하는 점 사이의 거리 :t_i=x_i-t_{i-1}\in[0,1] 를 생각하자. 그렇다면, :\sum_{i=1}^nt_i=1 이므로, 이들은 (n-1)차원 단체의 좌표를 이룬다. 그렇다면, \mathbb S^1 위의 n개의 점들의 배열은 n-1차원 단체의 한 점 t\in\triangle^{n-1} 및 x_0\in\mathbb S^1의 위치로 나타내어지므로, :\triangle^{n-1}\times\mathbb S^1 의 특정한 몫공간이다. 여기서 취하는 몫은 x_0의 선택을 바꾸는 것에 대한 것이며, 이는 점들의 번호를 순환적으로 1만큼 변하게 된다.

예를 들어, 원 \mathbb S^1 위의 2차 짜임새 공간 :\operatorname{Conf}^2(\mathbb S^1) 은 뫼비우스 띠이다. 구체적으로, 뫼비우스 띠의 (유일한) 경계는 두 점이 일치하는 부분 공간이다. 마찬가지로, 원 위의 3차 짜임새 공간 :\operatorname{Conf}^3(\mathbb S^1) 은 정삼각형 기둥에서, 윗면과 아랫면을 60도 뒤틀어 붙여 얻는 오비폴드이다. 이는 (원과 동형인) 하나의 1차원 경계 및 (뫼비우스 띠와 동형인) 하나의 2차원 경계를 갖는데, 이는 각각 3개의 점이 일치하는 부분 공간과 2개의 점이 일치하는 부분 공간에 해당한다.
# 역사
돌트-톰 정리는 알브레히트 돌트와 르네 톰이 1958년에 증명하였다.언어=de