내부곱: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 편집 요약 없음 |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
5번째 줄:
:<math>\lrcorner\colon\Gamma(\mathrm TM)\otimes_{\mathbb R}\Omega^\bullet(M)\to\Omega^{\bullet-1}(M)</math>
:<math>\lrcorner\colon X\otimes\alpha\mapsto X\lrcorner\alpha</math>
은 [[벡터장]]과 [[미분 형식]]을 곱하여 [[미분 형식]]을 만드는 연산이며, 다음과 같이 두 가지로 정의될 수 있다. (<math>X\lrcorner\alpha</math>는 간혹 <math>\iota_X\alpha</math>로 표기되기도 한다. 이에 대응하는 [[유니코드]] 기호는 U+2A3C ⨼이다.)
=== 공리적 정의 ===
| |||