Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

If $U$ is an open set in $\mathbb R^n$, then there exists a sequence of open sets $\{U_i\}$, such that a.$U_i\subset \subset U_{i+1}$ (that is, ${\overline U _i}$ is compact and ${\overline U _i} \subset {U_{i + 1}}$), b.$U = \bigcup\limits_i {{U_i}}$.

My question is , can we choose all $U_i$ to have smooth boundary?

I come out this question as I was reading my PDE book, since we can in this way "approximate" a solution to an equation when $\partial U$ is rough.

share|improve this question
add comment

1 Answer 1

up vote 0 down vote accepted

For any smooth manifold $M$, according to Morse Theory, we can find a smooth function $f$ on $M$ such that $f$ contains no degenerate critical point and for any $a$, $\{x \in M : f(x) \leq a\}$ is a compact set in $M$.

Now since non-degenerate critical points are isolated, we can choose a sequence of numbers $\{c_{i}\}$ such that $c_i \rightarrow \infty$ and the sets $\{x\in M:f(x)=c_i\}$ contain no critical points.

Therefore we can see sets $U_i=\{x\in M:f(x)< c_i\}$ satisify all the assumptions and especially they have smooth boundary $\{x\in M:f(x)=c_i\}$.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.