Fundamental Group Contains Infinite Cyclic Subgroup
$begingroup$
Let $X subseteq Bbb{R}^2$ s.t. $Bbb{R}^2$ such that $S^1 subseteq X subseteq Bbb{R}^2 - {(0,0)}$. Prove that contains $pi_1(X,(0,1))$ an infinite cyclic subgroup.
Here's what I did. Let $j : S^1 to X$ be the embedding of $S^1$ into $X$. I then showed that the induced homomorphism $j_* : pi_1(S^1,(0,1)) to pi_1(X, (0,1))$ injective, so $pi_1(X,(0,1))$ contains the subgroup $j_*(pi_1(S^1,(0,1))) simeq pi_1(S^1,(0,1)) simeq Bbb{Z}$. However, I didn't really use the fact that $X subseteq Bbb{R}^2 - {(0,0)}$ in my proof, which makes me nervous. Does what I did sound right? Here's my proof of injectivity.
Let $alpha$ be a loop $(0,1)$ such that $j_*([alpha]) = [1_{(0,1)}]$ (note that $1_{(0,1)}$ is the constant loop about $(0,1)$, not the indicator function). Then $[j circ alpha] = [1_{(0,1)}]$ which implies there is some path homotopy $H : I times I to X$ such that $H(s,0) = j(alpha (s)) = alpha (s)$ and $H(s,1) = 1_{(0,1)}(s) = (0,1)$ for every $s in I$; and $H(0,t) = (0,1) = H(1,t)$ for every $t in I$. But these are points in $S^1$, so the codomain of $H$ can be restricted and this gives a path homotopy between $alpha$ and $1_{(0,1)}$ itself.
...As I'm typing this up, I now see the issue. The "boundaries" of the map lie in $S^1$, but there is no guarantee that what is happening "in between" stays in $S^1$...I think I could use a hint at this point. The fact that we are subtracting an interior point of $S^1$ from $Bbb{R}^2$ should play some role.
algebraic-topology cyclic-groups fundamental-groups
$endgroup$
add a comment |
$begingroup$
Let $X subseteq Bbb{R}^2$ s.t. $Bbb{R}^2$ such that $S^1 subseteq X subseteq Bbb{R}^2 - {(0,0)}$. Prove that contains $pi_1(X,(0,1))$ an infinite cyclic subgroup.
Here's what I did. Let $j : S^1 to X$ be the embedding of $S^1$ into $X$. I then showed that the induced homomorphism $j_* : pi_1(S^1,(0,1)) to pi_1(X, (0,1))$ injective, so $pi_1(X,(0,1))$ contains the subgroup $j_*(pi_1(S^1,(0,1))) simeq pi_1(S^1,(0,1)) simeq Bbb{Z}$. However, I didn't really use the fact that $X subseteq Bbb{R}^2 - {(0,0)}$ in my proof, which makes me nervous. Does what I did sound right? Here's my proof of injectivity.
Let $alpha$ be a loop $(0,1)$ such that $j_*([alpha]) = [1_{(0,1)}]$ (note that $1_{(0,1)}$ is the constant loop about $(0,1)$, not the indicator function). Then $[j circ alpha] = [1_{(0,1)}]$ which implies there is some path homotopy $H : I times I to X$ such that $H(s,0) = j(alpha (s)) = alpha (s)$ and $H(s,1) = 1_{(0,1)}(s) = (0,1)$ for every $s in I$; and $H(0,t) = (0,1) = H(1,t)$ for every $t in I$. But these are points in $S^1$, so the codomain of $H$ can be restricted and this gives a path homotopy between $alpha$ and $1_{(0,1)}$ itself.
...As I'm typing this up, I now see the issue. The "boundaries" of the map lie in $S^1$, but there is no guarantee that what is happening "in between" stays in $S^1$...I think I could use a hint at this point. The fact that we are subtracting an interior point of $S^1$ from $Bbb{R}^2$ should play some role.
algebraic-topology cyclic-groups fundamental-groups
$endgroup$
$begingroup$
You found the mistake in your proof; I added a hint to help you solve the problem
$endgroup$
– Max
Dec 24 '18 at 22:16
add a comment |
$begingroup$
Let $X subseteq Bbb{R}^2$ s.t. $Bbb{R}^2$ such that $S^1 subseteq X subseteq Bbb{R}^2 - {(0,0)}$. Prove that contains $pi_1(X,(0,1))$ an infinite cyclic subgroup.
Here's what I did. Let $j : S^1 to X$ be the embedding of $S^1$ into $X$. I then showed that the induced homomorphism $j_* : pi_1(S^1,(0,1)) to pi_1(X, (0,1))$ injective, so $pi_1(X,(0,1))$ contains the subgroup $j_*(pi_1(S^1,(0,1))) simeq pi_1(S^1,(0,1)) simeq Bbb{Z}$. However, I didn't really use the fact that $X subseteq Bbb{R}^2 - {(0,0)}$ in my proof, which makes me nervous. Does what I did sound right? Here's my proof of injectivity.
Let $alpha$ be a loop $(0,1)$ such that $j_*([alpha]) = [1_{(0,1)}]$ (note that $1_{(0,1)}$ is the constant loop about $(0,1)$, not the indicator function). Then $[j circ alpha] = [1_{(0,1)}]$ which implies there is some path homotopy $H : I times I to X$ such that $H(s,0) = j(alpha (s)) = alpha (s)$ and $H(s,1) = 1_{(0,1)}(s) = (0,1)$ for every $s in I$; and $H(0,t) = (0,1) = H(1,t)$ for every $t in I$. But these are points in $S^1$, so the codomain of $H$ can be restricted and this gives a path homotopy between $alpha$ and $1_{(0,1)}$ itself.
...As I'm typing this up, I now see the issue. The "boundaries" of the map lie in $S^1$, but there is no guarantee that what is happening "in between" stays in $S^1$...I think I could use a hint at this point. The fact that we are subtracting an interior point of $S^1$ from $Bbb{R}^2$ should play some role.
algebraic-topology cyclic-groups fundamental-groups
$endgroup$
Let $X subseteq Bbb{R}^2$ s.t. $Bbb{R}^2$ such that $S^1 subseteq X subseteq Bbb{R}^2 - {(0,0)}$. Prove that contains $pi_1(X,(0,1))$ an infinite cyclic subgroup.
Here's what I did. Let $j : S^1 to X$ be the embedding of $S^1$ into $X$. I then showed that the induced homomorphism $j_* : pi_1(S^1,(0,1)) to pi_1(X, (0,1))$ injective, so $pi_1(X,(0,1))$ contains the subgroup $j_*(pi_1(S^1,(0,1))) simeq pi_1(S^1,(0,1)) simeq Bbb{Z}$. However, I didn't really use the fact that $X subseteq Bbb{R}^2 - {(0,0)}$ in my proof, which makes me nervous. Does what I did sound right? Here's my proof of injectivity.
Let $alpha$ be a loop $(0,1)$ such that $j_*([alpha]) = [1_{(0,1)}]$ (note that $1_{(0,1)}$ is the constant loop about $(0,1)$, not the indicator function). Then $[j circ alpha] = [1_{(0,1)}]$ which implies there is some path homotopy $H : I times I to X$ such that $H(s,0) = j(alpha (s)) = alpha (s)$ and $H(s,1) = 1_{(0,1)}(s) = (0,1)$ for every $s in I$; and $H(0,t) = (0,1) = H(1,t)$ for every $t in I$. But these are points in $S^1$, so the codomain of $H$ can be restricted and this gives a path homotopy between $alpha$ and $1_{(0,1)}$ itself.
...As I'm typing this up, I now see the issue. The "boundaries" of the map lie in $S^1$, but there is no guarantee that what is happening "in between" stays in $S^1$...I think I could use a hint at this point. The fact that we are subtracting an interior point of $S^1$ from $Bbb{R}^2$ should play some role.
algebraic-topology cyclic-groups fundamental-groups
algebraic-topology cyclic-groups fundamental-groups
asked Dec 24 '18 at 22:04
user193319user193319
2,4102925
2,4102925
$begingroup$
You found the mistake in your proof; I added a hint to help you solve the problem
$endgroup$
– Max
Dec 24 '18 at 22:16
add a comment |
$begingroup$
You found the mistake in your proof; I added a hint to help you solve the problem
$endgroup$
– Max
Dec 24 '18 at 22:16
$begingroup$
You found the mistake in your proof; I added a hint to help you solve the problem
$endgroup$
– Max
Dec 24 '18 at 22:16
$begingroup$
You found the mistake in your proof; I added a hint to help you solve the problem
$endgroup$
– Max
Dec 24 '18 at 22:16
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Hint: there is $r: mathbb{R}^2setminus{0} to S^1$ such that $S^1to mathbb{R}^2setminus{0}to S^1$ is the identity on $S^1$; and $S^1to Xto mathbb{R}^2setminus {0} = S^1to Xto mathbb{R}^2setminus{0}$
$endgroup$
1
$begingroup$
In other words, $S^1$ is a retract of $X$.
$endgroup$
– Paul Frost
Jan 13 at 15:46
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%2f3051680%2ffundamental-group-contains-infinite-cyclic-subgroup%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$
Hint: there is $r: mathbb{R}^2setminus{0} to S^1$ such that $S^1to mathbb{R}^2setminus{0}to S^1$ is the identity on $S^1$; and $S^1to Xto mathbb{R}^2setminus {0} = S^1to Xto mathbb{R}^2setminus{0}$
$endgroup$
1
$begingroup$
In other words, $S^1$ is a retract of $X$.
$endgroup$
– Paul Frost
Jan 13 at 15:46
add a comment |
$begingroup$
Hint: there is $r: mathbb{R}^2setminus{0} to S^1$ such that $S^1to mathbb{R}^2setminus{0}to S^1$ is the identity on $S^1$; and $S^1to Xto mathbb{R}^2setminus {0} = S^1to Xto mathbb{R}^2setminus{0}$
$endgroup$
1
$begingroup$
In other words, $S^1$ is a retract of $X$.
$endgroup$
– Paul Frost
Jan 13 at 15:46
add a comment |
$begingroup$
Hint: there is $r: mathbb{R}^2setminus{0} to S^1$ such that $S^1to mathbb{R}^2setminus{0}to S^1$ is the identity on $S^1$; and $S^1to Xto mathbb{R}^2setminus {0} = S^1to Xto mathbb{R}^2setminus{0}$
$endgroup$
Hint: there is $r: mathbb{R}^2setminus{0} to S^1$ such that $S^1to mathbb{R}^2setminus{0}to S^1$ is the identity on $S^1$; and $S^1to Xto mathbb{R}^2setminus {0} = S^1to Xto mathbb{R}^2setminus{0}$
answered Dec 24 '18 at 22:16
MaxMax
14.7k11143
14.7k11143
1
$begingroup$
In other words, $S^1$ is a retract of $X$.
$endgroup$
– Paul Frost
Jan 13 at 15:46
add a comment |
1
$begingroup$
In other words, $S^1$ is a retract of $X$.
$endgroup$
– Paul Frost
Jan 13 at 15:46
1
1
$begingroup$
In other words, $S^1$ is a retract of $X$.
$endgroup$
– Paul Frost
Jan 13 at 15:46
$begingroup$
In other words, $S^1$ is a retract of $X$.
$endgroup$
– Paul Frost
Jan 13 at 15:46
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%2f3051680%2ffundamental-group-contains-infinite-cyclic-subgroup%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
$begingroup$
You found the mistake in your proof; I added a hint to help you solve the problem
$endgroup$
– Max
Dec 24 '18 at 22:16