Если — гладкое отображение
,
определенное равенствами
или, кратко,
, то
Если отображение обратимо, то операцию
называют
заменой переменных в форме. В противном будем говорить о сужении
формы на поверхность, параметрически определенную отображением .
Имеет место равенство
Если — преобразование в
и
, то
Если отображение
определяет эволюцию системы со скоростью
, т.е.
функция
является решением дифференциального
уравнения
то имеет силу формула Картана