The haar-measure tag has no wiki summary.
7
votes
1answer
135 views
Entropy for Haar measure on $O(n)$
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 ...
4
votes
1answer
140 views
Can Haar measure fail to be bi-invariant without conjugation shrinking a set?
(This is a slightly reformatted and clarified version of my question from math.SE, since I believe
the answer there is wrong and its poster has not responded to my comment in over two weeks.)
Let ...
2
votes
0answers
71 views
The Haar integral on uniform spaces
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 ...
1
vote
0answers
120 views
Question on the Quotient Integral Formula
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$, ...
3
votes
2answers
189 views
Banach algebra for measures induced by Haar measures
It is classical that $L^1(G, m)$ is a Banach algebra when $G$ is a locally compact group with Haar measure $m$ by using the operation of convolution via the integral
...
8
votes
3answers
497 views
To what extent has the Haar measure been generalized?
It is known that all locally compact groups, and therefore compact groups, have a left-invariant Haar measure which is unique up to scalar constant, also a right-invariant one. Is there a strictly ...
2
votes
0answers
50 views
Construct the Haar Functional using $R$-Matrices
Let $H$ a cosemi-simple coquasi-triangular Hopf algebra, arising from an $R$-matrix using the standard FRT construction. Semi-simplicity implies the existence of a Haar function. Is there any way in ...
5
votes
1answer
181 views
Haar measure on $O(n)$ reduced to simpler probability space
The background of this question is how a random variable $X$ on the orthogonal group $O(n)$ whose distribution is the normalized Haar measure $\mu$, i.e., $\mu( O(n) ) = 1$, can be realized on a ...
2
votes
0answers
88 views
Chen's iterated integrals and free loop space
I recently found out about Chen's iterated integrals for paths in a differentiable manifold, and I was wondering if an analogous construction exists for free loops, i.e. a set of variables one ...
2
votes
3answers
202 views
A question on Haar measure on local field.
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) ...
2
votes
2answers
322 views
How do these two Haar measures on SL(2,R) compare?
By using the Iwasawa decomposition, one obtains a (bi-invariant) Haar measure on $G:=\mathrm{SL}(2,\mathbb{R})$ which can be symbolically written as ...
1
vote
1answer
90 views
Is function from topological group to metric space Borel?
Let $G$ be a pseudometrizable compact abelian topological group, $X$ a compact
metric space and $f:X\rightarrow G$ a continuous bijective function.
Suppose there exists $g\in G$ such that if ...
1
vote
1answer
242 views
Mean value theorems for the Haar integral?
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 ...
2
votes
1answer
275 views
Is every subgroup of a connected unimodular (matrix) Lie group also unimodular?
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 ...
2
votes
0answers
278 views
Haar measure on Galois groups
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 ...
0
votes
1answer
226 views
Harmonic Analysis [closed]
Let $G$ be a locally compact group, $H$ be a closed subgroup and $N$ be a normal subgroup of $G$ such that $H\subseteq N$. How can we get $$\int_{G/H} ...
22
votes
0answers
863 views
Correspondence between eigenvalue distributions of random unitary and random orthogonal matrices
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 ...
2
votes
0answers
104 views
Almost conjugation-invariant neighborhoods of units in locally compact groups
Let $G$ be a locally compact topological group with unity $e$ and left Haar measure $m$. Let also $g\in G$ be a given element and $U$ a neighborhood (of compact closure) of $e$.
I am interested to ...
0
votes
1answer
352 views
Positive function with zero Haar integral
If $C$ is a compact (semi-)topological (semi-)group, are there nonzero positive functions having zero Haar integral? In other words: is the Hermitian product associated to the Haar integral ...
7
votes
2answers
509 views
Integration on the space of symmetric matrices
Let $\mu$ be a Lebesgue measure on the space $G$ of real symmetric $n \times n$ matrices (the Haar measure on the additive group of such matrices). For any $A \in G$ let $\chi_{A}(x)$ be its ...
0
votes
1answer
425 views
Difference between spaces of integrable functions w.r.t Lebesgue measure and Borel measure [closed]
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 ...
4
votes
1answer
346 views
Decomposition of Haar measure other than Hurwitz's
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 ...
6
votes
2answers
683 views
Statistics for Haar measure of random matrices?
Let's say I have $M$ samples of $N\times N$ real orthogonal matrices. What statistics can I calculate to test if they could have been drawn from a distribution consistent with Haar measure over ...
2
votes
4answers
2k views
Intuition for Haar measure of random matrix
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 ...
1
vote
0answers
98 views
Haar Functionals and Coquasi-triangular Structures
In this question it is mentioned that the coordinate algebra $C_q[G]$ Drinfeld--Jimbo algebras, for $G$ a compact semi-simple Lie group, admit a unique positive definite Haar functional. I was ...
2
votes
1answer
437 views
Measures and structure on conjugacy classes
Given a locally compact group $G$, does there exist a measure $\nu$ on the conjugacy classes $conj(G)$ such that for $f \in C_c(G)$
$$ \int_G f(g) d \mu_G(g) = \int_{conj(H)} \int_{G / G_\gamma} ...
5
votes
1answer
822 views
Haar measure for large locally compact groups
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 ...
16
votes
2answers
675 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 ...
11
votes
2answers
1k views
Volume of fundamental domain and Haar measure
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. ...
2
votes
1answer
784 views
Haar measure of a subgroup
What is the connection between the normalized Haar measure of a compact group and the normalized Haar measure of one of its compact subgroups?
I am trying to solve the following problem:
Given $G$ ...
1
vote
0answers
182 views
exotic compact group
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 ...
17
votes
3answers
3k 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 ...
4
votes
2answers
812 views
How to define the quotient of a measure which is invariant under group action?
I am a physicist, and I have the following problem. Consider a locally compact group G acting over a measure space $(X, {\cal B}, \mu)$, and assume that $\mu$ is G-invariant. My problem is how to ...
20
votes
3answers
921 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 ...
18
votes
4answers
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 ...
24
votes
12answers
4k 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
4answers
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
2answers
968 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
3answers
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
1answer
257 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
1answer
460 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?
4
votes
4answers
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
0answers
413 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
7answers
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 ...
