Every continuous one-parameter subgroup is e^(tA)
Statement
Let be a continuous group homomorphism. Show that there is with for all .
Hint
Integrate over a short interval: the integral is invertible, and it makes differentiable.
Show solutionHide solution
Solution
Idea. Continuity of upgrades to smoothness by an averaging trick, after which solves .
Step 1: an invertible average. is continuous and . For put (entrywise integral). Then as (continuity of at ). Since is open, is invertible for small enough. Fix such a and write .
Step 2: differentiability. For every , using the homomorphism property ,
The right side is differentiable in (fundamental theorem of calculus, continuous), with derivative . Hence is differentiable (even ).
Step 3: the differential equation. From ,
So (they commute since ).
Step 4: uniqueness for the ODE. Let . Then
so is constant, equal to . Therefore .
Remark. Without continuity there exist wild homomorphisms , , with an additive non-measurable function (Hamel basis). (It is a classical theorem, proved by a Steinhaus-type argument, that measurable homomorphisms are automatically continuous.)