The orientation-preserving diffeomorphism group of S^2 deforms to SO(3) smoothly
Smale proved that the orientation-preserving diffeomorphism group of S^2 has a continuous strong deformation retraction to SO(3). In this paper, we construct such a strong deformation retraction which is diffeologically smooth.
math.DG↗