Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
11.2. Дифференциальные k-формыДифференциальная
такими, что
и векторами равно 11.2.1. Внешние k-формы.Пусть
являющееся полилинейным:
и кососимметрическим:
Множество всех внешних Внешние формы можно умножать на вещественные числа, а внешние формы одной степени к можно складывать между собой, поэтому все Для линейных
в результате которого получается билинейная, но не кососимметричная форма. Внешнее произведение есть антисимметризация тензорного:
Аналогично, тензорное и внешнее произведения форм
где сумма берется по всем перестановкам
равны
Этот множитель обеспечивает ассоциативность внешнего произведения:
Более того, внешнее произведение косокоммутативно:
Пусть
Из равенств
при следует, что любая
где
Упражнение 11.1. Покажите, что для любых
Заметим, что пространство n-форм на n-мерном пространстве
это ориентированный объем параллелепипеда, порожденного векторами 11.2.2. Дифференциальные k-формы.Дифференциальная k-форма на
гладкое В локальных координатах
Любое гладкое отображение
порождает перенос дифференциальных форм
следующим образом: для любой дифференциальной
Для
Отображение
Упражнение 11.2. Докажите правило композиции для переноса дифференциальных форм
где Отметим, что в операторных обозначениях (когда точки пишутся слева от отображений как Теперь мы можем определить интеграл
есть диффеоморфизм. Тогда интеграл
остается только определить интеграл по
Мы определим
как обычный кратный интеграл. Интеграл Понятие интеграла распространяется на произвольные подмногообразия следующим образом. Пусть
Возьмем разбиение единицы, подчиненное этому покрытию:
Тогда
Определенный таким образом интеграл не зависит от выбора разбиения единицы. Замечание. Другой возможный подход к определению интеграла дифференциальной формы по подмногообразию основан на триангуляции подмногообразия.
|
1 |
Оглавление
|