Exercise 291Topology › Topology of Mn(ℝ) › Exponential, logarithm and group topologyL2Added 6 Nov 2026
The exponential of a sum: commuting and non-commuting matrices
#matrix exponential#commutation#counterexample
Statement
- Show that if then .
- Show that this fails in general, using and (the matrix units of ).
Hint
For part 1, the binomial theorem holds for commuting matrices; then use the Cauchy product of two absolutely convergent series. For part 2, compute and by hand: both squares are .
Show solutionHide solution
Solution
1. Commuting case. Since , the binomial theorem gives
Summing over gives the Cauchy product of the series for and . Both converge absolutely (problem on convergence of ), so the Cauchy product converges to the product of the sums:
2. A counterexample. Let and . Then , so
Multiplying,
These are different. Now is the symmetric matrix , and , so
which equals neither nor .
Remark. Since , the identity cannot hold when and do not commute: the left side is symmetric in but the right sides are not. The correct replacement is the Lie product formula (see below).