Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|improve this question
add comment

2 Answers 2

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|improve this answer
add comment

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|improve this answer
add comment

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.