Maths WorkshopMaths problems with full solutions
Exercise 2015Topology › Topology of Mn(ℝ) › Exponential, logarithm and group topologyM1Added 6 Nov 2026

Every continuous one-parameter subgroup is e^(tA)

#one-parameter subgroup#regularity#integration trick

Statement

Let φ:R→GLn(R)\varphi:\mathbb{R}\to GL_n(\mathbb{R}) be a continuous group homomorphism. Show that there is A∈Mn(R)A\in M_n(\mathbb{R}) with φ(t)=etA\varphi(t)=e^{tA} for all tt.

Hint

Integrate φ\varphi over a short interval: the integral is invertible, and it makes φ\varphi differentiable.

Show solutionHide solution

Solution

Idea. Continuity of φ\varphi upgrades to smoothness by an averaging trick, after which φ\varphi solves φ′=Aφ\varphi'=A\varphi.

Step 1: an invertible average. φ\varphi is continuous and φ(0)=I\varphi(0)=I. For c>0c>0 put Mc=∫0cφ(s) dsM_c=\int_0^c\varphi(s)\,ds (entrywise integral). Then 1cMc→φ(0)=I\frac1cM_c\to\varphi(0)=I as c→0+c\to0^+ (continuity of φ\varphi at 00). Since GLnGL_n is open, 1cMc\frac1cM_c is invertible for cc small enough. Fix such a cc and write M=McM=M_c.

Step 2: differentiability. For every tt, using the homomorphism property φ(t)φ(s)=φ(t+s)\varphi(t)\varphi(s)=\varphi(t+s),
φ(t)M=∫0cφ(t+s) ds=∫tt+cφ(u) du.\varphi(t)M=\int_0^c\varphi(t+s)\,ds=\int_t^{t+c}\varphi(u)\,du.
The right side is differentiable in tt (fundamental theorem of calculus, φ\varphi continuous), with derivative φ(t+c)−φ(t)\varphi(t+c)-\varphi(t). Hence φ(t)=(∫tt+cφ)M−1\varphi(t)=\bigl(\int_t^{t+c}\varphi\bigr)M^{-1} is differentiable (even C1C^1).

Step 3: the differential equation. From φ(t+h)=φ(t)φ(h)\varphi(t+h)=\varphi(t)\varphi(h),
φ(t+h)−φ(t)h=φ(t) φ(h)−Ih →h→0 φ(t)A,A:=φ′(0).\frac{\varphi(t+h)-\varphi(t)}h=\varphi(t)\,\frac{\varphi(h)-I}h\ \xrightarrow[h\to0]{}\ \varphi(t)A,\qquad A:=\varphi'(0).
So φ′(t)=φ(t)A=Aφ(t)\varphi'(t)=\varphi(t)A=A\varphi(t) (they commute since φ(t)φ(h)=φ(h)φ(t)\varphi(t)\varphi(h)=\varphi(h)\varphi(t)).

Step 4: uniqueness for the ODE. Let Ψ(t)=e−tAφ(t)\Psi(t)=e^{-tA}\varphi(t). Then
Ψ′(t)=−Ae−tAφ(t)+e−tAAφ(t)=0,\Psi'(t)=-Ae^{-tA}\varphi(t)+e^{-tA}A\varphi(t)=0,
so Ψ\Psi is constant, equal to Ψ(0)=I\Psi(0)=I. Therefore φ(t)=etA\varphi(t)=e^{tA}.

Remark. Without continuity there exist wild homomorphisms R→R×\mathbb{R}\to\mathbb{R}^\times, t↦ef(t)t\mapsto e^{f(t)}, with ff an additive non-measurable function (Hamel basis). (It is a classical theorem, proved by a Steinhaus-type argument, that measurable homomorphisms are automatically continuous.)