Solution

ID: past-exam-of-the-short-options-course-of-the-university-of-oxford/2023/4/c/i/solution

The matrix exponential is smooth, and part (a) identifies its derivative at zero as the identity. The inverse function theorem therefore gives a local diffeomorphism from an open neighborhood of zero onto a neighborhood of . Choose a sufficiently small operator norm ball and let . This is again a diffeomorphism onto an open set, since it is a restriction of the original one.
The ball is preserved by and . Since and , is preserved by adjoint and inversion. For its local inverse , injectivity also gives

New to topics? Read the docs here!