The haar-measure tag has no usage guidance.

**21**

votes

**3**answers

966 views

### In an inductive family of groups, does the probability that a particular word is satisfied converge?

We have some group word $w$ in $k$ letters. We say a $k$-tuple of group elements $\vec{g} = (g_1, g_2, \ldots , g_k) \in G^k$ satisfies the word $w$ if $w$ gives the identity at $\vec{g}$. More ...

**20**

votes

**4**answers

1k views

### Is every probability space a factor space of the Haar Measure on some group?

Let P be an arbitrary probability space.
I would like to find a compact topological group $G$ so that the Haar probability measure on $G$ admits a measurable map to the probability space $P$.
By a ...

**31**

votes

**14**answers

6k views

### Explicit computations using the Haar measure

This question is somewhat related to my previous one on Grassmanians. The few times I've encountered the Haar measure in the course of my mathematical education, it's always been used in a very ...

**3**

votes

**4**answers

1k views

### Measure on real Grassmannians

OK, so I'm reading about this nice measure you can define on a (real) Grassmannian on Wikipedia. Basically, and to save you the trip through the link, consider the Haar measure $\theta$ on $O(n)$, fix ...

**17**

votes

**2**answers

1k views

### The Riemann zeta function and Haar measure on the profinite integers

In an answer to a question on MU about the Riemann zeta function, I sketched a proof that the probability distribution on $\mathbb{N}$ which assigns $n$ the probability
$$\frac{ \frac{1}{n^s} ...

**5**

votes

**3**answers

1k views

### Haar Measure Existence/A problem with Borel sets and regularity.

In Paul Halmos' Measure Theory book, section 53, he defines a content on a locally compact Hausdorff space to be a set function, $\lambda$ that is additive, subadditive, monotone, and ...

**6**

votes

**1**answer

267 views

### Measurable subgroups.

Let $G$ be a compact connected topological group and let $H$ be a subgroup of $G$. Suppose that $H$ is measurable with respect to the normalised Haar measure $\mu$ on $G$. Do we necessarily have ...

**2**

votes

**1**answer

528 views

### Must a locally compact group be Hausdorff in order to possess a Haar measure?

Does the existence of (left) Haar measure on a locally compact topological group require that the group be Hausdorff?

**5**

votes

**4**answers

3k views

### Haar Measure on a Quotient [closed]

Suppose you have a locally compact group G with a discrete subgroup H. Of course G has a unique (up to scalar) Haar measure, but it seems that G/H has and induced Haar measure as well.
How does ...

**4**

votes

**0**answers

455 views

### Haar measure on strictly upper triangular matrices

Let F be a function field, and A its adele ring. I want to consider U(A)/U(F), where U(A) is the space of strictly upper triangular matrices with entries from A, and U(F) is the same with entries ...

**13**

votes

**7**answers

2k views

### Haar measure on a quotient, References for.

I remember reading Weil's "Basic Number Theory" and giving up after a while. Now I find myself thinking of it(thanks to some comments by Ben Linowitz).
Right from the very beginning, Weil uses the ...