Homeomorphism between $mathbb{R}$ and $(0,1)$ [duplicate]











up vote
2
down vote

favorite
2













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.










share|cite|improve this 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();
}
);
});
});
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















up vote
2
down vote

favorite
2













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.










share|cite|improve this 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();
}
);
});
});
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













up vote
2
down vote

favorite
2









up vote
2
down vote

favorite
2






2






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.










share|cite|improve this question
















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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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


















  • (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










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|}$.






share|cite|improve this answer




























    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.






    share|cite|improve this answer





















    • 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


















    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}
    $$






    share|cite|improve this answer




























      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|}$.






      share|cite|improve this answer

























        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|}$.






        share|cite|improve this answer























          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|}$.






          share|cite|improve this answer












          $f(x)=(frac x {1+|x|}+1)/2$ is such a map. Its inverse is $y to frac {2y-1} {1-|2y-1|}$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Nov 13 at 7:16









          Kavi Rama Murthy

          40.7k31751




          40.7k31751






















              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.






              share|cite|improve this answer





















              • 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















              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.






              share|cite|improve this answer





















              • 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













              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.






              share|cite|improve this answer












              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.







              share|cite|improve this answer












              share|cite|improve this answer



              share|cite|improve this answer










              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


















              • 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










              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}
              $$






              share|cite|improve this answer

























                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}
                $$






                share|cite|improve this answer























                  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}
                  $$






                  share|cite|improve this answer












                  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}
                  $$







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Nov 13 at 7:04









                  user10354138

                  6,294623




                  6,294623















                      Popular posts from this blog

                      How to change which sound is reproduced for terminal bell?

                      Can I use Tabulator js library in my java Spring + Thymeleaf project?

                      Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents