Точность дифференциальной формы

[Trius]

Проверить форму $\omega=x_1dx_2\wedge dx_3$на множестве $M=\{x_3=x_1^2+x_2^2\}$

[Padawan]

Подставьте в $\omega$ вместо $x_3$ выражение через $x_1$ и $x_2$, получится форма уже в параметрах поверхности. От нее считайте $d\omega$. Если $d\omega=0$, то форма замкнута. А так как поверхность односвязна, то точна.