1
$\begingroup$

This question already has an answer here:

I would like to have some explanation about a fact which is written in the first chapter of Milnor's book "topology, from the differentiable viewpoint". The fact is the following: Suppose $M,N$ be two differentiable manifolds of the same dimension. Let $f: M \rightarrow N$ be a differentiable map with $M$ compact and let $y \in N$ be a regular value. We define #$f^{-1}(y)$ to be the number of points in $f^{-1}(y)$, thus $f^{-1}(y)$ does not contain any critical point. And now the part which I do not understand: the book says that an observation that can be made about #$f^{-1}(y)$ is that is locally constant as a function of $y$ (where $y$ ranges only through regular values). I don't understand how to figure out this fact, I tough considering #$f^{-1}: f^{-1}(y) \rightarrow \mathbb{N}$, but still remains unclear to me why it should be a locally constant function. Could someone please can explain to me this fact maybe also (if I am not asking too much) giving a simple example.

$\endgroup$

marked as duplicate by Claude Leibovici, José Carlos Santos, Ethan Bolker, Chris Custer, B. Mehta May 5 '18 at 0:07

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • 1
    $\begingroup$ Only M is compact and N is just a differentiable manifold of the same dimension. A further condition is that the compactness of M makes the preimmage of a regular value a finite subset of M $\endgroup$ – Salvatore Nov 20 '15 at 14:13
  • $\begingroup$ Hint: Apply the inverse function theorem. $\endgroup$ – Lukas Geyer Nov 20 '15 at 15:36