Complement of tubular neighborhood The 2019 Stack Overflow Developer Survey Results Are InFinding a metric on a tubular neighborhood of an embedded surfaceTangent bundle of a noncompact surfaceTubular neighborhood with an additional projectionA non orientable closed surface cannot be embedded into $mathbbR^3$Normal variation of embedded surfacesDerivative of projectionTubular neighborhoods of embedding of manifolds and vector bundles$epsilon$ function of a tubular neighborhoodExistence of certain surfaces in flat riemannian 3-manifoldDifferential of inverse function to a tubular neighborhood

Why are there uneven bright areas in this photo of black hole?

How to translate "being like"?

Match Roman Numerals

How to quickly solve partial fractions equation?

Can withdrawing asylum be illegal?

What does もの mean in this sentence?

Loose spokes after only a few rides

Will it cause any balance problems to have PCs level up and gain the benefits of a long rest mid-fight?

What is the motivation for a law requiring 2 parties to consent for recording a conversation

What is the meaning of Triage in Cybersec world?

Why don't hard Brexiteers insist on a hard border to prevent illegal immigration after Brexit?

Pokemon Turn Based battle (Python)

What can I do if neighbor is blocking my solar panels intentionally

How can I add encounters in the Lost Mine of Phandelver campaign without giving PCs too much XP?

Likelihood that a superbug or lethal virus could come from a landfill

How to type a long/em dash `—`

Can an undergraduate be advised by a professor who is very far away?

How did passengers keep warm on sail ships?

Is there a way to generate a uniformly distributed point on a sphere from a fixed amount of random real numbers?

What to do when moving next to a bird sanctuary with a loosely-domesticated cat?

How to add class in ko template in magento2

Are spiders unable to hurt humans, especially very small spiders?

Worn-tile Scrabble

Correct punctuation for showing a character's confusion



Complement of tubular neighborhood



The 2019 Stack Overflow Developer Survey Results Are InFinding a metric on a tubular neighborhood of an embedded surfaceTangent bundle of a noncompact surfaceTubular neighborhood with an additional projectionA non orientable closed surface cannot be embedded into $mathbbR^3$Normal variation of embedded surfacesDerivative of projectionTubular neighborhoods of embedding of manifolds and vector bundles$epsilon$ function of a tubular neighborhoodExistence of certain surfaces in flat riemannian 3-manifoldDifferential of inverse function to a tubular neighborhood










1












$begingroup$


Let $M$ be a closed, connected, orientable and embedded surface inside the unit 3-sphere $mathbbS^3$ and consider a small tubular neighborhood $U$ of $M$:



$$U = x in mathbbS^3 : d(x, M) leq varepsilon ,$$



(for small $varepsilon > 0$). I know that $U$ has the same homotopy type of $M$. Is it true that $mathbbS^3 setminus U$ has the same homotopy type of $mathbbS^3 setminus M$?










share|cite|improve this question









$endgroup$
















    1












    $begingroup$


    Let $M$ be a closed, connected, orientable and embedded surface inside the unit 3-sphere $mathbbS^3$ and consider a small tubular neighborhood $U$ of $M$:



    $$U = x in mathbbS^3 : d(x, M) leq varepsilon ,$$



    (for small $varepsilon > 0$). I know that $U$ has the same homotopy type of $M$. Is it true that $mathbbS^3 setminus U$ has the same homotopy type of $mathbbS^3 setminus M$?










    share|cite|improve this question









    $endgroup$














      1












      1








      1





      $begingroup$


      Let $M$ be a closed, connected, orientable and embedded surface inside the unit 3-sphere $mathbbS^3$ and consider a small tubular neighborhood $U$ of $M$:



      $$U = x in mathbbS^3 : d(x, M) leq varepsilon ,$$



      (for small $varepsilon > 0$). I know that $U$ has the same homotopy type of $M$. Is it true that $mathbbS^3 setminus U$ has the same homotopy type of $mathbbS^3 setminus M$?










      share|cite|improve this question









      $endgroup$




      Let $M$ be a closed, connected, orientable and embedded surface inside the unit 3-sphere $mathbbS^3$ and consider a small tubular neighborhood $U$ of $M$:



      $$U = x in mathbbS^3 : d(x, M) leq varepsilon ,$$



      (for small $varepsilon > 0$). I know that $U$ has the same homotopy type of $M$. Is it true that $mathbbS^3 setminus U$ has the same homotopy type of $mathbbS^3 setminus M$?







      differential-geometry differential-topology smooth-manifolds geometric-topology






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Apr 8 at 1:52









      Eduardo LongaEduardo Longa

      1,8802719




      1,8802719




















          1 Answer
          1






          active

          oldest

          votes


















          2












          $begingroup$

          A tubular neighborhood $U$ of $M$ has a homeomorphism $Mtimes (-1,1)to U$, where $M$ is the image of $Mtimes 0$. By, say, restricting $(-1,1)$ to a closed interval and going to a smaller tubular neighborhood, we can assume we have a homeomorphism $Mtimes [-1,1]to overlineU$, where $overlineU$ is the closure of $U$ in $M$. The homeomorphism can be used to deformation retract $overlineU-M$ to $partial overlineU$, the image of $Mtimes-1,1$. This extends to a deformation retract of $S^3-M$ onto $S^3-U$. Thus $S^3-U hookrightarrow S^3-M$ is a homotopy equivalence.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Why does it extend?
            $endgroup$
            – Eduardo Longa
            Apr 9 at 0:20










          • $begingroup$
            @EduardoLonga Extend each step of the deformation retract by $operatornameid_M-U$. The maps agree on $partial overlineU$, so there exists such a continuous map. (This is the "Pasting Lemma", Theorem 18.3 of Munkres.)
            $endgroup$
            – Kyle Miller
            Apr 9 at 0:28











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



          );













          draft saved

          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3179035%2fcomplement-of-tubular-neighborhood%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









          2












          $begingroup$

          A tubular neighborhood $U$ of $M$ has a homeomorphism $Mtimes (-1,1)to U$, where $M$ is the image of $Mtimes 0$. By, say, restricting $(-1,1)$ to a closed interval and going to a smaller tubular neighborhood, we can assume we have a homeomorphism $Mtimes [-1,1]to overlineU$, where $overlineU$ is the closure of $U$ in $M$. The homeomorphism can be used to deformation retract $overlineU-M$ to $partial overlineU$, the image of $Mtimes-1,1$. This extends to a deformation retract of $S^3-M$ onto $S^3-U$. Thus $S^3-U hookrightarrow S^3-M$ is a homotopy equivalence.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Why does it extend?
            $endgroup$
            – Eduardo Longa
            Apr 9 at 0:20










          • $begingroup$
            @EduardoLonga Extend each step of the deformation retract by $operatornameid_M-U$. The maps agree on $partial overlineU$, so there exists such a continuous map. (This is the "Pasting Lemma", Theorem 18.3 of Munkres.)
            $endgroup$
            – Kyle Miller
            Apr 9 at 0:28















          2












          $begingroup$

          A tubular neighborhood $U$ of $M$ has a homeomorphism $Mtimes (-1,1)to U$, where $M$ is the image of $Mtimes 0$. By, say, restricting $(-1,1)$ to a closed interval and going to a smaller tubular neighborhood, we can assume we have a homeomorphism $Mtimes [-1,1]to overlineU$, where $overlineU$ is the closure of $U$ in $M$. The homeomorphism can be used to deformation retract $overlineU-M$ to $partial overlineU$, the image of $Mtimes-1,1$. This extends to a deformation retract of $S^3-M$ onto $S^3-U$. Thus $S^3-U hookrightarrow S^3-M$ is a homotopy equivalence.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Why does it extend?
            $endgroup$
            – Eduardo Longa
            Apr 9 at 0:20










          • $begingroup$
            @EduardoLonga Extend each step of the deformation retract by $operatornameid_M-U$. The maps agree on $partial overlineU$, so there exists such a continuous map. (This is the "Pasting Lemma", Theorem 18.3 of Munkres.)
            $endgroup$
            – Kyle Miller
            Apr 9 at 0:28













          2












          2








          2





          $begingroup$

          A tubular neighborhood $U$ of $M$ has a homeomorphism $Mtimes (-1,1)to U$, where $M$ is the image of $Mtimes 0$. By, say, restricting $(-1,1)$ to a closed interval and going to a smaller tubular neighborhood, we can assume we have a homeomorphism $Mtimes [-1,1]to overlineU$, where $overlineU$ is the closure of $U$ in $M$. The homeomorphism can be used to deformation retract $overlineU-M$ to $partial overlineU$, the image of $Mtimes-1,1$. This extends to a deformation retract of $S^3-M$ onto $S^3-U$. Thus $S^3-U hookrightarrow S^3-M$ is a homotopy equivalence.






          share|cite|improve this answer









          $endgroup$



          A tubular neighborhood $U$ of $M$ has a homeomorphism $Mtimes (-1,1)to U$, where $M$ is the image of $Mtimes 0$. By, say, restricting $(-1,1)$ to a closed interval and going to a smaller tubular neighborhood, we can assume we have a homeomorphism $Mtimes [-1,1]to overlineU$, where $overlineU$ is the closure of $U$ in $M$. The homeomorphism can be used to deformation retract $overlineU-M$ to $partial overlineU$, the image of $Mtimes-1,1$. This extends to a deformation retract of $S^3-M$ onto $S^3-U$. Thus $S^3-U hookrightarrow S^3-M$ is a homotopy equivalence.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Apr 9 at 0:18









          Kyle MillerKyle Miller

          10.1k930




          10.1k930











          • $begingroup$
            Why does it extend?
            $endgroup$
            – Eduardo Longa
            Apr 9 at 0:20










          • $begingroup$
            @EduardoLonga Extend each step of the deformation retract by $operatornameid_M-U$. The maps agree on $partial overlineU$, so there exists such a continuous map. (This is the "Pasting Lemma", Theorem 18.3 of Munkres.)
            $endgroup$
            – Kyle Miller
            Apr 9 at 0:28
















          • $begingroup$
            Why does it extend?
            $endgroup$
            – Eduardo Longa
            Apr 9 at 0:20










          • $begingroup$
            @EduardoLonga Extend each step of the deformation retract by $operatornameid_M-U$. The maps agree on $partial overlineU$, so there exists such a continuous map. (This is the "Pasting Lemma", Theorem 18.3 of Munkres.)
            $endgroup$
            – Kyle Miller
            Apr 9 at 0:28















          $begingroup$
          Why does it extend?
          $endgroup$
          – Eduardo Longa
          Apr 9 at 0:20




          $begingroup$
          Why does it extend?
          $endgroup$
          – Eduardo Longa
          Apr 9 at 0:20












          $begingroup$
          @EduardoLonga Extend each step of the deformation retract by $operatornameid_M-U$. The maps agree on $partial overlineU$, so there exists such a continuous map. (This is the "Pasting Lemma", Theorem 18.3 of Munkres.)
          $endgroup$
          – Kyle Miller
          Apr 9 at 0:28




          $begingroup$
          @EduardoLonga Extend each step of the deformation retract by $operatornameid_M-U$. The maps agree on $partial overlineU$, so there exists such a continuous map. (This is the "Pasting Lemma", Theorem 18.3 of Munkres.)
          $endgroup$
          – Kyle Miller
          Apr 9 at 0:28

















          draft saved

          draft discarded
















































          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.




          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3179035%2fcomplement-of-tubular-neighborhood%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

          Bosc Connection Yimello Approaching Angry The produce zaps the market. 구성 기록되다 변경...

          WordPress Information needed

          Hidroelektrana Sadržaj Povijest | Podjela hidroelektrana | Snaga dobivena u hidroelektranama | Dijelovi hidroelektrane | Uloga hidroelektrana u suvremenom svijetu | Prednosti hidroelektrana | Nedostaci hidroelektrana | Države s najvećom proizvodnjom hidro-električne energije | Deset najvećih hidroelektrana u svijetu | Hidroelektrane u Hrvatskoj | Izvori | Poveznice | Vanjske poveznice | Navigacijski izbornikTechnical Report, Version 2Zajedničkom poslužiteljuHidroelektranaHEP Proizvodnja d.o.o. - Hidroelektrane u Hrvatskoj