1
$\begingroup$

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} ‎f(xH)d‎\mu_{G/H}‎(xH)=‎\mu_{N/H}‎(N/H)‎‎‎‎‎‎‎\int_{G/N}f(xN)d‎\mu_{G/N}(xN)\ \ ?$$

$\endgroup$

1 Answer 1

3
$\begingroup$

First, in order for an invariant measure on $G/H$ to exist, you need for the modular functions the equality $$ \Delta_G|_H=\Delta_H. $$ Under these circumstances the left hand side if the equation is defined, provided the function $f$ is $H$-invariant. If in addition $f$ is even $N$-invariant the right hand side is defined as well (the modular condition is automatic, as $N$ is normal). If the measure $\mu_{N/H}(N/H)$ is finite, it then is possible to choose the invariant measures such that the claimed equality holds for every measurable $N$-invariant function which is such that either side of the equality exists. A proof can be found in Deitmar/Echterhoff: Principles of Harmonic Analysis.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.