짜임새 공간: 두 판 사이의 차이

위키백과, 우리 모두의 백과사전.
내용 삭제됨 내용 추가됨
잔글편집 요약 없음
편집 요약 없음
1번째 줄: 1번째 줄:
{{출처 필요|날짜=2013-5-17}}
{{출처 필요|날짜=2013-5-17}}
[[고전역학]]에서, '''짜임새 공간'''(-空間, {{lang|en|configuration space}}) 또는 '''배위 공간'''(配位空間)은 [[계 (물리학)|계]]의 [[일반화 좌표]]가 가질 수 있는 모든 값들로 이루어진 [[매끄러운 다양체]]다. 다시 말해, 계의 구속 조건을 만족시키는 모든 가능한 위치로 이루어진 공간이다. 그 차원은 계의 [[자유도]]의 수와 같다. [[라그랑주 역학]]은 짜임새 공간 위에서 정의된다. (반면, [[해밀턴 역학]]은 [[일반화 좌표]] 뿐만 아니라 [[일반화 속도]]도 포함하는 공간인 [[위상 공간 (물리학)|위상 공간]] 위에서 정의된다.)
[[물리학]]과 [[수학]]에서, '''짜임새 공간'''(-空間, {{lang|en|configuration space}}) 또는 '''배위 공간'''(配位空間)은 [[계 (물리학)|계]]의 [[일반화 좌표]]가 가질 수 있는 모든 값들로 이루어진 [[매끄러운 다양체]]다. 다시 말해, 계의 구속 조건을 만족시키는 모든 가능한 위치로 이루어진 공간이다. 그 차원은 계의 [[자유도]]의 수와 같다. [[라그랑주 역학]]은 짜임새 공간 위에서 정의된다. (반면, [[해밀턴 역학]]은 [[일반화 좌표]] 뿐만 아니라 [[일반화 속도]]도 포함하는 공간인 [[위상 공간 (물리학)|위상 공간]] 위에서 정의된다.)


예를 들어, 구속받지 않는 하나의 입자의 짜임새 공간은 <math>\mathbb R^3</math>이고, 구속받지 않는 <math>n</math>개의 입자들의 짜임새 공간은 <math>\mathbb R^{3n}</math>이다. 반면 어떤 곡선이나 곡면 <math>M</math>에 구속된 하나의 입자의 짜임새 공간은 <math>M</math>이며, <math>M</math>에 구속된 <math>n</math>개의 입자들의 짜임새 공간은 <math>M^n</math>이다. 한 입자는 <math>M</math>에 구속되었지만, 다른 입자는 구속되지 않으면 그 짜임새 공간은 <math>M\times\mathbb R^3</math>이다.
예를 들어, 구속받지 않는 하나의 입자의 짜임새 공간은 <math>\mathbb R^3</math>이고, 구속받지 않는 <math>n</math>개의 입자들의 짜임새 공간은 <math>\mathbb R^{3n}</math>이다. 반면 어떤 곡선이나 곡면 <math>M</math>에 구속된 하나의 입자의 짜임새 공간은 <math>M</math>이며, <math>M</math>에 구속된 <math>n</math>개의 입자들의 짜임새 공간은 <math>M^n</math>이다. 한 입자는 <math>M</math>에 구속되었지만, 다른 입자는 구속되지 않으면 그 짜임새 공간은 <math>M\times\mathbb R^3</math>이다.

== 정의 ==
[[위상 공간 (수학)|위상 공간]] <math>X</math> 위의 <math>n</math>개의 점들의 '''짜임새 공간''' <math>\operatorname{Conf}^nX</math>은 집합으로서 <math>X</math> 속의, <math>n</math>개 이하의 원소들을 갖는 [[부분 집합]]들의 집합이다.

이는 다음과 같은 [[몫공간]]으로 정의할 수 있다.
:<math>\operatorname{Conf}^nX=X^n/\operatorname{Sym}(n)</math>
여기서 <math>\operatorname{Sym}(n)</math>은 <math>n</math>개의 원소 위의 [[대칭군 (군론)|대칭군]]이며, [[몫공간]]은 <math>\operatorname{Sym}(n)</math>의 <math>X^n</math> 위의 표준적인 [[군의 작용|작용]] (각 성분들의 [[순열]])에 대한 몫공간이다. 만약 <math>X</math>가 [[다양체]]라면, 그 위의 짜임새 공간은 [[오비폴드]]를 이룬다.

짜임새 공간 속에서, 좌표가 중복되지 않는 부분 공간
:<math>\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</math>
을 '''비특이 짜임새 공간'''({{llang|en|nonsingular configuration space}})이라고 한다. 만약 <math>X</math>가 다양체라면 비특이 짜임새 공간 역시 다양체이다. (이름과 달리, 짜임새 공간 자체가 특이점을 갖지 않을 수 있다. 예를 들어, 평면이나 구 위의 짜임새 공간은 특이점을 갖지 않는다.)

[[점을 가진 공간]] <math>(X,\bullet)</math>의 거듭 [[곱공간]]에 대하여, 표준적인 포함 사상들의 열
:<math>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</math>
이 존재한다. 이에 따라 짜임새 공간들의 포함 사상
:<math>\operatorname{Conf}^0X\hookrightarrow \operatorname{Conf}^1X\hookrightarrow\operatorname{Conf}^2X\hookrightarrow\operatorname{Conf}^3X\hookrightarrow\cdots</math>
이 존재한다. 이들의 [[귀납적 극한]]을 '''무한 짜임새 공간'''({{llang|en|infinite configuration space}})
:<math>\operatorname{Conf}^\infty X=\varinjlim_{n\to\infty}\operatorname{Conf}^nX</math>
이라고 한다.

== 예 ==
<math>\operatorname{Conf}^0X</math>는 항상 [[한원소 공간]]이다. <math>\operatorname{Conf}^1X</math>는 <math>X</math>와 같다.

=== 평면 위의 짜임새 공간 ===
[[유클리드 평면]] <math>\mathbb R^2</math> 위의 <math>n</math>개 입자의 짜임새 공간 <math>\operatorname{Conf}^n\mathbb R^2</math>를 생각해 보자.

[[유클리드 평면]]을 [[복소평면]] <math>\mathbb C</math>로 생각하자. [[대수학의 기본 정리]]에 따라, 복소수 계수 <math>n</math>차 [[다항식]]
:<math>p(z)=c_0+c_1z+c_2z^2+\cdots+z^n</math>
은 <math>n</math>개의 (중복될 수 있는) 근을 갖는다. 반대로, <math>n</math>개의 복소수들의 [[중복집합]] <math>(z_1,z_2,\dots,z_n)</math>이 주어진다면, 이들을 근으로 하는 다항식
:<math>p(z)=(z-z_1)(z-z_2)\cdots(z-z_n)</math>
을 재구성할 수 있다. 따라서, <math>\operatorname{Conf}^n\mathbb C</math>는 <math>n</math>차 복소수 [[일계수 다항식]]들의 [[모듈러스 공간]]
:<math>\mathbb C^n</math>
과 [[위상 동형]]이다. 특히 이는 [[매끄러운 다양체]]로 나타낼 수 있다.
:<math>\operatorname{Conf}^n\mathbb R^2\cong\mathbb R^{2n}</math>

짜임새 공간과 달리, 평면 위의 비특이 짜임새 공간
:<math>\operatorname{Conf_{nonsing}}^n\mathbb R^2\subseteq\mathbb R^{2n}</math>
은 <math>n\ge 2</math>일 경우 [[축약 가능 공간]]이 아니며, 그 [[기본군]]을 '''[[꼬임군 (위상수학)|꼬임군]]'''
:<math>\pi_1(\operatorname{Conf_{nonsing}}^n\mathbb R^2)=\operatorname{Braid}(n)</math>
이라고 한다.

=== 구 위의 짜임새 공간 ===
[[구 (기하)|구]] <math>\mathbb S^2</math> 위의 <math>n</math>개의 입자의 짜임새 공간 <math>\operatorname{Conf}^n\mathbb S^2</math>를 생각하자. [[구 (기하)|구]]를 [[리만 구]] <math>\mathbb{CP}^1=\mathbb C\sqcup\{\widehat\infty\}</math>로 여길 수 있다.

[[복소수 사영 공간]] 속의 임의의 점 <math>[c_0:c_1:\cdots:c_n]\in \mathbb{CP}^n</math>에 대하여, 다항식
:<math>p(z)=c_0+c_1z+\cdots+c_nz^n</math>
을 정의하자.
* 만약 <math>c_n\ne0</math>이라면 이는 <math>n</math>개의 (유한한) 근들을 가진다.
* 만약 <math>c_n=0</math>이지만 <math>c_{n-1}\ne0</math>이라면 이는 <math>n-1</math>개의 유한한 근들을 가진다. 이 경우, <math>\widehat\infty\in\mathbb{CP}^1</math>를 무한한 "근"으로 정의하여, <math>n</math>개의 (유한하거나 무한한) 근들을 가지게 할 수 있다.
* 일반적으로, 임의의 <math>k\in\{0,1,2,3,\dots,n\}</math>에 대하여 <math>0=c_{k+1}=c_{k+2}=\cdots</math>이지만 <math>c_k\ne0</math>이라면, 이는 <math>k</math>개의 유한한 근들과 <math>n-k</math>개의 무한한 근들을 가진다.
반대로, <math>a_1/b_1,\dots,a_n/b_n\in\mathbb C\sqcup\{\infty\}=\mathbb{CP}^1</math>이 주어졌을 때
:<math>p(z)=(b_1z-a_1)(b_2z-a_2)\cdots(b_nz-a_n)</math>
은 이들을 (유한하거나 무한한) 근으로 하는 다항식을 이룬다. 따라서, 초구 위의 짜임새 공간은 [[복소수 사영 공간]]
:<math>\operatorname{Conf}^n\mathbb S^2\cong\mathbb{CP}^n</math>
이다.

== 참고 문헌 ==
* {{서적 인용|제목=Geometry and topology of configuration spaces|성= Fadell|이름=Edward R.|성2=Husseini|이름2=Sufian Y. |doi=10.1007/978-3-642-56446-8|isbn=978-3-540-66669-1|출판사=Springer|총서=Springer Monographs in Mathematics|issn=1439-7382|언어=en}}


== 같이 보기 ==
== 같이 보기 ==
10번째 줄: 68번째 줄:
[[분류:고전역학]]
[[분류:고전역학]]
[[분류:다양체]]
[[분류:다양체]]
[[분류:위상수학]]

2016년 1월 11일 (월) 13:08 판

물리학수학에서, 짜임새 공간(-空間, configuration space) 또는 배위 공간(配位空間)은 일반화 좌표가 가질 수 있는 모든 값들로 이루어진 매끄러운 다양체다. 다시 말해, 계의 구속 조건을 만족시키는 모든 가능한 위치로 이루어진 공간이다. 그 차원은 계의 자유도의 수와 같다. 라그랑주 역학은 짜임새 공간 위에서 정의된다. (반면, 해밀턴 역학일반화 좌표 뿐만 아니라 일반화 속도도 포함하는 공간인 위상 공간 위에서 정의된다.)

예를 들어, 구속받지 않는 하나의 입자의 짜임새 공간은 이고, 구속받지 않는 개의 입자들의 짜임새 공간은 이다. 반면 어떤 곡선이나 곡면 에 구속된 하나의 입자의 짜임새 공간은 이며, 에 구속된 개의 입자들의 짜임새 공간은 이다. 한 입자는 에 구속되었지만, 다른 입자는 구속되지 않으면 그 짜임새 공간은 이다.

정의

위상 공간 위의 개의 점들의 짜임새 공간 은 집합으로서 속의, 개 이하의 원소들을 갖는 부분 집합들의 집합이다.

이는 다음과 같은 몫공간으로 정의할 수 있다.

여기서 개의 원소 위의 대칭군이며, 몫공간 위의 표준적인 작용 (각 성분들의 순열)에 대한 몫공간이다. 만약 다양체라면, 그 위의 짜임새 공간은 오비폴드를 이룬다.

짜임새 공간 속에서, 좌표가 중복되지 않는 부분 공간

비특이 짜임새 공간(영어: nonsingular configuration space)이라고 한다. 만약 가 다양체라면 비특이 짜임새 공간 역시 다양체이다. (이름과 달리, 짜임새 공간 자체가 특이점을 갖지 않을 수 있다. 예를 들어, 평면이나 구 위의 짜임새 공간은 특이점을 갖지 않는다.)

점을 가진 공간 의 거듭 곱공간에 대하여, 표준적인 포함 사상들의 열

이 존재한다. 이에 따라 짜임새 공간들의 포함 사상

이 존재한다. 이들의 귀납적 극한무한 짜임새 공간(영어: infinite configuration space)

이라고 한다.

는 항상 한원소 공간이다. 와 같다.

평면 위의 짜임새 공간

유클리드 평면 위의 개 입자의 짜임새 공간 를 생각해 보자.

유클리드 평면복소평면 로 생각하자. 대수학의 기본 정리에 따라, 복소수 계수 다항식

개의 (중복될 수 있는) 근을 갖는다. 반대로, 개의 복소수들의 중복집합 이 주어진다면, 이들을 근으로 하는 다항식

을 재구성할 수 있다. 따라서, 차 복소수 일계수 다항식들의 모듈러스 공간

위상 동형이다. 특히 이는 매끄러운 다양체로 나타낼 수 있다.

짜임새 공간과 달리, 평면 위의 비특이 짜임새 공간

일 경우 축약 가능 공간이 아니며, 그 기본군꼬임군

이라고 한다.

구 위의 짜임새 공간

위의 개의 입자의 짜임새 공간 를 생각하자. 리만 구 로 여길 수 있다.

복소수 사영 공간 속의 임의의 점 에 대하여, 다항식

을 정의하자.

  • 만약 이라면 이는 개의 (유한한) 근들을 가진다.
  • 만약 이지만 이라면 이는 개의 유한한 근들을 가진다. 이 경우, 를 무한한 "근"으로 정의하여, 개의 (유한하거나 무한한) 근들을 가지게 할 수 있다.
  • 일반적으로, 임의의 에 대하여 이지만 이라면, 이는 개의 유한한 근들과 개의 무한한 근들을 가진다.

반대로, 이 주어졌을 때

은 이들을 (유한하거나 무한한) 근으로 하는 다항식을 이룬다. 따라서, 초구 위의 짜임새 공간은 복소수 사영 공간

이다.

참고 문헌

같이 보기