내부곱: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 편집 요약 없음 |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
12번째 줄:
은 다음 세 조건을 만족시키는 유일한 연산이다.
* (차수 −1) 벡터장 <math>X</math> 및 동차 미분 형식 <math>\alpha</math>에 대하여, <math>\deg(X\lrcorner\alpha)=\deg\alpha-1</math>
* ([[곱규칙]]) 벡터장 <math>X</math>에 대하여, <math>(\Omega^\bullet(M),X\lrcorner)</math>는 [[외대수]] 위의 [[미분
*:<math>X\lrcorner(\alpha\wedge\beta)=(X\lrcorner\alpha)\wedge\beta+(-1)^p\alpha\wedge(X\lrcorner\beta)</math>
* (1차 미분 형식의 경우) [[1차 미분 형식]]에 대하여 내부곱은 단순히 벡터장과의 축약이다. 즉, 임의의 [[벡터장]] <math>X</math>와 [[1차 미분 형식]] <math>\alpha\in\Omega^1(M)</math>에 대하여, 다음이 성립한다.
| |||