Example of diffeomorphism: rotation map

is a diffeomorphism.

• It’s obviously that for component functions are differentiable, hence is smooth

• Also, notice didn’t change so we can ignore it.

Because is a rotation by z-axis, we check that

and

hence the inverse map , and is also smooth, is a diffeomorphism.