Suppose $G$ is a locally compact abelian Hausdorff group (LCA), and $\lambda$ is the Haar measure on it. We all know the convolution of two $L^1(\lambda)$ functions $f$ and $g$ on $G$ is defined as
...

Let $C^k$ action of a compact Lie group $G$ on $R^m$, $D(g)$ denote the differential of the map $x\in R^m \mapsto g(x) \in R^m$ at the origin and $\mu$ is the normalized Haar mesure on $G$, consider a ...

Let $G$ be a locally compact group. A measure $\mu$ is the right-Haar measure on $G$ if for every $g\in G$ and $E\subseteq G$ Borel set $\mu(Eg)=\mu(E)$. It is known that every locally compact group ...

Does anybody know what the current research status is on the topic of Haar measures on uniform spaces? I'm specifically interested in compact uniform spaces and its corresponding Haar probability.
As ...

I have a very concrete question on the proof of the following (see below): Given a 'nice' top. space $X$ and a 'nice' group operation of $G$, say, from the right, on $X$ and a certain measure on $X$, ...

Let $F$ be a local field of characteristic 0, and $f:F\rightarrow \mathbb{C}$ be an integrable function. Is the following formulation valid?
$
\int_{F^\times}f(x^2) d^\times x=\int_{F^{\times 2}}f(x) ...

Let $G$ be a compact topological group (feel free to add hypotheses if necessary). Is there any mean value theorem for its (normalized to 1) Haar integral?
In general, are there mean value theorems ...

My intuition is that the answer is yes:
Let $G$ be the original group, and let $H$ be a subgroup of $G$.
Let $\mu$ be a Haar measure on $G$ that is both right- and left-invariant.
I think that if we ...

Galois groups are nice compact Hausdorff groups, and therefore possess a bounded Haar measure, unique if we insist that the total volume be $1$. What is the Haar measure on the absolute Galois group ...

In the course of a physics problem (arXiv:1206.6687), I stumbled on a curious correspondence between the eigenvalue distributions of the matrix product $U\bar{U}$, with $U$ a random unitary matrix and ...

Is there a difference between
$L^p(\mathbb R,\mathfrak B,\beta)$ and $L^p(\mathbb R,\mathfrak L,\lambda)$ ?
Here I denoted by $\lambda$ the Lebesgue measure, defined on the Lebesgue
$\sigma$-algebra ...

Hurwitz defined a decomposition of the Haar measure on $SO(n)$ based on Given's rotation. So by left multiplication of Givens rotation one can always bring an orthogonal matrix into the identity. The ...

What is an intuitive way to understand Haar measure as defined for random matrices, say, $N\times N$ orthogonal or unitary matrices?
My understanding for what Haar measure means for $U(1)$ is that it ...

In this answer, Gerald Edgar mentions that Haar measure is naturally defined on the $\sigma$-algebra of Baire sets (the smallest $\sigma$-algebra that contains all the compact $G_\delta$ sets) of a ...

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 ...

In my research, I do need to know the Haar measure. I have spent some time on this subject, understanding theoretical part of the Haar measure, i.e existence and uniqueness, Haar measure on quotient. ...

Let $G$ be compact (and Hausdorff) group, $\mu$ be Haar measure on $G$. Is it always true that $(G,\mu)$ is a standard probability space (Lebesgue-Rokhlin space)? It is so if (a priori not iff) the ...

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 ...