주접속: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Huzzlet the bot (토론 | 기여) 잔글 로봇의 도움을 받아 동음이의 처리: 당김 - 당김 (미분기하학) 문서로 링크 바꿈 |
Huzzlet the bot (토론 | 기여) 잔글 로봇의 도움을 받아 동음이의 처리: 밂 - 밂 (미분기하학) 문서로 링크 바꿈 |
||
43번째 줄:
:<math>\operatorname{ad}(P) = P \times_G \mathfrak{lie}(G)</math>
을 생각하자. 또한, <math>G</math>는 [[접다발]] <math>\mathrm TP</math> 위에 [[군의 작용|오른쪽 군 작용]]을 가지며, 이에 따라 몫공간 <math>\mathrm TP/G</math>를 정의할 수 있다. 그 차원은 <math>2(\dim M)+(\dim G)</math>이며, 또한
* 벡터장의 [[밂 (미분기하학)|밂]] <math>\pi_* \colon \mathrm TP/G \twoheadrightarrow\mathrm TM</math>는 [[올다발|매끄러운 올다발]]을 이룬다. (그러나 이는 일반적으로 [[벡터 다발]]이 아니다.)
* <math>\mathrm TP/G \twoheadrightarrow M</math>은 [[매끄러운 벡터 다발]]을 이룬다.
올다발 <math>\mathrm TP/G\twoheadrightarrow\mathrm TM</math>을 '''주접속 다발'''({{llang|en|bundle of principal connections}})이라고 한다.<ref name="Kobayashi"/>{{rp|141, §Ⅳ.1}} 즉, 다음과 같은 가환 그림이 존재한다.
| |||