/sci/ - Science & Math

I understand every step of this but one. How can we go from integrating over the half space u_1<0 to integrating over all of R^n?
The (n-1)-form omega_j is assumed to have compact support in R^n, not just in the half space so I don’t see how we can change domains like this.