Материал: Сандракова Дифферентсиалные формы на гладкикх многообразиякх 2014

зависит от выбора карты. Он обозначается ei = ∂∂xi , i = 1, 2, …, n.

Определение 2.31. Пространство Tx*M n , сопряженное пространству Tx M n , касательному к многообразию M n в точке

x M n , называется кокасательным пространством к многообразию M n в точке x.

xn ) некоторой карты гладкого атласа многообразия M n отвечает взаимный с ним базис dx1 , …, dxn в кокасательном пространстве Tx*M n , сопряженном пространству Tx M n :

dxi (ξ) = ξi , i = 1, 2, …, n.

Поэтому dxi ∂∂x j = δij . Выражения этих взаимных базисов в дру-

гой карте могут оказаться не столь простыми, ибо

где рассмотрены две карты A и B с координатами ( x1 , …, xn ) и

(x1′, ..., xn′) соответственно, A ∩ B ≠ и x A ∩B .

§ 9. Дифференциальные формы на гладком многообразии

Определение 2.32. Говорят, что на гладком n-мерном многообразии M n задана дифференциальная форма степени k, если на каждом касательном к M пространстве Tx M n , x M n определена кососимметрическая форма

41

ций перехода x j′ = f j (x1, ..., xn ) , j = 1, 2, …, n.

Определение 2.33. Дифференциальная k-форма ωk на n-мерном многообразии M n принадлежит классу гладкости C(s) , если коэф-

ются функциями соответствующего класса C(s) .

Определение 2.34. Внешним дифференциалом называется ли-

нейный оператор d : Ωk → Ωk +1 , обладающий следующими свойствами:

42

1)d : Ω0 → Ω1 на любой функции f : M n → R , f Ω0 совпадает с обычным дифференциалом этой функции;

2)d (ωk ωl ) = dωk ωl + (−1)k ωk dωl , где ωk Ωk , ωl Ωl ;

3) d 2 = d d = 0 .

Последнее равенство означает, что для любой формы ω форма d (dω) – нулевая. Наличие условия 3 подразумевает, таким обра-

зом, что речь идет о формах гладкости, не ниже чем класса C(2) . Фактически это означает, что рассматривается C∞ -многообразие

M n и оператор d действует из Ωk → Ωk +1 .

Формула для вычисления оператора d в локальных координатах конкретной карты (а вместе с нею и единственность оператора d) вытекает из соотношения:

Существование оператора d вытекает теперь из того, что определенный в локальной системе координат только что написанным соотношением оператор удовлетворяет условиям 1-3 определения дифференциального оператора.

§ 10. Примеры и задачи

Пример 2.12. Пусть ω1 , ω2 , ω3 , ω4 – 1-формы. Упростить выражение:

(ω1 ω4 − 2ω1 ω3 ) (2ω2 − 4ω3 + 3ω4 ) = = 2ω1 ω4 ω2 − 4ω1 ω3 ω2 − 4ω1 ω4 ω3 +

43

Были раскрыты скобки с сохранением порядка сомножителей. Учитывая, что при перемене местами двух сомножителей внешнее произведение меняет знак, и, следовательно, внешнее произведение, включающее два одинаковых сомножителя, равно нулю, окончательно получаем, что выражение (10.1) примет вид

−2ω1 ω2 ω4 + 4ω1 ω2 ω3 + 4ω1 ω3 ω4 − −6ω1 ω3 ω4 = 4ω1 ω2 ω3 − 2ω1 ω2 ω4 − 2ω1 ω3 ω4 .

Пример 2.13. Пусть πi , i = 1, 2, …, n, – проектор пространства

Возьмем упорядоченный набор, состоящий из k векторов ξ1 , …,

ξk в Rn :

ξj = (ξ1j , ..., ξnj ).

Из определения следует, что

44

Решение. Так как

Тогда ω3 (ξ1, ξ2 , ξ3 ) = −104 −9 −37 − 45 = −195 .

Пример 2.14. Пусть [ξ1, ξ2 ] – векторное произведение векторов

ξ1 = (ξ11, ξ12 , ξ13 ) R3 и ξ2 = (ξ12 , ξ22 , ξ32 ) R3 .

Записать в координатном виде 2-формы

45