짜임새 공간

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

물리학수학에서, 짜임새 공간(-空間, 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 Xi호모토피 군 \pi_i(\operatorname{Conf}^\infty X)Xi번째 축소 특이 호몰로지 \operatorname{\tilde H}_i(X;\mathbb Z)와 동형이다.

\pi_i(\operatorname{Conf}^\infty X)\cong \operatorname{\tilde H}_i(X;\mathbb Z)

특히, 무한 짜임새 공간의 기본군은 항상 아벨 군이다.

이 정리는 알브레히트 돌트(독일어: Albrecht Dold)와 르네 통이 증명하였다.[1]

[편집]

\operatorname{Conf}^0X는 항상 한원소 공간이다. \operatorname{Conf}^1XX와 같다.

전순서 집합 위의 짜임새 공간[편집]

3차원 단체 \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 Cn차 복소수 일계수 다항식들의 모듈러스 공간

\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)

같이 보기[편집]

참고 문헌[편집]

  1. Dold, Albrecht; Thom, René (1958년 3월). “Quasifaserungen und unendliche symmetrische Produkte” (PDF). 《Annals of Mathematics》 (독일어) 67 (2): 239–281. doi:10.2307/1970005. ISSN 0003-486X. JSTOR 1970005. Zbl 0091.37102. 

바깥 고리[편집]