Open subsets in topological groups I'm starting to study topological groups, and I noticed that every single theorem in topological groups I have to use the following statement:
Let $G$ be a topological group and U an open subset of G, if $g\in G$, then $gU$ is an open subset of G.
I can't prove it, please anyone can help me please.
Thanks

In fact the map $\varphi_g:G\to G:x\mapsto gx$ is a homeomorphism. It’s clearly a bijection, since $\varphi_g^{-1}=\varphi_{g^{-1}}$. To see that it’s continuous, let $U\subseteq G$ be open. The group operation is continuous, so $V=\{\langle x,y\rangle\in G\times G:xy\in U\}$ is open in $G\times G$. Let $\pi:G\times G\to G:\langle x,y\rangle\mapsto y$, and let $G_g=\{g\}\times G$; $\pi\upharpoonright G_g:G_g\to G$ is a homeomorphism, and $V\cap G_g$ is open in $G_g$, so $\pi[V\cap G_g]$ is open in $G$. But 
$$\pi[V\cap G_g]=\{x\in G:\langle g,x\rangle\in V\}=\{x\in G:gx\in U\}=\varphi_g^{-1}[U]\;,$$
so $\varphi_g^{-1}[U]$ is open in $G$, and $\varphi_g$ is continuous. Since $g$ was arbitrary, it follows immediately that $\varphi_g^{-1}=\varphi_{g^{-1}}$ is also continuous and hence that $\varphi_g$ is a homeomorphism. In particular, then, $gU=\varphi_g[U]$ is open for every $g\in G$ and open $U\subseteq G$.
