내부곱: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
1번째 줄:
[[미분기하학]]에서, '''내부곱'''(內部곱, {{llang|en|interior product}})은 [[벡터장]]과 [[미분 형식]] 사이에 정의되는, 일종의 [[미분 (대수학)|대수적 미분 연산]]이다. 기호는 <math>\lrcorner</math> 또는 <math>\iota</math>.
== 정의 ==
[[매끄러운 다양체]] <math>M</math> 위의 '''내부곱'''
:<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>로 표기되기도 한다.)
=== 공리적 정의 ===
| |||