# Tagged Questions

56 views

### Integration with values in a $C^*$-algebra

My question is quite specific to locally compact groups but I'm sure it can be generalised to locally compact Hausdorff spaces with a Borel measure. Let $G$ be a locally compact group and fix a Haar ...
25 views

### Haar measure of point sets

Let $G$ be a locally compact group with Haar measure $\mu$ (left or right doesn't matter to me). I know that the Haar measure is positive on open sets. What can be said about the Haar measure on ...
54 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$, ...
68 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 ...
16 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)$
85 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", ...
91 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 ...
90 views

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

Let $(G_{n})_{n \in \mathbb{N}}$ be a sequence of locally compact topological groups with a corresponding sequence $(\mu_{n})_{n \in \mathbb{N}}$ of Haar measures. Is there a way to construct a ...
37 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 ...
43 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 ...
136 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, ...
193 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 ...
198 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 ...
522 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)$. ...
568 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 ...
189 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$ ...
857 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 ...