If a covering map has a section, is it a $1$-fold cover?
$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?
general-topology algebraic-topology covering-spaces
$endgroup$
|
show 2 more comments
$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?
general-topology algebraic-topology covering-spaces
$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
|
show 2 more comments
$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?
general-topology algebraic-topology covering-spaces
$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
general-topology algebraic-topology covering-spaces
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
|
show 2 more comments
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
|
show 2 more comments
3 Answers
3
active
oldest
votes
$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.
$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
add a comment |
$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.
$endgroup$
add a comment |
$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.
$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
|
show 2 more comments
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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.
$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
add a comment |
$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.
$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
add a comment |
$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.
$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.
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
add a comment |
$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
add a comment |
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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.
$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.
edited Jan 8 at 0:42
community wiki
4 revs
Paul Frost
add a comment |
add a comment |
$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.
$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
|
show 2 more comments
$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.
$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
|
show 2 more comments
$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.
$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.
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
|
show 2 more comments
$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
|
show 2 more comments
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
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