{{위키데이터 속성 추적}}
[[파일:Covering space diagram.svg|섬네일|오른쪽|피복 공간의 정의. 국소적으로, 충분히 작은 [[열린집합]] <math>U</math>의 피복 사상 아래의 [[원상 (수학)|원상]]은 <math>U</math>의 [[분리합집합]]이다.]]
[[위상수학]]에서 '''피복 공간'''(被覆空間, {{llang|en|covering space}}) 또는 '''덮개 공간'''은 어떤 공간을, 여러 겹의 "피복"을 이루며 둘러싸는 [[위상 공간 (수학)|위상 공간]]이다.

== 정의 ==
'''피복 공간'''은 올이 [[이산 공간]]인 [[올다발]]이다. 구체적으로, [[위상 공간 (수학)|위상 공간]] <math>B</math>의 '''피복 공간''' <math>(E,F,\pi)</math>는 다음과 같은 데이터로 구성된다.<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>{{rp|336}}
* <math>E</math>는 [[위상 공간 (수학)|위상 공간]]이다.
* <math>\pi\colon E\to B</math>는 [[전사 함수|전사]] [[연속 함수]]이다.
* <math>F</math>는 [[집합]]이다. 여기에 [[이산 위상]]을 부여하여 [[이산 공간]]으로 생각할 수 있다.
이 데이터가 피복 공간을 이루려면, 임의의 <math>b\in B</math>에 대하여, 다음 조건을 만족시키는 [[열린 근방]] <math>U\ni b</math>가 존재하여야 한다.
* <math>\tilde U=\pi^{-1}(U)</math>에 [[부분 공간 위상]]을 주고, <math>F</math>에 [[이산 위상]]을 주면, [[위상 동형]] <math>\iota\colon U\times F\to\tilde U</math>가 존재하며, 또한 모든 <math>f\in F</math>에 대하여 <math>\pi|_{\iota(f\times U)}\colon\iota(f\times U)\to U</math> 역시 [[위상 동형]]이다.

이 경우, <math>\pi</math>를 '''피복 함수'''(被覆函數, {{llang|en|covering function}})라고 하며, <math>F</math>를 피복의 '''올'''({{llang|en|fiber}})이라고 한다. 위 조건을 만족시키는 근방을 '''피복 근방'''(被覆近傍, {{llang|en|covering neighborhood}})이라고 한다.

올이 <math>F</math>인 피복 공간을 '''<math>|F|</math>겹 피복 공간'''({{llang|en|<math>|F|</math>-fold covering space}})이라고 한다. 여기서 <math>|F|</math>는 [[집합의 크기]]를 뜻한다.

만약 <math>E</math>가 [[단일 연결 공간]]이라면, <math>(E,F,\pi)</math>를 '''범피복 공간'''(凡被覆空間, {{llang|en|universal covering space}})이라 한다.

피복 공간의 '''사상'''({{llang|en|morphism}})은 올다발 사상과 같다. 즉, <math>B</math> 위의 두 피복 공간 <math>(F,E,\pi)</math> 및 <math>(F',E',\pi')</math> 사이의 사상은 다음 그림을 가환하게 만드는 [[연속 함수]] <math>f\colon E\to E'</math>이다.
:<math>\begin{matrix}
E&\xrightarrow f&E'\\
{\scriptstyle\pi}\downarrow&&\downarrow\scriptstyle\pi'\\
B&\xrightarrow[\operatorname{id}]{}&B
\end{matrix}</math>
이에 따라, 주어진 위상 공간 <math>B</math> 위의 피복 공간들은 [[범주 (수학)|범주]] <math>\operatorname{TopCov}(B)</math>를 이룬다. 피복 공간의 [[자기 동형]]은 '''피복 변환'''(被覆變換, {{llang|en|deck transformation}})이라고 한다. 이들이 이루는 [[군 (수학)|군]]은 '''피복 변환군'''(被覆變換群, {{llang|en|deck transformation group}})이라고 한다.

== 성질 ==
피복 공간 <math>(F,E,B,\pi)</math>의 사영 함수 <math>\pi</math>는 항상 [[열린 함수]]이다.

[[다양체]]의 [[가산 집합|가산]] 피복 공간은 역시 피복 공간이다. [[리 군]]의 범피복 공간은 리 군을 이루며, 이를 '''범피복군'''(凡被覆群, {{llang|en|universal covering group}})이라고 한다.

== 분류 ==
=== 연결 공간의 경우 ===
[[점을 가진 공간]] <math>(B,\bullet_B)</math>가 주어졌다고 하자. 그렇다면, 다음과 같은 [[함자 (수학)|함자]]가 존재한다.
:<math>F\colon\operatorname{Cov}(B)\to\operatorname{Set}_{\pi_1(B,\bullet_B)}</math>
여기서 <math>\operatorname{Cov}(B)</math>는 <math>B</math>의 피복 공간들의 범주이며, <math>\operatorname{Set}_{\pi_1(B,\bullet_B)}</math>는 [[기본군]] <math>\pi_1(B,\bullet_B)</math>의 [[군의 작용|작용]]을 갖춘 집합의 [[범주 (수학)|범주]]이다. 이 함자는 구체적으로 다음과 같다.
:<math>F\colon(\pi\colon E\twoheadrightarrow B)\mapsto \pi^{-1}(\bullet_B)</math>
[[기본군]] <math>\pi_1(B,\bullet_B)</math>의 <math>\pi^{-1}(\bullet_B)</math> 위의 [[군의 작용|작용]]은 호모토피 올림 성질에 의하여 주어진다.

또한, 만약 <math>B</math>가 [[연결 공간|연결]] [[국소 경로 연결]] [[반국소 단일 연결 공간]]이라면 이는 [[범주의 동치]]를 이룬다.

=== 연결 공간이 아닌 경우 ===
[[연결 공간]]이 아닐 수 있는 경우, [[범주의 동치]]를 얻으려면 [[기본군]] 대신 [[기본 준군]]을 사용하여야 한다.

두 [[준군]] <math>E</math>, <math>B</math> 사이의 '''피복 사상''' <math>\pi\colon E\to B</math>을, 다음과 같은 '''호모토피 올림 성질'''({{llang|en|homotopy lifting property}})을 만족시키는 준군 사상으로 정의하자.
* 임의의 <math>E</math>의 대상 <math>\tilde x\in\operatorname{Ob}(E)</math> 및 <math>B</math>의 사상 <math>g\colon p(x)\to y</math>에 대하여, <math>\pi(\tilde y)=y</math>이며 <math>\pi(\tilde g)=g</math>인 대상 <math>\tilde e\in\operatorname{Ob}(E)</math> 및 사상 <math>\tilde g\colon\tilde x\to\tilde y</math>가 유일하게 존재한다.
:<math>\begin{matrix}
\tilde x\xrightarrow{\exists!\tilde g}\exists!\tilde y\\
\Downarrow\pi\\
\pi(\tilde x)\xrightarrow gy
\end{matrix}</math>

<math>B</math>가 [[국소 경로 연결]] [[반국소 단일 연결 공간]]이라고 하자. 그렇다면, 다음과 같은 [[범주의 동치]]가 존재한다.<ref>{{서적 인용|이름=Ronnie|성=Brown|제목=Topology and Groupoids|url=http://pages.bangor.ac.uk/~mas010/topgpds.html|언어=en}}</ref>{{rp|388, 10.6.1}}
:<math>\operatorname{Cov}(B)\simeq\operatorname{GpdCov}(\Pi_1B)</math>
여기서
* <math>\Pi_1B</math>는 <math>B</math>의 [[기본 준군]]이다.
* <math>\operatorname{GpdCov}(\Pi_1B)</math>는 <math>\Pi_1B</math> 위의 준군 피복 사상들의 범주이다.
특히, 다음이 성립한다.
* <math>B</math> 위의 피복 공간(들의 동치류)들은 [[기본군]] <math>\Pi_1(B)</math>의 부분군들의 켤레 동치류들과 [[일대일 대응]]한다.
* <math>B</math>의 범피복 공간이 존재하며, (동치 아래) 유일하다.

== 역사 ==
피복 공간의 개념은 [[베른하르트 리만]]이 복소함수의 [[모노드로미]]를 [[리만 곡면]]으로 다루면서 발생하였다.<ref name="Dieudonne">{{서적 인용|제목=A History of Algebraic and Differential Topology, 1900 - 1960|이름=Jean|성=Dieudonné|저자링크=장 디외도네|언어=en}}</ref>{{rp|294}} 이에 대하여 [[장 디외도네]]는 다음과 같이 적었다.
{{인용문2|리만 이전에는 그 누구도 "평면의 같은 부분을 여러 번 덮는 여러 장들"로 구성된 곡면을 고려하지 않았던 것처럼 보인다. 리만이 이를 복소수 변수의 해석 함수에 응용한 것을 보면, 리만은 현대적인 용어로는 [[구 (기하학)|구]] '''S'''<sub>2</sub> 속의 [[열린집합]] X의 [[분지 피복]]을 생각한 것으로 보인다. […]<br>
{{lang|en|There is no indication that anybody before Riemann had thought of a surface consisting of “many sheets, superimposed on another, and covering many times the same part of the plane.” The applications of this concept made by Riemann to the theory of analytic functions of a complex variable show that he had in mind the modern concept of a “ramified covering space of an open subset X of the sphere '''S'''<sub>2</sub>: […]}}
|<ref name="Dieudonne"/>{{rp|294}}}}
이후 [[앙리 푸앵카레]]는 1883년에 리만 곡면의 범피복 공간에 대하여 서술하였다.<ref name="Dieudonne"/>{{rp|295}}

1932년에 [[헤르베르트 자이페르트]]는 [[올다발]]의 개념을 공리적으로 정의하면서, 이에 대한 특수한 경우로 "피복 공간"({{llang|de|Überlagerungsraum}})의 개념을 정의하였다.<ref name="Seifert">{{저널 인용|성=Seifert|이름=H.|제목=Topologie dreidimensionaler gefaserter Räume|저널=Acta Mathematica|권=60|호=1|날짜=1932|쪽=147–238|url=http://www.maths.ed.ac.uk/~aar/papers/seifert3.pdf|doi=10.1007/BF02398271|issn=0001-5962|언어=de}}</ref>{{rp|194, §9}} 여기서 자이페르트는 피복 변환을 {{llang|de|Deckbewegung|데크베베궁}} 또는 {{llang|de|Decktransformation|데크트란스포르마치온}}이라고 표현하였다.<ref name="Seifert"/>{{rp|236, Anhang 4}} 이는 {{llang|de|Decke|데케}} (피복) + {{llang|de|Bewegung|베베궁}} (운동) 또는 {{llang|de|Transformation|트란스포르마치온}} (변환)에서 유래하였다. 이후 이를 영어로 번역하는 과정에서, 독일어 용어가 {{llang|en|deck transformation}}으로 오역되게 되었다.

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

== 외부 링크 ==
* {{eom|title=Covering}}
* {{매스월드|id=CoveringSpace|title=Covering space}}
* {{매스월드|id=DeckTransformation|title=Deck transformation}}
* {{nlab|id=covering space|title=Covering space}}
* {{nlab|id=universal covering space|title=Universal covering space}}
* {{웹 인용|url=https://math.stackexchange.com/questions/38325/etymology-of-the-name-deck-transformation|제목=Etymology of the name “deck transformation”|출판사=StackExchange|언어=en}}
* {{웹 인용|url=https://math.stackexchange.com/questions/135457/covering-spaces-and-the-fundamental-groupoid|제목=Covering spaces and the fundamental groupoid|출판사=StackExchange|언어=en}}

== 같이 보기 ==
* [[기본군]]
* [[모노드로미]]

[[분류:대수적 위상수학]]
[[분류:호모토피 이론]]
[[분류:올다발]]
[[분류:위상 그래프 이론]]