The orbit space $\dfrac{\mathbb{R}^n}{\mathbb{R}^+}$ has an open subset homeomorphic to $S^{n-1}$

Hint 1: Show that $(\mathbb{R}^n - \{0\})/\mathbb{R}^+$ is homeomorphic to $S^{n-1}$.

Hint 2: Recall quotient topology. A set in the quotient space is closed iff. its inverse image under the quotient map is closed. Now, I claim that any nonempty subset of the quotient space which does not contain the image of the origin, cannot be closed. (This is because its inverse image under the quotient map will contain points arbitrarily close to the origin but not the origin. Hence the inverse image is not closed).

UPDATE: I will recall the following basic theorem from point-set topology (which is labeled as "Corollary 22.3" in Munkres's Topology).

Theorem. Let $X$, $Y$ be topological spaces, and $f : X \to Y$ be a continuous surjective map. Let $X^\ast$ denote the fiber space of $f$, ie., $X^\ast = \{f^{-1}(y) : y \in Y\}$. Let $q : X \to X^\ast$ be the quotient map and equip $X^\ast$ with the quotient topology. Then the induced map $\widetilde{f} : X^\ast \to Y$ is a homeomorphism iff. $f$ is a quotient map.

Put $X = \mathbb{R}^n-\{0\}$, $Y = S^{n-1}$ and $f : x \mapsto x/\|x\|$. It is easy to show that the fibers of this map are in one-to-one correspondence with the orbits of $\mathbb{R}^n -\{0\}$ under the $\mathbb{R}^+$ action. So $X^\ast$ is this case is $(\mathbb{R}^n -\{0\})/\mathbb{R}^+$.

Now, all that we need is to show that $f$ is a quotient map. I claim that $f$ is actually an open map. Here is a simple argument. In one of your comments you suggested that you have a homeomorphism $h : \mathbb{R^n}-\{0\} \to S^{n-1}\times\mathbb{R}^+$. Let $p_1 : S^{n-1}\times\mathbb{R}^+ \to S^{n-1}$ be the projection onto the first factor. Then it is easy to show that our map $f$ is the composition $p_1\circ h$. So, being a composition of open maps, $f$ itself is open. Hence $f$ is a quotient map (if a map is continuous, surjective and open then it is a quotient map). And so, by the theorem the induced map $\widetilde{f} : (\mathbb{R}^n -\{0\})/\mathbb{R}^+ \to S^{n-1}$ is a homeomorphism.

Tags:

Differential Geometry

Topological Groups

Manifolds

Related

Identity for categorical product is terminal? How to prove the concurrence of three lines? Give a reason why $\mathbb Z_{64}\times \mathbb Z_4$ and $\mathbb Z_{64}\times \mathbb Z_{2}\times \mathbb Z_{2}$ are not isomorphic. $i+j-1$ tokens on row $i$ column $j$ of square grid Can the plane be covered by open disjoint one dimensional intervals? Showing two measures are equal up to scalar multiplication. How many rectangles can be found in this shape? Given positive numbers $x_1,...,x_n$ such that $x_1\cdots x_n=1$ prove that $\frac{1}{n-1+x_1}+\cdots+\frac{1}{n-1+x_n}\le 1$ Expectation calculation of hypergeometric distribution with sampling without replacement Multivariable Chain Rule Formula doesn't make sense to me If $\sum_{n=1}^\infty\vert a_{n+k}-a_n\vert<\infty$, then $\{a_n\}_{n=1}^\infty$ has a convergent subsequence When two elements of a group generate the same subgroup

Recent Posts