Дифференциальная форма: различия между версиями

 
== Связанные определения ==
* Для <math>k</math>-формы <math>\omega^k</math>, её '''внешний дифференциал''' (также просто '''дифференциал''') это <math>(k+1)</math>-форма, '''в координатах''' имеющая вид <math>d\omega=\sum_{1\leqslant i_1<i_2<\ldots<i_k\leqslant n}\sum_{1\leqslant j\leqslant n}\frac{\partial f_{i_1i_2\ldots i_k}}{\partial x^j}(x^1,\dots,x^n)\,dx^j\wedge dx^{i_1}\wedge dx^{i_2}\wedge\ldots\wedge dx^{i_k}</math>
 
:* <math>d\omega^k=\sum_{1\leqslant i_1<i_2<\ldots<i_k\leqslant n}\sum_{1\leqslant j\leqslant n}\frac{\partial f_{i_1i_2\ldots i_k}}{\partial x^j}(x^1,\dots,x^n)\,dx^j\wedge dx^{i_1}\wedge dx^{i_2}\wedge\ldots\wedge dx^{i_k}</math>
* для '''инвариантного определения дифференциала''' нужно определить дифференциал функций, то есть <math>0</math>-форм, затем дифференциал <math>1</math>-форм, после чего на произвольные формы дифференциал продолжается по <math>R</math>-линейности и [[Правило произведения| градуированному правилу Лейбница]]:
** <math>dF(v)=v(F)</math> — значение дифференциала функции на касательном векторном поле есть [[Производная по направлению|производная функции вдоль поля]].
** <math>d \omega (u,v)= u(\omega(v)) - v(\omega (u)) - [u,v]</math> — значение дифференциала <math>1</math>-формы на паре векторных полей есть разность производных значений формы на одном поле вдоль другого, подправленная на [[Скобка Ли#Алгебра Ли векторных полей|коммутатор]].
**<math>\ d (\omega^k \wedge\omega^p) = (d\omega^k) \wedge\omega^p + (-1)^{k}\omega^k \wedge(d \omega^p)</math>
* Дифференциальная форма называется '''замкнутой''', если её внешняя производная равна 0.
* ''k''-форма называется '''точной''', если её можно представить как дифференциал некоторой (''k''-1)-формы.
Анонимный участник