오비폴드: 두 판 사이의 차이

== 예 ==

모든 [[매끄러운 다양체]]는 자명하게 (축소) 오비폴드를 이룬다. 또한, [[경계다양체]] 또한 자연스럽게 축소 오비폴드를 이룬다. [[경계다양체]] <math>M</math>이 주어지면, 그 '''이중 덮개'''({{llang|en|double}})를 다음과 같이 정의하자.

즉, <math>M</math>의 두 개의 복사본의 각 경계를 이어붙여 얻는다. <math>M</math>의 이중 덮개는 (경계를 갖지 않는) 다양체이다. 이 경우, <math>M</math>은 다음과 같은 [[몫공간]]으로 나타낼 수 있다.

:<math>M=D(M)/\mathbb Z_2</math>

* [[스택 (수학)]]

 

* {{매스월드|id=Orbifold}}

* {{매스월드|id=OrbifoldNotation|title=Orbifold notation}}