Is the Irrational Plane Path-Connected? [duplicate]Is the Cartesian square of the set of irrational numbers path connected?If a topological space is a path-connected, it is also connected. The converse fails. Can this be remedied?Path homotopy in the planeQuestion on separations of path-connected spaces.There is no homeomorphic copy of $[0,1]$ in the plane which contains an open ballShowing that arcs do not separate the plane $mathbbR^2$Are the sets connected or path-connected?If $A subseteq mathbbR^n$ is path-connected, with path-connected complement, is $A$ necessarily simply-connected?Determine whether the following spaces are connected, totally disconnected or neitherPathological Continua which are Path Connected and Locally Path Connected.Is the product of path connected spaces also path connected in a topology other than the product topology?
What does this quote in Small Gods refer to?
We are two immediate neighbors who forged our own powers to form concatenated relationship. Who are we?
Why do protein solutions have to be alkalised in biuret test?
Why was the ancient one so hesitant to teach Dr Strange the art of sorcery
Noob at soldering, can anyone explain why my circuit wont work?
Are there variations of the regular runtimes of the Big-O-Notation?
Was the Highlands Ranch shooting the 115th mass shooting in the US in 2019
Question about tidal forces and the Roche limit
Is it nonsense to say B -> [A -> B]?
Cropping a message using array splits
Does the 500 feet falling cap apply per fall, or per turn?
How do I compare the result of "1d20+x, with advantage" to "1d20+y, without advantage", assuming x < y?
Why does increasing the sampling rate make implementing an anti-aliasing filter easier?
Pre-1993 comic in which Wolverine's claws were turned to rubber?
What does formal training in a field mean?
Why do unstable nuclei form?
How to get my matrix to fit on the page
How can I avoid subordinates and coworkers leaving work until the last minute, then having no time for revisions?
A Cunning Riley Riddle
How to select certain lines (n, n+4, n+8, n+12...) from the file?
Ex-manager wants to stay in touch, I don't want to
Improving Sati-Sampajañña (situative wisdom)
Passport stamps art, can it be done?
Why are low spin tetrahedral complexes so rare?
Is the Irrational Plane Path-Connected? [duplicate]
Is the Cartesian square of the set of irrational numbers path connected?If a topological space is a path-connected, it is also connected. The converse fails. Can this be remedied?Path homotopy in the planeQuestion on separations of path-connected spaces.There is no homeomorphic copy of $[0,1]$ in the plane which contains an open ballShowing that arcs do not separate the plane $mathbbR^2$Are the sets connected or path-connected?If $A subseteq mathbbR^n$ is path-connected, with path-connected complement, is $A$ necessarily simply-connected?Determine whether the following spaces are connected, totally disconnected or neitherPathological Continua which are Path Connected and Locally Path Connected.Is the product of path connected spaces also path connected in a topology other than the product topology?
$begingroup$
This question already has an answer here:
Is the Cartesian square of the set of irrational numbers path connected?
1 answer
Is the set $I times I subset mathbbR^2$, where $I = mathbbRsetminus mathbbQ$ path connected?
It seems like it could be. Consider the path $gamma : (0,1) to mathbbR times mathbbR $ given by $gamma(t) = left(t, (1 - t^3)^frac13right)$. Fermat's last theorem guarantees $gamma((0,1)) subset I times I$. Thus, $gamma$ is a path of non-zero length contained in $I times I$. Perhaps paths like $gamma$ could be glued together to connect any two points of $I times I$?
Edit
As has been pointed out below, it is not the case that $gamma((0,1)) subset I times I$. Clearly $gamma(q) in mathbbQ times mathbbR$ when $q in mathbbQ$. Fermat's theorem only guarantees that $gamma((0,1)) subset mathbbR times I$. I had in mind the arc given implicitly by the equation $x^3 + y^3 = 1$ for $x,y in (0,1)$. While this arc will be a subset of $I times I$, it is in fact totally disconnected.
general-topology analysis
asked May 6 at 20:48
Charles HudginsCharles Hudgins
4357
$endgroup$
marked as duplicate by Asaf Karagila♦ general-topology
Users with the general-topology badge can single-handedly close general-topology questions as duplicates and reopen them as needed.
StackExchange.ready(function()
if (StackExchange.options.isMobile) return;
$('.dupe-hammer-message-hover:not(.hover-bound)').each(function()
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');
$hover.hover(
function()
$hover.showInfoMessage('',
messageElement: $msg.clone().show(),
transient: false,
position: my: 'bottom left', at: 'top center', offsetTop: -7 ,
dismissable: false,
relativeToBody: true
);
,
function()
StackExchange.helpers.removeMessages();
);
);
);
May 6 at 21:43
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
add a comment |
$begingroup$
This question already has an answer here:
Is the Cartesian square of the set of irrational numbers path connected?
1 answer
Is the set $I times I subset mathbbR^2$, where $I = mathbbRsetminus mathbbQ$ path connected?
It seems like it could be. Consider the path $gamma : (0,1) to mathbbR times mathbbR $ given by $gamma(t) = left(t, (1 - t^3)^frac13right)$. Fermat's last theorem guarantees $gamma((0,1)) subset I times I$. Thus, $gamma$ is a path of non-zero length contained in $I times I$. Perhaps paths like $gamma$ could be glued together to connect any two points of $I times I$?
Edit
As has been pointed out below, it is not the case that $gamma((0,1)) subset I times I$. Clearly $gamma(q) in mathbbQ times mathbbR$ when $q in mathbbQ$. Fermat's theorem only guarantees that $gamma((0,1)) subset mathbbR times I$. I had in mind the arc given implicitly by the equation $x^3 + y^3 = 1$ for $x,y in (0,1)$. While this arc will be a subset of $I times I$, it is in fact totally disconnected.
general-topology analysis
asked May 6 at 20:48
Charles HudginsCharles Hudgins
4357
$endgroup$
marked as duplicate by Asaf Karagila♦ general-topology
Users with the general-topology badge can single-handedly close general-topology questions as duplicates and reopen them as needed.
StackExchange.ready(function()
if (StackExchange.options.isMobile) return;
$('.dupe-hammer-message-hover:not(.hover-bound)').each(function()
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');
$hover.hover(
function()
$hover.showInfoMessage('',
messageElement: $msg.clone().show(),
transient: false,
position: my: 'bottom left', at: 'top center', offsetTop: -7 ,
dismissable: false,
relativeToBody: true
);
,
function()
StackExchange.helpers.removeMessages();
);
);
);
May 6 at 21:43
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
1
$begingroup$
Fermat's last theorem is a nice thought, but unfortunately $gamma((0,1)) nsubseteq I times I$, because $I times I$ is missing all points with rational $x$-coordinate, for instance.
$endgroup$
– Jane Doé
May 6 at 20:51
$begingroup$
If $pi_1,pi_2$ are the projections onto the first and second coordinates, then $alpha_1=pi_1circ gamma$ and $alpha_2=pi_2circgamma$ are continuous. Since $(0,1)$ is connected then its image by $alpha_1$ and $alpha_2$ are connected. This mean that they contain only one point.
$endgroup$
– logarithm
May 6 at 20:55
$begingroup$
I see now that the use of Fermat's last theorem was misguided. The arc composed of points $x, y in (0,1)$ such that $x^3 + y^3 = 1$ certainly lives in $I times I$, but is not connected. Meanwhile the arc I described contains points with rational coordinates.
$endgroup$
– Charles Hudgins
May 6 at 21:20
add a comment |
$begingroup$
This question already has an answer here:
Is the Cartesian square of the set of irrational numbers path connected?
1 answer
Is the set $I times I subset mathbbR^2$, where $I = mathbbRsetminus mathbbQ$ path connected?
It seems like it could be. Consider the path $gamma : (0,1) to mathbbR times mathbbR $ given by $gamma(t) = left(t, (1 - t^3)^frac13right)$. Fermat's last theorem guarantees $gamma((0,1)) subset I times I$. Thus, $gamma$ is a path of non-zero length contained in $I times I$. Perhaps paths like $gamma$ could be glued together to connect any two points of $I times I$?
Edit
As has been pointed out below, it is not the case that $gamma((0,1)) subset I times I$. Clearly $gamma(q) in mathbbQ times mathbbR$ when $q in mathbbQ$. Fermat's theorem only guarantees that $gamma((0,1)) subset mathbbR times I$. I had in mind the arc given implicitly by the equation $x^3 + y^3 = 1$ for $x,y in (0,1)$. While this arc will be a subset of $I times I$, it is in fact totally disconnected.
general-topology analysis
asked May 6 at 20:48
Charles HudginsCharles Hudgins
4357
$endgroup$
This question already has an answer here:
Is the Cartesian square of the set of irrational numbers path connected?
1 answer
Is the set $I times I subset mathbbR^2$, where $I = mathbbRsetminus mathbbQ$ path connected?
It seems like it could be. Consider the path $gamma : (0,1) to mathbbR times mathbbR $ given by $gamma(t) = left(t, (1 - t^3)^frac13right)$. Fermat's last theorem guarantees $gamma((0,1)) subset I times I$. Thus, $gamma$ is a path of non-zero length contained in $I times I$. Perhaps paths like $gamma$ could be glued together to connect any two points of $I times I$?
Edit
As has been pointed out below, it is not the case that $gamma((0,1)) subset I times I$. Clearly $gamma(q) in mathbbQ times mathbbR$ when $q in mathbbQ$. Fermat's theorem only guarantees that $gamma((0,1)) subset mathbbR times I$. I had in mind the arc given implicitly by the equation $x^3 + y^3 = 1$ for $x,y in (0,1)$. While this arc will be a subset of $I times I$, it is in fact totally disconnected.
This question already has an answer here:
Is the Cartesian square of the set of irrational numbers path connected?
1 answer
general-topology analysis
general-topology analysis
asked May 6 at 20:48
Charles HudginsCharles Hudgins
4357
asked May 6 at 20:48
Charles HudginsCharles Hudgins
4357
edited May 6 at 21:25
Charles Hudgins
asked May 6 at 20:48
Charles HudginsCharles Hudgins
4357
asked May 6 at 20:48
Charles HudginsCharles Hudgins
4357
asked May 6 at 20:48
Charles HudginsCharles Hudgins
4357
4357
marked as duplicate by Asaf Karagila♦ general-topology
Users with the general-topology badge can single-handedly close general-topology questions as duplicates and reopen them as needed.
StackExchange.ready(function()
if (StackExchange.options.isMobile) return;
$('.dupe-hammer-message-hover:not(.hover-bound)').each(function()
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');
$hover.hover(
function()
$hover.showInfoMessage('',
messageElement: $msg.clone().show(),
transient: false,
position: my: 'bottom left', at: 'top center', offsetTop: -7 ,
dismissable: false,
relativeToBody: true
);
,
function()
StackExchange.helpers.removeMessages();
);
);
);
May 6 at 21:43
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
marked as duplicate by Asaf Karagila♦ general-topology
Users with the general-topology badge can single-handedly close general-topology questions as duplicates and reopen them as needed.
StackExchange.ready(function()
if (StackExchange.options.isMobile) return;
$('.dupe-hammer-message-hover:not(.hover-bound)').each(function()
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');
$hover.hover(
function()
$hover.showInfoMessage('',
messageElement: $msg.clone().show(),
transient: false,
position: my: 'bottom left', at: 'top center', offsetTop: -7 ,
dismissable: false,
relativeToBody: true
);
,
function()
StackExchange.helpers.removeMessages();
);
);
);
May 6 at 21:43
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
1
$begingroup$
Fermat's last theorem is a nice thought, but unfortunately $gamma((0,1)) nsubseteq I times I$, because $I times I$ is missing all points with rational $x$-coordinate, for instance.
$endgroup$
– Jane Doé
May 6 at 20:51
$begingroup$
If $pi_1,pi_2$ are the projections onto the first and second coordinates, then $alpha_1=pi_1circ gamma$ and $alpha_2=pi_2circgamma$ are continuous. Since $(0,1)$ is connected then its image by $alpha_1$ and $alpha_2$ are connected. This mean that they contain only one point.
$endgroup$
– logarithm
May 6 at 20:55
$begingroup$
I see now that the use of Fermat's last theorem was misguided. The arc composed of points $x, y in (0,1)$ such that $x^3 + y^3 = 1$ certainly lives in $I times I$, but is not connected. Meanwhile the arc I described contains points with rational coordinates.
$endgroup$
– Charles Hudgins
May 6 at 21:20
add a comment |
1
$begingroup$
Fermat's last theorem is a nice thought, but unfortunately $gamma((0,1)) nsubseteq I times I$, because $I times I$ is missing all points with rational $x$-coordinate, for instance.
$endgroup$
– Jane Doé
May 6 at 20:51
$begingroup$
If $pi_1,pi_2$ are the projections onto the first and second coordinates, then $alpha_1=pi_1circ gamma$ and $alpha_2=pi_2circgamma$ are continuous. Since $(0,1)$ is connected then its image by $alpha_1$ and $alpha_2$ are connected. This mean that they contain only one point.
$endgroup$
– logarithm
May 6 at 20:55
$begingroup$
I see now that the use of Fermat's last theorem was misguided. The arc composed of points $x, y in (0,1)$ such that $x^3 + y^3 = 1$ certainly lives in $I times I$, but is not connected. Meanwhile the arc I described contains points with rational coordinates.
$endgroup$
– Charles Hudgins
May 6 at 21:20
1
1
$begingroup$
Fermat's last theorem is a nice thought, but unfortunately $gamma((0,1)) nsubseteq I times I$, because $I times I$ is missing all points with rational $x$-coordinate, for instance.
$endgroup$
– Jane Doé
May 6 at 20:51
$begingroup$
Fermat's last theorem is a nice thought, but unfortunately $gamma((0,1)) nsubseteq I times I$, because $I times I$ is missing all points with rational $x$-coordinate, for instance.
$endgroup$
– Jane Doé
May 6 at 20:51
$begingroup$
If $pi_1,pi_2$ are the projections onto the first and second coordinates, then $alpha_1=pi_1circ gamma$ and $alpha_2=pi_2circgamma$ are continuous. Since $(0,1)$ is connected then its image by $alpha_1$ and $alpha_2$ are connected. This mean that they contain only one point.
$endgroup$
– logarithm
May 6 at 20:55
$begingroup$
If $pi_1,pi_2$ are the projections onto the first and second coordinates, then $alpha_1=pi_1circ gamma$ and $alpha_2=pi_2circgamma$ are continuous. Since $(0,1)$ is connected then its image by $alpha_1$ and $alpha_2$ are connected. This mean that they contain only one point.
$endgroup$
– logarithm
May 6 at 20:55
$begingroup$
I see now that the use of Fermat's last theorem was misguided. The arc composed of points $x, y in (0,1)$ such that $x^3 + y^3 = 1$ certainly lives in $I times I$, but is not connected. Meanwhile the arc I described contains points with rational coordinates.
$endgroup$
– Charles Hudgins
May 6 at 21:20
$begingroup$
I see now that the use of Fermat's last theorem was misguided. The arc composed of points $x, y in (0,1)$ such that $x^3 + y^3 = 1$ certainly lives in $I times I$, but is not connected. Meanwhile the arc I described contains points with rational coordinates.
$endgroup$
– Charles Hudgins
May 6 at 21:20
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
$Itimes I$ is not path connected (or connected, for that matter), because the projection $pi(x,y)=x$ is a continuous map and $pi[Itimes I]$ is the disconnected set $I$.
In fact, in your candidate path, $gammaleft(frac12right)=left(frac12,fracsqrt[3]72right)notin Itimes I$.
On the other hand, $(Bbb RtimesBbb R)setminus(Bbb Qtimes Bbb Q)$ is path-connected, just like all complements of countable subsets of $Bbb R^2$ are.
answered May 6 at 20:55
Saucy O'PathSaucy O'Path
7,5891827
$endgroup$
add a comment |
$begingroup$
No. It's not even connected. Consider the map$$beginarrayrcccfcolon&Itimes I&longrightarrow&0,1\&(x,y)&mapsto&begincases1&text if y>frac12\0&text if y<frac12.endcasesendarray$$Then $f$ is continuous and $f(Itimes I)=0,1$, which is disconnected.
answered May 6 at 20:56
José Carlos SantosJosé Carlos Santos
182k24142256
$endgroup$
add a comment |
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
$Itimes I$ is not path connected (or connected, for that matter), because the projection $pi(x,y)=x$ is a continuous map and $pi[Itimes I]$ is the disconnected set $I$.
In fact, in your candidate path, $gammaleft(frac12right)=left(frac12,fracsqrt[3]72right)notin Itimes I$.
On the other hand, $(Bbb RtimesBbb R)setminus(Bbb Qtimes Bbb Q)$ is path-connected, just like all complements of countable subsets of $Bbb R^2$ are.
answered May 6 at 20:55
Saucy O'PathSaucy O'Path
7,5891827
$endgroup$
add a comment |
$begingroup$
$Itimes I$ is not path connected (or connected, for that matter), because the projection $pi(x,y)=x$ is a continuous map and $pi[Itimes I]$ is the disconnected set $I$.
In fact, in your candidate path, $gammaleft(frac12right)=left(frac12,fracsqrt[3]72right)notin Itimes I$.
On the other hand, $(Bbb RtimesBbb R)setminus(Bbb Qtimes Bbb Q)$ is path-connected, just like all complements of countable subsets of $Bbb R^2$ are.
answered May 6 at 20:55
Saucy O'PathSaucy O'Path
7,5891827
$endgroup$
add a comment |
$begingroup$
$Itimes I$ is not path connected (or connected, for that matter), because the projection $pi(x,y)=x$ is a continuous map and $pi[Itimes I]$ is the disconnected set $I$.
In fact, in your candidate path, $gammaleft(frac12right)=left(frac12,fracsqrt[3]72right)notin Itimes I$.
On the other hand, $(Bbb RtimesBbb R)setminus(Bbb Qtimes Bbb Q)$ is path-connected, just like all complements of countable subsets of $Bbb R^2$ are.
answered May 6 at 20:55
Saucy O'PathSaucy O'Path
7,5891827
$endgroup$
$Itimes I$ is not path connected (or connected, for that matter), because the projection $pi(x,y)=x$ is a continuous map and $pi[Itimes I]$ is the disconnected set $I$.
In fact, in your candidate path, $gammaleft(frac12right)=left(frac12,fracsqrt[3]72right)notin Itimes I$.
On the other hand, $(Bbb RtimesBbb R)setminus(Bbb Qtimes Bbb Q)$ is path-connected, just like all complements of countable subsets of $Bbb R^2$ are.
answered May 6 at 20:55
Saucy O'PathSaucy O'Path
7,5891827
edited May 6 at 21:38
answered May 6 at 20:55
Saucy O'PathSaucy O'Path
7,5891827
answered May 6 at 20:55
Saucy O'PathSaucy O'Path
7,5891827
answered May 6 at 20:55
Saucy O'PathSaucy O'Path
7,5891827
7,5891827
add a comment |
add a comment |
$begingroup$
No. It's not even connected. Consider the map$$beginarrayrcccfcolon&Itimes I&longrightarrow&0,1\&(x,y)&mapsto&begincases1&text if y>frac12\0&text if y<frac12.endcasesendarray$$Then $f$ is continuous and $f(Itimes I)=0,1$, which is disconnected.
answered May 6 at 20:56
José Carlos SantosJosé Carlos Santos
182k24142256
$endgroup$
add a comment |
$begingroup$
No. It's not even connected. Consider the map$$beginarrayrcccfcolon&Itimes I&longrightarrow&0,1\&(x,y)&mapsto&begincases1&text if y>frac12\0&text if y<frac12.endcasesendarray$$Then $f$ is continuous and $f(Itimes I)=0,1$, which is disconnected.
answered May 6 at 20:56
José Carlos SantosJosé Carlos Santos
182k24142256
$endgroup$
add a comment |
$begingroup$
No. It's not even connected. Consider the map$$beginarrayrcccfcolon&Itimes I&longrightarrow&0,1\&(x,y)&mapsto&begincases1&text if y>frac12\0&text if y<frac12.endcasesendarray$$Then $f$ is continuous and $f(Itimes I)=0,1$, which is disconnected.
answered May 6 at 20:56
José Carlos SantosJosé Carlos Santos
182k24142256
$endgroup$
No. It's not even connected. Consider the map$$beginarrayrcccfcolon&Itimes I&longrightarrow&0,1\&(x,y)&mapsto&begincases1&text if y>frac12\0&text if y<frac12.endcasesendarray$$Then $f$ is continuous and $f(Itimes I)=0,1$, which is disconnected.
answered May 6 at 20:56
José Carlos SantosJosé Carlos Santos
182k24142256
answered May 6 at 20:56
José Carlos SantosJosé Carlos Santos
182k24142256
answered May 6 at 20:56
José Carlos SantosJosé Carlos Santos
182k24142256
answered May 6 at 20:56
José Carlos SantosJosé Carlos Santos
182k24142256
182k24142256
add a comment |
add a comment |
1
$begingroup$
Fermat's last theorem is a nice thought, but unfortunately $gamma((0,1)) nsubseteq I times I$, because $I times I$ is missing all points with rational $x$-coordinate, for instance.
$endgroup$
– Jane Doé
May 6 at 20:51
$begingroup$
If $pi_1,pi_2$ are the projections onto the first and second coordinates, then $alpha_1=pi_1circ gamma$ and $alpha_2=pi_2circgamma$ are continuous. Since $(0,1)$ is connected then its image by $alpha_1$ and $alpha_2$ are connected. This mean that they contain only one point.
$endgroup$
– logarithm
May 6 at 20:55
$begingroup$
I see now that the use of Fermat's last theorem was misguided. The arc composed of points $x, y in (0,1)$ such that $x^3 + y^3 = 1$ certainly lives in $I times I$, but is not connected. Meanwhile the arc I described contains points with rational coordinates.
$endgroup$
– Charles Hudgins
May 6 at 21:20