[[미분기하학]]에서, '''당김'''({{lang|en|pullback}})이란 한 다양체 위에 정의된 공변({{lang|en|covariant}}) 텐서를 다른 다양체 위에 옮겨 정의하는 방법이다.
[[미분기하학]]에서, '''당김'''({{lang|en|pullback}})이란 한 다양체 위에 정의된 공변({{lang|en|covariant}}) 텐서를 다른 다양체 위에 옮겨 정의하는 방법이다.
두 매끈한 [[미분다양체]] 사이의 [[매끈한 함수]] <math>\phi\colon M\to N</math>이 주어지면, <math>N</math> 위에 존재하는 모든 공변 [[텐서]] (즉, 첨자가 모두 아랫첨자인 경우) <math>T=T_{\mu\nu\rho\dots}</math>에 대하여, <math>M</math> 위에 대응하는 텐서 <math>\Phi^*T</math>를 정의할 수 있다. 이를 <math>T</math>의 당김이라고 한다. 특히, [[미분형식]]이나 (스칼라) 함수는 공변 텐서의 특수한 경우이므로, 이들을 다른 다양체로 당길 수 있다.
두 매끈한 [[미분다양체]] 사이의 [[매끄러운 함수]] <math>\phi\colon M\to N</math>이 주어지면, <math>N</math> 위에 존재하는 모든 공변 [[텐서]] (즉, 첨자가 모두 아랫첨자인 경우) <math>T=T_{\mu\nu\rho\dots}</math>에 대하여, <math>M</math> 위에 대응하는 텐서 <math>\Phi^*T</math>를 정의할 수 있다. 이를 <math>T</math>의 당김이라고 한다. 특히, [[미분형식]]이나 (스칼라) 함수는 공변 텐서의 특수한 경우이므로, 이들을 다른 다양체로 당길 수 있다.
== 정의 ==
== 정의 ==
2015년 2월 9일 (월) 23:00 판
미분기하학에서, 당김(pullback)이란 한 다양체 위에 정의된 공변(covariant) 텐서를 다른 다양체 위에 옮겨 정의하는 방법이다.
두 매끈한 미분다양체 사이의 매끄러운 함수이 주어지면, 위에 존재하는 모든 공변 텐서 (즉, 첨자가 모두 아랫첨자인 경우) 에 대하여, 위에 대응하는 텐서 를 정의할 수 있다. 이를 의 당김이라고 한다. 특히, 미분형식이나 (스칼라) 함수는 공변 텐서의 특수한 경우이므로, 이들을 다른 다양체로 당길 수 있다.
정의
을 미분가능한 함수라고 하고, 가 차 공변 텐서(개의 (반변) 벡터를 받는 함수)라고 하자. 그렇다면 이 데이터로부터 위에 정의된 차 텐서 를 다음과 같이 정할 수 있다.