Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

If $\tilde X$ is the product of $X$ with a discrete space, the projection $\tilde X \to X$ is a covering map.

This question seems really easy, but as I'm a beginner there are some things a little bit confusing.

In order to solve this question, let $Y$ be a set with the discrete topology, so we have to prove that $X\times Y\to X$ is a covering map, to do so, let $x$ be a point in $X$, then take any open set $U$ which $x$ is contained in to be our evenly covered open set by $p$, thus $p^{-1}(U)=U\times Y$.

Am I on the right way? I'm stuck here.

Thanks

share|improve this question

1 Answer 1

up vote 4 down vote accepted

Yes, you're basically there.

Take any point $x\in X$ and note that for an neighborhood $U$ of $x$ one has that $p^{-1}(U)=\bigcup_{d\in D}\{d\}\times U$ where $D$ is your discrete space. Now, each of the $\{d\}\times X$ is open, and $p\mid_{\{d\}\times X}$ is a homeomorphism. Thus you're done!

share|improve this answer
    
Why $p^{-1}(U)=\bigcup_{d\in D}\{d\}\times U$? why it isn't $p^{-1}(U)=Y\times U$? thank you for your answer :) –  user42912 Dec 9 '12 at 23:42

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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