"합곱"의 두 판 사이의 차이

12 바이트 추가됨 ,  6년 전
잔글
편집 요약 없음
잔글
 
컵곱은 [[함자 (수학)|함자]]를 이룬다. 구체적으로, 임의의 [[연속 함수]] <math>f\colon X\to Y</math>에 대하여, 코호몰로지의 [[당김]]
:<math>f^*\colon H^*\bullet(Y)\to H^*\bullet(X)</math>
을 정의한다면, 다음이 성립한다. 임의의 <math>\alpha,\beta\in H^\bullet(Y)</math>에 대하여,
:<math>f^*(\alpha \smile \beta) =f^*(\alpha) \smile f^*(\beta),</math>