In theta space, is the lower arc and line segment a deformation retract of punctured theta?











up vote
0
down vote

favorite












Munkres Topology Example 70.1



enter image description here



enter image description here



Let X be theta-space, U = $X setminus {a}$ and V = $X setminus {b}$. Let $U cap V = X setminus {a,b}$ be doubly punctured theta-space where $a,b$ are interior points of $A$ and $B$.



Is $B cup C$ a deformation retract of $U$?










share|cite|improve this question
























  • Deform the part of $A$ between $P$ and $a$ toward $P$, and deform the part of $A$ between $a$ and $Q$ toward $Q$, while leaving all points in $Bcup C$ fixed.
    – Andreas Blass
    2 days ago















up vote
0
down vote

favorite












Munkres Topology Example 70.1



enter image description here



enter image description here



Let X be theta-space, U = $X setminus {a}$ and V = $X setminus {b}$. Let $U cap V = X setminus {a,b}$ be doubly punctured theta-space where $a,b$ are interior points of $A$ and $B$.



Is $B cup C$ a deformation retract of $U$?










share|cite|improve this question
























  • Deform the part of $A$ between $P$ and $a$ toward $P$, and deform the part of $A$ between $a$ and $Q$ toward $Q$, while leaving all points in $Bcup C$ fixed.
    – Andreas Blass
    2 days ago













up vote
0
down vote

favorite









up vote
0
down vote

favorite











Munkres Topology Example 70.1



enter image description here



enter image description here



Let X be theta-space, U = $X setminus {a}$ and V = $X setminus {b}$. Let $U cap V = X setminus {a,b}$ be doubly punctured theta-space where $a,b$ are interior points of $A$ and $B$.



Is $B cup C$ a deformation retract of $U$?










share|cite|improve this question















Munkres Topology Example 70.1



enter image description here



enter image description here



Let X be theta-space, U = $X setminus {a}$ and V = $X setminus {b}$. Let $U cap V = X setminus {a,b}$ be doubly punctured theta-space where $a,b$ are interior points of $A$ and $B$.



Is $B cup C$ a deformation retract of $U$?







abstract-algebra algebraic-topology fundamental-groups deformation-theory retraction






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 2 days ago

























asked Nov 13 at 12:54









Jack Bauer

1,226531




1,226531












  • Deform the part of $A$ between $P$ and $a$ toward $P$, and deform the part of $A$ between $a$ and $Q$ toward $Q$, while leaving all points in $Bcup C$ fixed.
    – Andreas Blass
    2 days ago


















  • Deform the part of $A$ between $P$ and $a$ toward $P$, and deform the part of $A$ between $a$ and $Q$ toward $Q$, while leaving all points in $Bcup C$ fixed.
    – Andreas Blass
    2 days ago
















Deform the part of $A$ between $P$ and $a$ toward $P$, and deform the part of $A$ between $a$ and $Q$ toward $Q$, while leaving all points in $Bcup C$ fixed.
– Andreas Blass
2 days ago




Deform the part of $A$ between $P$ and $a$ toward $P$, and deform the part of $A$ between $a$ and $Q$ toward $Q$, while leaving all points in $Bcup C$ fixed.
– Andreas Blass
2 days ago










1 Answer
1






active

oldest

votes

















up vote
0
down vote



accepted










I think it's a retract by either $r(z)=z1_{B cup C} + Re(z)1_{C cup [A setminus {a}]}$ or $r(z)=z1_{B cup C} + overline{z}1_{C cup [A setminus {a}]}$ either of which is continuous by the pasting lemma because $B cup C$ and $C cup [A setminus {a}]$ are closed in $U$ because



$$B cup C = U cap {Im(z) le 0 }$$



$$C cup [A setminus {a}] = U cap {Im(z) ge 0 }$$



I think it's a deformation retract with the straight line homotopy $H(z,t)=(1-t)z+tr(z)$ because:




  1. $H(z,0)=z forall z in B cup C$

  2. $H(z,1)=r(z) forall z in B cup C$

  3. $H(d,t)=(1-t)(d)+tr(d)=d forall d in B cup C, t in I$






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: 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
    });


    }
    });














     

    draft saved


    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2996688%2fin-theta-space-is-the-lower-arc-and-line-segment-a-deformation-retract-of-punct%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








    up vote
    0
    down vote



    accepted










    I think it's a retract by either $r(z)=z1_{B cup C} + Re(z)1_{C cup [A setminus {a}]}$ or $r(z)=z1_{B cup C} + overline{z}1_{C cup [A setminus {a}]}$ either of which is continuous by the pasting lemma because $B cup C$ and $C cup [A setminus {a}]$ are closed in $U$ because



    $$B cup C = U cap {Im(z) le 0 }$$



    $$C cup [A setminus {a}] = U cap {Im(z) ge 0 }$$



    I think it's a deformation retract with the straight line homotopy $H(z,t)=(1-t)z+tr(z)$ because:




    1. $H(z,0)=z forall z in B cup C$

    2. $H(z,1)=r(z) forall z in B cup C$

    3. $H(d,t)=(1-t)(d)+tr(d)=d forall d in B cup C, t in I$






    share|cite|improve this answer

























      up vote
      0
      down vote



      accepted










      I think it's a retract by either $r(z)=z1_{B cup C} + Re(z)1_{C cup [A setminus {a}]}$ or $r(z)=z1_{B cup C} + overline{z}1_{C cup [A setminus {a}]}$ either of which is continuous by the pasting lemma because $B cup C$ and $C cup [A setminus {a}]$ are closed in $U$ because



      $$B cup C = U cap {Im(z) le 0 }$$



      $$C cup [A setminus {a}] = U cap {Im(z) ge 0 }$$



      I think it's a deformation retract with the straight line homotopy $H(z,t)=(1-t)z+tr(z)$ because:




      1. $H(z,0)=z forall z in B cup C$

      2. $H(z,1)=r(z) forall z in B cup C$

      3. $H(d,t)=(1-t)(d)+tr(d)=d forall d in B cup C, t in I$






      share|cite|improve this answer























        up vote
        0
        down vote



        accepted







        up vote
        0
        down vote



        accepted






        I think it's a retract by either $r(z)=z1_{B cup C} + Re(z)1_{C cup [A setminus {a}]}$ or $r(z)=z1_{B cup C} + overline{z}1_{C cup [A setminus {a}]}$ either of which is continuous by the pasting lemma because $B cup C$ and $C cup [A setminus {a}]$ are closed in $U$ because



        $$B cup C = U cap {Im(z) le 0 }$$



        $$C cup [A setminus {a}] = U cap {Im(z) ge 0 }$$



        I think it's a deformation retract with the straight line homotopy $H(z,t)=(1-t)z+tr(z)$ because:




        1. $H(z,0)=z forall z in B cup C$

        2. $H(z,1)=r(z) forall z in B cup C$

        3. $H(d,t)=(1-t)(d)+tr(d)=d forall d in B cup C, t in I$






        share|cite|improve this answer












        I think it's a retract by either $r(z)=z1_{B cup C} + Re(z)1_{C cup [A setminus {a}]}$ or $r(z)=z1_{B cup C} + overline{z}1_{C cup [A setminus {a}]}$ either of which is continuous by the pasting lemma because $B cup C$ and $C cup [A setminus {a}]$ are closed in $U$ because



        $$B cup C = U cap {Im(z) le 0 }$$



        $$C cup [A setminus {a}] = U cap {Im(z) ge 0 }$$



        I think it's a deformation retract with the straight line homotopy $H(z,t)=(1-t)z+tr(z)$ because:




        1. $H(z,0)=z forall z in B cup C$

        2. $H(z,1)=r(z) forall z in B cup C$

        3. $H(d,t)=(1-t)(d)+tr(d)=d forall d in B cup C, t in I$







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 2 days ago









        Jack Bauer

        1,226531




        1,226531






























             

            draft saved


            draft discarded



















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2996688%2fin-theta-space-is-the-lower-arc-and-line-segment-a-deformation-retract-of-punct%23new-answer', 'question_page');
            }
            );

            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







            Popular posts from this blog

            Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

            ComboBox Display Member on multiple fields

            Is it possible to collect Nectar points via Trainline?