In [this answer](https://mathoverflow.net/questions/70547/haar-measures-in-solovays-model/70564#70564), Gerald Edgar mentions that Haar measure is naturally defined on the $\sigma$-algebra of [Baire sets](http://en.wikipedia.org/wiki/Baire_set) (the smallest $\sigma$-algebra that contains all the compact $G\_\delta$ sets) of a locally compact group and that the uniqueness of Haar measure can fail for larger $\sigma$-algebras. I wonder if there is a nice example of this.


Curious, I skimmed through Halmos's classic *Measure Theory*, and I found that he proves the existence and uniqueness of Haar measure for the slightly larger $\sigma$-algebra generated by all compact sets. (Confusingly, Halmos defines Borel sets to be those in this $\sigma$-algebra; I will stick with the usual definition of Borel sets.)



> 
> Is there a nice example of a locally compact group where the uniqueness of Haar measure fails for the $\sigma$-algebra of Borel sets — the $\sigma$-algebra generated by open sets?
> 
> 
> 


To dispell some potential confusion (see comments by Keenan Kidwell and Gerald Edgar) Haar measures are not required to be regular (for the purpose of this question).



Haar measure for large locally compact groups
Let's try this example. Let $\mathbb R$ be the additive group of reals with the usual topology, and let $\mathbb R\_\mathrm{d}$ be the additive group of reals with the discrete topology. Our group is $G = \mathbb R \times \mathbb R\_\mathrm{d}$. A **big** group. Any compact set in $G$ has finite projection on the $y$-axis. The Haar integral $\Lambda$, defined on $C\_c(G)$, is
$$
\Lambda(f) = \sum\_y \int f(x,y)\,dx
$$
where of course the sum is finite. 


Now consider the (Borel but not Baire) set $E = \{0\}\times \mathbb R\_\mathrm{d}$. It is closed, hence Borel. But any Baire set has projection on the $y$-axis either countable or co-countable, so $E$ is not a Baire set. The set $E$ has outer measure $\infty$ but inner measure $0$. Changing our "extension" of Haar measure on $E$ to any value between $0$ and $\infty$ will make sense, and still be a Borel measure that produces $\Lambda$ on the functions in $C\_c(G)$.


