Real Analysis Inequality Proof Involving Reals and Rationals $0 < |r - q| < varepsilon$












0












$begingroup$


I'm having difficulties making progress in proving:
$$forall varepsilon > 0, exists q in Q text{ where } 0 < |r - q| < varepsilon $$



To clarify, $r$ is a real number and $q$ is a rational number.



Is there some theorem I should be using? This exercise is presented in the same section/chapter as the Completeness Axiom (each nonempty set has a least upper bound or supremum), the Archimedean Property of Real Numbers ($ exists n in Z^{+}$ such that $na>b $ for positive real numbers $a$ and $b$), and a theorem stating there is a rational and irrational number between any two distinct real numbers.



I'm just not seeing the connection (if any at all). Any help in the right direction would be much appreciated. Thank you!










share|cite|improve this question











$endgroup$












  • $begingroup$
    Dirichlet's approximation theorem should be helpful.
    $endgroup$
    – rtybase
    Jan 12 at 10:40






  • 1




    $begingroup$
    You know that there is a rational between any two distinct reals. Consider $r$ and $r+epsilon$.
    $endgroup$
    – Wojowu
    Jan 12 at 10:42
















0












$begingroup$


I'm having difficulties making progress in proving:
$$forall varepsilon > 0, exists q in Q text{ where } 0 < |r - q| < varepsilon $$



To clarify, $r$ is a real number and $q$ is a rational number.



Is there some theorem I should be using? This exercise is presented in the same section/chapter as the Completeness Axiom (each nonempty set has a least upper bound or supremum), the Archimedean Property of Real Numbers ($ exists n in Z^{+}$ such that $na>b $ for positive real numbers $a$ and $b$), and a theorem stating there is a rational and irrational number between any two distinct real numbers.



I'm just not seeing the connection (if any at all). Any help in the right direction would be much appreciated. Thank you!










share|cite|improve this question











$endgroup$












  • $begingroup$
    Dirichlet's approximation theorem should be helpful.
    $endgroup$
    – rtybase
    Jan 12 at 10:40






  • 1




    $begingroup$
    You know that there is a rational between any two distinct reals. Consider $r$ and $r+epsilon$.
    $endgroup$
    – Wojowu
    Jan 12 at 10:42














0












0








0





$begingroup$


I'm having difficulties making progress in proving:
$$forall varepsilon > 0, exists q in Q text{ where } 0 < |r - q| < varepsilon $$



To clarify, $r$ is a real number and $q$ is a rational number.



Is there some theorem I should be using? This exercise is presented in the same section/chapter as the Completeness Axiom (each nonempty set has a least upper bound or supremum), the Archimedean Property of Real Numbers ($ exists n in Z^{+}$ such that $na>b $ for positive real numbers $a$ and $b$), and a theorem stating there is a rational and irrational number between any two distinct real numbers.



I'm just not seeing the connection (if any at all). Any help in the right direction would be much appreciated. Thank you!










share|cite|improve this question











$endgroup$




I'm having difficulties making progress in proving:
$$forall varepsilon > 0, exists q in Q text{ where } 0 < |r - q| < varepsilon $$



To clarify, $r$ is a real number and $q$ is a rational number.



Is there some theorem I should be using? This exercise is presented in the same section/chapter as the Completeness Axiom (each nonempty set has a least upper bound or supremum), the Archimedean Property of Real Numbers ($ exists n in Z^{+}$ such that $na>b $ for positive real numbers $a$ and $b$), and a theorem stating there is a rational and irrational number between any two distinct real numbers.



I'm just not seeing the connection (if any at all). Any help in the right direction would be much appreciated. Thank you!







real-analysis inequality proof-writing 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 Jan 12 at 10:45









rtybase

10.7k21533




10.7k21533










asked Jan 12 at 10:33









Zen'zZen'z

243




243












  • $begingroup$
    Dirichlet's approximation theorem should be helpful.
    $endgroup$
    – rtybase
    Jan 12 at 10:40






  • 1




    $begingroup$
    You know that there is a rational between any two distinct reals. Consider $r$ and $r+epsilon$.
    $endgroup$
    – Wojowu
    Jan 12 at 10:42


















  • $begingroup$
    Dirichlet's approximation theorem should be helpful.
    $endgroup$
    – rtybase
    Jan 12 at 10:40






  • 1




    $begingroup$
    You know that there is a rational between any two distinct reals. Consider $r$ and $r+epsilon$.
    $endgroup$
    – Wojowu
    Jan 12 at 10:42
















$begingroup$
Dirichlet's approximation theorem should be helpful.
$endgroup$
– rtybase
Jan 12 at 10:40




$begingroup$
Dirichlet's approximation theorem should be helpful.
$endgroup$
– rtybase
Jan 12 at 10:40




1




1




$begingroup$
You know that there is a rational between any two distinct reals. Consider $r$ and $r+epsilon$.
$endgroup$
– Wojowu
Jan 12 at 10:42




$begingroup$
You know that there is a rational between any two distinct reals. Consider $r$ and $r+epsilon$.
$endgroup$
– Wojowu
Jan 12 at 10:42










2 Answers
2






active

oldest

votes


















1












$begingroup$

Choose some positive integer $n$ such that $n>frac{1}{varepsilon}$. Define $q$ as $frac{[nr]+1}{n}$. Then, $|r-q|=frac{1-{nr}}{n}in (0;varepsilon)$.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Could you clarify the notation of [nr] in defining q as $frac{[nr]+1}{n} $ and the notation of {nr} in defining $|r - q| = frac{1-{nr}}{n} $? Thanks!
    $endgroup$
    – Zen'z
    Jan 13 at 18:27










  • $begingroup$
    For real $x$ we define the floor function of $x$ - $[x]$ as integer $n$ such that $nleq x<n+1$ (it's easy to see that such integer exists and unique).
    $endgroup$
    – richrow
    Jan 13 at 20:05










  • $begingroup$
    For more information about floor and ceiling functions see here en.m.wikipedia.org/wiki/Floor_and_ceiling_functions or here mathworld.wolfram.com/FloorFunction.html.
    $endgroup$
    – richrow
    Jan 13 at 20:07












  • $begingroup$
    So the [nr] defined in q and the {nr} in |r - q| both evaluates to integers by definition of the floor function? Also, I don't get how you got to |r - q| = $frac{1 - [nr]}{n}$. Could you help me understand the steps involved? Thanks again!
    $endgroup$
    – Zen'z
    Jan 13 at 20:10












  • $begingroup$
    No, ${x}$ is known as fractional part of $x$ and it's defined as ${x}:=x-[x]$. Hence, from definition we always have $0leq {x}<1$.
    $endgroup$
    – richrow
    Jan 13 at 21:40



















0












$begingroup$

No need to any theorem. Let $rnotinBbb Q$ and $$x=10^kcdot r$$for some value of $kin Bbb R$ then define $$ntriangleqBiglfloor10^kcdot rBigrfloor$$which leads to $$nle 10^kcdot r<n+1$$or $${nover 10^k}-{1over 10^k}<r<{n+1over 10^k}={nover 10^k}+{1over 10^k}$$finally $$0<|r-{nover 10^k}|<{1over 10^k}<epsilon$$ and $q={nover 10^k}$ when $k>-log epsilon$



For the case $rin Bbb Q$, define $q=r+{1over 10^k}$ for large enough $kin Bbb N$.






share|cite|improve this answer









$endgroup$













    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',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    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%2f3070774%2freal-analysis-inequality-proof-involving-reals-and-rationals-0-r-q-var%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    1












    $begingroup$

    Choose some positive integer $n$ such that $n>frac{1}{varepsilon}$. Define $q$ as $frac{[nr]+1}{n}$. Then, $|r-q|=frac{1-{nr}}{n}in (0;varepsilon)$.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Could you clarify the notation of [nr] in defining q as $frac{[nr]+1}{n} $ and the notation of {nr} in defining $|r - q| = frac{1-{nr}}{n} $? Thanks!
      $endgroup$
      – Zen'z
      Jan 13 at 18:27










    • $begingroup$
      For real $x$ we define the floor function of $x$ - $[x]$ as integer $n$ such that $nleq x<n+1$ (it's easy to see that such integer exists and unique).
      $endgroup$
      – richrow
      Jan 13 at 20:05










    • $begingroup$
      For more information about floor and ceiling functions see here en.m.wikipedia.org/wiki/Floor_and_ceiling_functions or here mathworld.wolfram.com/FloorFunction.html.
      $endgroup$
      – richrow
      Jan 13 at 20:07












    • $begingroup$
      So the [nr] defined in q and the {nr} in |r - q| both evaluates to integers by definition of the floor function? Also, I don't get how you got to |r - q| = $frac{1 - [nr]}{n}$. Could you help me understand the steps involved? Thanks again!
      $endgroup$
      – Zen'z
      Jan 13 at 20:10












    • $begingroup$
      No, ${x}$ is known as fractional part of $x$ and it's defined as ${x}:=x-[x]$. Hence, from definition we always have $0leq {x}<1$.
      $endgroup$
      – richrow
      Jan 13 at 21:40
















    1












    $begingroup$

    Choose some positive integer $n$ such that $n>frac{1}{varepsilon}$. Define $q$ as $frac{[nr]+1}{n}$. Then, $|r-q|=frac{1-{nr}}{n}in (0;varepsilon)$.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Could you clarify the notation of [nr] in defining q as $frac{[nr]+1}{n} $ and the notation of {nr} in defining $|r - q| = frac{1-{nr}}{n} $? Thanks!
      $endgroup$
      – Zen'z
      Jan 13 at 18:27










    • $begingroup$
      For real $x$ we define the floor function of $x$ - $[x]$ as integer $n$ such that $nleq x<n+1$ (it's easy to see that such integer exists and unique).
      $endgroup$
      – richrow
      Jan 13 at 20:05










    • $begingroup$
      For more information about floor and ceiling functions see here en.m.wikipedia.org/wiki/Floor_and_ceiling_functions or here mathworld.wolfram.com/FloorFunction.html.
      $endgroup$
      – richrow
      Jan 13 at 20:07












    • $begingroup$
      So the [nr] defined in q and the {nr} in |r - q| both evaluates to integers by definition of the floor function? Also, I don't get how you got to |r - q| = $frac{1 - [nr]}{n}$. Could you help me understand the steps involved? Thanks again!
      $endgroup$
      – Zen'z
      Jan 13 at 20:10












    • $begingroup$
      No, ${x}$ is known as fractional part of $x$ and it's defined as ${x}:=x-[x]$. Hence, from definition we always have $0leq {x}<1$.
      $endgroup$
      – richrow
      Jan 13 at 21:40














    1












    1








    1





    $begingroup$

    Choose some positive integer $n$ such that $n>frac{1}{varepsilon}$. Define $q$ as $frac{[nr]+1}{n}$. Then, $|r-q|=frac{1-{nr}}{n}in (0;varepsilon)$.






    share|cite|improve this answer









    $endgroup$



    Choose some positive integer $n$ such that $n>frac{1}{varepsilon}$. Define $q$ as $frac{[nr]+1}{n}$. Then, $|r-q|=frac{1-{nr}}{n}in (0;varepsilon)$.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Jan 12 at 11:01









    richrowrichrow

    1615




    1615












    • $begingroup$
      Could you clarify the notation of [nr] in defining q as $frac{[nr]+1}{n} $ and the notation of {nr} in defining $|r - q| = frac{1-{nr}}{n} $? Thanks!
      $endgroup$
      – Zen'z
      Jan 13 at 18:27










    • $begingroup$
      For real $x$ we define the floor function of $x$ - $[x]$ as integer $n$ such that $nleq x<n+1$ (it's easy to see that such integer exists and unique).
      $endgroup$
      – richrow
      Jan 13 at 20:05










    • $begingroup$
      For more information about floor and ceiling functions see here en.m.wikipedia.org/wiki/Floor_and_ceiling_functions or here mathworld.wolfram.com/FloorFunction.html.
      $endgroup$
      – richrow
      Jan 13 at 20:07












    • $begingroup$
      So the [nr] defined in q and the {nr} in |r - q| both evaluates to integers by definition of the floor function? Also, I don't get how you got to |r - q| = $frac{1 - [nr]}{n}$. Could you help me understand the steps involved? Thanks again!
      $endgroup$
      – Zen'z
      Jan 13 at 20:10












    • $begingroup$
      No, ${x}$ is known as fractional part of $x$ and it's defined as ${x}:=x-[x]$. Hence, from definition we always have $0leq {x}<1$.
      $endgroup$
      – richrow
      Jan 13 at 21:40


















    • $begingroup$
      Could you clarify the notation of [nr] in defining q as $frac{[nr]+1}{n} $ and the notation of {nr} in defining $|r - q| = frac{1-{nr}}{n} $? Thanks!
      $endgroup$
      – Zen'z
      Jan 13 at 18:27










    • $begingroup$
      For real $x$ we define the floor function of $x$ - $[x]$ as integer $n$ such that $nleq x<n+1$ (it's easy to see that such integer exists and unique).
      $endgroup$
      – richrow
      Jan 13 at 20:05










    • $begingroup$
      For more information about floor and ceiling functions see here en.m.wikipedia.org/wiki/Floor_and_ceiling_functions or here mathworld.wolfram.com/FloorFunction.html.
      $endgroup$
      – richrow
      Jan 13 at 20:07












    • $begingroup$
      So the [nr] defined in q and the {nr} in |r - q| both evaluates to integers by definition of the floor function? Also, I don't get how you got to |r - q| = $frac{1 - [nr]}{n}$. Could you help me understand the steps involved? Thanks again!
      $endgroup$
      – Zen'z
      Jan 13 at 20:10












    • $begingroup$
      No, ${x}$ is known as fractional part of $x$ and it's defined as ${x}:=x-[x]$. Hence, from definition we always have $0leq {x}<1$.
      $endgroup$
      – richrow
      Jan 13 at 21:40
















    $begingroup$
    Could you clarify the notation of [nr] in defining q as $frac{[nr]+1}{n} $ and the notation of {nr} in defining $|r - q| = frac{1-{nr}}{n} $? Thanks!
    $endgroup$
    – Zen'z
    Jan 13 at 18:27




    $begingroup$
    Could you clarify the notation of [nr] in defining q as $frac{[nr]+1}{n} $ and the notation of {nr} in defining $|r - q| = frac{1-{nr}}{n} $? Thanks!
    $endgroup$
    – Zen'z
    Jan 13 at 18:27












    $begingroup$
    For real $x$ we define the floor function of $x$ - $[x]$ as integer $n$ such that $nleq x<n+1$ (it's easy to see that such integer exists and unique).
    $endgroup$
    – richrow
    Jan 13 at 20:05




    $begingroup$
    For real $x$ we define the floor function of $x$ - $[x]$ as integer $n$ such that $nleq x<n+1$ (it's easy to see that such integer exists and unique).
    $endgroup$
    – richrow
    Jan 13 at 20:05












    $begingroup$
    For more information about floor and ceiling functions see here en.m.wikipedia.org/wiki/Floor_and_ceiling_functions or here mathworld.wolfram.com/FloorFunction.html.
    $endgroup$
    – richrow
    Jan 13 at 20:07






    $begingroup$
    For more information about floor and ceiling functions see here en.m.wikipedia.org/wiki/Floor_and_ceiling_functions or here mathworld.wolfram.com/FloorFunction.html.
    $endgroup$
    – richrow
    Jan 13 at 20:07














    $begingroup$
    So the [nr] defined in q and the {nr} in |r - q| both evaluates to integers by definition of the floor function? Also, I don't get how you got to |r - q| = $frac{1 - [nr]}{n}$. Could you help me understand the steps involved? Thanks again!
    $endgroup$
    – Zen'z
    Jan 13 at 20:10






    $begingroup$
    So the [nr] defined in q and the {nr} in |r - q| both evaluates to integers by definition of the floor function? Also, I don't get how you got to |r - q| = $frac{1 - [nr]}{n}$. Could you help me understand the steps involved? Thanks again!
    $endgroup$
    – Zen'z
    Jan 13 at 20:10














    $begingroup$
    No, ${x}$ is known as fractional part of $x$ and it's defined as ${x}:=x-[x]$. Hence, from definition we always have $0leq {x}<1$.
    $endgroup$
    – richrow
    Jan 13 at 21:40




    $begingroup$
    No, ${x}$ is known as fractional part of $x$ and it's defined as ${x}:=x-[x]$. Hence, from definition we always have $0leq {x}<1$.
    $endgroup$
    – richrow
    Jan 13 at 21:40











    0












    $begingroup$

    No need to any theorem. Let $rnotinBbb Q$ and $$x=10^kcdot r$$for some value of $kin Bbb R$ then define $$ntriangleqBiglfloor10^kcdot rBigrfloor$$which leads to $$nle 10^kcdot r<n+1$$or $${nover 10^k}-{1over 10^k}<r<{n+1over 10^k}={nover 10^k}+{1over 10^k}$$finally $$0<|r-{nover 10^k}|<{1over 10^k}<epsilon$$ and $q={nover 10^k}$ when $k>-log epsilon$



    For the case $rin Bbb Q$, define $q=r+{1over 10^k}$ for large enough $kin Bbb N$.






    share|cite|improve this answer









    $endgroup$


















      0












      $begingroup$

      No need to any theorem. Let $rnotinBbb Q$ and $$x=10^kcdot r$$for some value of $kin Bbb R$ then define $$ntriangleqBiglfloor10^kcdot rBigrfloor$$which leads to $$nle 10^kcdot r<n+1$$or $${nover 10^k}-{1over 10^k}<r<{n+1over 10^k}={nover 10^k}+{1over 10^k}$$finally $$0<|r-{nover 10^k}|<{1over 10^k}<epsilon$$ and $q={nover 10^k}$ when $k>-log epsilon$



      For the case $rin Bbb Q$, define $q=r+{1over 10^k}$ for large enough $kin Bbb N$.






      share|cite|improve this answer









      $endgroup$
















        0












        0








        0





        $begingroup$

        No need to any theorem. Let $rnotinBbb Q$ and $$x=10^kcdot r$$for some value of $kin Bbb R$ then define $$ntriangleqBiglfloor10^kcdot rBigrfloor$$which leads to $$nle 10^kcdot r<n+1$$or $${nover 10^k}-{1over 10^k}<r<{n+1over 10^k}={nover 10^k}+{1over 10^k}$$finally $$0<|r-{nover 10^k}|<{1over 10^k}<epsilon$$ and $q={nover 10^k}$ when $k>-log epsilon$



        For the case $rin Bbb Q$, define $q=r+{1over 10^k}$ for large enough $kin Bbb N$.






        share|cite|improve this answer









        $endgroup$



        No need to any theorem. Let $rnotinBbb Q$ and $$x=10^kcdot r$$for some value of $kin Bbb R$ then define $$ntriangleqBiglfloor10^kcdot rBigrfloor$$which leads to $$nle 10^kcdot r<n+1$$or $${nover 10^k}-{1over 10^k}<r<{n+1over 10^k}={nover 10^k}+{1over 10^k}$$finally $$0<|r-{nover 10^k}|<{1over 10^k}<epsilon$$ and $q={nover 10^k}$ when $k>-log epsilon$



        For the case $rin Bbb Q$, define $q=r+{1over 10^k}$ for large enough $kin Bbb N$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jan 12 at 14:16









        Mostafa AyazMostafa Ayaz

        15.3k3939




        15.3k3939






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3070774%2freal-analysis-inequality-proof-involving-reals-and-rationals-0-r-q-var%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Mario Kart Wii

            What does “Dominus providebit” mean?

            Antonio Litta Visconti Arese