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

A neighbourhood of the identity generates the connected group

#generating set#open subgroup#connected group#GL_n^+

Statement

  1. Show that if GG is a connected topological group and VV a neighbourhood of the identity, then VV generates GG.
  2. Deduce that GLn+(R)GL_n^+(\mathbb{R}) is generated by exp⁡(Mn(R))\exp(M_n(\mathbb{R})), and by any neighbourhood of II in GLn+(R)GL_n^+(\mathbb{R}).
Hint

A subgroup that contains a neighbourhood of ee is open. An open subgroup is also closed.

Show solutionHide solution

Solution

1. Open subgroup. Let H=⟨V⟩H=\langle V\rangle be the subgroup generated by VV. Shrink VV to an open neighbourhood V′⊂VV'\subset V of the identity. For h∈Hh\in H, the left translate hV′hV' is open (left multiplication by hh is a homeomorphism), contains hh and is contained in HH. So HH is open.

Closed. The complement of HH is the union of the cosets gHgH with g∉Hg\notin H, each of which is open (translate of the open set HH). So HH is closed.

Conclusion. HH is open, closed and nonempty in the connected space GG, hence H=GH=G.

2. Application. GLn+(R)GL_n^+(\mathbb{R}) is a topological group; it is connected (polar decomposition: GLn+≅SO(n)×SymnGL_n^+\cong SO(n)\times\mathrm{Sym}_n). By part 1 it is generated by any neighbourhood of II in GLn+GL_n^+. The set exp⁡(Mn)\exp(M_n) is contained in GLn+GL_n^+ (since det⁡eA=etr⁡A>0\det e^A=e^{\operatorname{tr}A}>0), and by the logarithm near the identity it contains a ball B(I,12)B(I,\frac12). So exp⁡(Mn)\exp(M_n) contains a neighbourhood of II in GLn+GL_n^+ and therefore generates GLn+GL_n^+.

Concretely: every matrix of positive determinant is a finite product of exponentials: A=eX1eX2⋯eXmA=e^{X_1}e^{X_2}\cdots e^{X_m} (one needs only m=2m=2: polar decomposition gives A=eKeSA=e^{K}e^{S} with KK skew, SS symmetric).

Remark. The statement is false without connectedness: in GLn(R)GL_n(\mathbb{R}) the exponentials generate only GLn+GL_n^+, never a matrix of negative determinant.