2 problems

Proper-action characterization. The following are equivalent:

Let $\mathcal{G}$ be a compact quantum group acting on a compact Hausdorff space $X$. For $x\theta X$, let $rm Orb_x$ denote the orbit of $x$, let $rm supp\,\mu_x$ denote the suppo…