Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have a question concerning the proof of theorem 3.5 in Milnor's Morse Theory.

This theorem states that if $f$ is a differentiable function on a Manifold M with no critical points, and if each $M^a = \{x\in M | f(x)\leq a \} $ is compact then $M$ has the homotopy type of a CW-complex with one cell of dimension $\lambda$ for each critical point of index $\lambda$

Basically the proof shows via induction and appealing to previous theorems that $M^a$ has the homotopy type of a CW complex satisfying the conclusion above. But then Milnor says "If $M$ is compact this completes the proof".

I don't understand how this just follows directly? Is there some theorem involving Compact manifolds or CW complexes that I am missing? Does $M^a$ have to be homotopic to $M$ for some $a$ if $M$ is compact?

share|cite|improve this question
Presumably in your 2nd paragraph you mean to say $f$ is a Morse function, not that $f$ has no critical points? – Ryan Budney Feb 3 '11 at 5:08
I merged your two unregistered accounts. Please try to remember to log in using the same credentials so you can at least post comments as comments, and not as answers. – Willie Wong Feb 3 '11 at 11:48

If $M$ is compact, one of the $M^a$ is equal to $M$!

share|cite|improve this answer
Basically this is because you can Just take a= max f which is achieved since $M$ is compact. Then $M^a = M$ and since $M^a$ has the correct form for all $a$,thus so does $M$? – user6562 Feb 3 '11 at 11:46
@anonymous: exactly. – Mariano Suárez-Alvarez Feb 3 '11 at 15:24

Your Answer


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