A little question on rationals and open sets in $mathbbR$.

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
-1
down vote

favorite












Let $A$ be an open set of real numbers, and $D$ be the set of rationals in $A$. For every $din D$, let $J(d)$ be an (arbitrary) open interval such that $d in J(d) subseteq A$. Is it true that $bigcup J (d) = A$ ?










share|cite|improve this question



























    up vote
    -1
    down vote

    favorite












    Let $A$ be an open set of real numbers, and $D$ be the set of rationals in $A$. For every $din D$, let $J(d)$ be an (arbitrary) open interval such that $d in J(d) subseteq A$. Is it true that $bigcup J (d) = A$ ?










    share|cite|improve this question

























      up vote
      -1
      down vote

      favorite









      up vote
      -1
      down vote

      favorite











      Let $A$ be an open set of real numbers, and $D$ be the set of rationals in $A$. For every $din D$, let $J(d)$ be an (arbitrary) open interval such that $d in J(d) subseteq A$. Is it true that $bigcup J (d) = A$ ?










      share|cite|improve this question















      Let $A$ be an open set of real numbers, and $D$ be the set of rationals in $A$. For every $din D$, let $J(d)$ be an (arbitrary) open interval such that $d in J(d) subseteq A$. Is it true that $bigcup J (d) = A$ ?







      general-topology real-numbers rational-numbers






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Sep 1 at 3:44









      Cornman

      2,78421228




      2,78421228










      asked Sep 1 at 3:04









      Alex123

      184




      184




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          4
          down vote



          accepted










          No, it isn't true.



          Consider $A=(0,1)$ and $J(d)$ being whichever one of $(0,frac1pi)$ or $(frac1pi,1)$ which contains $d$.






          share|cite|improve this answer




















          • And if we were to impose J(d) = (d-1/n,d+1/n) for some n = 1,2,... ?
            – Alex123
            Sep 1 at 3:22










          • @Alex still no. List the rationals in $(0,1)$ as $d_1,d_2,ldots$, and let $J(d_k)=(d_k-frac12^k+2,d_k+frac12^k+2)$. Then the combined width of all the $J(d_k)$'s is $frac12$, so even with no overlap, (and no "overspill", as in $J(d_k)notsubseteq (0,1)$), half of $A$ (as measured by, well, measure) is still uncovered. In fact, this still works for $A=Bbb R$, meaning by far most of the number line is uncovered. We can also adjust the exponent to make the sum of the widths as small as we want.
            – Arthur
            Sep 1 at 3:40











          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',
          convertImagesToLinks: true,
          noModals: false,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          );



          );













           

          draft saved


          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2901315%2fa-little-question-on-rationals-and-open-sets-in-mathbbr%23new-answer', 'question_page');

          );

          Post as a guest






























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          4
          down vote



          accepted










          No, it isn't true.



          Consider $A=(0,1)$ and $J(d)$ being whichever one of $(0,frac1pi)$ or $(frac1pi,1)$ which contains $d$.






          share|cite|improve this answer




















          • And if we were to impose J(d) = (d-1/n,d+1/n) for some n = 1,2,... ?
            – Alex123
            Sep 1 at 3:22










          • @Alex still no. List the rationals in $(0,1)$ as $d_1,d_2,ldots$, and let $J(d_k)=(d_k-frac12^k+2,d_k+frac12^k+2)$. Then the combined width of all the $J(d_k)$'s is $frac12$, so even with no overlap, (and no "overspill", as in $J(d_k)notsubseteq (0,1)$), half of $A$ (as measured by, well, measure) is still uncovered. In fact, this still works for $A=Bbb R$, meaning by far most of the number line is uncovered. We can also adjust the exponent to make the sum of the widths as small as we want.
            – Arthur
            Sep 1 at 3:40















          up vote
          4
          down vote



          accepted










          No, it isn't true.



          Consider $A=(0,1)$ and $J(d)$ being whichever one of $(0,frac1pi)$ or $(frac1pi,1)$ which contains $d$.






          share|cite|improve this answer




















          • And if we were to impose J(d) = (d-1/n,d+1/n) for some n = 1,2,... ?
            – Alex123
            Sep 1 at 3:22










          • @Alex still no. List the rationals in $(0,1)$ as $d_1,d_2,ldots$, and let $J(d_k)=(d_k-frac12^k+2,d_k+frac12^k+2)$. Then the combined width of all the $J(d_k)$'s is $frac12$, so even with no overlap, (and no "overspill", as in $J(d_k)notsubseteq (0,1)$), half of $A$ (as measured by, well, measure) is still uncovered. In fact, this still works for $A=Bbb R$, meaning by far most of the number line is uncovered. We can also adjust the exponent to make the sum of the widths as small as we want.
            – Arthur
            Sep 1 at 3:40













          up vote
          4
          down vote



          accepted







          up vote
          4
          down vote



          accepted






          No, it isn't true.



          Consider $A=(0,1)$ and $J(d)$ being whichever one of $(0,frac1pi)$ or $(frac1pi,1)$ which contains $d$.






          share|cite|improve this answer












          No, it isn't true.



          Consider $A=(0,1)$ and $J(d)$ being whichever one of $(0,frac1pi)$ or $(frac1pi,1)$ which contains $d$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Sep 1 at 3:07









          Arthur

          102k795176




          102k795176











          • And if we were to impose J(d) = (d-1/n,d+1/n) for some n = 1,2,... ?
            – Alex123
            Sep 1 at 3:22










          • @Alex still no. List the rationals in $(0,1)$ as $d_1,d_2,ldots$, and let $J(d_k)=(d_k-frac12^k+2,d_k+frac12^k+2)$. Then the combined width of all the $J(d_k)$'s is $frac12$, so even with no overlap, (and no "overspill", as in $J(d_k)notsubseteq (0,1)$), half of $A$ (as measured by, well, measure) is still uncovered. In fact, this still works for $A=Bbb R$, meaning by far most of the number line is uncovered. We can also adjust the exponent to make the sum of the widths as small as we want.
            – Arthur
            Sep 1 at 3:40

















          • And if we were to impose J(d) = (d-1/n,d+1/n) for some n = 1,2,... ?
            – Alex123
            Sep 1 at 3:22










          • @Alex still no. List the rationals in $(0,1)$ as $d_1,d_2,ldots$, and let $J(d_k)=(d_k-frac12^k+2,d_k+frac12^k+2)$. Then the combined width of all the $J(d_k)$'s is $frac12$, so even with no overlap, (and no "overspill", as in $J(d_k)notsubseteq (0,1)$), half of $A$ (as measured by, well, measure) is still uncovered. In fact, this still works for $A=Bbb R$, meaning by far most of the number line is uncovered. We can also adjust the exponent to make the sum of the widths as small as we want.
            – Arthur
            Sep 1 at 3:40
















          And if we were to impose J(d) = (d-1/n,d+1/n) for some n = 1,2,... ?
          – Alex123
          Sep 1 at 3:22




          And if we were to impose J(d) = (d-1/n,d+1/n) for some n = 1,2,... ?
          – Alex123
          Sep 1 at 3:22












          @Alex still no. List the rationals in $(0,1)$ as $d_1,d_2,ldots$, and let $J(d_k)=(d_k-frac12^k+2,d_k+frac12^k+2)$. Then the combined width of all the $J(d_k)$'s is $frac12$, so even with no overlap, (and no "overspill", as in $J(d_k)notsubseteq (0,1)$), half of $A$ (as measured by, well, measure) is still uncovered. In fact, this still works for $A=Bbb R$, meaning by far most of the number line is uncovered. We can also adjust the exponent to make the sum of the widths as small as we want.
          – Arthur
          Sep 1 at 3:40





          @Alex still no. List the rationals in $(0,1)$ as $d_1,d_2,ldots$, and let $J(d_k)=(d_k-frac12^k+2,d_k+frac12^k+2)$. Then the combined width of all the $J(d_k)$'s is $frac12$, so even with no overlap, (and no "overspill", as in $J(d_k)notsubseteq (0,1)$), half of $A$ (as measured by, well, measure) is still uncovered. In fact, this still works for $A=Bbb R$, meaning by far most of the number line is uncovered. We can also adjust the exponent to make the sum of the widths as small as we want.
          – Arthur
          Sep 1 at 3:40


















           

          draft saved


          draft discarded















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2901315%2fa-little-question-on-rationals-and-open-sets-in-mathbbr%23new-answer', 'question_page');

          );

          Post as a guest













































































          這個網誌中的熱門文章

          How to combine Bézier curves to a surface?

          Mutual Information Always Non-negative

          Why am i infinitely getting the same tweet with the Twitter Search API?