당김 올다발

틀:위키데이터 속성 추적 위상수학에서 당김 올다발(틀:Llang)은 올다발을 어떤 연속 함수에 따라 한 밑공간에서 다른 밑공간으로 옮기는 방법이다.

정의

다음이 주어졌다고 하자.

그렇다면, $X$ 위에 다음과 같은 올다발을 정의할 수 있으며, 이를 $E$ 의 $f$ 에 대한 당김 올다발이라고 한다.

f^{*} E = {(x, e) \in X \times E : f (x) = π (e)} \subseteq X \times E

π_{f^{*} E} : f^{*} E \to X

π_{f^{*} E} : (x, e) \mapsto x

여기서 $f^{*} E$ 의 위상은 $X \times E$ 의 부분 공간 위상이다.

또한, $E$ 의 임의의 단면 $s : Y \to E$ 에 대하여, 다음과 같은 $f^{*} E$ 의 단면을 정의할 수 있다.

f^{*} s : X \to f^{*} E

f^{*} s : x \mapsto (x, (s \circ f) (x))

이를 $s$ 의 당김 단면(틀:Llang)이라고 한다.

올다발의 당김 올다발은 원래 올다발과 같은 올을 갖는다. 특히, 벡터 다발의 당김은 마찬가지로 자연스럽게 벡터 다발을 이루며, 주다발의 당김은 마찬가지로 자연스럽게 주다발을 이룬다.

올다발의 당김 다발의 단면의 층은 원래 올다발의 단면 층의 역상(틀:Llang)과 같다.