천-베유 준동형: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
26번째 줄:
 
그 정의는 구체적으로 다음과 같다. 우선, <math>P</math> 위의 임의의 [[주접속]]을 고르고, 그 [[곡률]]이
:<math>F\in\Omega^2(P;\mathbbmathfrak Rg)</math>
라고 하자. 그렇다면, <math>p\in\mathbb K_k[\mathfrak g]^G</math>에 대하여 다음을 정의하자.
:<math>p(F) \in \Omega^{2k}(P;\mathbbmathfrak Kg)</math>
:<math>p(F)(v_1,\dotsc,v_{2k}) = \frac1{(2k)!} \sum_{\sigma\in\operatorname{Sym}(2k)} (-)^\sigma \bar p\left(F(v_{\sigma(1)},v_{\sigma(2)}),\dotsc,F(v_{\sigma(2k-1)},v_{\sigma(2k)})\right)</math>
여기서 사용된 기호는 다음과 같다.