당김 (미분기하학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 편집 요약 없음 |
Osteologia (토론 | 기여) |
||
4번째 줄:
== 정의 ==
<math>\phi\colon M\to N</math>을 미분가능한 함수라고 하고, <math>\omega(v_1,\dots,v_k)</math>가 <math>k</math>차 공변 텐서(<math>k</math>개의 (반변) 벡터를 받는 함수)라고 하자. 그렇다면 이 데이터로부터 <math>M</math> 위에 정의된 <math>k</math>차 텐서 <math>\phi^*\omega</math>를 다음과 같이 정할 수 있다.
:<math>
여기서 <math>p\in M</math>, <math>v_i\in T_pM</math> (점 <math>p</math>에서의 [[접공간]]), <math>d\phi_p\colon T_pM\to T_pN</math>은 점 <math>p</math>에서 <math>\phi</math>의 [[미분]]이다.
(스칼라) 함수는 0차 공변 텐서이다. 이 경우, 함수 <math>f</math>의 당김은 [[합성함수|함수의 합성]]과 같다. 즉,
▲:<math> ( f^* \omega ) _p (v_1 , \cdots , v_k ) = \omega _{f(p)} (df_p (v_1) , \cdots df_p (v_k))</math>
이다.
▲:<math>f^* (\omega) = \omega \circ f</math>
▲=== 성질 ===
''f'' : '''R'''<sup>''n''</sup> → '''R'''<sup>''m''</sup>, ''g'' : '''R'''<sup>''p''</sup> → '''R'''<sup>''n''</sup> 를 미분가능한 [[함수]], α 와 β 를 '''R'''<sup>''m''</sup> 에서의 ''k''-형식, ''γ'' : '''R'''<sup>''m''</sup> → '''R''' 를 '''R'''<sup>''m''</sup> 에서의 0-형식이라 하자. 이 때, 다음이 성립한다.
*<math> f^* (\alpha + \beta ) = f^* (\alpha) + f^* (\beta) \;</math>
| |||