Integration on manifolds

Coming from integration on Rn.
If we consider a submanifold N⊆M 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 N⊆M, we take a partition of unity pi and define

∫Nw:=∑ipi⋅∫φ(Ui)(φi−1)∗(w)

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