Опр.:

-форма 

- сужение формы
на 
Опр.:
- гладкая ориентированная поверхность
- её локальная карта
-
-форма на 

-диффеоморфизм
- касательные векторы, 


Утв.:

Опр.:
- Интеграл от дифференциальной формы по ориентированной поверхности
размерности
.
Опр.:
а) 


б)
задана картой 

«+» - когда ориентация поверхности согласована с ориентацией, задаваемой параметризацией
, иначе «-».
в) Когда
- кусочно-гладкая
. Поверхность
, после удаления из неё поверхностей размерности не выше, чем
, состоит из гладких поверхностей
со взаимно согласованной ориентацией.

Пример: Если из куба удалить рёбра и вершины, то останутся шесть гладких поверхностей.
Утв.: Вышеприведённое определение не зависит от параметризации.
Док-во:
а) 

б) 

в) Корректность определения вытекает из свойств аддитивности кратного интеграла.






