{{위키데이터 속성 추적}}
[[대수적 위상수학]]에서 '''기본군'''(基本群, {{llang|en|fundamental group}})은 어떤 [[위상 공간 (수학)|위상 공간]] 속의 [[폐곡선]]들의 [[호모토피]] 동치류들의 [[군 (수학)|군]]이며, 1차 [[호모토피 군]]이다.<ref name="곽진호이재운">{{서적 인용|저자=곽진호|공저자=이재운|제목=조합적 곡면위상론|출판사=경문사|날짜=2007|언어=ko}}</ref><ref name="Munkres">{{서적 인용
|url=http://www.pearsonhighered.com/bookseller/product/Topology/9780131816299.page
|이름=James R.
|성=Munkres
|저자링크=제임스 멍크레스
|제목=Topology
|언어=en
|판=2
|출판사=Prentice Hall
|연도=2000
|isbn=978-0-13-181629-9
|zbl=0951.54001
|mr=0464128
}}</ref><ref>{{서적 인용|이름=Allen|성= Hatcher|제목=Algebraic Topology|출판사=Cambridge University Press|날짜=2006|언어=en}}</ref> 위상 공간의 특성에 대한 중요한 분석 도구이다.

== 정의 ==
=== 경로곱 ===
[[파일:Homotopy group addition.svg|섬네일|right|기본군에서 [[경로 (위상수학)|경로]]의 합성]]
[[위상 공간 (수학)|위상 공간]] <math>X</math>의 두 [[경로 (위상수학)|경로]]
:<math>f\colon[0,1]\to X</math>
:<math>g\colon[0,1]\to X</math>
가, <math>f(1)=g(0)</math>을 만족시킨다고 하자. 그렇다면 이 두 경로의 '''경로곱'''
:<math>f*g\colon[0,1]\to X</math>
은 다음과 같은 [[경로 (위상수학)|경로]]이다.<ref name="Munkres"/>{{rp|326–327}}
:<math>f*g\colon t\mapsto\begin{cases}f(2t)&t\le1/2\\g(2t-1)&t\ge1/2\end{cases}</math>
이는 경로의 호모토피류에 대하여 불변이며, 따라서 경로 호모토피류의 집합 위에도 경로곱
:<math>[f][g]=[f*g]</math>
을 정의할 수 있다.

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

=== 기본 준군 ===
[[위상 공간 (수학)|위상 공간]] <math>X</math>의 '''기본 준군'''({{llang|en|fundamental groupoid}}) <math>\Pi_1(X)</math>은 다음과 같다.<ref name="Munkres"/>{{rp|326–327}}
* <math>\pi_1(X)</math>의 대상 집합은 <math>X</math>이다. 즉, <math>\Pi_1(X)</math>의 대상은 <math>X</math>의 점이다.
* 임의의 두 점 <math>x,y\in X</math>에 대하여, 사상 집합 <math>\hom_{\Pi_1(X)}(x,y)</math>는 <math>x</math>에서 <math>y</math>로 가는 [[경로 (위상수학)|경로]]들의 [[경로 호모토피류]]의 집합이다.
* 사상의 합성은 경로 호모토피류의 곱이다. 즉, 두 사상 <math>[f]\in\hom_{\Pi_1(X)}(x,y)</math>, <math>[g]\in\hom_{\Pi_1(X)}(y,z)</math>의 합성은 <math>[g]\circ[f]=[f*g]</math>이다.
* 점 <math>x\in X</math>에서의 항등 사상 <math>\operatorname{id}_x</math>은 <math>x</math>값의 [[상수 함수]]인 경로 <math>[0,1]\to X</math>, <math>t\mapsto x</math>의 호모토피류이다.
* 역사상은 경로의 순서의 반전이다. 즉, 사상 <math>[f]\in\hom_{\Pi_1(X)}(x,y)</math>을 경로 <math>f\colon[0,1]\to X</math>, <math>f(0)=x</math>, <math>f(1)=y</math>로 나타낸다고 하자. 함수 <math>i\colon[0,1]\to[0,1]</math>을 <math>i(t)=1-t</math>로 정의하면, <math>[f]</math>의 역사상은 <math>[f]^{-1}=[f\circ i]\in\hom(y,x)</math>이다.

=== 기본군 ===
임의의 점 <math>x_0\in X</math>에 대하여, [[준군]] <math>\Pi_1(X)</math> 가운데, [[자기 사상]] 집합 <math>\hom_{\Pi_1(X)}(x_0,x_0)</math>은 [[군 (수학)|군]]을 이룬다. 이를 <math>X</math>의 <math>x_0</math>에서의 '''기본군''' <math>\pi_1(X;x_0)</math>이라고 한다.<ref name="곽진호이재운"/>{{rp|162}} 만약 <math>X</math>가 [[경로 연결 공간]]일 경우에는 <math>x_0</math>에 상관없이 기본군이 모두 동형이며,<ref name="곽진호이재운"/>{{rp|167–168}} 따라서 <math>\pi_1(X)</math>와 같이 쓴다.

기본군이 [[자명군]]인 [[경로 연결 공간]]을 '''[[단일 연결 공간]]'''이라고 한다.

기본군 <math>\pi_1(X,x_0)</math>은 [[고리 공간]] <math>\Omega(X,x_0)</math>의 [[호모토피]]에 대한 [[몫공간]]이다. 고리 공간에 [[콤팩트-열린집합 위상]]을 부여하면, 기본군은 그 [[몫공간]]으로서 [[위상 공간 (수학)|위상 공간]]을 이룬다. 이는 일반적으로 [[위상군]]이 아니다 (곱셈 연산이 [[연속 함수]]가 아닐 수 있다). 다만, 임의의 <math>g\in\pi_1(X,x_0)</math>에 대하여 <math>g\cdot\colon \pi_1(X,x_0)\to \pi_1(X,x_0)</math>는 [[연속 함수]]이다.<ref name="BF"/>

== 성질 ==
기본군은 호모토피 유형의 불변량이다. 즉, 위상 공간 X와 Y가 같은 [[호모토피 유형]]을 가지면, X와 Y의 기본군은 동형이다.<ref name="곽진호이재운"/>{{rp|170}}

두 [[곡면]]이 [[위상동형]]일 [[필요충분조건]]은 곡면의 1차 [[호몰로지군]] (기본군의 [[아벨화]] <math>\pi_1(X)/[\pi_1(X),\pi_1(X)]</math>)이 서로 동형인 것이다.<ref name="곽진호이재운"/>{{rp|197–198}}

=== 함자성 ===
기본군은 [[점을 가진 공간]]과 점을 보존하는 연속 함수의 범주 <math>\operatorname{Top}_\bullet</math>와 [[군 (수학)|군]]의 범주 <math>\operatorname{Grp}</math> 사이의 [[함자 (수학)|함자]] <math>\pi_1\colon\operatorname{Top}_\bullet\to\operatorname{Grp}</math>를 정의한다. 구체적으로, 점을 보존하는 연속 함수
:<math>f\colon(X,x_0)\to(Y,f(x_0))</math>
는 정의역과 공역의 기본군 사이에 다음과 같은 [[군 준동형]]을 유도한다.
:<math>\pi_1(f)\colon\pi_1(X,x_0)\to\pi_1(Y,f(x_0))</math>
:<math>\pi_1(f)\colon[a]\mapsto[f\circ a]</math>
예로 <math>f</math>가 [[상수 함수]]이면 <math>f\circ a</math> 역시 상수 함수가 되고, <math>\pi_1(f)</math>는 항상 <math>\pi_1(Y, f(x_0))</math>의 항등원으로 가는 자명한 군 준동형이다.

기본군 함자는 임의의 [[곱 (범주론)|곱]]과 유한 [[쌍대곱]]을 보존한다. 즉, [[곱공간]]의 기본군은 기본군의 [[직접곱]]이며, [[쐐기합]]의 기본군은 기본군의 [[자유곱]]이다.
:<math>\pi_1\biggl(\prod_{i\in I}(X_i,x_i)\biggr)=\prod_{i\in I}\pi_1(X_i,x_i)</math>
:<math>\pi_1((X,x_0)\vee(Y,y_0))=\pi_1(X,x_0)*\pi_1(Y,y_0)</math>

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

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

# <math>\pi_1 (X\times Y) \cong \pi_1(X) \times \pi_1(Y) \, </math>
# <math>\pi_1 (X\vee Y) \cong \pi_1(X) * \pi_1(Y). \, </math>

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

* <math>\pi_1 (X, x_0) \cong \pi_1 (A, x_0) *_{\pi_1 (A \cap B, x_0)} \pi_1 (B, x_0).</math>

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

=== 붙임 공간 ===
[[붙임 공간]]의 경우 자이페르트-판 캄펀 정리를 특수하게 이용하여 쉽게 그 기본군을 구할 수 있다.<ref name="곽진호이재운"/>{{rp|195–196}} 즉, [[콤팩트 공간|콤팩트]] [[하우스도르프 공간]]인 도형 X와 연속 함수 f:S<sup>1</sup>→X에 대하여, 2차원 원판 D<sup>2</sup>를 X에 붙인 [[붙임 공간]] <math>D_2\cup_fX</math>
의 기본군은 다음과 같다.
:<math>\pi_1(D_2\cup_fX)\cong\pi_1 (X) / f_{*} \pi_1(S^1)</math>

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

=== 위상 ===
임의의 [[점을 가진 공간]] <math>(X,x_0)</math>에 대하여, 만약 그 기본군이 [[이산 공간]]이라면 <math>X</math>는 [[반국소 단일 연결 공간]]이다.<ref name="BF">{{저널 인용|arxiv=1304.6453|제목=On fundamental groups with the quotient topology|이름=Jeremy |성=Brazas|이름2=Paul|성2=Fabel|언어=en}}</ref>{{rp|Theorem 3}}

[[점을 가진 공간|점을 가진]] [[국소 경로 연결 공간]] <math>(X,x_0)</math>에 대하여, 다음 두 조건이 서로 [[동치]]이다.<ref name="BF"/>{{rp|Theorem 3}}
* <math>\pi_1(X,x_0)</math>은 [[이산 공간]]이다.
* <math>X</math>는 [[반국소 단일 연결 공간]]이다.

==  예 ==
대표적인 공간들의 기본군은 다음과 같다.
{| class="wikitable"
|-
! 공간 !! 기본군 !! 주석
|-
|  [[원 (기하학)|원]](S<sup>1</sup>) || <math>\mathbb Z</math> ||<ref name="곽진호이재운"/>{{rp|176}}
|-
| [[초구]] <math>S^n</math> (<math>n\ge2</math>)  || 1 ([[자명군]]) ||
|-
| [[원환면]] <math>T^n=(S^1)^n</math> || <math>\mathbb Z^n</math> ||
|-
| 실수 [[사영 평면]] <math>\mathbb{RP}^2</math> || <math>\mathbb Z/2</math> ||
|}

== 역사 ==
[[앙리 푸앵카레]]가 1895년의 논문 《위상 해석학》({{llang|la|Analysis situs|아날리시스 시투스}}, [[위상수학]]의 옛말)<ref>{{저널 인용|last=Poincaré |first=Henri |authorlink=앙리 푸앵카레 |날짜=1895 |제목=Analysis situs |journal=Journal de l'École Polytechnique (serie 2) |volume=1 | pages=1–123 |url=http://gallica.bnf.fr/ark:/12148/bpt6k4337198/f7.image | 언어=fr}}</ref>에서 처음으로 사용하였다.

== 같이 보기 ==
* [[호몰로지 군]]
* [[매듭군]]

== 각주 ==
{{각주}}

== 외부 링크 ==
* {{eom|title=Fundamental group}}
* {{매스월드|id=FundamentalGroup|title=Fundamental group}}

{{전거 통제}}

[[분류:대수적 위상수학]]
[[분류:호모토피 이론]]
[[분류:군론]]