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

내용 삭제됨 내용 추가됨
17번째 줄:
오비폴드 <math>M/G</math>가, [[매끄러운 다양체]] <math>M</math> 위의 어떤 [[이산군]] <math>G</math>의 [[매끄러운 함수|매끄럽고]] [[충실한 작용]]에 의한 [[몫공간]]이라고 하자. 이 경우, <math>M/G</math>의 '''[[오일러 지표]]'''는 다음과 같다.<ref>{{서적 인용|이름1=Alejandro|성1=Adem|이름2=Michele|성2=Klaus|제목=Lectures on orbifolds and group cohomology|url=http://www.math.ubc.ca/~adem/hangzhou.pdf|총서=Advanced Lectures in Mathematics |권=16|출판사=Higher Education Press|편집자=L.Ji, [[야우싱퉁|S.-T. Yau]]|제목=Transformation Groups and Moduli Spaces of Curves|날짜=2010|쪽=1–17|언어고리=en}}</ref>{{rp|§6, Definition 6.1}}
:<math>\chi(M/G)=\frac1{|G|}\sum_{g,h\in G,\;gh=hg}\chi(M^{\langle g,h\rangle}
=\sum_{[g]\in\operatorname{Cl}G}\frac1{|Z_G(g)|}\chi(M^{\langle g\rangle}/Z_G(g))
</math>
여기서