Suppose we have an oriented manifold $M$. Now we should be able to define the integration of forms rigorously...

Let's start with $\mathbb{R}^n$

A maximal order form in $\mathbb{R}^n$ matches the pattern $\alpha=f(x_1,x_2,...,x_n)\mathrm{d} x_1\wedge\mathrm{d} x_2\wedge...\wedge\mathrm{d} x_n$. Since $\mathrm{d} x_1\wedge\mathrm{d} x_2\wedge...\wedge\mathrm{d} x_n$ is the standard volume when evaluated in positive basis, it seems natural to define

where the last integral is the usual one in $\mathbb{R}^n$. To avoid convergence issues, we'll require $f$ to have compact support, that is, $\alpha\in\Omega^n_c(\mathbb{R} ^n)$.

On the other hand, suppose we have a maximal order form $\alpha$ in $M$ oriented manifold and $\varphi:U\longrightarrow M$ positive chart. On $U\subset \mathbb{R}^n$ we have the $n$-form $\varphi^*\alpha$; the last is defined to keep the valuation of $\alpha$, so it's reasonable that $\int_U \varphi^*\alpha=\int_{\varphi(U)}\alpha$. This should be enough to integrate over $M$, since we know how to do it locally

Let $M$ be an oriented manifold of dimension $n$. There exists a unique linear map

$$\int_M:\Omega^n_c(M)\longrightarrow \mathbb{R}$$satisfying the following property: if $\varphi:U\longrightarrow M$ is a positively oriented chart and the support of $\alpha\in\Omega^n_c(M)$ is contained in $\varphi(U)$, then $\int_M\alpha=\int_U \varphi^*\alpha$.

If $\{\varphi_i:U_i\longrightarrow M\}$ is a collection of charts covering $M$ and $\{\rho_i\}$ is a partition of unity associated to the open sets $\{\varphi_i(U_i)\}$, it holds that $\int_M\alpha=\sum_i \int_{U_i}\varphi_i^*(\rho_i\alpha)$.

The validity of the previous statements ultimately lies in proving that the last expression is independent of the chosen charts and partition of unity. For now, we'll limit ourselves to check the key fact: that $\int_M\alpha=\int_U \varphi^*\alpha$ holds when considering diffeomorphisms between to open sets of $\mathbb{R}^n$, keeping in mind that here the usual integral applies

Let $\varphi:U\longrightarrow V$ be a positively oriented diffeomorphism between open sets of $\mathbb{R}^n$ and $\alpha=f(y)\mathrm{d} y_1\wedge...\wedge\mathrm{d} y_n$ a $n$-form in $V$. Then

the determinant appearing due to the antisymmetry of the wedge product. The Change of Variables Theorem ensures that

because $\varphi$ is a positively oriented diffeomorphism and therefore the determinant of the Jacobian matrix is positive

Two more notes:

- If we switch the orientation of $M$ (positive basis becoming negative and viceversa), all the integrals get multiplied by $-1$
- If $f:M\longrightarrow N$ is a positively oriented diffeomorphism, then $ \int_N\alpha=\int_M f^*\alpha$ para todo $\alpha\in\Omega^n_c(N)$