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$?

The name of the pictureThe name of the pictureThe name of the pictureClash 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?







share|cite|improve this question


























    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?







    share|cite|improve this question
























      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?







      share|cite|improve this question














      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?









      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Aug 14 at 12:12









      pointguard0

      1,240821




      1,240821










      asked Aug 14 at 11:53









      guest

      82




      82




















          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.






          share|cite|improve this answer



























            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.



            enter image description here



            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$.






            share|cite|improve this answer




















              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',
              convertImagesToLinks: true,
              noModals: false,
              showLowRepImageUploadWarning: true,
              reputationToPostImages: 10,
              bindNavPrevention: true,
              postfix: "",
              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%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






























              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.






              share|cite|improve this answer
























                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.






                share|cite|improve this answer






















                  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.






                  share|cite|improve this answer












                  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.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Aug 14 at 12:03









                  A. Pongrácz

                  3,682624




                  3,682624




















                      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.



                      enter image description here



                      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$.






                      share|cite|improve this answer
























                        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.



                        enter image description here



                        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$.






                        share|cite|improve this answer






















                          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.



                          enter image description here



                          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$.






                          share|cite|improve this answer












                          Consider the Moebius strip $M$. It is homeomorphic to a rectangle with one pair of its opposite sides glued together.



                          enter image description here



                          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$.







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered Aug 14 at 12:17









                          Serg

                          425315




                          425315






















                               

                              draft saved


                              draft discarded


























                               


                              draft saved


                              draft discarded














                              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













































































                              這個網誌中的熱門文章

                              How to combine Bézier curves to a surface?

                              Mutual Information Always Non-negative

                              Why am i infinitely getting the same tweet with the Twitter Search API?