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

  • 0
    Just for my understanding, is there a theorem that characterizes quotient maps in the Euclidean setting by being open? Because for general topological spaces being open is not necessary for a continuous surjection to be a quotient map.2012-12-15
  • 2
    @erlking: No, that’s not the point at all. The point is that by definition a set is open in the quotient topology iff its preimage is open in the original space.2012-12-15
  • 0
    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?2013-08-14
  • 0
    @Libertron: It’s a fairly obvious typo: it should be $|x|<\frac1k$. I’ve fixed it now.2013-08-14
  • 0
    Showing that $A$ is not open in $Y$ was not that difficult. However, when you say that we have to also show that $g^{-1}(A)$ is open in $X$, does this mean that we're trying to show that $g$ is continuous? I actually think you cannot do that, since it is already shown that $A$ is not open in $Y$, and to show continuity, we have to assume otherwise, right?2013-08-15
  • 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