기본군

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

대수적 위상수학에서, 기본군(基本群, 영어: fundamental group)은 어떤 위상 공간 속의 폐곡선들의 호모토피 동치류들의 이며, 1차 호모토피군이다.[1][2][3] 위상 공간의 특성에 대한 중요한 분석 도구이다.

정의[편집]

경로곱[편집]

기본군에서 경로의 합성

위상 공간 X의 두 경로

f\colon[0,1]\to X
g\colon[0,1]\to X

가, f(1)=g(0)을 만족시킨다고 하자. 그렇다면 이 두 경로의 경로곱

f*g\colon[0,1]\to X

은 다음과 같은 경로이다.[2]:326–327

f*g\colon t\mapsto\begin{cases}f(2t)&t\le1/2\\g(2t-1)&t\ge1/2\end{cases}

이는 경로의 호모토피류에 대하여 불변이며, 따라서 경로 호모토피류의 집합 위에도 경로곱

[f][g]=[f*g]

을 정의할 수 있다.

경로의 경로곱은 결합 법칙을 만족시키지 않는다. 그러나 (f*g)*hf*(g*h) 사이에는 호모토피가 존재하며, 이에 따라 경로 호모토피류의 경로곱은 결합 법칙을 만족시킨다.

기본 준군[편집]

위상 공간 X기본 준군(영어: fundamental groupoid) \Pi_1(X)은 다음과 같다.[2]:326–327

  • \pi_1(X)의 대상 집합은 X이다. 즉, \Pi_1(X)의 대상은 X의 점이다.
  • 임의의 두 점 x,y\in X에 대하여, 사상 집합 \hom_{\Pi_1(X)}(x,y)x에서 y로 가는 경로들의 호모토피류의 집합이다.
  • 사상의 합성은 경로 호모토피류의 곱이다. 즉, 두 사상 [f]\in\hom_{\Pi_1(X)}(x,y), [g]\in\hom_{\Pi_1(X)}(y,z)의 합성은 [g]\circ[f]=[f*g]이다.
  • x\in X에서의 항등 사상 \operatorname{id}_xx값의 상수 함수인 경로 [0,1]\to X, t\mapsto x의 호모토피류이다.
  • 역사상은 경로의 순서의 반전이다. 즉, 사상 [f]\in\hom_{\Pi_1(X)}(x,y)을 경로 f\colon[0,1]\to X, f(0)=x, f(1)=y로 나타낸다고 하자. 함수 i\colon[0,1]\to[0,1]i(t)=1-t로 정의하면, [f]의 역사상은 [f]^{-1}=[f\circ i]\in\hom(y,x)이다.

기본군[편집]

임의의 점 x_0\in X에 대하여, 준군 \Pi_1(X) 가운데, 자기 사상 집합 \hom_{\Pi_1(X)}(x_0,x_0)을 이룬다. 이를 Xx_0에서의 기본군 \pi_1(X;x_0)이라고 한다.[1]:162 만약 X경로 연결 공간일 경우에는 x_0에 상관없이 기본군이 모두 동형이며,[1]:167–168 따라서 \pi_1(X)와 같이 쓴다.

기본군이 자명군경로 연결 공간단일 연결 공간이라고 한다.

성질[편집]

기본군은 호모토피 유형의 불변량이다. 즉, 위상 공간 X와 Y가 같은 호모토피 유형을 가지면, X와 Y의 기본군은 동형이다.[1]:170

곡면위상동형필요충분조건은 곡면의 1차 호몰로지군 (기본군의 아벨화 \pi_1(X)/[\pi_1(X),\pi_1(X)])이 서로 동형인 것이다.[1]:197–198

함자성[편집]

만약 두 위상 공간 X, Y 사이에 연속 함수 f:X→Y가 존재하면, 그 두 공간의 기본군 사이에는 f에서 유도할 수 있는 다음 군 준동형사상이 존재한다.[1]:167–168

  • a가 X 상의 고리이면, f_{*}:\pi_1(X, x_0) \to \pi_1(Y, f(x_0)) 에 대하여 f_{*}([a]) := [f \circ a].

예로 f가 상수 함수이면 f \circ a 도 역시 상수 함수가 되고, f* 는 항상 \pi_1(Y, f(x_0)) 의 항등원으로 가는 자명한 군 준동형사상이다.

계산[편집]

어떤 주어진 공간의 기본군을 직접 구하는 것은 많은 경우 쉽지 않다. 예컨대 원의 기본군이 정수군이라는 것은 직관적으로는 간단해 보이나, 엄밀히 직접 증명하기 위해서는 여러 번잡한 절차가 필요하다. 원의 경우 이러한 과정은 불가피하지만, 이 외의 많은 경우에 대해 기본군의 유도를 단순화하기 위해서 여러 도구가 고안되어 있다.

우선 어떤 공간을 이미 기본군을 아는 공간의 곱위상이나 쐐기합으로 나타낼 수 있을 경우, 기본군은 다음과 같이 간단하게 구할 수 있다.(여기서 '*'는 군들의 자유곱)

  1. \pi_1 (X\times Y) \cong \pi_1(X) \times \pi_1(Y) \,
  2. \pi_1 (X\vee Y) \cong \pi_1(X) * \pi_1(Y). \,

따라서 원환면의 기본군은 \mathbb Z\oplus\mathbb Z 와 동형이며, 원을 두 개 이어붙인 도형의 기본군은 생성원이 두 개인 자유군이 된다. 그러나 이러한 방법은 기본군을 아는 공간들로 위의 방법을 통해 분해되지 않는 일반적인 공간의 경우에는 적용하기 힘든데, 이러한 경우에도 광범위하게 적용할 수 있는 정리로 자이페르트-판 캄펀 정리가 있다. 이 정리에 따르면, 어떤 공간 X가 A∪B = X를 만족하고 A, B, A∩B가 모두 경로 연결 공간열린 집합일 때, x0 ∈ A∩B에 대해 이들의 기본군 간에는 다음 관계식이 성립한다.[1]:188

  • \pi_1 (X, x_0) \cong \pi_1 (A, x_0) *_{\pi_1 (A \cap B, x_0)} \pi_1 (B, x_0).

이 정리에 따르면 2차원 구의 기본군은 자명군이 됨을 쉽게 보일 수 있다. 2차원 구에서 한 점을 뺀 것을 A, 그 반대쪽에서 한 점을 뺀 것을 B라 놓으면 A와 B는 축약가능집합이므로 이들의 기본군은 자명군이다. 따라서 위의 관계식에 따라 2차원 구의 기본군도 자명군이 되는 것이다.

붙임공간[편집]

붙임공간(영어: adjunction space)의 경우 자이페르트-판 캄펀 정리를 특수하게 이용하여 쉽게 그 기본군을 구할 수 있다.[1]:195–196 즉, 콤팩트 하우스도르프 공간인 도형 X와 연속 함수 f:S1→X에 대하여, 2차원 원판 D2를 X에 붙인 붙임공간 D_2\cup_fX 의 기본군은 다음과 같다.

\pi_1(D_2\cup_fX)\cong\pi_1 (X) / f_{*} \pi_1(S^1)

예를 들어, 복소평면 위에서 함수 f를 f:S1→S1, f(z) := z2 와 같이 정의할 때 D2f S1은 실수 사영 평면이 되는데, 이 기본군은 위의 공식에 의해 \pi_1 (X) / f_{*} \pi_1(S^1) \cong \mathbb{Z} / 2\mathbb{Z} \cong \mathbb{Z}_2 와 동형이다.

[편집]

대표적인 공간들의 기본군은 다음과 같다.

공간 기본군 주석
(S1) \mathbb Z [1]:176
초구 S^n (n\ge2) 1 (자명군)
원환면 T^n=(S^1)^n \mathbb Z^n
실수 사영 평면 \mathbb{RP}^2 \mathbb Z/2

역사[편집]

앙리 푸앵카레1895년의 논문 《위상 해석학》(라틴어: Analysis situs 아날리시스 시투스[*], 위상수학의 옛말)[4] 에서 처음으로 사용하였다.

참고 문헌[편집]

  1. 곽진호; 이재운 (2007). 《조합적 곡면위상론》 (한국어). 경문사. 
  2. Munkres, James R. (2000). 《Topology》 (영어). Prentice Hall. 
  3. Hatcher, Allen (2006). 《Algebraic Topology》 (영어). Cambridge University Press. 
  4. Poincaré, Henri (1895). “Analysis situs” (프랑스어). 《Journal de l'École Polytechnique (serie 2)》 1: 1–123. 

같이 보기[편집]

바깥 고리[편집]