# a neighbourhood of identity $U$ generates $G$ where $G$ is a connected lie group

Let $G$ be a connected Lie group and $U$ any neighbourhood of the identity element. How to prove that $U$ generates $G$.

-

By replacing $U$ with $U \cap U^{-1}$ if necessary, assume that $U = U^{-1}$.

Consider the set generated by $U$: $$S = \{g_1 \cdots g_n : g_1,\cdots, g_n \in U \text{ for some n} \}$$ We want to show that $S = G$ by showing that $S$ is nonempty, open, and closed. Connectedness of $G$ would then imply $S = G$.

Non-emptiness is evident.

For openness, note that for any $g \in S$, $gU \subset S$.

For closedness, note that if $g \notin S$, then $gU$ is disjoint with $S$. Otherwise if $gu \in S$, we have $g = guu^{-1} \in S$ as well.

-
so this holds for ant topological group too? – Koushik Jan 20 '13 at 3:17
@K.Ghosh, I believe so. – user27126 Jan 20 '13 at 3:24