# Haar measure for large locally compact groups

In this answer, Gerald Edgar mentions that Haar measure is naturally defined on the $\sigma$-algebra of Baire sets (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).

-
I thought the usual construction of a (left) Haar measure on a locally compact (Hausdorff) group $G$ was done by constructing a left invariant positive linear functional on $C_c(G)$ and then invoking the Riesz representation theorem, which always gives a measure whose domain includes all open sets (a Borel measure according to Rudin or Folland). –  Keenan Kidwell Jul 19 '11 at 18:36
Thanks Keenan. This seems to prove existence but what about uniqueness? –  François G. Dorais Jul 19 '11 at 18:43
Uniqueness holds too, and is proved e.g. as Theorem 2.20 in Folland's book on abstract harmonic analysis (books.google.com/…). Although I guess maybe this depends on people's definition of a Radon measure. For Folland, I believe a Radon measure is an outer regular Borel measure that's finite on compact sets and I think also inner regular on open sets. Anyway, given two such measures $\mu$ and $\nu$ on $G$ that are non-zero and left translation invariant (on Borel sets), they differ by a constant. –  Keenan Kidwell Jul 19 '11 at 18:53
Uniqueness among (outer) regular measures. Regularity is automatic for the Baire sets (and thus for Borel sets in case of metrizable groups). If you do not add the hypothesis of regularity, uniqueness can fail. Two measures that agree on the Baire sets also agree on $C_c(G)$, so if they differ in Borel sets we don't care.. –  Gerald Edgar Jul 19 '11 at 19:06
Whenever you need a thorough reference for generalities on measure theory, consult Fremlin. In this case, Chapter 44 in Volume 4 Part I. Available online on his homepage: essex.ac.uk/maths/people/fremlin/mt.htm –  Theo Buehler Jul 19 '11 at 19:54

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)$.
This is also an example for: failure of Fubini's theorem when a measure is not sigma-finite. Also for: dual of $L^1$ not equal to $L^\infty$ when the measure is required to be regular. If, on the other hand, we requre locally null sets (like $E$ defined here) to have measure zero, then we recover the dual of $L^1$ as $L^\infty$. But lose regularity. –  Gerald Edgar Jul 19 '11 at 19:38
I think you can also tweak the definition of $L^\infty$ to identify functions which are locally almost everywhere equal-- then I believe we get that $(L^1)^*=L^\infty$ (at least in this example, if we follow Rudin, and insist upon outer regularity, but only inner regularity of sets of finite measure or open sets). –  Matthew Daws Jul 19 '11 at 19:49
This is a very nice group! Is there an easy way that I could convince myself that I can set the measure of $E$ to $\pi$ and maintain translation invariance? –  François G. Dorais Jul 19 '11 at 19:50
This example is mentioned in Folland's book (already mentioned by Keenan). The basic problem is the lack of $\sigma$-compactness, which implies (and is equivalent to) non-$\sigma$-finiteness of Haar measure. He does show that even in this case Haar measure is "decomposable" (a generalization of $\sigma$-finiteness) which allows him to obtain generalizations of the theorems mentioned in the comments above, as well as the Radon-Nikodym theorem. –  Mark Jul 19 '11 at 21:02
@François: I just claim it is an extension of the measure, and integrals on $C_c(G)$ agree with $\Lambda$. I guess if you want it also to be translation invariant, the only choice besides $\infty$ is $0$. (The restriction of the measure to the $y$-axis has to be a scalar multiple of the counting measure...) So to get something other than the outer regular measure, let sets supported in countably many columns have measure zero. –  Gerald Edgar Jul 19 '11 at 22:48