Форма объёма — дифференциальная форма высшей размерности на гладком многообразии (то есть
-форма на
-мерном многообразии), которая не обнуляется ни в одной точке.
Форма объёма позволяет определить интеграл функции по многообразию. Другими словами, форма объёма задаёт меру, по которой можно интегрировать функции.
Свойства
- Гладкое многообразие допускает форму объёма тогда и только тогда, когда оно ориентируемо.
- На многообразии с формой объёма
, дивергенцию векторного поля
можно определить с помощью следующих тождеств:
- где
обозначает производную Ли по
,
— внешний дифференциал, а
— операцию подстановки
в
.
Примеры
- На любой группе Ли естественный выбор формы объёма получается из формы в единице правыми (или левыми) сдвигами. Такие фромы называются право- и левоинвариантными. Как следствие, всякая группа Ли ориентируема. Соответствующая мера называется мерой Хаара.
- Симплектическое многообразие
размерности
имеет естественную форму объёма
.
- Любое ориентированное псевдориманово (в том числе риманово) многообразие имеет естественную форму объёма, которая в локальных координатах может быть выражена как
- где
— абсолютное значение определителя матрицы представления метрического тензора.
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .