When does a quotient of a subset coincide with a quotient of a set by the action of a group? Let $G$ be a Lie group, $H < G$ a Lie subgroup. Let $X \subset G$. Under what sufficient conditions on $X$ is it true that the natural mapping $X/H \to G/H$ is a homeomorphism? And what conditions are necessary? (obvious: $X$ must intersect with every equivalence class)
In other words, I'm trying to learn how to compute quotients by subgroups actions. Sometimes we can take $X$ as a complete set of representatives. For example, if $G = \mathbb{R}^2$, $H = \mathbb{R}$, then we can take the graph of any continuous function. Or if $G = S^3$, $H = \{a + bi ~|~ a^2 + b^2 = 1\} \cong S^1$, then we can take as $X$ the subset of all elements of the form $a + bj + ck$ (thus $S^3/S^1 = S ^2$). Sometimes this is impossible: for example, if $G = S^1$, $H = C_n$, then the best we can take is an arc (in which it remains to identify more extreme points), and any complete set of representatives does not have some important good properties for this (unknown to me).
I'm not interested in complete sets of representatives , I just illustrated the question on them: I'm interested in any ways of calculating the quotient.
Update (01.02.2022, 22:34). In the second example, $X$ is not a complete sets of representatives: it is necessary to identify the opposite points of the sphere and identify the whole circle $a = 0$, after which the two-dimensional sphere $S^2$ will again be obtained.
 A: Throught I will assume (just like you did) that $X$ meets every equivalence class. Next since $H$ does not necessarily act on $X$, I will define $X/H$ as the quotient via $x\sim y$ iff $xH=yH$ relationship. Then we have an induced continuous bijection
$$f:X/H\to G/H$$
$$f([x]):=xH$$
So when is that a homeomorphism? There are at least two important cases that cover all your examples:

*

*If $X/H$ is a manifold (which implicitly implies that $H$ is closed) of the same dimension as $G/H$ is, then this map is a homeomorphism. In general a continuous bijection between manifolds of the same dimension is a homeomorphism. Which is a consequence of the invariance of domain.

*If $H$ is closed then $G/H$ is Hausdorff. If additionaly $X/H$ is compact then we can apply the fact that a continuous bijection from compact to Hausdorff is a homeomorphism. In particular this holds always when $G$ is compact and both $X$ and $H$ are closed.

Both cover all your examples and I'm not aware of other interesting conditions for that to happen.
