4
$\begingroup$

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?

1 Answers 1

4

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$.

  • 1
    @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$.2013-08-15