# A continuous surjection that is not a quotient map

I was going through an old topology prelim, and encountered a question which I'm really not sure how I should work out. Here it is:

Suppose we let $X = \mathbb{R} \times \{3,4,…\} \subset \mathbb{R}^2$. Now let $L_{\theta} \subset \mathbb{R}^2$ be the line through the origin with slope $\tan \theta$, i.e. the directed angle from the positive $x$-axis to $L_{\theta}$ is $\theta$. Further, we let $$Y= \bigcup_{i \geq 3} L_{\pi/i}.$$ Also, we define $g: X \rightarrow Y$ by $g(x,i)= (x, x\tan(\pi/i))$. We have to show that $g$ is a continuous surjection, but not a quotient map. Any ideas how I should approach this?

Proving that $g$ is a continuous surjection is straightforward. Note also that $g$ is almost a bijection: the origin is the only point of $Y$ that has more than one pre-image under $g$. Thus, you can expect that this point will be significant in showing that $g$ is not a quotient map.
To show this, let $$A=\left\{\left\langle x,x\tan\frac{\pi}k\right\rangle\in Y:|x|<\frac1k\right\}\;,$$
and show that $A$ is not open in $Y$, but $g^{-1}[A]$ is open in $X$.
• I don't understand the inequality $|k| < \frac{1}{k}$. I believe $k$ is an integer greater than or equal to $3$, and that is why I am somewhat confused. Can you please clarify that? Aug 14, 2013 at 23:32
• @Libertron: No, it does not mean showing that $g$ is continuous. It means only what it says: show that the set $g^{-1}[A]$ is open in $X$. Do this by seeing exactly what the set $g^{-1}[A]$ is, and verifying that it is indeed open in the space $X$. Aug 15, 2013 at 16:48
• @SubhajitPaul: Yes, $\langle x,y\rangle$ is my preferred notation for the ordered pair; it is quite common in set theory, and I prefer it elsewhere because parentheses have more than enough other meanings in mathematics. And yes, $k$ ranges over the integers greater than $2$. Jun 6, 2021 at 19:21