5
$\begingroup$

This is an exercise from a book:

Let $G$ be a locally compact group with Haar measure $\mu$.

  1. $\mu(\{e\})>0$ if and only if $G$ is discrete.
  2. $\mu(G)<\infty$ if and only if $G$ is compact.

I think I can solve the first part:

If $\mu(\{e\})>0$ then $\mu$ is a scalar multiple of the counting measure. Since $\mu$ is outer-regular, this means that $\{e\}$ is open.

I need help with the second part, here's what I've been trying.

Maybe I can try to use the fact that $\mu$ is inner-regular? I'm not sure how to. Other possible approaches: Since $\mu(G)<\infty$, every subgroup $H$ of $G$ must either be of measure zero or of finite index.

$\endgroup$
4
$\begingroup$

This is proved in NACHBIN, The Haar Integral, chapter II, Proposition 4. I'll rewrite his proof here:

Suppose $G$ is not compact. Choose $f:G\rightarrow\mathbb{R}$ continuous with compact support such that $0\leq f\leq 1$ and $\int_{G}fd\mu>0$. Let $K=\text{supp}(f)$, so $K$ is compact. Set $s_1=e$.

Suppose we already chose $s_1,\ldots,s_n\in G$ such that the sets $s_iK$ are parwise disjoint.

Notice that, since $\bigcup_{i=1}^n s_iK K^{-1}$ is (a finite union of compact sets, hence) compact, then there exists $s_{n+1}\in G\setminus\bigcup_{i=1}^n s_iKK^{-1}$. It is obvious that $s_{n+1}K$ is disjoint to all others $s_iK$.

Therefore, we obtain a sequence $s_1,s_2,\ldots$ such that $s_iK$ are pairwise disjoint. For every $n$, define the continuous function $f_n(t)=\sum_{i=1}^nf(s_i^{-1}t)$, so that $\text{supp}f_n=\bigcup_{i=1}^ns_iK$ and $f_n\leq 1$. Finally, $$0<n\int_g f_nd\mu=n\int_g fd\mu\leq \mu(G),\qquad\text{for all }n=1,2,\ldots$$ so $\mu(G)=\infty$.Q.E.D.

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.