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
$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$?
differential-geometry differential-topology smooth-manifolds geometric-topology
$endgroup$
add a comment |
$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$?
differential-geometry differential-topology smooth-manifolds geometric-topology
$endgroup$
add a comment |
$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$?
differential-geometry differential-topology smooth-manifolds geometric-topology
$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
differential-geometry differential-topology smooth-manifolds geometric-topology
asked Apr 8 at 1:52
Eduardo LongaEduardo Longa
1,8802719
1,8802719
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$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.
$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
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%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
$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.
$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
add a comment |
$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.
$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
add a comment |
$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.
$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.
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
add a comment |
$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
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%2f3179035%2fcomplement-of-tubular-neighborhood%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