3
votes
1answer
89 views

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 ...
2
votes
0answers
72 views

Justification of the convolution operation of $L^1(G)$ functions where $G$ is a LCA group (measurability)

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 ...
9
votes
0answers
135 views

Haar measurable sets and quotient maps

Let $G$ be a locally compact Hausdorff group with a Haar measure $\mu$, let $H$ be a closed normal subgroup of $G$, and let $q: G \to G/H$ be the quotient homomorphism. Let $\nu$ be a Haar measure ...
9
votes
2answers
305 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 ...
5
votes
1answer
156 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 ...
1
vote
0answers
149 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$, ...
2
votes
2answers
364 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
92 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 ...
7
votes
2answers
560 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
440 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 ...
3
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 ...
2
votes
1answer
448 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} ...
10
votes
2answers
2k 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. ...
1
vote
0answers
186 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 ...
20
votes
3answers
4k 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 ...
19
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 ...
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
260 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 ...
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 ...