Involution and Covering space The Next CEO of Stack OverflowExamples of involutions on $mathbbR$The covering space of connected spacehelix and covering space of the unit circleRigorous Covering Space ConstructionHow to find n-sheeted covering space of a topological space explicitly(If exists)?Finite fundamental group and covering spacesCovering space induced by properly discontinuous group actionConstructing a universal covering spaceIf $X$ is path-connected and has a finite fundamental group then every covering map from $X$ to $X$ is an homeomorphism.Show that a continuous map from covering space is a homeomorphism if fundamental group is finite.What is a normal covering geometrically?
Is it okay to store user locations?
Implement the Thanos sorting algorithm
What do "high sea" and "carry" mean in this sentence?
Horror movie/show or scene where a horse creature opens its mouth really wide and devours a man in a stables
Why didn't Khan get resurrected in the Genesis Explosion?
Robert Sheckley short story about vacation spots being overwhelmed
Failed to fetch jessie backports repository
When airplanes disconnect from a tanker during air to air refueling, why do they bank so sharply to the right?
How did people program for Consoles with multiple CPUs?
Why do professional authors make "consistency" mistakes? And how to avoid them?
Does the Brexit deal have to be agreed by both Houses?
Trouble understanding the speech of overseas colleagues
Inappropriate reference requests from Journal reviewers
How should I support this large drywall patch?
WOW air has ceased operation, can I get my tickets refunded?
Why does standard notation not preserve intervals (visually)
Is HostGator storing my password in plaintext?
Natural language into sentence logic
How to understand which control sequence in undefined in "Undefined control sequence." message?
Need some help with wall behind rangetop
What is the point of a new vote on May's deal when the indicative votes suggest she will not win?
Why do remote companies require working in the US?
Would this house-rule that treats advantage as a +1 to the roll instead (and disadvantage as -1) and allows them to stack be balanced?
Can a caster that cast Polymorph on themselves stop concentrating at any point even if their Int is low?
Involution and Covering space
The Next CEO of Stack OverflowExamples of involutions on $mathbbR$The covering space of connected spacehelix and covering space of the unit circleRigorous Covering Space ConstructionHow to find n-sheeted covering space of a topological space explicitly(If exists)?Finite fundamental group and covering spacesCovering space induced by properly discontinuous group actionConstructing a universal covering spaceIf $X$ is path-connected and has a finite fundamental group then every covering map from $X$ to $X$ is an homeomorphism.Show that a continuous map from covering space is a homeomorphism if fundamental group is finite.What is a normal covering geometrically?
$begingroup$
Is there a connected topological space such that admits a free involution, trivial fundamental group and furthermore has the set of real number as it's covering space?
covering-spaces involutions
$endgroup$
add a comment |
$begingroup$
Is there a connected topological space such that admits a free involution, trivial fundamental group and furthermore has the set of real number as it's covering space?
covering-spaces involutions
$endgroup$
1
$begingroup$
please define a free involution.
$endgroup$
– R_D
Oct 3 '15 at 8:09
$begingroup$
A free involution $nu : Xto X $ on a topological space $X$ is a fixed point free homeomorphism such that $nu onu = Id_X$
$endgroup$
– 123...
Oct 3 '15 at 9:51
add a comment |
$begingroup$
Is there a connected topological space such that admits a free involution, trivial fundamental group and furthermore has the set of real number as it's covering space?
covering-spaces involutions
$endgroup$
Is there a connected topological space such that admits a free involution, trivial fundamental group and furthermore has the set of real number as it's covering space?
covering-spaces involutions
covering-spaces involutions
asked Oct 3 '15 at 7:20
123...123...
426213
426213
1
$begingroup$
please define a free involution.
$endgroup$
– R_D
Oct 3 '15 at 8:09
$begingroup$
A free involution $nu : Xto X $ on a topological space $X$ is a fixed point free homeomorphism such that $nu onu = Id_X$
$endgroup$
– 123...
Oct 3 '15 at 9:51
add a comment |
1
$begingroup$
please define a free involution.
$endgroup$
– R_D
Oct 3 '15 at 8:09
$begingroup$
A free involution $nu : Xto X $ on a topological space $X$ is a fixed point free homeomorphism such that $nu onu = Id_X$
$endgroup$
– 123...
Oct 3 '15 at 9:51
1
1
$begingroup$
please define a free involution.
$endgroup$
– R_D
Oct 3 '15 at 8:09
$begingroup$
please define a free involution.
$endgroup$
– R_D
Oct 3 '15 at 8:09
$begingroup$
A free involution $nu : Xto X $ on a topological space $X$ is a fixed point free homeomorphism such that $nu onu = Id_X$
$endgroup$
– 123...
Oct 3 '15 at 9:51
$begingroup$
A free involution $nu : Xto X $ on a topological space $X$ is a fixed point free homeomorphism such that $nu onu = Id_X$
$endgroup$
– 123...
Oct 3 '15 at 9:51
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
A simply connected topological space is its own universal cover, so your question reduces to the following:
Does $mathbbR$ admit a free involution $f$?
I'm going to assume you want the involution $f$ to be continuous. If you don't require continuity, then there are many examples
If $f$ has no fixed points, it is injective and is therefore either increasing or decreasing. If it were increasing, we'd have $x < f(x) < f(f(x)) = x$ which is a contradiction. If it were instead decreasing, we would find that $x = f(f(x)) < f(x) < x$ which is again a contradiction.
Therefore, every continuous involution of $mathbbR$ has a fixed point. In fact, it either has exactly one fixed point, or it is the identity map; see this answer.
$endgroup$
add a comment |
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%2f1462082%2finvolution-and-covering-space%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
A simply connected topological space is its own universal cover, so your question reduces to the following:
Does $mathbbR$ admit a free involution $f$?
I'm going to assume you want the involution $f$ to be continuous. If you don't require continuity, then there are many examples
If $f$ has no fixed points, it is injective and is therefore either increasing or decreasing. If it were increasing, we'd have $x < f(x) < f(f(x)) = x$ which is a contradiction. If it were instead decreasing, we would find that $x = f(f(x)) < f(x) < x$ which is again a contradiction.
Therefore, every continuous involution of $mathbbR$ has a fixed point. In fact, it either has exactly one fixed point, or it is the identity map; see this answer.
$endgroup$
add a comment |
$begingroup$
A simply connected topological space is its own universal cover, so your question reduces to the following:
Does $mathbbR$ admit a free involution $f$?
I'm going to assume you want the involution $f$ to be continuous. If you don't require continuity, then there are many examples
If $f$ has no fixed points, it is injective and is therefore either increasing or decreasing. If it were increasing, we'd have $x < f(x) < f(f(x)) = x$ which is a contradiction. If it were instead decreasing, we would find that $x = f(f(x)) < f(x) < x$ which is again a contradiction.
Therefore, every continuous involution of $mathbbR$ has a fixed point. In fact, it either has exactly one fixed point, or it is the identity map; see this answer.
$endgroup$
add a comment |
$begingroup$
A simply connected topological space is its own universal cover, so your question reduces to the following:
Does $mathbbR$ admit a free involution $f$?
I'm going to assume you want the involution $f$ to be continuous. If you don't require continuity, then there are many examples
If $f$ has no fixed points, it is injective and is therefore either increasing or decreasing. If it were increasing, we'd have $x < f(x) < f(f(x)) = x$ which is a contradiction. If it were instead decreasing, we would find that $x = f(f(x)) < f(x) < x$ which is again a contradiction.
Therefore, every continuous involution of $mathbbR$ has a fixed point. In fact, it either has exactly one fixed point, or it is the identity map; see this answer.
$endgroup$
A simply connected topological space is its own universal cover, so your question reduces to the following:
Does $mathbbR$ admit a free involution $f$?
I'm going to assume you want the involution $f$ to be continuous. If you don't require continuity, then there are many examples
If $f$ has no fixed points, it is injective and is therefore either increasing or decreasing. If it were increasing, we'd have $x < f(x) < f(f(x)) = x$ which is a contradiction. If it were instead decreasing, we would find that $x = f(f(x)) < f(x) < x$ which is again a contradiction.
Therefore, every continuous involution of $mathbbR$ has a fixed point. In fact, it either has exactly one fixed point, or it is the identity map; see this answer.
edited yesterday
answered Aug 9 '17 at 16:14
Michael AlbaneseMichael Albanese
64.3k1599313
64.3k1599313
add a comment |
add a comment |
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%2f1462082%2finvolution-and-covering-space%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$
please define a free involution.
$endgroup$
– R_D
Oct 3 '15 at 8:09
$begingroup$
A free involution $nu : Xto X $ on a topological space $X$ is a fixed point free homeomorphism such that $nu onu = Id_X$
$endgroup$
– 123...
Oct 3 '15 at 9:51