Integration on manifolds

Coming from integration on Rn.
If we consider a submanifold NM such that dim(N)=k and a k-differential form w on M, we can define

Nw

In a first step, we consider the case where we have a coordinate chart (U,φ) of N such that N=U. Then
we define:

Nw:=φ(U)(φ1)(w)

This definition is independent of the chart, thanks to the change of variable theorem.

Finally, to integrate a k-form w on an arbitrary submanifold NM, we take a partition of unity pi and define

Nw:=ipiφ(Ui)(φi1)(w)

If we want to integrate functions, we need a global volume form, and then we can convert functions to n-forms.