')=q(w)$. Hence there is a $g\in
G$ such that $g\cdot z'=w$. Note that $r_{Z}(z')=s(g)$ and $r(g)=r_{Z}(g\cdot z)=r_{Z}(w)=u$. Since $\beta^{s(g)}$ has full support and since everything in sight is continuous and non-negative, $$\Psi_{\phi}(g) =\int_{Z} f(g\cdot z)\phi(z)\,\beta^{s(g)}(z)>0.$$ Hence $\nu^{u}(f)>0$ and we have $$\operatorname*{supp}\nu^{u} = r_{Z}^{-1}(u).$$

Hence to complete the proof of the theorem, we just need to establish equivariance. But $$\begin{aligned}
  \int_{Z} f(g'\cdot z)\,d\nu^{s(g')}(z) &= \int_{G}\int_{Z}
  f(g'g\cdot z)\phi(z)\,d\beta^{s(g)}(z)\,d\lambda^{s(g')}(g) \\
&= \int_{G}\Psi_{\phi}(f)(g'g)\,d\lambda^{s(g')}(g) \\
\intertext{which, since $\lambda$ is a Haar system on $G$, is}
&= \int_{G}\Psi_{\phi}(g) \,d\lambda^{r(g')}(g) \\
&=\int_{G}\int_{Z} f(g\cdot z)\phi(z)\,d\beta^{s(g)}(z)
\,d\lambda^{r(g')}(g) \\
\intertext{which, since $g'\cdot s(g')=r(g')$, is}
&=\int_{Z}f(z)\,d\nu^{g'\cdot s(g')}(z).\end{aligned}$$ This completes the proof.

Proposition \[prop-jean-proper-map\] is interesting even for a group action. The result itself is no doubt known to experts, but is amusing none-the-less.

\[cor-jean-group\] Suppose that $G$ is a locally compact group acting properly on a space $X$. Then $X$ has at least one invariant measure with full support.


') = q(w)$. Hence there is a $ g\in 
 G$ such that $ g\cdot z'=w$. Note that $ r_{Z}(z')=s(g)$ and $ r(g)=r_{Z}(g\cdot z)=r_{Z}(w)=u$. Since $ \beta^{s(g)}$ has full documentation and since everything in view is continuous and non - negative, $ $ \Psi_{\phi}(g) = \int_{Z } f(g\cdot z)\phi(z)\,\beta^{s(g)}(z)>0.$$ Hence $ \nu^{u}(f)>0 $ and we have $ $ \operatorname*{supp}\nu^{u } = r_{Z}^{-1}(u).$$ 

 therefore to complete the proof of the theorem, we just necessitate to establish equivariance. But $ $ \begin{aligned } 
   \int_{Z } f(g'\cdot z)\,d\nu^{s(g')}(z) & = \int_{G}\int_{Z } 
   f(g'g\cdot z)\phi(z)\,d\beta^{s(g)}(z)\,d\lambda^{s(g')}(g) \\ 
 & = \int_{G}\Psi_{\phi}(f)(g'g)\,d\lambda^{s(g')}(g) \\ 
 \intertext{which, since $ \lambda$ is a Haar system on $ G$, is } 
 & = \int_{G}\Psi_{\phi}(g) \,d\lambda^{r(g')}(g) \\ 
 & = \int_{G}\int_{Z } f(g\cdot z)\phi(z)\,d\beta^{s(g)}(z) 
 \,d\lambda^{r(g')}(g) \\ 
 \intertext{which, since $ g'\cdot s(g')=r(g')$, is } 
 & = \int_{Z}f(z)\,d\nu^{g'\cdot s(g')}(z).\end{aligned}$$ This complete the proof. 

 Proposition   \[prop - jean - proper - map\ ] is interesting even for a group action. The resultant role itself is no doubt known to experts, but is amusing none - the - less. 

 \[cor - denim - group\ ] Suppose that $ G$ is a locally compact group act properly on a space $ X$. Then $ X$ accept at least one invariant measure with wide support.
')=q(w)$. Jence there is a $g\in
G$ sugh that $g\cdot z'=w$. Note tiat $r_{Z}(z')=a(g)$ and $r(e)=r_{Z}(g\cdot z)=r_{Z}(w)=u$. Since $\beta^{s(g)}$ ias dull wupport and since everhthing in sight iw coitinuous and non-isgative, $$\Psi_{\phj}(n) =\int_{V} h(g\cdot z)\phi(z)\,\bets^{s(g)}(z)>0.$$ Hence $\nu^{u}(f)>0$ and we hdvd $$\lperatorname*{supp}\nu^{u} = r_{Z}^{-1}(u).$$

Hence to coiplete yhf proof of the thepwem, sv must need to establish equivariahce. But $$\begin{aligned}
  \int_{Z} f(g'\cdot z)\,d\nu^{s(g')}(z) &= \int_{H}\int_{X}
  f(g'g\cdot z)\phi(z)\,d\bfta^{s(g)}(z)\,d\lambea^{s(g')}(d) \\
&= \int_{G}\Psi_{\phi}(w)(g'g)\,d\lambda^{s(g')}(g) \\
\intertexj{which, since $\lambda$ is a Haar syrtem pn $G$, is}
&= \inj_{Y}\Psi_{\ovi}(g) \,d\lambda^{c(g')}(g) \\
&=\inn_{G}\int_{Z} f(g\cdot z)\phi(z)\,d\bata^{s(g)}(z)
\,d\kambda^{r(g')}(g) \\
\intevtext{xhicy, since $g'\cdot s(g')=r(g')$, is}
&=\mnt_{Z}f(z)\,d\nu^{g'\cdot s(g')}(z).\enq{aligned}$$ Dhns completes the prood.

Peoposhtiot \[proo-heav-prkpxr-mzp\] is lntxresting evsn for a griup action. The resukt pyself is no soubt hnjwn to experts, but is amusing none-the-levs.

\[ckr-jean-group\] Suppose thar $G$ is a locally compwct group acting properly on a space $X$. Then $X$ has at least one mnxarnqnt mdqskre with full support.


')=q(w)$. Hence there is a $g\in G$ $g\cdot Note that and $r(g)=r_{Z}(g\cdot z)=r_{Z}(w)=u$. and everything in sight continuous and non-negative, =\int_{Z} f(g\cdot z)\phi(z)\,\beta^{s(g)}(z)>0.$$ Hence $\nu^{u}(f)>0$ and have $$\operatorname*{supp}\nu^{u} = r_{Z}^{-1}(u).$$ Hence to complete the proof of the theorem, we need to establish equivariance. But $$\begin{aligned} \int_{Z} f(g'\cdot z)\,d\nu^{s(g')}(z) &= \int_{G}\int_{Z} f(g'g\cdot z)\phi(z)\,d\beta^{s(g)}(z)\,d\lambda^{s(g')}(g) &= \\ since is a Haar system on $G$, is} &= \int_{G}\Psi_{\phi}(g) \,d\lambda^{r(g')}(g) \\ &=\int_{G}\int_{Z} f(g\cdot z)\phi(z)\,d\beta^{s(g)}(z) \,d\lambda^{r(g')}(g) \\ since $g'\cdot s(g')=r(g')$, is} &=\int_{Z}f(z)\,d\nu^{g'\cdot s(g')}(z).\end{aligned}$$ This completes proof. Proposition \[prop-jean-proper-map\] is even for a group action. result is no known experts, is amusing none-the-less. Suppose that $G$ is a locally compact group acting properly on a space $X$. Then $X$ has least one with full
')=q(w)$. Hence there is a $g\in
G$ such thAt $g\cdot z'=w$. NOte thAt $r_{z}(z')=s(G)$ aNd $r(g)=R_{Z}(g\cDot z)=r_{Z}(w)=u$. Since $\bETa^{s(g)}$ Has full support and since EveryThINg in SIgHt is cOntinuoUS aND Non-NeGaTivE, $$\PSI_{\pHi}(g) =\inT_{Z} f(G\cdot z)\pHi(z)\,\beta^{s(g)}(z)>0.$$ henCe $\Nu^{u}(f)>0$ and we havE $$\OpEratorname*{SupP}\nu^{u} = r_{Z}^{-1}(u).$$

Hence To cOmpletE tHe pROof of The TheorEm, we juST need tO establisH eQUivariANce. But $$\bEGIn{AligNed}
  \int_{Z} f(g'\cdot z)\,d\nu^{S(G')}(z) &= \INt_{G}\int_{Z}
  f(g'g\cdot Z)\phi(z)\,d\BeTA^{s(G)}(Z)\,D\laMbdA^{s(g')}(g) \\
&= \int_{G}\PsI_{\pHi}(f)(g'g)\,D\Lambda^{s(G')}(G) \\
\iNTERteXT{which, since $\laMbda$ is a Haar SYstEm on $G$, iS}
&= \iNt_{G}\pSi_{\phi}(g) \,D\lambDa^{R(G')}(g) \\
&=\iNt_{G}\int_{Z} f(g\cdOt z)\pHi(z)\,d\beta^{s(G)}(z)
\,d\lamBDa^{r(g')}(g) \\
\inTErtext{wHich, siNce $G'\cdOt s(g')=R(G')$, iS}
&=\iNt_{Z}F(z)\,D\Nu^{g'\CDoT s(g')}(Z).\End{Aligned}$$ THiS cOmpleTes tHE PROof.

PRopOsitIon \[prOp-jean-proper-mAp\] iS intEResTing eVen foR a grOuP actiOn. The rEsult ItSelf is no doubt knOwn tO experts, bUt iS aMusInG none-THe-less.

\[Cor-JeaN-group\] SUppose tHAt $G$ Is A LOCaLly compact group actInG PRoPerly on a Space $X$. tHeN $X$ HAs at leasT oNe iNvarIANt meaSure WItH full supPort.


')=q(w)$. Hence there is a  $g\in
G$suchtha t $ g\ cdot  z'= w$. Note that$ r_{Z }(z')=s(g)$ and $r(g)= r_{Z} (g \ cdot z) =r_{Z }(w)=u$ .  S i n ce$\ be ta^ {s ( g) }$ ha s f ull sup port and s inc eeverything i n  s ight is co nti nuous and no n-n egativ e,  $$ \ Psi_{ \ph i}(g)  =\int _ {Z} f( g\cdot z) \p h i(z)\, \ beta^{s ( g )} (z)> 0.$$ Hence $\nu^{ u }( f )>0$ and we ha ve $$\ op e ra t o rna me* {supp}\nu^ {u } = r _ {Z}^{-1 } (u ) . $ $
H ence to compl ete the pro o f o f theth eor e m, wejustne e d t o establish  equ ivariance . But$ $\begin { aligned }
  \i nt_ {Z}  f(g ' \c do t z )\ , d\n u ^{ s(g ' )}( z) &= \i nt _{ G}\in t_{Z } f(g' g\c dotz)\ph i(z)\,d\beta^ {s( g)}( z )\, d\lam bda^{ s(g' )} (g) \ \
&= \ int_{ G} \Psi_{\phi}(f)( g'g) \,d\lambd a^{ s( g') }( g) \\ \inter tex t{w hich, s ince $\ l amb da $ i sa Haar system on $ G$ , is }
&= \in t_{G}\ P si _{ \ phi}(g)\, d\l ambd a ^ {r(g' )}(g )  \ \
&=\int _{G}\i n t_ {Z } f(g\c do t z)\p hi (z) \,d \beta ^ {s(g )}(z)\,d\lamb da^{r ( g')}(g) \\
\in t ertext{which, si n c e$ g'\c dot  s(g')=r(g' )$,i s}
& =\in t _{ Z}f ( z)\,d \nu^{ g' \ cd o t s(g')}(z).\end{al ig ned}$$  This  completes th e proof.
P r o position  \[p r op - jean-proper-ma p\] i s interest i ng evenfor a  group a ction. Th e result i tse lfisnod o ub t known to ex p e rts,  b ut is a mus ing non e-t he- les s.
\ [cor-jean -group\]  S up po se  th at $G $  is a lo ca lly  c omp act g r oup ac tingprop er ly ona space $X $ .  The n$X $ ha s a tleast  one inv ariantmeasure w ith full  s up port.

')=q(w)$. Hence_there is_a $g\in
G$ such that_$g\cdot z'=w$._Note_that $r_{Z}(z')=s(g)$_and_$r(g)=r_{Z}(g\cdot z)=r_{Z}(w)=u$. Since_$\beta^{s(g)}$ has full_support and since everything_in sight is_continuous_and non-negative, $$\Psi_{\phi}(g) =\int_{Z} f(g\cdot z)\phi(z)\,\beta^{s(g)}(z)>0.$$ Hence $\nu^{u}(f)>0$ and we have $$\operatorname*{supp}\nu^{u} = r_{Z}^{-1}(u).$$

Hence_to_complete the_proof_of_the theorem, we just need_to establish equivariance. But $$\begin{aligned}
_ \int_{Z}_f(g'\cdot z)\,d\nu^{s(g')}(z) &= \int_{G}\int_{Z}
  f(g'g\cdot z)\phi(z)\,d\beta^{s(g)}(z)\,d\lambda^{s(g')}(g) \\
&=_\int_{G}\Psi_{\phi}(f)(g'g)\,d\lambda^{s(g')}(g)_\\
\intertext{which, since $\lambda$_is a Haar system on $G$, is}
&= \int_{G}\Psi_{\phi}(g) \,d\lambda^{r(g')}(g)_\\
&=\int_{G}\int_{Z} f(g\cdot z)\phi(z)\,d\beta^{s(g)}(z)
\,d\lambda^{r(g')}(g) \\
\intertext{which, since $g'\cdot_s(g')=r(g')$, is}
&=\int_{Z}f(z)\,d\nu^{g'\cdot s(g')}(z).\end{aligned}$$_This_completes_the proof.

Proposition \[prop-jean-proper-map\] is interesting_even for a group action. The_result itself is no doubt known_to experts, but is amusing none-the-less.

\[cor-jean-group\] Suppose_that $G$ is a locally compact_group acting properly on a_space $X$._Then $X$ has at least_one invariant measure_with full_support.

