Proposition 9.1.7.label Let $G$ be a topological group, $A \subset G$, and $\fB \subset \cn_{G}(1)$ be a fundamental system of neighbourhoods, then
\[\ol{A}= \bigcap_{U \in \fB}\bracs{AU| U \in \fB}= \bigcap_{U \in \fB}\bracs{UA|U \in \fB}\]
Proof. By Proposition 6.1.13.$\square$
Post a Comment