2

Let $f\colon M\rightarrow N$ be a smooth map between smooth manifolds.

Consider the following two statements, the second one under the assumption

  1. The set of regular points of $f$ are open in $M$, the critical ones are closed in $M$.
  2. The set of regular values of $f$ are open in $N$, the critical ones are closed in $N$.

I think the first statement holds in complete generality, the second one under the assumption that $f$ is a closed map, e.g. a proper one.

Am I correct?

John F.
  • 21

1 Answers1

3

As @AntonioAlfieri remarked in the comments under the question, yes you are correct:

  1. The set of critical points of a smooth map is closed. The set of regular points is defined to be the complement of the set of critical points, so it is open. (You can also take a look at this question.)

Next, suppose that the given smooth map of manifolds is proper (and hence closed).

  1. The set of critical values is defined to the image of the set of critical points. Thus, it is the image of a closed set, and hence it is closed. The set of regular values is defined to be the complement of the set of critical values. So, the set of regular values is open.