피복 공간: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
26번째 줄:
== 성질 ==
피복 공간 <math>(F,E,B,\pi)</math>의 사영 함수 <math>\pi</math>는 항상 [[열린 함수]]이다.
 
[[다양체]]의 [[가산 집합|가산]] 피복 공간은 역시 피복 공간이다. [[리 군]]의 범피복 공간은 리 군을 이루면, '''범피복군'''({{llang|en|universal covering group}})이라고 한다.
 
두 [[준군]] <math>E</math>, <math>B</math> 사이의 '''피복 사상''' <math>\pi\colon E\to B</math>을, 다음과 같은 '''호모토피 올림 성질'''({{llang|en|homotopy lifting property}})을 만족시키는 준군 사상으로 정의하자.