x,y∈R^2＼{0}に同値関係〜を
x〜y :⇔ ∃λ∈R, x=λy
で定める

R^2/〜はハウスドルフか？R^2/〜はコンパクトか？

どうやってやるんですか？