3
$\begingroup$

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?

  • 0
    I me$r$ged 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.2011-02-03

1 Answers 1

5

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

  • 0
    @anonymous: exactly.2011-02-03