Let $(G,\tau)$ be a locally compact Hausdorff topological group that is $\sigma$-finite with respect to the Haar measure $\mu:\mathcal{B}(G)\to[0,\infty]$ ($\mathcal{B}(G)$ is the Borel $\sigma$-algebra for $G$). Define $\mathcal{B}\boldsymbol{a}(G)\subseteq \mathcal{B}(G)$ to be the Baire $\sigma$-ring in $G$ (the $\sigma$-ring generated by the compact $G_\delta$'s), and furthermore assume that $G\in\mathcal{B}\boldsymbol{a}(G)$ (i.e. $\mathcal{B}\boldsymbol{a}(G)$ is a $\sigma$-algebra). Let $$\mathcal{A}=\{EE^{-1} \mid E\in \mathcal{B}\boldsymbol{a}(G), 0<\mu(E)<\infty\}.$$ Now forget about the topology $\tau$. It is well known that $\mathcal{A}$ forms a system of neighborhoods for $e$, which induces a topology $\tau_\mu$ in $G$ which makes it a Hausdorff topological group. This topology is called Weil's topology (see [1]). Under this topology $G$ is densely embeddable in a Hausdorff locally compact group $\overline{G}$, and the Haar integral in $\overline{G}$ coincides with the integral with respect to $\mu$ for all continuous functions of compact support contained in $G$.

It can be easily shown that $\tau \subseteq \tau_\mu$, and it was shown in [2] that adding the assumption that $\mathcal{B}\boldsymbol{a}({G})$ is analytic, $\tau_\mu\subseteq \tau$.

I am trying to come up with a simple example where $\tau_\mu\not\subseteq \tau$ (evidently in the case where $\mathcal{B}\boldsymbol{a}({G})$ is not analytic), but I have not been successful. Any ideas?

**Refs:**

[1] *Halmos, Paul R.*, Measure theory. 2nd printing, Graduate Texts in Mathematics. 18. New York - Heidelberg- - Berlin: Springer-Verlag. XI, 304 p. DM 26.90 (1974). ZBL0283.28001.

[2] *Mackey, George W.*, **Borel structure in groups and their duals**, Trans. Am. Math. Soc. 85, 134-165 (1957). ZBL0082.11201.

1more comment