If a covering map has a section, is it a $1$-fold cover?












7












$begingroup$


If $q: Erightarrow X$ is a covering map that has a section (i.e. $f: Xrightarrow E, qcirc f=Id_X$) does that imply that $E$ is a $1$-fold cover?










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    Does it have only one section?
    $endgroup$
    – Andy
    Dec 12 '12 at 9:07






  • 2




    $begingroup$
    Well, what if $E = X amalg X$?
    $endgroup$
    – Zhen Lin
    Dec 12 '12 at 9:31










  • $begingroup$
    @ZhenLin: I forgot to add that $E$ has to be connected...because that obviously would not hold in case $E$ is not connected, as you pointed out.
    $endgroup$
    – hesiar
    Dec 12 '12 at 16:31












  • $begingroup$
    @Andy I'm not sure how that makes a difference?
    $endgroup$
    – hesiar
    Dec 12 '12 at 16:36










  • $begingroup$
    Well, think about $mathbb{R}$ covering $S^1$, or $mathbb{C}setminus { 0 }$ covering itself with the map $z mapsto z^n$.
    $endgroup$
    – Andy
    Dec 12 '12 at 17:49
















7












$begingroup$


If $q: Erightarrow X$ is a covering map that has a section (i.e. $f: Xrightarrow E, qcirc f=Id_X$) does that imply that $E$ is a $1$-fold cover?










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    Does it have only one section?
    $endgroup$
    – Andy
    Dec 12 '12 at 9:07






  • 2




    $begingroup$
    Well, what if $E = X amalg X$?
    $endgroup$
    – Zhen Lin
    Dec 12 '12 at 9:31










  • $begingroup$
    @ZhenLin: I forgot to add that $E$ has to be connected...because that obviously would not hold in case $E$ is not connected, as you pointed out.
    $endgroup$
    – hesiar
    Dec 12 '12 at 16:31












  • $begingroup$
    @Andy I'm not sure how that makes a difference?
    $endgroup$
    – hesiar
    Dec 12 '12 at 16:36










  • $begingroup$
    Well, think about $mathbb{R}$ covering $S^1$, or $mathbb{C}setminus { 0 }$ covering itself with the map $z mapsto z^n$.
    $endgroup$
    – Andy
    Dec 12 '12 at 17:49














7












7








7


3



$begingroup$


If $q: Erightarrow X$ is a covering map that has a section (i.e. $f: Xrightarrow E, qcirc f=Id_X$) does that imply that $E$ is a $1$-fold cover?










share|cite|improve this question











$endgroup$




If $q: Erightarrow X$ is a covering map that has a section (i.e. $f: Xrightarrow E, qcirc f=Id_X$) does that imply that $E$ is a $1$-fold cover?







general-topology algebraic-topology covering-spaces






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 20 '16 at 1:47









Balarka Sen

10.2k13056




10.2k13056










asked Dec 12 '12 at 8:21









hesiarhesiar

362




362








  • 1




    $begingroup$
    Does it have only one section?
    $endgroup$
    – Andy
    Dec 12 '12 at 9:07






  • 2




    $begingroup$
    Well, what if $E = X amalg X$?
    $endgroup$
    – Zhen Lin
    Dec 12 '12 at 9:31










  • $begingroup$
    @ZhenLin: I forgot to add that $E$ has to be connected...because that obviously would not hold in case $E$ is not connected, as you pointed out.
    $endgroup$
    – hesiar
    Dec 12 '12 at 16:31












  • $begingroup$
    @Andy I'm not sure how that makes a difference?
    $endgroup$
    – hesiar
    Dec 12 '12 at 16:36










  • $begingroup$
    Well, think about $mathbb{R}$ covering $S^1$, or $mathbb{C}setminus { 0 }$ covering itself with the map $z mapsto z^n$.
    $endgroup$
    – Andy
    Dec 12 '12 at 17:49














  • 1




    $begingroup$
    Does it have only one section?
    $endgroup$
    – Andy
    Dec 12 '12 at 9:07






  • 2




    $begingroup$
    Well, what if $E = X amalg X$?
    $endgroup$
    – Zhen Lin
    Dec 12 '12 at 9:31










  • $begingroup$
    @ZhenLin: I forgot to add that $E$ has to be connected...because that obviously would not hold in case $E$ is not connected, as you pointed out.
    $endgroup$
    – hesiar
    Dec 12 '12 at 16:31












  • $begingroup$
    @Andy I'm not sure how that makes a difference?
    $endgroup$
    – hesiar
    Dec 12 '12 at 16:36










  • $begingroup$
    Well, think about $mathbb{R}$ covering $S^1$, or $mathbb{C}setminus { 0 }$ covering itself with the map $z mapsto z^n$.
    $endgroup$
    – Andy
    Dec 12 '12 at 17:49








1




1




$begingroup$
Does it have only one section?
$endgroup$
– Andy
Dec 12 '12 at 9:07




$begingroup$
Does it have only one section?
$endgroup$
– Andy
Dec 12 '12 at 9:07




2




2




$begingroup$
Well, what if $E = X amalg X$?
$endgroup$
– Zhen Lin
Dec 12 '12 at 9:31




$begingroup$
Well, what if $E = X amalg X$?
$endgroup$
– Zhen Lin
Dec 12 '12 at 9:31












$begingroup$
@ZhenLin: I forgot to add that $E$ has to be connected...because that obviously would not hold in case $E$ is not connected, as you pointed out.
$endgroup$
– hesiar
Dec 12 '12 at 16:31






$begingroup$
@ZhenLin: I forgot to add that $E$ has to be connected...because that obviously would not hold in case $E$ is not connected, as you pointed out.
$endgroup$
– hesiar
Dec 12 '12 at 16:31














$begingroup$
@Andy I'm not sure how that makes a difference?
$endgroup$
– hesiar
Dec 12 '12 at 16:36




$begingroup$
@Andy I'm not sure how that makes a difference?
$endgroup$
– hesiar
Dec 12 '12 at 16:36












$begingroup$
Well, think about $mathbb{R}$ covering $S^1$, or $mathbb{C}setminus { 0 }$ covering itself with the map $z mapsto z^n$.
$endgroup$
– Andy
Dec 12 '12 at 17:49




$begingroup$
Well, think about $mathbb{R}$ covering $S^1$, or $mathbb{C}setminus { 0 }$ covering itself with the map $z mapsto z^n$.
$endgroup$
– Andy
Dec 12 '12 at 17:49










3 Answers
3






active

oldest

votes


















5












$begingroup$

It follows from your assumptions that $q$ is a 1-sheeted and is a homeomorphism. I'm going to call the map $pi$ instead of $q$ for the rest of this post.



Assume we have a covering $pi:Xrightarrow Y$ and $f:Yrightarrow X$ with $picirc f = Id_X$.



I claim that $f(Y)$ is both open and closed in $X$.



To see it, for any $hat{p}in X$, let $p = pi(hat{p})$. Choose a neighborhood $U$ around $p$ for which $pi$ trivializes: $pi^{-1}(U) = coprod V_alpha$ with $pi|_{V_alpha}$ a homeomoprhism. and let $V$ be the particular $V_alpha$ containing $hat{p}$.



Now, if $hat{p}in f(Y)$, then $Vsubseteq f(Y)$. This follows from considering the inclusion $i:Urightarrow Y$. Since both $f|_{U}$ and $pi^{-1}|_{U}$ are lifts of this inclusion agreeing at $hat{p}$, they must agree on all of $U$. It follows that $V=pi^{-1}(U) = f(U)$ as claimed. This shows $f(Y)$ is open.



If, on the other hand $hat{p}notin f(Y)$, a very similar argument shows that $Vcap f(Y) = emptyset$, showing that $f(Y)^c$ is open, that is, that $f(Y)$ is closed.



Putting this together, $f(Y)$ is open and closed. Hence, it is a connected component of $X$. If $X$ itself is connected, this implies $f(Y) = X$ which implies that $pi$ is a homeomorphism with inverse $f$ so, is in particular, 1 sheeted.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Haruki, in comments to his own answer above, says s/he thinks there may be a typo in this answer. I don't see one, but perhaps someone else does?
    $endgroup$
    – Jason DeVito
    Jan 19 '13 at 0:11






  • 1




    $begingroup$
    Do $f|_U$ and $pi^{-1}|_U$ agree on all of $U$, even if $U$ is not connected? I know about the unique lifting property (see Hatcher, p.62), but it only works if $U$ is connected.
    $endgroup$
    – Stefan Hamcke
    Feb 18 '13 at 17:14








  • 1




    $begingroup$
    @Stefan: I think you're right that if $U$ is disconnected, there could be a problem. On the other hand, I think a decent amount of covering space theory falls apart if one doesn't have nice enough spaces. For example, as you mention, Hatcher requires spaces to be locally path connected (which is enough to save my argument since we can shrink $U$ to be path-connected in this case). I think being locally path connected is also necessary to guarantee the existence of universal covers (it's certainly necessary in the usual proof). But thanks for pointing that out!
    $endgroup$
    – Jason DeVito
    Feb 18 '13 at 18:15












  • $begingroup$
    @Stefan: So, in short, I guess I'm assuming the "usual" hypothesis on $Y$. In more detail, I think the only nontrivial property I'm assuming on $Y$ is that it is locally path connected, but there could be something else hidden somewhere.
    $endgroup$
    – Jason DeVito
    Feb 18 '13 at 18:17












  • $begingroup$
    As Stefan Hamcke pointed out, you need $U$ connected. But that is all, thus it suffices to assume that $Y$ is locally connected which is somewhat weaker than locally path connected.
    $endgroup$
    – Paul Frost
    Jan 7 at 16:03



















1












$begingroup$

Why an answer to a six year old question? Simply because it is an interesting question and the existing answer applies only under the assumption that $X$ is locally connected.



Without any local niceness assumption we shall prove:



Let $q : E to X$ be a covering map with connected domain $E$. If $p$ has a section $f : X to E$, then $p$ is a $1$-fold covering (which is the same as a homeomorphism).



The answer is given as a community wiki because the essential idea is contained in the question Section of a covering projection from a connected space which was closed as a duplicate of the present one.



Let us first observe that $1$-fold coverings are nothing else than homeomorphisms. A $1$-fold covering is obviously a bijection. Since all coverings are open maps, we see that $1$-fold coverings are homeomorphisms. The converse is trivial.



To prove that $q$ is a homeomorphism, it suffices to show that $f(X) = E$. Then $f circ q circ f = f circ id_X = f = id_E circ f$ which implies $f circ q = id_E$ because $f$ is surjective.



$f(X) = E$ will be proved by showing that $f(X)$ is open and closed in $E$.



Let $y in E$. There exists an open neigborhood $U$ of $q(y)$ in $X$ which is evenly covered, i.e. we have $q^{-1}(U) = bigcup_{alpha in A} U_alpha$ with pairwise disjoint open $U_alpha subset E$ such that the restrictions $q_alpha : U_alpha to U$ are homeomorphisms.



Let $alpha(y)$ be the unique index such that $f(q(y)) in U_{alpha(y)}$. Since $f$ is continuous, there exists an open neighborhood $U' subset U$ of $q(y)$ such that $f(U') subset U_{alpha(y)}$. Obviously $q_{alpha(y)}(f(U')) = U'$, hence $f(U') = (q_{alpha(y)})^{-1}(U')$.



As a subset of $U$ also $U'$ is evenly covered, with decomposition $q^{-1}(U') = bigcup_{alpha in A} U'_alpha$, where $U'_alpha = U_alpha cap q^{-1}(U') = q_alpha^{-1}(U')$.



By construction $q^{-1}(U') cap f(X) = f(U') = U'_{alpha(y)}$.



If $y in f(X)$, we have $y in q^{-1}(U') cap f(X) = U'_{alpha(y)}$ which is an open subset of $E$ contained in $f(X)$. This shows that $f(X)$ is open.



If $y notin f(X)$, we have $y in q^{-1}(U') setminus f(X) = bigcup_{alpha in A setminus { alpha(y)}} U'_alpha$ which is an open subset of $E$ not intersecting $f(X)$. This shows that $f(X)$ is closed.






share|cite|improve this answer











$endgroup$





















    -2












    $begingroup$

    A connected covering space $f:Erightarrow X$ admits no section ( global section) unless $f$ is a homeomorphism.



    Edit: looking @Andy's post I'm not so sure of what I said now.






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      @rschwieb I'm not sure i understand what you are implying?
      $endgroup$
      – Haruki
      Dec 12 '12 at 18:49










    • $begingroup$
      Your edit says you were looking at "Andy's post," but now I see you meant that it cast doubt on your solution, not that you were addressing it. Nevermind!
      $endgroup$
      – rschwieb
      Dec 12 '12 at 18:57










    • $begingroup$
      @rschwieb yes,it cast doubt on my solution...I am no longer sure that what I said holds...maybe you could shed some light.
      $endgroup$
      – Haruki
      Dec 12 '12 at 18:59










    • $begingroup$
      Nope, not familiar enough with the terms :) Good luck!
      $endgroup$
      – rschwieb
      Dec 12 '12 at 19:00










    • $begingroup$
      Ok. Maybe someone else could give a more thorough explanation!
      $endgroup$
      – Haruki
      Dec 12 '12 at 19:39











    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f256951%2fif-a-covering-map-has-a-section-is-it-a-1-fold-cover%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    3 Answers
    3






    active

    oldest

    votes








    3 Answers
    3






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    5












    $begingroup$

    It follows from your assumptions that $q$ is a 1-sheeted and is a homeomorphism. I'm going to call the map $pi$ instead of $q$ for the rest of this post.



    Assume we have a covering $pi:Xrightarrow Y$ and $f:Yrightarrow X$ with $picirc f = Id_X$.



    I claim that $f(Y)$ is both open and closed in $X$.



    To see it, for any $hat{p}in X$, let $p = pi(hat{p})$. Choose a neighborhood $U$ around $p$ for which $pi$ trivializes: $pi^{-1}(U) = coprod V_alpha$ with $pi|_{V_alpha}$ a homeomoprhism. and let $V$ be the particular $V_alpha$ containing $hat{p}$.



    Now, if $hat{p}in f(Y)$, then $Vsubseteq f(Y)$. This follows from considering the inclusion $i:Urightarrow Y$. Since both $f|_{U}$ and $pi^{-1}|_{U}$ are lifts of this inclusion agreeing at $hat{p}$, they must agree on all of $U$. It follows that $V=pi^{-1}(U) = f(U)$ as claimed. This shows $f(Y)$ is open.



    If, on the other hand $hat{p}notin f(Y)$, a very similar argument shows that $Vcap f(Y) = emptyset$, showing that $f(Y)^c$ is open, that is, that $f(Y)$ is closed.



    Putting this together, $f(Y)$ is open and closed. Hence, it is a connected component of $X$. If $X$ itself is connected, this implies $f(Y) = X$ which implies that $pi$ is a homeomorphism with inverse $f$ so, is in particular, 1 sheeted.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Haruki, in comments to his own answer above, says s/he thinks there may be a typo in this answer. I don't see one, but perhaps someone else does?
      $endgroup$
      – Jason DeVito
      Jan 19 '13 at 0:11






    • 1




      $begingroup$
      Do $f|_U$ and $pi^{-1}|_U$ agree on all of $U$, even if $U$ is not connected? I know about the unique lifting property (see Hatcher, p.62), but it only works if $U$ is connected.
      $endgroup$
      – Stefan Hamcke
      Feb 18 '13 at 17:14








    • 1




      $begingroup$
      @Stefan: I think you're right that if $U$ is disconnected, there could be a problem. On the other hand, I think a decent amount of covering space theory falls apart if one doesn't have nice enough spaces. For example, as you mention, Hatcher requires spaces to be locally path connected (which is enough to save my argument since we can shrink $U$ to be path-connected in this case). I think being locally path connected is also necessary to guarantee the existence of universal covers (it's certainly necessary in the usual proof). But thanks for pointing that out!
      $endgroup$
      – Jason DeVito
      Feb 18 '13 at 18:15












    • $begingroup$
      @Stefan: So, in short, I guess I'm assuming the "usual" hypothesis on $Y$. In more detail, I think the only nontrivial property I'm assuming on $Y$ is that it is locally path connected, but there could be something else hidden somewhere.
      $endgroup$
      – Jason DeVito
      Feb 18 '13 at 18:17












    • $begingroup$
      As Stefan Hamcke pointed out, you need $U$ connected. But that is all, thus it suffices to assume that $Y$ is locally connected which is somewhat weaker than locally path connected.
      $endgroup$
      – Paul Frost
      Jan 7 at 16:03
















    5












    $begingroup$

    It follows from your assumptions that $q$ is a 1-sheeted and is a homeomorphism. I'm going to call the map $pi$ instead of $q$ for the rest of this post.



    Assume we have a covering $pi:Xrightarrow Y$ and $f:Yrightarrow X$ with $picirc f = Id_X$.



    I claim that $f(Y)$ is both open and closed in $X$.



    To see it, for any $hat{p}in X$, let $p = pi(hat{p})$. Choose a neighborhood $U$ around $p$ for which $pi$ trivializes: $pi^{-1}(U) = coprod V_alpha$ with $pi|_{V_alpha}$ a homeomoprhism. and let $V$ be the particular $V_alpha$ containing $hat{p}$.



    Now, if $hat{p}in f(Y)$, then $Vsubseteq f(Y)$. This follows from considering the inclusion $i:Urightarrow Y$. Since both $f|_{U}$ and $pi^{-1}|_{U}$ are lifts of this inclusion agreeing at $hat{p}$, they must agree on all of $U$. It follows that $V=pi^{-1}(U) = f(U)$ as claimed. This shows $f(Y)$ is open.



    If, on the other hand $hat{p}notin f(Y)$, a very similar argument shows that $Vcap f(Y) = emptyset$, showing that $f(Y)^c$ is open, that is, that $f(Y)$ is closed.



    Putting this together, $f(Y)$ is open and closed. Hence, it is a connected component of $X$. If $X$ itself is connected, this implies $f(Y) = X$ which implies that $pi$ is a homeomorphism with inverse $f$ so, is in particular, 1 sheeted.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Haruki, in comments to his own answer above, says s/he thinks there may be a typo in this answer. I don't see one, but perhaps someone else does?
      $endgroup$
      – Jason DeVito
      Jan 19 '13 at 0:11






    • 1




      $begingroup$
      Do $f|_U$ and $pi^{-1}|_U$ agree on all of $U$, even if $U$ is not connected? I know about the unique lifting property (see Hatcher, p.62), but it only works if $U$ is connected.
      $endgroup$
      – Stefan Hamcke
      Feb 18 '13 at 17:14








    • 1




      $begingroup$
      @Stefan: I think you're right that if $U$ is disconnected, there could be a problem. On the other hand, I think a decent amount of covering space theory falls apart if one doesn't have nice enough spaces. For example, as you mention, Hatcher requires spaces to be locally path connected (which is enough to save my argument since we can shrink $U$ to be path-connected in this case). I think being locally path connected is also necessary to guarantee the existence of universal covers (it's certainly necessary in the usual proof). But thanks for pointing that out!
      $endgroup$
      – Jason DeVito
      Feb 18 '13 at 18:15












    • $begingroup$
      @Stefan: So, in short, I guess I'm assuming the "usual" hypothesis on $Y$. In more detail, I think the only nontrivial property I'm assuming on $Y$ is that it is locally path connected, but there could be something else hidden somewhere.
      $endgroup$
      – Jason DeVito
      Feb 18 '13 at 18:17












    • $begingroup$
      As Stefan Hamcke pointed out, you need $U$ connected. But that is all, thus it suffices to assume that $Y$ is locally connected which is somewhat weaker than locally path connected.
      $endgroup$
      – Paul Frost
      Jan 7 at 16:03














    5












    5








    5





    $begingroup$

    It follows from your assumptions that $q$ is a 1-sheeted and is a homeomorphism. I'm going to call the map $pi$ instead of $q$ for the rest of this post.



    Assume we have a covering $pi:Xrightarrow Y$ and $f:Yrightarrow X$ with $picirc f = Id_X$.



    I claim that $f(Y)$ is both open and closed in $X$.



    To see it, for any $hat{p}in X$, let $p = pi(hat{p})$. Choose a neighborhood $U$ around $p$ for which $pi$ trivializes: $pi^{-1}(U) = coprod V_alpha$ with $pi|_{V_alpha}$ a homeomoprhism. and let $V$ be the particular $V_alpha$ containing $hat{p}$.



    Now, if $hat{p}in f(Y)$, then $Vsubseteq f(Y)$. This follows from considering the inclusion $i:Urightarrow Y$. Since both $f|_{U}$ and $pi^{-1}|_{U}$ are lifts of this inclusion agreeing at $hat{p}$, they must agree on all of $U$. It follows that $V=pi^{-1}(U) = f(U)$ as claimed. This shows $f(Y)$ is open.



    If, on the other hand $hat{p}notin f(Y)$, a very similar argument shows that $Vcap f(Y) = emptyset$, showing that $f(Y)^c$ is open, that is, that $f(Y)$ is closed.



    Putting this together, $f(Y)$ is open and closed. Hence, it is a connected component of $X$. If $X$ itself is connected, this implies $f(Y) = X$ which implies that $pi$ is a homeomorphism with inverse $f$ so, is in particular, 1 sheeted.






    share|cite|improve this answer









    $endgroup$



    It follows from your assumptions that $q$ is a 1-sheeted and is a homeomorphism. I'm going to call the map $pi$ instead of $q$ for the rest of this post.



    Assume we have a covering $pi:Xrightarrow Y$ and $f:Yrightarrow X$ with $picirc f = Id_X$.



    I claim that $f(Y)$ is both open and closed in $X$.



    To see it, for any $hat{p}in X$, let $p = pi(hat{p})$. Choose a neighborhood $U$ around $p$ for which $pi$ trivializes: $pi^{-1}(U) = coprod V_alpha$ with $pi|_{V_alpha}$ a homeomoprhism. and let $V$ be the particular $V_alpha$ containing $hat{p}$.



    Now, if $hat{p}in f(Y)$, then $Vsubseteq f(Y)$. This follows from considering the inclusion $i:Urightarrow Y$. Since both $f|_{U}$ and $pi^{-1}|_{U}$ are lifts of this inclusion agreeing at $hat{p}$, they must agree on all of $U$. It follows that $V=pi^{-1}(U) = f(U)$ as claimed. This shows $f(Y)$ is open.



    If, on the other hand $hat{p}notin f(Y)$, a very similar argument shows that $Vcap f(Y) = emptyset$, showing that $f(Y)^c$ is open, that is, that $f(Y)$ is closed.



    Putting this together, $f(Y)$ is open and closed. Hence, it is a connected component of $X$. If $X$ itself is connected, this implies $f(Y) = X$ which implies that $pi$ is a homeomorphism with inverse $f$ so, is in particular, 1 sheeted.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Dec 12 '12 at 20:45









    Jason DeVitoJason DeVito

    31k475136




    31k475136












    • $begingroup$
      Haruki, in comments to his own answer above, says s/he thinks there may be a typo in this answer. I don't see one, but perhaps someone else does?
      $endgroup$
      – Jason DeVito
      Jan 19 '13 at 0:11






    • 1




      $begingroup$
      Do $f|_U$ and $pi^{-1}|_U$ agree on all of $U$, even if $U$ is not connected? I know about the unique lifting property (see Hatcher, p.62), but it only works if $U$ is connected.
      $endgroup$
      – Stefan Hamcke
      Feb 18 '13 at 17:14








    • 1




      $begingroup$
      @Stefan: I think you're right that if $U$ is disconnected, there could be a problem. On the other hand, I think a decent amount of covering space theory falls apart if one doesn't have nice enough spaces. For example, as you mention, Hatcher requires spaces to be locally path connected (which is enough to save my argument since we can shrink $U$ to be path-connected in this case). I think being locally path connected is also necessary to guarantee the existence of universal covers (it's certainly necessary in the usual proof). But thanks for pointing that out!
      $endgroup$
      – Jason DeVito
      Feb 18 '13 at 18:15












    • $begingroup$
      @Stefan: So, in short, I guess I'm assuming the "usual" hypothesis on $Y$. In more detail, I think the only nontrivial property I'm assuming on $Y$ is that it is locally path connected, but there could be something else hidden somewhere.
      $endgroup$
      – Jason DeVito
      Feb 18 '13 at 18:17












    • $begingroup$
      As Stefan Hamcke pointed out, you need $U$ connected. But that is all, thus it suffices to assume that $Y$ is locally connected which is somewhat weaker than locally path connected.
      $endgroup$
      – Paul Frost
      Jan 7 at 16:03


















    • $begingroup$
      Haruki, in comments to his own answer above, says s/he thinks there may be a typo in this answer. I don't see one, but perhaps someone else does?
      $endgroup$
      – Jason DeVito
      Jan 19 '13 at 0:11






    • 1




      $begingroup$
      Do $f|_U$ and $pi^{-1}|_U$ agree on all of $U$, even if $U$ is not connected? I know about the unique lifting property (see Hatcher, p.62), but it only works if $U$ is connected.
      $endgroup$
      – Stefan Hamcke
      Feb 18 '13 at 17:14








    • 1




      $begingroup$
      @Stefan: I think you're right that if $U$ is disconnected, there could be a problem. On the other hand, I think a decent amount of covering space theory falls apart if one doesn't have nice enough spaces. For example, as you mention, Hatcher requires spaces to be locally path connected (which is enough to save my argument since we can shrink $U$ to be path-connected in this case). I think being locally path connected is also necessary to guarantee the existence of universal covers (it's certainly necessary in the usual proof). But thanks for pointing that out!
      $endgroup$
      – Jason DeVito
      Feb 18 '13 at 18:15












    • $begingroup$
      @Stefan: So, in short, I guess I'm assuming the "usual" hypothesis on $Y$. In more detail, I think the only nontrivial property I'm assuming on $Y$ is that it is locally path connected, but there could be something else hidden somewhere.
      $endgroup$
      – Jason DeVito
      Feb 18 '13 at 18:17












    • $begingroup$
      As Stefan Hamcke pointed out, you need $U$ connected. But that is all, thus it suffices to assume that $Y$ is locally connected which is somewhat weaker than locally path connected.
      $endgroup$
      – Paul Frost
      Jan 7 at 16:03
















    $begingroup$
    Haruki, in comments to his own answer above, says s/he thinks there may be a typo in this answer. I don't see one, but perhaps someone else does?
    $endgroup$
    – Jason DeVito
    Jan 19 '13 at 0:11




    $begingroup$
    Haruki, in comments to his own answer above, says s/he thinks there may be a typo in this answer. I don't see one, but perhaps someone else does?
    $endgroup$
    – Jason DeVito
    Jan 19 '13 at 0:11




    1




    1




    $begingroup$
    Do $f|_U$ and $pi^{-1}|_U$ agree on all of $U$, even if $U$ is not connected? I know about the unique lifting property (see Hatcher, p.62), but it only works if $U$ is connected.
    $endgroup$
    – Stefan Hamcke
    Feb 18 '13 at 17:14






    $begingroup$
    Do $f|_U$ and $pi^{-1}|_U$ agree on all of $U$, even if $U$ is not connected? I know about the unique lifting property (see Hatcher, p.62), but it only works if $U$ is connected.
    $endgroup$
    – Stefan Hamcke
    Feb 18 '13 at 17:14






    1




    1




    $begingroup$
    @Stefan: I think you're right that if $U$ is disconnected, there could be a problem. On the other hand, I think a decent amount of covering space theory falls apart if one doesn't have nice enough spaces. For example, as you mention, Hatcher requires spaces to be locally path connected (which is enough to save my argument since we can shrink $U$ to be path-connected in this case). I think being locally path connected is also necessary to guarantee the existence of universal covers (it's certainly necessary in the usual proof). But thanks for pointing that out!
    $endgroup$
    – Jason DeVito
    Feb 18 '13 at 18:15






    $begingroup$
    @Stefan: I think you're right that if $U$ is disconnected, there could be a problem. On the other hand, I think a decent amount of covering space theory falls apart if one doesn't have nice enough spaces. For example, as you mention, Hatcher requires spaces to be locally path connected (which is enough to save my argument since we can shrink $U$ to be path-connected in this case). I think being locally path connected is also necessary to guarantee the existence of universal covers (it's certainly necessary in the usual proof). But thanks for pointing that out!
    $endgroup$
    – Jason DeVito
    Feb 18 '13 at 18:15














    $begingroup$
    @Stefan: So, in short, I guess I'm assuming the "usual" hypothesis on $Y$. In more detail, I think the only nontrivial property I'm assuming on $Y$ is that it is locally path connected, but there could be something else hidden somewhere.
    $endgroup$
    – Jason DeVito
    Feb 18 '13 at 18:17






    $begingroup$
    @Stefan: So, in short, I guess I'm assuming the "usual" hypothesis on $Y$. In more detail, I think the only nontrivial property I'm assuming on $Y$ is that it is locally path connected, but there could be something else hidden somewhere.
    $endgroup$
    – Jason DeVito
    Feb 18 '13 at 18:17














    $begingroup$
    As Stefan Hamcke pointed out, you need $U$ connected. But that is all, thus it suffices to assume that $Y$ is locally connected which is somewhat weaker than locally path connected.
    $endgroup$
    – Paul Frost
    Jan 7 at 16:03




    $begingroup$
    As Stefan Hamcke pointed out, you need $U$ connected. But that is all, thus it suffices to assume that $Y$ is locally connected which is somewhat weaker than locally path connected.
    $endgroup$
    – Paul Frost
    Jan 7 at 16:03











    1












    $begingroup$

    Why an answer to a six year old question? Simply because it is an interesting question and the existing answer applies only under the assumption that $X$ is locally connected.



    Without any local niceness assumption we shall prove:



    Let $q : E to X$ be a covering map with connected domain $E$. If $p$ has a section $f : X to E$, then $p$ is a $1$-fold covering (which is the same as a homeomorphism).



    The answer is given as a community wiki because the essential idea is contained in the question Section of a covering projection from a connected space which was closed as a duplicate of the present one.



    Let us first observe that $1$-fold coverings are nothing else than homeomorphisms. A $1$-fold covering is obviously a bijection. Since all coverings are open maps, we see that $1$-fold coverings are homeomorphisms. The converse is trivial.



    To prove that $q$ is a homeomorphism, it suffices to show that $f(X) = E$. Then $f circ q circ f = f circ id_X = f = id_E circ f$ which implies $f circ q = id_E$ because $f$ is surjective.



    $f(X) = E$ will be proved by showing that $f(X)$ is open and closed in $E$.



    Let $y in E$. There exists an open neigborhood $U$ of $q(y)$ in $X$ which is evenly covered, i.e. we have $q^{-1}(U) = bigcup_{alpha in A} U_alpha$ with pairwise disjoint open $U_alpha subset E$ such that the restrictions $q_alpha : U_alpha to U$ are homeomorphisms.



    Let $alpha(y)$ be the unique index such that $f(q(y)) in U_{alpha(y)}$. Since $f$ is continuous, there exists an open neighborhood $U' subset U$ of $q(y)$ such that $f(U') subset U_{alpha(y)}$. Obviously $q_{alpha(y)}(f(U')) = U'$, hence $f(U') = (q_{alpha(y)})^{-1}(U')$.



    As a subset of $U$ also $U'$ is evenly covered, with decomposition $q^{-1}(U') = bigcup_{alpha in A} U'_alpha$, where $U'_alpha = U_alpha cap q^{-1}(U') = q_alpha^{-1}(U')$.



    By construction $q^{-1}(U') cap f(X) = f(U') = U'_{alpha(y)}$.



    If $y in f(X)$, we have $y in q^{-1}(U') cap f(X) = U'_{alpha(y)}$ which is an open subset of $E$ contained in $f(X)$. This shows that $f(X)$ is open.



    If $y notin f(X)$, we have $y in q^{-1}(U') setminus f(X) = bigcup_{alpha in A setminus { alpha(y)}} U'_alpha$ which is an open subset of $E$ not intersecting $f(X)$. This shows that $f(X)$ is closed.






    share|cite|improve this answer











    $endgroup$


















      1












      $begingroup$

      Why an answer to a six year old question? Simply because it is an interesting question and the existing answer applies only under the assumption that $X$ is locally connected.



      Without any local niceness assumption we shall prove:



      Let $q : E to X$ be a covering map with connected domain $E$. If $p$ has a section $f : X to E$, then $p$ is a $1$-fold covering (which is the same as a homeomorphism).



      The answer is given as a community wiki because the essential idea is contained in the question Section of a covering projection from a connected space which was closed as a duplicate of the present one.



      Let us first observe that $1$-fold coverings are nothing else than homeomorphisms. A $1$-fold covering is obviously a bijection. Since all coverings are open maps, we see that $1$-fold coverings are homeomorphisms. The converse is trivial.



      To prove that $q$ is a homeomorphism, it suffices to show that $f(X) = E$. Then $f circ q circ f = f circ id_X = f = id_E circ f$ which implies $f circ q = id_E$ because $f$ is surjective.



      $f(X) = E$ will be proved by showing that $f(X)$ is open and closed in $E$.



      Let $y in E$. There exists an open neigborhood $U$ of $q(y)$ in $X$ which is evenly covered, i.e. we have $q^{-1}(U) = bigcup_{alpha in A} U_alpha$ with pairwise disjoint open $U_alpha subset E$ such that the restrictions $q_alpha : U_alpha to U$ are homeomorphisms.



      Let $alpha(y)$ be the unique index such that $f(q(y)) in U_{alpha(y)}$. Since $f$ is continuous, there exists an open neighborhood $U' subset U$ of $q(y)$ such that $f(U') subset U_{alpha(y)}$. Obviously $q_{alpha(y)}(f(U')) = U'$, hence $f(U') = (q_{alpha(y)})^{-1}(U')$.



      As a subset of $U$ also $U'$ is evenly covered, with decomposition $q^{-1}(U') = bigcup_{alpha in A} U'_alpha$, where $U'_alpha = U_alpha cap q^{-1}(U') = q_alpha^{-1}(U')$.



      By construction $q^{-1}(U') cap f(X) = f(U') = U'_{alpha(y)}$.



      If $y in f(X)$, we have $y in q^{-1}(U') cap f(X) = U'_{alpha(y)}$ which is an open subset of $E$ contained in $f(X)$. This shows that $f(X)$ is open.



      If $y notin f(X)$, we have $y in q^{-1}(U') setminus f(X) = bigcup_{alpha in A setminus { alpha(y)}} U'_alpha$ which is an open subset of $E$ not intersecting $f(X)$. This shows that $f(X)$ is closed.






      share|cite|improve this answer











      $endgroup$
















        1












        1








        1





        $begingroup$

        Why an answer to a six year old question? Simply because it is an interesting question and the existing answer applies only under the assumption that $X$ is locally connected.



        Without any local niceness assumption we shall prove:



        Let $q : E to X$ be a covering map with connected domain $E$. If $p$ has a section $f : X to E$, then $p$ is a $1$-fold covering (which is the same as a homeomorphism).



        The answer is given as a community wiki because the essential idea is contained in the question Section of a covering projection from a connected space which was closed as a duplicate of the present one.



        Let us first observe that $1$-fold coverings are nothing else than homeomorphisms. A $1$-fold covering is obviously a bijection. Since all coverings are open maps, we see that $1$-fold coverings are homeomorphisms. The converse is trivial.



        To prove that $q$ is a homeomorphism, it suffices to show that $f(X) = E$. Then $f circ q circ f = f circ id_X = f = id_E circ f$ which implies $f circ q = id_E$ because $f$ is surjective.



        $f(X) = E$ will be proved by showing that $f(X)$ is open and closed in $E$.



        Let $y in E$. There exists an open neigborhood $U$ of $q(y)$ in $X$ which is evenly covered, i.e. we have $q^{-1}(U) = bigcup_{alpha in A} U_alpha$ with pairwise disjoint open $U_alpha subset E$ such that the restrictions $q_alpha : U_alpha to U$ are homeomorphisms.



        Let $alpha(y)$ be the unique index such that $f(q(y)) in U_{alpha(y)}$. Since $f$ is continuous, there exists an open neighborhood $U' subset U$ of $q(y)$ such that $f(U') subset U_{alpha(y)}$. Obviously $q_{alpha(y)}(f(U')) = U'$, hence $f(U') = (q_{alpha(y)})^{-1}(U')$.



        As a subset of $U$ also $U'$ is evenly covered, with decomposition $q^{-1}(U') = bigcup_{alpha in A} U'_alpha$, where $U'_alpha = U_alpha cap q^{-1}(U') = q_alpha^{-1}(U')$.



        By construction $q^{-1}(U') cap f(X) = f(U') = U'_{alpha(y)}$.



        If $y in f(X)$, we have $y in q^{-1}(U') cap f(X) = U'_{alpha(y)}$ which is an open subset of $E$ contained in $f(X)$. This shows that $f(X)$ is open.



        If $y notin f(X)$, we have $y in q^{-1}(U') setminus f(X) = bigcup_{alpha in A setminus { alpha(y)}} U'_alpha$ which is an open subset of $E$ not intersecting $f(X)$. This shows that $f(X)$ is closed.






        share|cite|improve this answer











        $endgroup$



        Why an answer to a six year old question? Simply because it is an interesting question and the existing answer applies only under the assumption that $X$ is locally connected.



        Without any local niceness assumption we shall prove:



        Let $q : E to X$ be a covering map with connected domain $E$. If $p$ has a section $f : X to E$, then $p$ is a $1$-fold covering (which is the same as a homeomorphism).



        The answer is given as a community wiki because the essential idea is contained in the question Section of a covering projection from a connected space which was closed as a duplicate of the present one.



        Let us first observe that $1$-fold coverings are nothing else than homeomorphisms. A $1$-fold covering is obviously a bijection. Since all coverings are open maps, we see that $1$-fold coverings are homeomorphisms. The converse is trivial.



        To prove that $q$ is a homeomorphism, it suffices to show that $f(X) = E$. Then $f circ q circ f = f circ id_X = f = id_E circ f$ which implies $f circ q = id_E$ because $f$ is surjective.



        $f(X) = E$ will be proved by showing that $f(X)$ is open and closed in $E$.



        Let $y in E$. There exists an open neigborhood $U$ of $q(y)$ in $X$ which is evenly covered, i.e. we have $q^{-1}(U) = bigcup_{alpha in A} U_alpha$ with pairwise disjoint open $U_alpha subset E$ such that the restrictions $q_alpha : U_alpha to U$ are homeomorphisms.



        Let $alpha(y)$ be the unique index such that $f(q(y)) in U_{alpha(y)}$. Since $f$ is continuous, there exists an open neighborhood $U' subset U$ of $q(y)$ such that $f(U') subset U_{alpha(y)}$. Obviously $q_{alpha(y)}(f(U')) = U'$, hence $f(U') = (q_{alpha(y)})^{-1}(U')$.



        As a subset of $U$ also $U'$ is evenly covered, with decomposition $q^{-1}(U') = bigcup_{alpha in A} U'_alpha$, where $U'_alpha = U_alpha cap q^{-1}(U') = q_alpha^{-1}(U')$.



        By construction $q^{-1}(U') cap f(X) = f(U') = U'_{alpha(y)}$.



        If $y in f(X)$, we have $y in q^{-1}(U') cap f(X) = U'_{alpha(y)}$ which is an open subset of $E$ contained in $f(X)$. This shows that $f(X)$ is open.



        If $y notin f(X)$, we have $y in q^{-1}(U') setminus f(X) = bigcup_{alpha in A setminus { alpha(y)}} U'_alpha$ which is an open subset of $E$ not intersecting $f(X)$. This shows that $f(X)$ is closed.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Jan 8 at 0:42


























        community wiki





        4 revs
        Paul Frost
























            -2












            $begingroup$

            A connected covering space $f:Erightarrow X$ admits no section ( global section) unless $f$ is a homeomorphism.



            Edit: looking @Andy's post I'm not so sure of what I said now.






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              @rschwieb I'm not sure i understand what you are implying?
              $endgroup$
              – Haruki
              Dec 12 '12 at 18:49










            • $begingroup$
              Your edit says you were looking at "Andy's post," but now I see you meant that it cast doubt on your solution, not that you were addressing it. Nevermind!
              $endgroup$
              – rschwieb
              Dec 12 '12 at 18:57










            • $begingroup$
              @rschwieb yes,it cast doubt on my solution...I am no longer sure that what I said holds...maybe you could shed some light.
              $endgroup$
              – Haruki
              Dec 12 '12 at 18:59










            • $begingroup$
              Nope, not familiar enough with the terms :) Good luck!
              $endgroup$
              – rschwieb
              Dec 12 '12 at 19:00










            • $begingroup$
              Ok. Maybe someone else could give a more thorough explanation!
              $endgroup$
              – Haruki
              Dec 12 '12 at 19:39
















            -2












            $begingroup$

            A connected covering space $f:Erightarrow X$ admits no section ( global section) unless $f$ is a homeomorphism.



            Edit: looking @Andy's post I'm not so sure of what I said now.






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              @rschwieb I'm not sure i understand what you are implying?
              $endgroup$
              – Haruki
              Dec 12 '12 at 18:49










            • $begingroup$
              Your edit says you were looking at "Andy's post," but now I see you meant that it cast doubt on your solution, not that you were addressing it. Nevermind!
              $endgroup$
              – rschwieb
              Dec 12 '12 at 18:57










            • $begingroup$
              @rschwieb yes,it cast doubt on my solution...I am no longer sure that what I said holds...maybe you could shed some light.
              $endgroup$
              – Haruki
              Dec 12 '12 at 18:59










            • $begingroup$
              Nope, not familiar enough with the terms :) Good luck!
              $endgroup$
              – rschwieb
              Dec 12 '12 at 19:00










            • $begingroup$
              Ok. Maybe someone else could give a more thorough explanation!
              $endgroup$
              – Haruki
              Dec 12 '12 at 19:39














            -2












            -2








            -2





            $begingroup$

            A connected covering space $f:Erightarrow X$ admits no section ( global section) unless $f$ is a homeomorphism.



            Edit: looking @Andy's post I'm not so sure of what I said now.






            share|cite|improve this answer











            $endgroup$



            A connected covering space $f:Erightarrow X$ admits no section ( global section) unless $f$ is a homeomorphism.



            Edit: looking @Andy's post I'm not so sure of what I said now.







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited Dec 12 '12 at 18:41

























            answered Dec 12 '12 at 18:24









            HarukiHaruki

            73




            73












            • $begingroup$
              @rschwieb I'm not sure i understand what you are implying?
              $endgroup$
              – Haruki
              Dec 12 '12 at 18:49










            • $begingroup$
              Your edit says you were looking at "Andy's post," but now I see you meant that it cast doubt on your solution, not that you were addressing it. Nevermind!
              $endgroup$
              – rschwieb
              Dec 12 '12 at 18:57










            • $begingroup$
              @rschwieb yes,it cast doubt on my solution...I am no longer sure that what I said holds...maybe you could shed some light.
              $endgroup$
              – Haruki
              Dec 12 '12 at 18:59










            • $begingroup$
              Nope, not familiar enough with the terms :) Good luck!
              $endgroup$
              – rschwieb
              Dec 12 '12 at 19:00










            • $begingroup$
              Ok. Maybe someone else could give a more thorough explanation!
              $endgroup$
              – Haruki
              Dec 12 '12 at 19:39


















            • $begingroup$
              @rschwieb I'm not sure i understand what you are implying?
              $endgroup$
              – Haruki
              Dec 12 '12 at 18:49










            • $begingroup$
              Your edit says you were looking at "Andy's post," but now I see you meant that it cast doubt on your solution, not that you were addressing it. Nevermind!
              $endgroup$
              – rschwieb
              Dec 12 '12 at 18:57










            • $begingroup$
              @rschwieb yes,it cast doubt on my solution...I am no longer sure that what I said holds...maybe you could shed some light.
              $endgroup$
              – Haruki
              Dec 12 '12 at 18:59










            • $begingroup$
              Nope, not familiar enough with the terms :) Good luck!
              $endgroup$
              – rschwieb
              Dec 12 '12 at 19:00










            • $begingroup$
              Ok. Maybe someone else could give a more thorough explanation!
              $endgroup$
              – Haruki
              Dec 12 '12 at 19:39
















            $begingroup$
            @rschwieb I'm not sure i understand what you are implying?
            $endgroup$
            – Haruki
            Dec 12 '12 at 18:49




            $begingroup$
            @rschwieb I'm not sure i understand what you are implying?
            $endgroup$
            – Haruki
            Dec 12 '12 at 18:49












            $begingroup$
            Your edit says you were looking at "Andy's post," but now I see you meant that it cast doubt on your solution, not that you were addressing it. Nevermind!
            $endgroup$
            – rschwieb
            Dec 12 '12 at 18:57




            $begingroup$
            Your edit says you were looking at "Andy's post," but now I see you meant that it cast doubt on your solution, not that you were addressing it. Nevermind!
            $endgroup$
            – rschwieb
            Dec 12 '12 at 18:57












            $begingroup$
            @rschwieb yes,it cast doubt on my solution...I am no longer sure that what I said holds...maybe you could shed some light.
            $endgroup$
            – Haruki
            Dec 12 '12 at 18:59




            $begingroup$
            @rschwieb yes,it cast doubt on my solution...I am no longer sure that what I said holds...maybe you could shed some light.
            $endgroup$
            – Haruki
            Dec 12 '12 at 18:59












            $begingroup$
            Nope, not familiar enough with the terms :) Good luck!
            $endgroup$
            – rschwieb
            Dec 12 '12 at 19:00




            $begingroup$
            Nope, not familiar enough with the terms :) Good luck!
            $endgroup$
            – rschwieb
            Dec 12 '12 at 19:00












            $begingroup$
            Ok. Maybe someone else could give a more thorough explanation!
            $endgroup$
            – Haruki
            Dec 12 '12 at 19:39




            $begingroup$
            Ok. Maybe someone else could give a more thorough explanation!
            $endgroup$
            – Haruki
            Dec 12 '12 at 19:39


















            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f256951%2fif-a-covering-map-has-a-section-is-it-a-1-fold-cover%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Human spaceflight

            Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?

            張江高科駅