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

                      Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

                      ComboBox Display Member on multiple fields

                      Is it possible to collect Nectar points via Trainline?