I'm reading Lee's Introduction to Smooth Manifolds, and his definition of the integral of a differential form is a bit hard for me to understand.
Suppose $M$ is an oriented smooth $n$-manifold with or without boundary, and $\omega$ is a compactly supported $n$-form on $M$. Let $\{U_i\}$ be a finite open cover of $\mathsf{supp}\omega$ by domains of positively or negatively oriented smooth charts, and let $\{\psi_i\}$ be a subordinate smooth partition of unity. Define the integral of $\omega$ over $M$ to be
$$\int_M \omega=\sum_i\int_M \psi_i \omega.\tag{16.2}$$
I don't know exactly what guarantees the existence of $\{U_i\}$. More concretely, I haven't found any proposition in the previous sections that assures me of a smooth atlas $\{(U_\alpha,\varphi_\alpha)\}$ consisting of charts that are either positively-oriented or negatively-oriented. If such atlas existed, I would employ compactness of $\mathsf{supp}\omega$ to extract a finite subcover from the open cover $\{U_\alpha\}$. This subcover can then serve as $\{U_i\}$.
Does anyone have an idea? Thank you.
Best Answer
One way of seeing that this is true is by noting that on an oriented manifold $(M,\mu)$, every chart with connected domain is either positively or negatively oriented. To see this, note that in any chart $\varphi:U\to\mathbb{R}^n$ we have $\mu|_{U}=fdx^1\wedge\cdots\wedge dx^n$, where $f:U\to\mathbb{R}$ is continuous and nonvanishing.
From there you can either construct such a covering explicitly (e.g. out of coordinate balls), or note that given any cover by coordinate charts, we can subdivide the disconnected charts into their connected components and obtain a cover by connected coordinate charts.