Why do we require that the multiplication map and the inversion map to be smooth on a Lie group? I'm looking for some intuition into that.
Thank you!
Lie group intuition
intuitionlie-groupssmooth-manifolds
intuitionlie-groupssmooth-manifolds
Why do we require that the multiplication map and the inversion map to be smooth on a Lie group? I'm looking for some intuition into that.
Thank you!
Best Answer
I'm not sure if this is a complete answer to your question. But in many cases these assumptions hold automatically.
Hilbert's fifth problem states that any topological group that is also a manifold is a Lie group (i.e. the multiplication and inversion is automatically smooth).
We only need to assume that the multiplication and inversion are continuous and this is needed otherwise there is no relation between the topological structure and the algebraic structure of the group.