Diffeomorphism Groups of Convex Polytopes

Let

be a convex polytope in

\mathbb{R}^n R n

, with non-empty interior. We turn the group Diff

(M) ( M )

of all

C^\infty C ∞

-diffeomorphisms of

M M

into a regular Lie group.