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

Let $M,N$ be smooth manifolds, and let $F:M \to N$ be a smooth map. Then $F$ induces a map $F^*: C^\infty(N) \to C^\infty(M)$, given by $F^*(f)=f \circ F$. Suppose that $F^*$ is an isomorphism.

Q1: Is $F$ a bijection?

Q2: Is $F$ a homeomorphism? (This would imply that $F$ is a diffeomorphism.)

share|cite|improve this question
up vote 2 down vote accepted

The answer to both your questions is "yes".

a) The surjectivity of $F^*$ already implies that $F:M\to N$ is a closed $C^\infty $ embedding.
This is not very difficult and a proof can be found on page 24 of that book.

b) If $F$ were not surjective, you could take any point $n\in N\setminus F(M)$ outside the image of $F$ and construct a bump function $f\in C^\infty (N)$ with $f(n)=1$ and with support disjoint from the closed submanifold $F(M)$.
Then the equalities $F^*(f)=F^*(0)=0\in C^\infty (N)$ would violate the injectivity of $F^*$.
This contradiction proves that $F$ is in reality surjective and, being also a closed embedding, is in fact a diffeomorphism.

share|cite|improve this answer

Let's prove that $F$ is injective. Suppose by contradiction $F(x)=F(y)$. Then $F^*(g)(x) = g(F(x)) = g(F(y)) = F^*(g)(y)$. But there exists $f\in C^\infty(M)$ such that $f(x)\neq f(y)$ so $F^*(g)\neq f$ and this is true for every $g\in C^\infty(N)$. Hence $F^*$ is not surjective.

share|cite|improve this answer

Your Answer


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.