2019년 9월 9일 (월) 09:30 판 편집 PuzzletChung (토론 \| 기여) 사무관, 관리자 75,393 편집 잔글 →‎자명한 벡터 다발 ← 이전 편집		2020년 3월 22일 (일) 18:01 판 편집 편집 취소 뭘로하누 (토론 \| 기여) 21 편집 →‎연산에 대한 호환 태그: m 모바일 웹 다음 편집 →
32번째 줄: :<math>\operatorname{proj}_X^\pi\colon E \twoheadrightarrow X\times Y</math> :<math>\operatorname{proj}_X^\varpi\colon F \twoheadrightarrow X\times Y</math> 을 구한다. 이들의 [[직합집합]]을 <math>\pi\boxtimes\varpi</math>로 표기하겠다. : <math>\pi\boxtimes\varpi \colon \operatorname{proj}_X^* E \oplus \operatorname{proj}_X^* F \twoheadrightarrow X\times Y</math> 이 때 위 사상으로 정의되는 ~~올다발의~~올다밭의 톰 공간 <math>\operatorname{Th}(\pi\boxtimes\varpi)</math>는 각각의 톰 공간에 서로 [[분쇄곱]]을 취한 것과 [[위상 동형]]이다. :<math>\operatorname{Th}(\pi\boxtimes\varpi) = \operatorname{Th}(\pi)\wedge \operatorname{Th}(\varpi)</math> 특히, 만약 <math>\varpi</math>가 [[한원소 공간]] 위의 (~~자명한~~자명) [[벡터 다발다밭]]이라고 하자. :<math>Y = \{\bullet\}</math> :<math>F = Y \times\mathbb R^n</math> 그렇다면, <math>\varpi</math>의 톰 공간은 [[초구]]이므로, (<math>\operatorname{Th}(\varpi) = \mathbb S^n</math>) 다음을 얻는다. :<math>\operatorname{Th}(E \oplus \mathbb R^n) = \operatorname{Th}(E) \wedge \mathbb S^n = \operatorname\Sigma^n(\operatorname{Th}(E))</math> 여기서 <math>\operatorname\Sigma^n</math>은 [[축소 현수함수]]를 <math>n</math>번 취한 것이다. === 함자성 ===

톰 공간: 두 판 사이의 차이