# Equivalence of diffeomorphism definitions

• A
Hi

Lets start off with the definition of diffeomorphism from Wolfram MathWorld:
A diffeomorphism is a map between manifolds which is differentiable and has a differentiable inverse.

The issue is that I am learning about smooth manifolds, and in the books I've read, the map has to be smooth and have a smooth inverse. Also, the definition above doesn't say that it has to be bijective. However, the Encyclopedia of Math does.

So, are these definitions equivalent? If not, when are they equivalent?

andrewkirk
Homework Helper
Gold Member
the definition above doesn't say that it has to be bijective. However, the Encyclopedia of Math does.
It says the map has an inverse, which means it is injective. In practice the focus will be restricted to the image of the map, so we have a bijection between the domain and the image of the map.

Smoothness is strictly stronger than differentiability. Consider two identical manifolds that are infinite cylinders. I think it should be easy to construct a bijective, differential map between the two that is not smooth. Just take a bijection on ##S^1## that is once but not twice differentiable and extend it parallel to the cylinder's axis.

mathwonk