Proving two path connected subsets of $BbbR^2$ are not homeomorphic when the number of cut-points/pairs are the same. The Next CEO of Stack OverflowCut points of topology?Are any two open connected subsets of $BbbR^n$ homeomorphic?Are space of paths between two different points and space of pointed loops only homotopy equivalent? What about smooth case?How do I show using cut points that these two subsets of the plane are not homeomorphic?Connected open subsets in $mathbbR^2$ are path connected.Are the complements of two homeomorphic compact, connected subsets of $mathbbR^2$ homeomorphic?Proving two spaces are homeomorphicAn Almost Homeomorphsim Between Discs is a Homeomorphism.Is the Product of two path connected space path connected?Proving two sequences are not homeomorphic
What benefits would be gained by using human laborers instead of drones in deep sea mining?
What does convergence in distribution "in the Gromov–Hausdorff" sense mean?
Is "for causing autism in X" grammatical?
What was the first Unix version to run on a microcomputer?
Bold, vivid family
I believe this to be a fraud - hired, then asked to cash check and send cash as Bitcoin
Why am I allowed to create multiple unique pointers from a single object?
Is it my responsibility to learn a new technology in my own time my employer wants to implement?
What exact does MIB represent in SNMP? How is it different from OID?
Help understanding this unsettling image of Titan, Epimetheus, and Saturn's rings?
How to invert MapIndexed on a ragged structure? How to construct a tree from rules?
Why didn't Khan get resurrected in the Genesis Explosion?
What is ( CFMCC ) on ILS approach chart?
Written every which way
Can we say or write : "No, it'sn't"?
How to Reset Passwords on Multiple Websites Easily?
Return the Closest Prime Number
What can we do to stop prior company from asking us questions?
Won the lottery - how do I keep the money?
Make solar eclipses exceedingly rare, but still have new moons
Why does standard notation not preserve intervals (visually)
How do scammers retract money, while you can’t?
Is there a way to save my career from absolute disaster?
What flight has the highest ratio of time difference to flight time?
Proving two path connected subsets of $BbbR^2$ are not homeomorphic when the number of cut-points/pairs are the same.
The Next CEO of Stack OverflowCut points of topology?Are any two open connected subsets of $BbbR^n$ homeomorphic?Are space of paths between two different points and space of pointed loops only homotopy equivalent? What about smooth case?How do I show using cut points that these two subsets of the plane are not homeomorphic?Connected open subsets in $mathbbR^2$ are path connected.Are the complements of two homeomorphic compact, connected subsets of $mathbbR^2$ homeomorphic?Proving two spaces are homeomorphicAn Almost Homeomorphsim Between Discs is a Homeomorphism.Is the Product of two path connected space path connected?Proving two sequences are not homeomorphic
$begingroup$

Given the two path connected subsets of $BbbR^2$ depicted in the image attached, where the end of the line segment on the left is included, how do I go about proving they are not homeomorphic?
This question comes from a larger set of questions in which the lack of topological equivalence was proven with simple arguments based on the number of cut-points and pairs. However, as far as I can tell these have the same number of n-type cuts (they have infinite 1 points and 2 points, infinite 1 pairs, 2 pairs, and 3 pairs etc).
They do seem intuitively different to me as the 1-pairs on the left are based on selecting the end point and any point on the circle, where as the choice of points for the pairs is not as restrictive on the right. But I can't figure any argument from this.
general-topology
$endgroup$
add a comment |
$begingroup$

Given the two path connected subsets of $BbbR^2$ depicted in the image attached, where the end of the line segment on the left is included, how do I go about proving they are not homeomorphic?
This question comes from a larger set of questions in which the lack of topological equivalence was proven with simple arguments based on the number of cut-points and pairs. However, as far as I can tell these have the same number of n-type cuts (they have infinite 1 points and 2 points, infinite 1 pairs, 2 pairs, and 3 pairs etc).
They do seem intuitively different to me as the 1-pairs on the left are based on selecting the end point and any point on the circle, where as the choice of points for the pairs is not as restrictive on the right. But I can't figure any argument from this.
general-topology
$endgroup$
1
$begingroup$
@Clayton edit: Surely all points along the line segment bar the end disconnect the sets though?
$endgroup$
– Goethe
Mar 18 at 19:58
$begingroup$
Path-components and connected components are the same here, since the space is locally path-connected. The idea described by @Clayton comes from the fact that homeomorphisms induce bijections on path-components (or connected components, but again, for this space there is no difference).
$endgroup$
– o.h.
Mar 18 at 20:03
add a comment |
$begingroup$

Given the two path connected subsets of $BbbR^2$ depicted in the image attached, where the end of the line segment on the left is included, how do I go about proving they are not homeomorphic?
This question comes from a larger set of questions in which the lack of topological equivalence was proven with simple arguments based on the number of cut-points and pairs. However, as far as I can tell these have the same number of n-type cuts (they have infinite 1 points and 2 points, infinite 1 pairs, 2 pairs, and 3 pairs etc).
They do seem intuitively different to me as the 1-pairs on the left are based on selecting the end point and any point on the circle, where as the choice of points for the pairs is not as restrictive on the right. But I can't figure any argument from this.
general-topology
$endgroup$

Given the two path connected subsets of $BbbR^2$ depicted in the image attached, where the end of the line segment on the left is included, how do I go about proving they are not homeomorphic?
This question comes from a larger set of questions in which the lack of topological equivalence was proven with simple arguments based on the number of cut-points and pairs. However, as far as I can tell these have the same number of n-type cuts (they have infinite 1 points and 2 points, infinite 1 pairs, 2 pairs, and 3 pairs etc).
They do seem intuitively different to me as the 1-pairs on the left are based on selecting the end point and any point on the circle, where as the choice of points for the pairs is not as restrictive on the right. But I can't figure any argument from this.
general-topology
general-topology
edited Mar 18 at 19:47
Clayton
19.5k33288
19.5k33288
asked Mar 18 at 19:40
GoetheGoethe
61
61
1
$begingroup$
@Clayton edit: Surely all points along the line segment bar the end disconnect the sets though?
$endgroup$
– Goethe
Mar 18 at 19:58
$begingroup$
Path-components and connected components are the same here, since the space is locally path-connected. The idea described by @Clayton comes from the fact that homeomorphisms induce bijections on path-components (or connected components, but again, for this space there is no difference).
$endgroup$
– o.h.
Mar 18 at 20:03
add a comment |
1
$begingroup$
@Clayton edit: Surely all points along the line segment bar the end disconnect the sets though?
$endgroup$
– Goethe
Mar 18 at 19:58
$begingroup$
Path-components and connected components are the same here, since the space is locally path-connected. The idea described by @Clayton comes from the fact that homeomorphisms induce bijections on path-components (or connected components, but again, for this space there is no difference).
$endgroup$
– o.h.
Mar 18 at 20:03
1
1
$begingroup$
@Clayton edit: Surely all points along the line segment bar the end disconnect the sets though?
$endgroup$
– Goethe
Mar 18 at 19:58
$begingroup$
@Clayton edit: Surely all points along the line segment bar the end disconnect the sets though?
$endgroup$
– Goethe
Mar 18 at 19:58
$begingroup$
Path-components and connected components are the same here, since the space is locally path-connected. The idea described by @Clayton comes from the fact that homeomorphisms induce bijections on path-components (or connected components, but again, for this space there is no difference).
$endgroup$
– o.h.
Mar 18 at 20:03
$begingroup$
Path-components and connected components are the same here, since the space is locally path-connected. The idea described by @Clayton comes from the fact that homeomorphisms induce bijections on path-components (or connected components, but again, for this space there is no difference).
$endgroup$
– o.h.
Mar 18 at 20:03
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
In the left hand picture if we have a cutpoint, one of its induced components is contractible, while this is not the case for the cutpoints of the right hand picture (these all lie on the middle segment). This is a topological property that shows they're not homeomorphic.
$endgroup$
add a comment |
$begingroup$
Here are two approaches which use cut-points:
The space on the left has the property that one can remove a non-cut point (namely any point on the left on the circle) such that the remaining space has exactly one non-cut point. For the space on the right this is not true since after removing a non-cut point almost any point on the remaining full circle is a non-cut point.
The space on the right has the property that one can remove one point (namely the point in the middle of the line segment) and get two components such that each component has infinitely many non-cut points. For the space on the left this is not true as after removing a point and getting two components one of them is a half open intervall which has only one non-cut point.
$endgroup$
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%2f3153219%2fproving-two-path-connected-subsets-of-bbbr2-are-not-homeomorphic-when-the%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
In the left hand picture if we have a cutpoint, one of its induced components is contractible, while this is not the case for the cutpoints of the right hand picture (these all lie on the middle segment). This is a topological property that shows they're not homeomorphic.
$endgroup$
add a comment |
$begingroup$
In the left hand picture if we have a cutpoint, one of its induced components is contractible, while this is not the case for the cutpoints of the right hand picture (these all lie on the middle segment). This is a topological property that shows they're not homeomorphic.
$endgroup$
add a comment |
$begingroup$
In the left hand picture if we have a cutpoint, one of its induced components is contractible, while this is not the case for the cutpoints of the right hand picture (these all lie on the middle segment). This is a topological property that shows they're not homeomorphic.
$endgroup$
In the left hand picture if we have a cutpoint, one of its induced components is contractible, while this is not the case for the cutpoints of the right hand picture (these all lie on the middle segment). This is a topological property that shows they're not homeomorphic.
answered Mar 18 at 21:28
Henno BrandsmaHenno Brandsma
114k348124
114k348124
add a comment |
add a comment |
$begingroup$
Here are two approaches which use cut-points:
The space on the left has the property that one can remove a non-cut point (namely any point on the left on the circle) such that the remaining space has exactly one non-cut point. For the space on the right this is not true since after removing a non-cut point almost any point on the remaining full circle is a non-cut point.
The space on the right has the property that one can remove one point (namely the point in the middle of the line segment) and get two components such that each component has infinitely many non-cut points. For the space on the left this is not true as after removing a point and getting two components one of them is a half open intervall which has only one non-cut point.
$endgroup$
add a comment |
$begingroup$
Here are two approaches which use cut-points:
The space on the left has the property that one can remove a non-cut point (namely any point on the left on the circle) such that the remaining space has exactly one non-cut point. For the space on the right this is not true since after removing a non-cut point almost any point on the remaining full circle is a non-cut point.
The space on the right has the property that one can remove one point (namely the point in the middle of the line segment) and get two components such that each component has infinitely many non-cut points. For the space on the left this is not true as after removing a point and getting two components one of them is a half open intervall which has only one non-cut point.
$endgroup$
add a comment |
$begingroup$
Here are two approaches which use cut-points:
The space on the left has the property that one can remove a non-cut point (namely any point on the left on the circle) such that the remaining space has exactly one non-cut point. For the space on the right this is not true since after removing a non-cut point almost any point on the remaining full circle is a non-cut point.
The space on the right has the property that one can remove one point (namely the point in the middle of the line segment) and get two components such that each component has infinitely many non-cut points. For the space on the left this is not true as after removing a point and getting two components one of them is a half open intervall which has only one non-cut point.
$endgroup$
Here are two approaches which use cut-points:
The space on the left has the property that one can remove a non-cut point (namely any point on the left on the circle) such that the remaining space has exactly one non-cut point. For the space on the right this is not true since after removing a non-cut point almost any point on the remaining full circle is a non-cut point.
The space on the right has the property that one can remove one point (namely the point in the middle of the line segment) and get two components such that each component has infinitely many non-cut points. For the space on the left this is not true as after removing a point and getting two components one of them is a half open intervall which has only one non-cut point.
edited Mar 19 at 7:32
answered Mar 18 at 21:10
triitrii
80817
80817
add a comment |
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%2f3153219%2fproving-two-path-connected-subsets-of-bbbr2-are-not-homeomorphic-when-the%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
1
$begingroup$
@Clayton edit: Surely all points along the line segment bar the end disconnect the sets though?
$endgroup$
– Goethe
Mar 18 at 19:58
$begingroup$
Path-components and connected components are the same here, since the space is locally path-connected. The idea described by @Clayton comes from the fact that homeomorphisms induce bijections on path-components (or connected components, but again, for this space there is no difference).
$endgroup$
– o.h.
Mar 18 at 20:03