1

I want to prove that a surjective, continuous and closed map is a quotient map. I know that a surjective map $p: X \longrightarrow Y$ is a quotient map if every set $V \subset Y$ is open $\Longleftrightarrow$ $p^{-1}(V)\subset X$ is open. Please note that $p^{-1}$ is the pre-image

Since we have continuity, one only has to prove the implication $\Longleftarrow$

Let $V\subset Y$ so that $p^{-1}(V)\subset X$ is open. $X\backslash p^{-1}(V)$ is closed and since $p$ is a closed map, $p(X\backslash p^{-1}(V))$ is closed. Here is where I get confused. If I knew that $p$ was injective, then I could keep going like this: $$p(X\backslash p^{-1}(V))=p(X)\backslash p(p^{-1}(V))$$ and since $p$ is surjective: $$p(X)\backslash p(p^{-1}(V))=Y\backslash V$$ and then we'd be done, because $Y\backslash V$ is closed and therefore $V$ is open. However, as I don't know if $p$ is injective I can't follow this path. Could someone help me?

kubo
  • 1,918

2 Answers2

1

$p: X \to Y$ is a quotient map iff

$C \subseteq Y$ is closed iff $p^{-1}[C]$ is closed in $X$ $(a)$.

(a reformulation in terms of closed sets; follows from the standard definition as $X\setminus p^{-1}[O] = p^{-1}[Y\setminus O]$ for any $O \subseteq Y$ and any map $p$)

So if $p$ is continuous and onto, we can show $\Rightarrow$ in $(a)$ by noting that $p$ is continuous and $\Leftarrow$ by noting that $p[p^{-1}[C]] = C$ as $p$ is onto and closed as $p$ is closed. So $(a)$ holds for $p$ and so $p$ is quotient.

Henno Brandsma
  • 242,131
  • Hi Henno. I don't see how does this differs from my answer (taking $C = V^c$). OP seemed to look for a way to conclude using their argument. – qualcuno Jan 11 '21 at 18:14
0

Since $p$ is surjective, you know that $pp^{-1}(A) = A$ for any $A \subset Y$. Thus

$$ V^c = p(p^{-1}(V^c)) = p(p^{-1}(V)^c) $$

is closed and we are done.

qualcuno
  • 17,121
  • When you say $p(p^{-1}(V^c)) = p(p^{-1}(V)^c) $ you are stating that $p(p^{-1}(X \backslash V)) = p(Y\backslash p^{-1}(V))$ and that is not true if $p$ is not injective – kubo Jan 11 '21 at 18:05
  • The equality $p^{-1}(A^c) = p^{-1}(A)^c$ is always true regardless of $p$ and $A$. Now apply $p$ again. – qualcuno Jan 11 '21 at 18:09
  • okay but that is not true if $p$ is not surjective. Think about it – kubo Jan 11 '21 at 18:15
  • 1
    It is still true if $p$ is not surjective. See here. Or think about it. – qualcuno Jan 11 '21 at 18:17