A neighbourhood of the identity generates the connected group
Statement
- Show that if is a connected topological group and a neighbourhood of the identity, then generates .
- Deduce that is generated by , and by any neighbourhood of in .
Hint
A subgroup that contains a neighbourhood of is open. An open subgroup is also closed.
Show solutionHide solution
Solution
1. Open subgroup. Let be the subgroup generated by . Shrink to an open neighbourhood of the identity. For , the left translate is open (left multiplication by is a homeomorphism), contains and is contained in . So is open.
Closed. The complement of is the union of the cosets with , each of which is open (translate of the open set ). So is closed.
Conclusion. is open, closed and nonempty in the connected space , hence .
2. Application. is a topological group; it is connected (polar decomposition: ). By part 1 it is generated by any neighbourhood of in . The set is contained in (since ), and by the logarithm near the identity it contains a ball . So contains a neighbourhood of in and therefore generates .
Concretely: every matrix of positive determinant is a finite product of exponentials: (one needs only : polar decomposition gives with skew, symmetric).
Remark. The statement is false without connectedness: in the exponentials generate only , never a matrix of negative determinant.