Математическая энциклопедия - дифференциальная форма

1) Д. ф. степени р, р форма на дифференцируемом многообразии М р раз ковариантное тензорное поле на М. Ее можно интерпретировать также как р-линейное (над алгеброй F(M)гладких вещественных функций на М)отображение F(M), где есть Р(М) -модуль гладких векторных полей на М. Формы степени 1 наз. также пфаффовыми формами. Примером такой формы является дифференциал df гладкой функции fна М, определяемый следующим образом: (df)(X), есть производная Xf функции f по направлению поля X. Римановы метрики на многообразии Мслужат примерами симметрических Д. ф. степени 2. Часто, однако, термин "Д. ф." относят к кососимметрическим, или внешним Д. ф., имеющим наибольшее число приложений.

Если (х ¹, ..., х ⁿ) локальная система координат в области то формы dx¹,. . ., dxⁿ составляют базис в кокасательном пространстве Т x (М)*, Поэтому (см. Внешняя алгебра )любая внешняя р- форма a. записывается в Uв виде

где а,-, ,Х функции в U. В частности,

Пусть Е ^Р=Е ^Р (М).пространство всех внешних р- форм класса С°°, причем E⁰(M)=F(M). Внешнее умножение превращает(где n=dim M)в ассоциативную градуированную алгебру над F(M), удовлетворяющую условию градуированной коммутативности

Гладкое отображение многообразий порождает гомоморфизм алгебр над R.

Понятие дифференциала функции обобщается следующим образом. Для всякого существует единственное линейное отображение d: (внешний дифференциал), совпадающее при р=0с введенным выше дифференциалом и обладающее свойствами:

Внешний дифференциал формы а, записанной в локальных координатах в виде (1), выражается формулой

Его бескоординатная запись:

где Оператор взятия Ли производной LX,на Д. ф. связан с внешним дифференциалом соотношением

где tX :оператор внутреннего умножения на X:

Оператор dпревращает Е* (М)в коцепной комплекс (комплекс де Рама). Коциклы этого комплекса наз. замкнутыми формами, кограницы точными формами. Согласно де Рама теореме, алгебра когомологий

комплекса де Рама изоморфна алгебре Н* ( М,R.) вещественных когомологий многообразия М. В частности, H^P(Rⁿ) =0 при р>0 (лемма Пуанкаре). С теоремой де Рама тесно связана другая операция интегрирование Д. ф. Пусть Dограниченная область в R^p, sгладкое отображение определенное в окрестности замыкания D. Если то где агладкая функция в D. Интеграл формы a по поверхности s определяется формулой

Если Dимеет кусочно гладкую границу, то справедлива формула

где определяется как сумма интегралов формы a по гладким кускам границы, снабженных естественными параметризациями. Частными случаями этой формулы являются классич. формулы Ньютона Лейбница, Грина, Гаусса Остроградского, Стокса (см. также Стокса теорема). В силу формулы (3) каждая замкнутая р-форма a. определяет р-мерный сингулярный коцикл, значение к-рого на симплексе s

равно Это соответствие как раз и реализует изоморфизм из теоремы де Рама.

Формула (3) была опубликована в 1899 А. Пуанкаре (см. [2]), к-рый рассматривал внешние формы как подинтегральные выражения для образования интегральных инвариантов. Одновременно Э. Картан (см. [3]) дал близкое к современному определение внешних форм и внешнего дифференциала (вначале на пфаффовых формах), подчеркнув связь своей конструкции с внешней алгеброй.

Наряду с определенными выше скалярными внешними формами можно рассматривать внешние Д. ф. со значениями в векторном пространстве Vнад R. Если Vявляется алгеброй, то в пространстве Е( М, V )форм со значениями в Vопределено естественное умножение (обобщение внешнего умножения). Если при этом алгебра V-ассоциативна, то и Е( М, V )ассоциативна; если Vкоммутативна, то Е( М, V). градуированно-коммутативна (формула (2)); если Vалгебра Ли, то Е( М, V)градуированная алгебра Ли. Часто рассматривается также следующее, еще более общее понятие. Пусть Fгладкое векторное расслоенное пространство с базой М. Если сопоставить каждой точке хО М кососимметрическую р-линейную функцию на Т x (М)со значениями в слое Fx расслоения F, то получится так наз. F-значная р-форма. F-значную р-форму можно интерпретировать также как р-линейное (над F(M))отображение модуля в модуль гладких сечений расслоения F. Пространство таких форм обозначается Е ^р(F). Если Fзадано локально постоянными функциями перехода или, что то же, в F задана плоская связность, то можно корректно определить комплекс де Рама и обобщить теорему де Рама на этот случай.

Формы со значениями в касательном расслоении Т(М)наз. также векторными Д. ф.; векторные р-формы можно отождествить с р раз ковариантными и 1 раз контравариантными тензорными полями на М, кососимметричными по ковариантным индексам. С помощью векторных Д. ф. описываются дифференцирования алгебры внешних форм Е(М)[4]. Векторные формы (а также их обобщение струйные формы) находят применение в теории деформаций комплексных и других дифференциально-геометрич. структур на многообразиях.

продолжение Дифференциальная форма....

Аналоги Д. ф. можно построить также в симплициальной теории. Одна из таких конструкций, восходящая к X. Уитни [5], может быть использована для вычисления рациональных когомологий симплициального комплекса K. Кусочно линейной формой (или PL -формой) на K наз. согласованный набор Д. ф., заданных на симплексах комплекса Ки имеющих в качестве коэффициентов при записи в барицентрич. координатах многочлены с рациональными коэффициентами. PL -формы на Кобразуют градуированно-коммутативную дифференциальную алгебру E*pl(K)над Q. Интегрирование форм определяет изоморфизм алгебры когомологий этой алгебры на алгебру Н*(|K|,Q), где | К| -полиэдр, отвечающий комплексу К. Алгебра E*PL(K)полностью определяет также рациональный гомотопич. тип (в частности, ранги гомотопич. групп) пространства | К|. Аналогично алгебра Е* (М)на дифференцируемом многообразии Мопределяет его вещественный гомотопич. тип [9].

Исчисление внешних форм на комплексном аналитич. многообразии имеет ряд особенностей [6]. В этой ситуации обычно рассматриваются пространства ЕР( М, С) комплекснозначных форм или пространства EP(F), где F.голоморфное векторное расслоение на М. Имеет место разложение

где E^{r, s}(M)пространство форм типа (r, s), т. е. форм а, локально представимых в виде

где (z¹, . .., zⁿ) локальная аналитич. система координат на М. Аналогично

При этом d'=d"=0, так что d' и d" определяют коцепные комплексы. Наиболее известен комплекс оператора d" (комплекс Дольбо), когомологий к-рого обозначаются через H^r,s(M). d" -коциклы типа (р, 0) суть голоморфные р-формы (см. Голоморфная форма). Для d" справедлива, следующая лемма Гротендика: если аформа типа (r, s )с s>0 в окрестности нуля пространства С" и d"a=0, то в меньшей окрестности нуля существует такая форма b типа (r, s-1), что a=d"b. Комплекс Дольбо можно определить также и для F-значных форм, где Fголоморфное векторное расслоение. Это приводит к пространствам когомологий H^{r, s}(F). Из леммы Гротендика вытекает следующий изоморфизм:

где Q^r(F)пучок ростков голоморфных F-значных r-форм (теорема Дольбо). В частности,

где Q^r (М)пучок ростков голоморфных r-форм на М. Существует спектральная последовательность с первым членом сходящаяся к H*( М, С).

Эйлерова характеристика Х(М)компактного комплексного многообразия Мвыражается через когомологий Дольбо по формуле

Д. ф. являются важной составной частью аппарата дифференциальной геометрии (см. [7], [8]). Они систематически используются также в топологии, теории дифференциальных уравнений, механике, теории комплексных многообразий и функций многих комплексных переменных. Обобщением Д. ф., аналогичным обобщенным функциям, являются потоки. Алгебраич. аналог теории Д. ф. (см. Дифференциалов модуль )позволяет определить дифференциальные формы на алгебраических многообразиях и на аналитических пространствах (см. Дифференциальное исчисление на аналитических пространствах). См. также Рама когомологий, Дифференциал на римановой поверхности, Гармоническая форма, Голоморфная форма, Лапласа оператор.