0
votes
1answer
46 views

Continuity of Modular Function

If $G$ is a locally compact group, there's a left invariant Borel measure on $G$, called Haar measure, which is unique up to multiplication by scalar. Denote it by $\mu$. For any $g\in G$, ...
0
votes
1answer
45 views

The dual of L^1(G) for a locally compact group G

I might be missing something, but most literature on topological groups and harmonic analysis that I've encountered mention that $L^\infty(G)$ can be naturally identified with the dual of $L^1(G)$ by ...
0
votes
1answer
14 views

Show $T:G\rightarrow L^1(G)$ by $y\mapsto f(y\cdot)$ is continuous for fixed $f\in L^1(G)$

Let $G$ be a locally compact group, and show $T_f:G\rightarrow L^1(G)$ by $y\mapsto f(y\cdot)$ is continuous for fixed $f\in L^1(G)$
2
votes
1answer
62 views

Haar measure, convolution and involutions

I have some problems to follow the proof of the anti commutativity property of the convolution and involution operations defined using a Haar measure as presented in Pedersen's book "analysis Now", ...
1
vote
0answers
58 views

Is a regular Borel measure on a locally compact space necessarily $\sigma$-finite?

I am trying to compile a proof of the uniqueness of Haar measure. Usually this is done by multiple-integral mumbo-jumbo, abusing left and right invariance of two potential measures and invoking ...
2
votes
0answers
41 views

Is there a formula for the Haar measure on a product of groups?

Suppose I am looking for the Haar measure on $\displaystyle \prod _{n \in \mathbb N} G_i$ and have measure $\mu_i$ on each $G_i$. Is there a way I can use these to define the correct measure on the ...
0
votes
0answers
32 views

Prove uniqueness of Haar measure without using the integral?

All the literature I have seen proves the Haar measure is unique by first defining the Haar integral and then using Fubini's Theorem etc. to show that any two Haar integrals are scalar multiples of ...
4
votes
1answer
41 views

Showing a measure on a locally compact group is left invariant

I am trying to verify that the measure $\frac{1}{|x|}dx$ is a Haar measure on $\mathbb{R}\backslash \{0\}$. For every open interval $(a_{n},b_{n})\subset \mathbb{R}$ not containing $0$, I have that ...
4
votes
0answers
96 views

Haar measure on O(n) or U(n)

Every locally compact group has left-invariants haar measures. In particular, the compact groups O(n) and U(n) have them. I was wondering if there is a realization of such a measure on these groups, ...
4
votes
0answers
167 views

Uniqueness of Haar Measures

Haar measure on a LCA (locally compact abelian) group $G$ is said to be unique ... up to a scaling factor. This is not as elegant as it might be expected because this requires a choice of a unit ...
3
votes
2answers
184 views

Shifting a function is continuous

I'm slightly puzzled by the following: if $g(t)$ is a function in $L^q(X)$ then we can show that $g(t-x)$ is continuous function of $t$, i.e. for $\varepsilon > 0$ we can find $\delta$ such that ...
7
votes
1answer
442 views

A net version of dominated convergence?

Let $G$ be a locally compact Hausdorff Abelian topological group. Let $\mu$ be a Haar measure on $G$, i.e. a regular translation invariant measure. Let $f$ be fixed in $\mathcal{L}^1(G, \mu)$. ...
12
votes
1answer
496 views

Properties of Haar measure

Let $G$ be a locally compact group (but not discrete) and let $m$ be its left Haar measure. Is it true that $\forall \epsilon$ $\exists$ $C$ such that $C$ is a compact neighborhood of the identity and ...
2
votes
1answer
172 views

Surjective endomorphism preserves Haar measure

How to prove the following statement: Let $G$ be a compact topological group and let $m$ be the Haar measure on it. Let $\varphi$ be a continuous endomorphism of $G$ onto $G$, i.e., the map $\varphi$ ...
7
votes
1answer
767 views

Theorem of Steinhaus

The Steinhaus theorem says that if a set $A \subset \mathbb R^n$ is of positive inner Lebesgue measure then $\operatorname{int}{(A+A)} \neq \emptyset$. Is it true that also ...