If $X$ and $Y$ are subspaces of $Z$, $X cong Y$ and $X$ is a retract of $Z$, is $Y$ also a retract of $Z$?
Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
If $X$ and $Y$ are subspaces of $Z$, $X cong Y$ and $X$ is a retract of $Z$, is $Y$ also a retract of $Z$?
I think the answer is no, but I can't find a counterexample. Can anyone help me with this?
general-topology retraction
add a comment |Â
up vote
1
down vote
favorite
If $X$ and $Y$ are subspaces of $Z$, $X cong Y$ and $X$ is a retract of $Z$, is $Y$ also a retract of $Z$?
I think the answer is no, but I can't find a counterexample. Can anyone help me with this?
general-topology retraction
add a comment |Â
up vote
1
down vote
favorite
up vote
1
down vote
favorite
If $X$ and $Y$ are subspaces of $Z$, $X cong Y$ and $X$ is a retract of $Z$, is $Y$ also a retract of $Z$?
I think the answer is no, but I can't find a counterexample. Can anyone help me with this?
general-topology retraction
If $X$ and $Y$ are subspaces of $Z$, $X cong Y$ and $X$ is a retract of $Z$, is $Y$ also a retract of $Z$?
I think the answer is no, but I can't find a counterexample. Can anyone help me with this?
general-topology retraction
edited Aug 14 at 12:12
pointguard0
1,240821
1,240821
asked Aug 14 at 11:53
guest
82
82
add a comment |Â
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
1
down vote
accepted
You sure need some more conditions, otherwise there are trivial examples. Say you allow $Z$ be not connected (as you have).
Then pick any spaces $Ysubseteq Z_0$ such that $Y$ is NOT a retract of $Z_0$. Pick such a space so that points are closed sets, that should not be a problem. Then take an isomorphic copy of $Y$ and call it $X$, and add it to the space $Z_0$ as a new component to obtain $Z$.
Then $Y$ is not a retract of $Z$: assume otherwise, and let $f$ be a a retraction of $Z$ onto $Y$. The restriction of $f$ to $Z_0$ would be a retraction of $Z_0$ onto $Y$.
But $X$ is a retract of $Z$: define the retraction as the identity on $X$ (obviously). Furthermore, pick any $xin X$, and define the retraction on $Z_0$ as the constant $x$ function. This is continuous, as the pre-image of any closed set is closed.
add a comment |Â
up vote
1
down vote
Consider the Moebius strip $M$. It is homeomorphic to a rectangle with one pair of its opposite sides glued together.
Now note that the line connecting the centers of the identified sides is a retract of the Moebius strip. You can simply collapse the whole rectangle to it horizontally. This line is homeomorphic to $S^1$. Moreover, it is a deformation retract.
However, $M$ is not retractible to its boundary $delta M$. On the picture the boundary is the left and right sides of the rectangle. Now assume that a retraction $r$ from $M$ onto its $delta M$ exists. Let $id$ be the natural inclusion of $delta M$ into $M$. The boundary is homeomorphic to $S^1$, hence $pi_1(delta M)=mathbbZ.$ $id$ induces the group homeomorphism $id_*: pi_1(delta M)topi_1(M)$ which sends $1$ to $2$ (the image of the loop generating $pi_1(delta M)$ under the deformation retraction onto the middle of the band circumvents the band twice). But $r$ also induces a group homeomorphism. Since $r|_delta M=id$, $id_astcirc r_ast=id: pi_1(delta M)topi_1(delta M)$ (here $id$ is the identity isomorphism), but we have already shown that $id_astcirc r_ast(1)=2$. We arrived at a contradiction, so $delta M$ is not a retract of $M$, even though $delta Msimeq S^1$.
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
accepted
You sure need some more conditions, otherwise there are trivial examples. Say you allow $Z$ be not connected (as you have).
Then pick any spaces $Ysubseteq Z_0$ such that $Y$ is NOT a retract of $Z_0$. Pick such a space so that points are closed sets, that should not be a problem. Then take an isomorphic copy of $Y$ and call it $X$, and add it to the space $Z_0$ as a new component to obtain $Z$.
Then $Y$ is not a retract of $Z$: assume otherwise, and let $f$ be a a retraction of $Z$ onto $Y$. The restriction of $f$ to $Z_0$ would be a retraction of $Z_0$ onto $Y$.
But $X$ is a retract of $Z$: define the retraction as the identity on $X$ (obviously). Furthermore, pick any $xin X$, and define the retraction on $Z_0$ as the constant $x$ function. This is continuous, as the pre-image of any closed set is closed.
add a comment |Â
up vote
1
down vote
accepted
You sure need some more conditions, otherwise there are trivial examples. Say you allow $Z$ be not connected (as you have).
Then pick any spaces $Ysubseteq Z_0$ such that $Y$ is NOT a retract of $Z_0$. Pick such a space so that points are closed sets, that should not be a problem. Then take an isomorphic copy of $Y$ and call it $X$, and add it to the space $Z_0$ as a new component to obtain $Z$.
Then $Y$ is not a retract of $Z$: assume otherwise, and let $f$ be a a retraction of $Z$ onto $Y$. The restriction of $f$ to $Z_0$ would be a retraction of $Z_0$ onto $Y$.
But $X$ is a retract of $Z$: define the retraction as the identity on $X$ (obviously). Furthermore, pick any $xin X$, and define the retraction on $Z_0$ as the constant $x$ function. This is continuous, as the pre-image of any closed set is closed.
add a comment |Â
up vote
1
down vote
accepted
up vote
1
down vote
accepted
You sure need some more conditions, otherwise there are trivial examples. Say you allow $Z$ be not connected (as you have).
Then pick any spaces $Ysubseteq Z_0$ such that $Y$ is NOT a retract of $Z_0$. Pick such a space so that points are closed sets, that should not be a problem. Then take an isomorphic copy of $Y$ and call it $X$, and add it to the space $Z_0$ as a new component to obtain $Z$.
Then $Y$ is not a retract of $Z$: assume otherwise, and let $f$ be a a retraction of $Z$ onto $Y$. The restriction of $f$ to $Z_0$ would be a retraction of $Z_0$ onto $Y$.
But $X$ is a retract of $Z$: define the retraction as the identity on $X$ (obviously). Furthermore, pick any $xin X$, and define the retraction on $Z_0$ as the constant $x$ function. This is continuous, as the pre-image of any closed set is closed.
You sure need some more conditions, otherwise there are trivial examples. Say you allow $Z$ be not connected (as you have).
Then pick any spaces $Ysubseteq Z_0$ such that $Y$ is NOT a retract of $Z_0$. Pick such a space so that points are closed sets, that should not be a problem. Then take an isomorphic copy of $Y$ and call it $X$, and add it to the space $Z_0$ as a new component to obtain $Z$.
Then $Y$ is not a retract of $Z$: assume otherwise, and let $f$ be a a retraction of $Z$ onto $Y$. The restriction of $f$ to $Z_0$ would be a retraction of $Z_0$ onto $Y$.
But $X$ is a retract of $Z$: define the retraction as the identity on $X$ (obviously). Furthermore, pick any $xin X$, and define the retraction on $Z_0$ as the constant $x$ function. This is continuous, as the pre-image of any closed set is closed.
answered Aug 14 at 12:03
A. Pongrácz
3,682624
3,682624
add a comment |Â
add a comment |Â
up vote
1
down vote
Consider the Moebius strip $M$. It is homeomorphic to a rectangle with one pair of its opposite sides glued together.
Now note that the line connecting the centers of the identified sides is a retract of the Moebius strip. You can simply collapse the whole rectangle to it horizontally. This line is homeomorphic to $S^1$. Moreover, it is a deformation retract.
However, $M$ is not retractible to its boundary $delta M$. On the picture the boundary is the left and right sides of the rectangle. Now assume that a retraction $r$ from $M$ onto its $delta M$ exists. Let $id$ be the natural inclusion of $delta M$ into $M$. The boundary is homeomorphic to $S^1$, hence $pi_1(delta M)=mathbbZ.$ $id$ induces the group homeomorphism $id_*: pi_1(delta M)topi_1(M)$ which sends $1$ to $2$ (the image of the loop generating $pi_1(delta M)$ under the deformation retraction onto the middle of the band circumvents the band twice). But $r$ also induces a group homeomorphism. Since $r|_delta M=id$, $id_astcirc r_ast=id: pi_1(delta M)topi_1(delta M)$ (here $id$ is the identity isomorphism), but we have already shown that $id_astcirc r_ast(1)=2$. We arrived at a contradiction, so $delta M$ is not a retract of $M$, even though $delta Msimeq S^1$.
add a comment |Â
up vote
1
down vote
Consider the Moebius strip $M$. It is homeomorphic to a rectangle with one pair of its opposite sides glued together.
Now note that the line connecting the centers of the identified sides is a retract of the Moebius strip. You can simply collapse the whole rectangle to it horizontally. This line is homeomorphic to $S^1$. Moreover, it is a deformation retract.
However, $M$ is not retractible to its boundary $delta M$. On the picture the boundary is the left and right sides of the rectangle. Now assume that a retraction $r$ from $M$ onto its $delta M$ exists. Let $id$ be the natural inclusion of $delta M$ into $M$. The boundary is homeomorphic to $S^1$, hence $pi_1(delta M)=mathbbZ.$ $id$ induces the group homeomorphism $id_*: pi_1(delta M)topi_1(M)$ which sends $1$ to $2$ (the image of the loop generating $pi_1(delta M)$ under the deformation retraction onto the middle of the band circumvents the band twice). But $r$ also induces a group homeomorphism. Since $r|_delta M=id$, $id_astcirc r_ast=id: pi_1(delta M)topi_1(delta M)$ (here $id$ is the identity isomorphism), but we have already shown that $id_astcirc r_ast(1)=2$. We arrived at a contradiction, so $delta M$ is not a retract of $M$, even though $delta Msimeq S^1$.
add a comment |Â
up vote
1
down vote
up vote
1
down vote
Consider the Moebius strip $M$. It is homeomorphic to a rectangle with one pair of its opposite sides glued together.
Now note that the line connecting the centers of the identified sides is a retract of the Moebius strip. You can simply collapse the whole rectangle to it horizontally. This line is homeomorphic to $S^1$. Moreover, it is a deformation retract.
However, $M$ is not retractible to its boundary $delta M$. On the picture the boundary is the left and right sides of the rectangle. Now assume that a retraction $r$ from $M$ onto its $delta M$ exists. Let $id$ be the natural inclusion of $delta M$ into $M$. The boundary is homeomorphic to $S^1$, hence $pi_1(delta M)=mathbbZ.$ $id$ induces the group homeomorphism $id_*: pi_1(delta M)topi_1(M)$ which sends $1$ to $2$ (the image of the loop generating $pi_1(delta M)$ under the deformation retraction onto the middle of the band circumvents the band twice). But $r$ also induces a group homeomorphism. Since $r|_delta M=id$, $id_astcirc r_ast=id: pi_1(delta M)topi_1(delta M)$ (here $id$ is the identity isomorphism), but we have already shown that $id_astcirc r_ast(1)=2$. We arrived at a contradiction, so $delta M$ is not a retract of $M$, even though $delta Msimeq S^1$.
Consider the Moebius strip $M$. It is homeomorphic to a rectangle with one pair of its opposite sides glued together.
Now note that the line connecting the centers of the identified sides is a retract of the Moebius strip. You can simply collapse the whole rectangle to it horizontally. This line is homeomorphic to $S^1$. Moreover, it is a deformation retract.
However, $M$ is not retractible to its boundary $delta M$. On the picture the boundary is the left and right sides of the rectangle. Now assume that a retraction $r$ from $M$ onto its $delta M$ exists. Let $id$ be the natural inclusion of $delta M$ into $M$. The boundary is homeomorphic to $S^1$, hence $pi_1(delta M)=mathbbZ.$ $id$ induces the group homeomorphism $id_*: pi_1(delta M)topi_1(M)$ which sends $1$ to $2$ (the image of the loop generating $pi_1(delta M)$ under the deformation retraction onto the middle of the band circumvents the band twice). But $r$ also induces a group homeomorphism. Since $r|_delta M=id$, $id_astcirc r_ast=id: pi_1(delta M)topi_1(delta M)$ (here $id$ is the identity isomorphism), but we have already shown that $id_astcirc r_ast(1)=2$. We arrived at a contradiction, so $delta M$ is not a retract of $M$, even though $delta Msimeq S^1$.
answered Aug 14 at 12:17
Serg
425315
425315
add a comment |Â
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2882364%2fif-x-and-y-are-subspaces-of-z-x-cong-y-and-x-is-a-retract-of-z-is%23new-answer', 'question_page');
);
Post as a guest
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
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
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