# Haar measure- uniqueness

I'm new to measure theory and topological groups, and I thought about a question. Let $$G$$ be a locally compact group, equipped with the Borel $$\sigma$$-algebra, there is exist one measure $$\mu$$ (up to positive scalar multiplication) such that $$\mu$$ is left (or right)-translation-invariant: $$\mu (gS)=\mu (S)$$ for every $$g\in G$$ and all Borel sets $$S\subset G$$ and $$\mu(S)>0$$.

I tried to think on a counter-example when $$G$$ is not locally compact. Is this measure even exist when $$G$$ is not locally compact? If it is, is there a counter-example to the uniqueness of Haar measure? (Or there is $$G$$ such that Haar measure exist and unique and $$G$$ is not locally compact?) And if it does not exist, are there conditions on $$G$$ (avoiding locally compact) such that Haar measure exists?

By the way, your characterization of Haar measure is missing regularity conditions. Of course the main technical property of Haar measure that we care about is its invariance under left (or right) multiplication, but you need further properties to define a Haar measure. For example, according to your definition the counting measure on every topological group is a Haar measure! It is a common "error" to describe Haar measure in such a way that counting measure fits the description even though counting measure is not a Haar measure on $$G$$ when $$G$$ is not discrete.
What you left out are the following two conditions on $$\mu$$:
(i) for each Borel subset $$A \subset G$$, $$\mu(A) = \inf \mu(U)$$ where $$U$$ runs over open subsets of $$G$$ containing $$A$$,
(ii) for each open or $$\sigma$$-finite subset $$A \subset G$$, $$\mu(A) = \sup \mu(K)$$ where $$K$$ runs over compact subsets of $$G$$ contained in $$A$$.
These conditions taken together are called $$\sigma$$-regularity, and a Haar measure on $$G$$ is a $$\sigma$$-regular Borel measure on $$G$$ fitting the conditions you gave. Such conditions should be found in a proof that Haar measure is unique up to a scaling factor. Something like these conditions had better be used in a proof of uniqueness, because without them counting measure would be a Haar measure for $$\mathbf R$$ with its usual topology, which is false.
A measure that satisfies (i) and (ii) for all Borel subsets $$A \subset G$$ is called regular. Regularity is a stronger condition than $$\sigma$$-regularity and Haar measure on some locally compact groups is not regular. For example, let $$G = S^1 \times \mathbf R_d$$ where $$\mathbf R_d$$ is $$\mathbf R$$ with the discrete topology. Topologically this is like a cylinder of "independent circles". Counting measure is a Haar measure on $$\mathbf R_d$$ and on $$S^1$$ there is a standard normalized Haar measure $$d\theta/2\pi$$. The product of these is a Haar measure on $$G$$ and it is not regular: the subset $$A = \{1\} \times [0,1]$$ of $$G$$ is closed (and not open), so $$A$$ is a Borel subset of $$G$$. Check $$\mu(K) = 0$$ for all compact $$K \subset A$$ and $$\mu(U) = \infty$$ for all open $$U \supset A$$. Thus condition (ii) for a Haar measure does not apply to $$A$$ (which is neither open nor $$\sigma$$-finite, so there is no contradiction).