Homeomorphism between $mathbb{R}$ and $(0,1)$ [duplicate]
up vote
2
down vote
favorite
This question already has an answer here:
Is there a bijection between $(0,1)$ and $mathbb{R}$ that preserves rationality?
4 answers
I was working with an exercise of general topology and I had a question: are there an homeomorphism $f:mathbb{R}to(0,1)$ such that $f(x)inmathbb{Q}$ if and only if $xinmathbb{Q}$?, i.e., the homeomorphism maps the rationals to rationals and therefore the irrationals to irrationals.
My intuition says that the answer is yes but I can't find an example. The closer example was $g:mathbb{R}to(0,1)$ defined by $g(x)=dfrac{1}{1+2^{-x}}$. But I think that doesn't works.
real-analysis general-topology real-numbers
marked as duplicate by Asaf Karagila♦
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();
}
);
});
});
Nov 13 at 7:17
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 |
up vote
2
down vote
favorite
This question already has an answer here:
Is there a bijection between $(0,1)$ and $mathbb{R}$ that preserves rationality?
4 answers
I was working with an exercise of general topology and I had a question: are there an homeomorphism $f:mathbb{R}to(0,1)$ such that $f(x)inmathbb{Q}$ if and only if $xinmathbb{Q}$?, i.e., the homeomorphism maps the rationals to rationals and therefore the irrationals to irrationals.
My intuition says that the answer is yes but I can't find an example. The closer example was $g:mathbb{R}to(0,1)$ defined by $g(x)=dfrac{1}{1+2^{-x}}$. But I think that doesn't works.
real-analysis general-topology real-numbers
marked as duplicate by Asaf Karagila♦
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();
}
);
});
});
Nov 13 at 7:17
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.
(Yes, I am aware that the question is slightly different, but the answers are similar enough.)
– Asaf Karagila♦
Nov 13 at 7:17
add a comment |
up vote
2
down vote
favorite
up vote
2
down vote
favorite
This question already has an answer here:
Is there a bijection between $(0,1)$ and $mathbb{R}$ that preserves rationality?
4 answers
I was working with an exercise of general topology and I had a question: are there an homeomorphism $f:mathbb{R}to(0,1)$ such that $f(x)inmathbb{Q}$ if and only if $xinmathbb{Q}$?, i.e., the homeomorphism maps the rationals to rationals and therefore the irrationals to irrationals.
My intuition says that the answer is yes but I can't find an example. The closer example was $g:mathbb{R}to(0,1)$ defined by $g(x)=dfrac{1}{1+2^{-x}}$. But I think that doesn't works.
real-analysis general-topology real-numbers
This question already has an answer here:
Is there a bijection between $(0,1)$ and $mathbb{R}$ that preserves rationality?
4 answers
I was working with an exercise of general topology and I had a question: are there an homeomorphism $f:mathbb{R}to(0,1)$ such that $f(x)inmathbb{Q}$ if and only if $xinmathbb{Q}$?, i.e., the homeomorphism maps the rationals to rationals and therefore the irrationals to irrationals.
My intuition says that the answer is yes but I can't find an example. The closer example was $g:mathbb{R}to(0,1)$ defined by $g(x)=dfrac{1}{1+2^{-x}}$. But I think that doesn't works.
This question already has an answer here:
Is there a bijection between $(0,1)$ and $mathbb{R}$ that preserves rationality?
4 answers
real-analysis general-topology real-numbers
real-analysis general-topology real-numbers
edited Nov 13 at 6:56
asked Nov 13 at 6:43
Carlos Jiménez
2,2801519
2,2801519
marked as duplicate by Asaf Karagila♦
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();
}
);
});
});
Nov 13 at 7:17
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♦
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();
}
);
});
});
Nov 13 at 7:17
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.
(Yes, I am aware that the question is slightly different, but the answers are similar enough.)
– Asaf Karagila♦
Nov 13 at 7:17
add a comment |
(Yes, I am aware that the question is slightly different, but the answers are similar enough.)
– Asaf Karagila♦
Nov 13 at 7:17
(Yes, I am aware that the question is slightly different, but the answers are similar enough.)
– Asaf Karagila♦
Nov 13 at 7:17
(Yes, I am aware that the question is slightly different, but the answers are similar enough.)
– Asaf Karagila♦
Nov 13 at 7:17
add a comment |
3 Answers
3
active
oldest
votes
up vote
3
down vote
accepted
$f(x)=(frac x {1+|x|}+1)/2$ is such a map. Its inverse is $y to frac {2y-1} {1-|2y-1|}$.
add a comment |
up vote
2
down vote
Yes. By a well-known result, any two countable totally-ordered sets
with no largest and smallest elements are order-isomorphic. Therefore
there is an order-isomorphism $F:Bbb QtoBbb Qcap(0,1)$. Now $Bbb R$
and $(0,1)$ can be constructed by Dedekind cuts on $Bbb Q$ and
$Bbb Qcap(0,1)$ respectively. Thus $F$ extends to an order-isomorphism
$f:Bbb Rto(0,1)$. As both $Bbb R$ and $(0,1)$ have the topologies
induced by their ordering, $f$ is a homeomorphism.
Wow. Your answer is an overkill to my exercise and is great, but, are there an explicit homeomorphism?
– Carlos Jiménez
Nov 13 at 6:55
1
@CarlosJiménez One can construct a "piecewise-linear" example.
– Lord Shark the Unknown
Nov 13 at 7:00
add a comment |
up vote
1
down vote
You can construct an example by hand, choosing a rational at each integer (say) and imposing piecewise linearity.
For example, let $fcolonmathbb{R}to(0,1)$ be
$$
f(x)=
begin{cases}
1-dfrac1{2(x+1)} & text{if }xinmathbb{N}\
dfrac1{2(-1-x)} & text{if }-xinmathbb{N}\
frac12 & text{if }n=0\
text{linear} & text{otherwise}.
end{cases}
$$
add a comment |
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
3
down vote
accepted
$f(x)=(frac x {1+|x|}+1)/2$ is such a map. Its inverse is $y to frac {2y-1} {1-|2y-1|}$.
add a comment |
up vote
3
down vote
accepted
$f(x)=(frac x {1+|x|}+1)/2$ is such a map. Its inverse is $y to frac {2y-1} {1-|2y-1|}$.
add a comment |
up vote
3
down vote
accepted
up vote
3
down vote
accepted
$f(x)=(frac x {1+|x|}+1)/2$ is such a map. Its inverse is $y to frac {2y-1} {1-|2y-1|}$.
$f(x)=(frac x {1+|x|}+1)/2$ is such a map. Its inverse is $y to frac {2y-1} {1-|2y-1|}$.
answered Nov 13 at 7:16
Kavi Rama Murthy
40.7k31751
40.7k31751
add a comment |
add a comment |
up vote
2
down vote
Yes. By a well-known result, any two countable totally-ordered sets
with no largest and smallest elements are order-isomorphic. Therefore
there is an order-isomorphism $F:Bbb QtoBbb Qcap(0,1)$. Now $Bbb R$
and $(0,1)$ can be constructed by Dedekind cuts on $Bbb Q$ and
$Bbb Qcap(0,1)$ respectively. Thus $F$ extends to an order-isomorphism
$f:Bbb Rto(0,1)$. As both $Bbb R$ and $(0,1)$ have the topologies
induced by their ordering, $f$ is a homeomorphism.
Wow. Your answer is an overkill to my exercise and is great, but, are there an explicit homeomorphism?
– Carlos Jiménez
Nov 13 at 6:55
1
@CarlosJiménez One can construct a "piecewise-linear" example.
– Lord Shark the Unknown
Nov 13 at 7:00
add a comment |
up vote
2
down vote
Yes. By a well-known result, any two countable totally-ordered sets
with no largest and smallest elements are order-isomorphic. Therefore
there is an order-isomorphism $F:Bbb QtoBbb Qcap(0,1)$. Now $Bbb R$
and $(0,1)$ can be constructed by Dedekind cuts on $Bbb Q$ and
$Bbb Qcap(0,1)$ respectively. Thus $F$ extends to an order-isomorphism
$f:Bbb Rto(0,1)$. As both $Bbb R$ and $(0,1)$ have the topologies
induced by their ordering, $f$ is a homeomorphism.
Wow. Your answer is an overkill to my exercise and is great, but, are there an explicit homeomorphism?
– Carlos Jiménez
Nov 13 at 6:55
1
@CarlosJiménez One can construct a "piecewise-linear" example.
– Lord Shark the Unknown
Nov 13 at 7:00
add a comment |
up vote
2
down vote
up vote
2
down vote
Yes. By a well-known result, any two countable totally-ordered sets
with no largest and smallest elements are order-isomorphic. Therefore
there is an order-isomorphism $F:Bbb QtoBbb Qcap(0,1)$. Now $Bbb R$
and $(0,1)$ can be constructed by Dedekind cuts on $Bbb Q$ and
$Bbb Qcap(0,1)$ respectively. Thus $F$ extends to an order-isomorphism
$f:Bbb Rto(0,1)$. As both $Bbb R$ and $(0,1)$ have the topologies
induced by their ordering, $f$ is a homeomorphism.
Yes. By a well-known result, any two countable totally-ordered sets
with no largest and smallest elements are order-isomorphic. Therefore
there is an order-isomorphism $F:Bbb QtoBbb Qcap(0,1)$. Now $Bbb R$
and $(0,1)$ can be constructed by Dedekind cuts on $Bbb Q$ and
$Bbb Qcap(0,1)$ respectively. Thus $F$ extends to an order-isomorphism
$f:Bbb Rto(0,1)$. As both $Bbb R$ and $(0,1)$ have the topologies
induced by their ordering, $f$ is a homeomorphism.
answered Nov 13 at 6:53
Lord Shark the Unknown
97k958128
97k958128
Wow. Your answer is an overkill to my exercise and is great, but, are there an explicit homeomorphism?
– Carlos Jiménez
Nov 13 at 6:55
1
@CarlosJiménez One can construct a "piecewise-linear" example.
– Lord Shark the Unknown
Nov 13 at 7:00
add a comment |
Wow. Your answer is an overkill to my exercise and is great, but, are there an explicit homeomorphism?
– Carlos Jiménez
Nov 13 at 6:55
1
@CarlosJiménez One can construct a "piecewise-linear" example.
– Lord Shark the Unknown
Nov 13 at 7:00
Wow. Your answer is an overkill to my exercise and is great, but, are there an explicit homeomorphism?
– Carlos Jiménez
Nov 13 at 6:55
Wow. Your answer is an overkill to my exercise and is great, but, are there an explicit homeomorphism?
– Carlos Jiménez
Nov 13 at 6:55
1
1
@CarlosJiménez One can construct a "piecewise-linear" example.
– Lord Shark the Unknown
Nov 13 at 7:00
@CarlosJiménez One can construct a "piecewise-linear" example.
– Lord Shark the Unknown
Nov 13 at 7:00
add a comment |
up vote
1
down vote
You can construct an example by hand, choosing a rational at each integer (say) and imposing piecewise linearity.
For example, let $fcolonmathbb{R}to(0,1)$ be
$$
f(x)=
begin{cases}
1-dfrac1{2(x+1)} & text{if }xinmathbb{N}\
dfrac1{2(-1-x)} & text{if }-xinmathbb{N}\
frac12 & text{if }n=0\
text{linear} & text{otherwise}.
end{cases}
$$
add a comment |
up vote
1
down vote
You can construct an example by hand, choosing a rational at each integer (say) and imposing piecewise linearity.
For example, let $fcolonmathbb{R}to(0,1)$ be
$$
f(x)=
begin{cases}
1-dfrac1{2(x+1)} & text{if }xinmathbb{N}\
dfrac1{2(-1-x)} & text{if }-xinmathbb{N}\
frac12 & text{if }n=0\
text{linear} & text{otherwise}.
end{cases}
$$
add a comment |
up vote
1
down vote
up vote
1
down vote
You can construct an example by hand, choosing a rational at each integer (say) and imposing piecewise linearity.
For example, let $fcolonmathbb{R}to(0,1)$ be
$$
f(x)=
begin{cases}
1-dfrac1{2(x+1)} & text{if }xinmathbb{N}\
dfrac1{2(-1-x)} & text{if }-xinmathbb{N}\
frac12 & text{if }n=0\
text{linear} & text{otherwise}.
end{cases}
$$
You can construct an example by hand, choosing a rational at each integer (say) and imposing piecewise linearity.
For example, let $fcolonmathbb{R}to(0,1)$ be
$$
f(x)=
begin{cases}
1-dfrac1{2(x+1)} & text{if }xinmathbb{N}\
dfrac1{2(-1-x)} & text{if }-xinmathbb{N}\
frac12 & text{if }n=0\
text{linear} & text{otherwise}.
end{cases}
$$
answered Nov 13 at 7:04
user10354138
6,294623
6,294623
add a comment |
add a comment |
(Yes, I am aware that the question is slightly different, but the answers are similar enough.)
– Asaf Karagila♦
Nov 13 at 7:17