How to conclude each $E_i$ is a compact regular domain by Proposition 5.47?

83 Views Asked by At

enter image description here enter image description here

In Proposition 5.47, $M$ is a smooth manifold, but in Theorem 6.15, $M$ is a smooth manifold with or without boundary, how to conclude each $E_i$ is a compact regular domain by Proposition 5.47?

1

There are 1 best solutions below

2
On

This excerpt is from my Introduction to Smooth Manifolds (2nd ed.). There's a correction to this proof on my website. Does that answer your question?