1
$\begingroup$

If f:E->B is a covering projection & B is completely regular then how E is also completely regular?

$\endgroup$
4
  • 7
    $\begingroup$ Have you tried math stackexchange? $\endgroup$ Nov 10, 2011 at 16:48
  • 3
    $\begingroup$ I think this is a good question, which would fit to MO if more background and motivation was given by the author. $\endgroup$ Nov 10, 2011 at 18:01
  • 1
    $\begingroup$ Not to mention the definition of what "completely regular" means. $\endgroup$
    – Igor Rivin
    Nov 10, 2011 at 19:00
  • $\begingroup$ I added some links to wikipedia for definitions. $\endgroup$ Nov 10, 2011 at 20:53

1 Answer 1

3
$\begingroup$

This is Exercise 6 on page 341 of Munkres's Topology (Second Edition). Indeed, if $B$ is Hausdorff, regular, completely regular, or locally compact Hausdorff then so is $E$. Here is the hint Munkres gives:

If {$V_\alpha$} is a partition of $p^{-1}(U)$ into slices and $C$ is a closed set of $B$ s.t. $C\subset U$, then $p^{-1}(C)\cap V_\alpha$ is a closed set of $E$.

Let's follow the hint. To prove $E$ is completely regular when $B$ is completely regular, it's enough to show that for any $e \in E$ and any neighborhood $V$ there is a continuous function $g : E \rightarrow [0,1]$ s.t. $g(e) = 1$ and $g(x)=0$ for all $x\not \in V$. If this holds then certainly for any closed set $C$ not containing $e$ we'll have a function taking $C$ to zero and $e$ to $1$, simply setting $V = E-C$ above.

To construct $g$, let $b = p(e)$ and $U = p(V)$. We may assume $U$ is evenly covered and $V$ is a slice above $U$, because if $U$ is not then simply take a subneighborhood of $b$ which is evenly covered. Because $B$ is completely regular, there is a map $f: B \rightarrow [0,1]$ s.t. $f(b) = 1$ and $f(x)=0$ for all $x\not \in U$. Let $W$ be the union of the slices other than $V$.

Define $g$ to equal $f \circ p$ on $V$ and to be $0$ on $E−V$. Then $g$ is equal to $f \circ p$ on $E−W$ because $f \circ p$ is $0$ outside $p^{−1}(U)$. Hence $g$ is continuous on the closed sets $E−V$ and $E−W$, and therefore on all of $E$.

$\endgroup$
3
  • $\begingroup$ i am so sorry that i could not do it with the hint.Can u please tell the details?thanks. $\endgroup$ Nov 11, 2011 at 3:34
  • $\begingroup$ Yes, but I don't have time till tonight (another 10 hours or so). If the question is still open at that time I'll fill it in. $\endgroup$ Nov 11, 2011 at 15:48
  • $\begingroup$ @Rekha: I finally got around to filling it in. Sorry it took so long...this week has been crazy for me! $\endgroup$ Nov 12, 2011 at 19:19

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.