0

this is an exercise from munkres topology book:

Let $p : X \rightarrow Y$ be a closed continuous surjective map. Then if $X$ is normal, prove that $Y$ is normal.

Munkres has left a hint:

first prove that if $p ^{−1} (y) \subset U$ where $U$ is an open subspace of $X$, then $p ^{−1} (W ) \subset U$ for some neighborhood $W \subset Y$ of $y$.

I've proved the hint, but I dont know how to continue.

help pls!

thank u!

Henno Brandsma
  • 250,824
user115608
  • 3,563

1 Answers1

2

If $A$ and $B$ are closed disjoint subsets of $Y$, then $A'=p^{-1}(A)$ and $B'=p^{-1}(B)$ are closed disjoint subsets of $X$, so they have disjoint open neighborhoods $U\supseteq A'$ and $V⊇B'$. Applying the hint, for each point $a\in A$, there's an open set $U_a$ containing $a$ so that $p^{-1}(U_a)\subseteq U$. Their union $\bigcup_A U_a$ is an open set around $A$. Can you finish it from here?

Stefan Hamcke
  • 28,621