# Tagged Questions

Everything the deals with properties and definitions of Haar measure, as well as related fields when the question relies heavily on the notion of haar measure - group harmonic analysis, group ergodic theory etc.

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 ...
6k views

### When is $L^2(X)$ separable?

I have never studied any measure theory, so apologise in advance, if my question is easy: Let $X$ be a measure space. How can I decide whether $L^2(X)$ is separable? In reality, I am interested in ...
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 ...
3k 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 ...
757 views

### Haar measures in Solovay's model

Haar measure is a measure on locally compact abelian groups which is invariants to translations. For example, the Lebesgue measure on the reals is such measure. It can be shown without the use of the ...
### If $F(x,\bullet) \in {L^{\infty}}(G,B)$ for all $x \in G$, then is $x \mapsto F(x,\bullet)$ strongly measurable?
Let $(X,\Sigma,\mu)$ be a $\sigma$-finite measure space and $B$ a Banach space. A function $f: X \to B$ is said to be strongly $\mu$-measurable iff it is the almost-everywhere pointwise ...
### Some calculus in the orthogonal group $O(n)$
How can one compute each of the following matrices, explicitly: $$\int_{O(n)} e^{g}dg$$ or $$\int_{O(n)} g^{n}dg \;\;\;\;n\in \mathbb{N} \;\;n>1$$ What is the explicite entries of the resulting ...