I am trying to prove the following:
Let $G$ be a topological group acting properly on a Hausdorff locally compact space $X$, i.e. preimages of compacts sets by the map $$G\times X\to X\times X$$ $$(g,x)\mapsto (gx,x)$$ are compacts. Then the quotient $X/G$ is Hausdorff.
Take $x,x'\in X$ such that $Gx\not=Gx'$.
- By using that X is Hausdorff locally compact and property of the action, I found $V_1,V_2$ disjoint open set with compact closure and $H\subset G$ compact, such that $x\in V_1,y'\in V_2$ and $$(G-H)\overline{V_1}\cap \overline{V_2}=\varnothing.$$
- So now we need to work on $H$. Since $x'\in (Hx)^c\cap V_2$ open, there exists $x'A_2\subset V_2$ such that $$A_2\cap Hx=\varnothing.$$ It implies that $x\in (H^{-1}A_2)^c\cap V_1$.
- Now, I'd like to find as before $x\in A_1\subset V_1$ open such that $$A_1\cap H^{-1}A_2=\varnothing,$$ which would be enough to conclude. But $H^{-1}A_2$ is not closed like $Hx$, so I'm stuck...
Are my first ideas correct ? Is there a way to exit this dead end ?