미분 형식: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
2번째 줄:
 
== 정의 ==
자연수 k에 대해, [[다양체]] 상의 [[여접다발]](cotangent bundle)을 [[외대수학|외 k승]](kth exterior power)한 것의 매끈한 [[단면 (올다발)|단면(secion of a fiber bundle)]]을 '''k차 미분형식''', 줄여서 k-형식이라형식(k-form)이라 한다. 다양체의 임의의 점 p에 대해, k-형식은 p에서의 [[접공간]](tangent space)의 외 k승으로부터 '''R'''로의 [[다중선형사상]]을 준다.
 
다양체 M 위의 모든 k-형식들의 집합은 [[벡터공간]]을 이루며, 보통 이를 Ω<sup>k</sup>(M)로 나타낸다. k-형식은 [[완전반대칭 텐서|완전반대칭]] [[공변 벡터|공변]] [[텐서장]]으로 정의할 수도 있다.