Can every real number be represented by a (possibly infinite) decimal?












11












$begingroup$


Does every real number have a representation within our decimal system? The reason I ask is because, from beginning a mathematics undergraduate degree a lot of 'mathematical facts' I had previously assumed have been consistently modified, or altogether stripped away. I'm wondering if my subconscious assumption that every real number can be represented in such a way is in fact incorrect?



If so, is there a proof? If not, why not?



(Also I'm not quite sure how to tag this question?)










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    What's your definition of real numbers? And the answer is yes but the representation isn't unique.
    $endgroup$
    – xavierm02
    Jun 2 '13 at 21:45












  • $begingroup$
    Related.
    $endgroup$
    – Cameron Buie
    Jun 3 '13 at 3:17
















11












$begingroup$


Does every real number have a representation within our decimal system? The reason I ask is because, from beginning a mathematics undergraduate degree a lot of 'mathematical facts' I had previously assumed have been consistently modified, or altogether stripped away. I'm wondering if my subconscious assumption that every real number can be represented in such a way is in fact incorrect?



If so, is there a proof? If not, why not?



(Also I'm not quite sure how to tag this question?)










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    What's your definition of real numbers? And the answer is yes but the representation isn't unique.
    $endgroup$
    – xavierm02
    Jun 2 '13 at 21:45












  • $begingroup$
    Related.
    $endgroup$
    – Cameron Buie
    Jun 3 '13 at 3:17














11












11








11


8



$begingroup$


Does every real number have a representation within our decimal system? The reason I ask is because, from beginning a mathematics undergraduate degree a lot of 'mathematical facts' I had previously assumed have been consistently modified, or altogether stripped away. I'm wondering if my subconscious assumption that every real number can be represented in such a way is in fact incorrect?



If so, is there a proof? If not, why not?



(Also I'm not quite sure how to tag this question?)










share|cite|improve this question











$endgroup$




Does every real number have a representation within our decimal system? The reason I ask is because, from beginning a mathematics undergraduate degree a lot of 'mathematical facts' I had previously assumed have been consistently modified, or altogether stripped away. I'm wondering if my subconscious assumption that every real number can be represented in such a way is in fact incorrect?



If so, is there a proof? If not, why not?



(Also I'm not quite sure how to tag this question?)







real-analysis number-systems






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jun 2 '13 at 21:45









Namaste

1




1










asked Jun 2 '13 at 21:43









WakeUpDonnieWakeUpDonnie

142117




142117








  • 1




    $begingroup$
    What's your definition of real numbers? And the answer is yes but the representation isn't unique.
    $endgroup$
    – xavierm02
    Jun 2 '13 at 21:45












  • $begingroup$
    Related.
    $endgroup$
    – Cameron Buie
    Jun 3 '13 at 3:17














  • 1




    $begingroup$
    What's your definition of real numbers? And the answer is yes but the representation isn't unique.
    $endgroup$
    – xavierm02
    Jun 2 '13 at 21:45












  • $begingroup$
    Related.
    $endgroup$
    – Cameron Buie
    Jun 3 '13 at 3:17








1




1




$begingroup$
What's your definition of real numbers? And the answer is yes but the representation isn't unique.
$endgroup$
– xavierm02
Jun 2 '13 at 21:45






$begingroup$
What's your definition of real numbers? And the answer is yes but the representation isn't unique.
$endgroup$
– xavierm02
Jun 2 '13 at 21:45














$begingroup$
Related.
$endgroup$
– Cameron Buie
Jun 3 '13 at 3:17




$begingroup$
Related.
$endgroup$
– Cameron Buie
Jun 3 '13 at 3:17










5 Answers
5






active

oldest

votes


















11












$begingroup$

Suppose $x$ is a positive real number. It can be shown that $nmapsto 10^n$ is a map that is unbounded above in the integers, so by Archimedean property, there is some integer $n$ with $10^{n+1}ge x$. Take the least such $n$ (why must one exist?), and let $a_{-n}$ be the greatest element $a$ of ${0,1,2,...,8,9}$ such that $acdot 10^n<x$ (why must one exist?). Now, given $a_{-n},a_{-n+1},...,a_{m}$ for some $minBbb Z$, we let $a_{m+1}$ be the greatest element $a$ of ${0,1,2,...,8,9}$ such that $$acdot 10^{-(m+1)}<x-sum_{j=-m}^na_{-j}cdot10^j$$ (why must one exist?) Recursively, this determines a sequence $a_{-n},a_{-n+1},...$ of elements of ${0,1,2,...,8,9}$ such that for all integers $mge-n$ we have $$S_m:=sum_{j=-m}^na_{-j}cdot 10^j<x.$$ In fact, $S_{-n},S_{-n+1},...,S_m,...$ is a non-decreasing sequence of positive numbers, so since bounded above by $x,$ this sequence converges to some number no greater than $x$ by the Monotone Convergence Theorem. We can even do better than that, and show that the sequence of partial sums $S_n$ converges to $x$ (why?). The series thus determined is the infinite decimal expansion of $x$.



If $x$ had been negative, we could acquire a decimal expansion for $-x$ in this way, and then the opposite of that would be a decimal expansion for $x$. $0$ has a decimal expansion, too, so all real numbers have a decimal expansion, and moreover, all of them (except arguably $0$) have an infinite decimal expansion (though some also have a finite decimal expansion).






share|cite|improve this answer











$endgroup$





















    4












    $begingroup$

    The answer is yes. The fact that $mathbb{Q}$ is dense in $mathbb{R}$ gives us the start line to reach every real number as a sequence of increasing long sequence of digits. ($ 1, 1.4, 1.41, 1.414, dots rightarrow sqrt{2} $)



    to compute even more digits we have lots of algorithms.



    if your question is "I think about $x$ random real number, what's the decimal representation?" I will answer, "is between $a$ and $a+1$ ($a in mathbb{N}$) ? If yes, is between $a,1$ and $a,2$ for example (if no I will ask you for $a,2$ and $a,3$ ...) and so on.



    At every step I will build a sequence of digits that converge to your number. :)



    Obviously there are different sequences that converge to the same number ($1=0,overline{9}$)
    and I use a intuitively means of convergence.






    share|cite|improve this answer











    $endgroup$









    • 1




      $begingroup$
      It's not the fact that $mathbb Q$ is dense in $mathbb R$ though, is it? It's the fact that numbers with a terminating decimal expansion are dense in $mathbb R$.
      $endgroup$
      – TonyK
      Jun 2 '13 at 22:57










    • $begingroup$
      Ok, but numbers with a terminating (=finite?) decimal expansion are rational no?
      $endgroup$
      – Riccardo
      Jun 2 '13 at 23:12










    • $begingroup$
      Yes, but the converse is not true.
      $endgroup$
      – TonyK
      Jun 2 '13 at 23:15










    • $begingroup$
      Yes of course :)
      $endgroup$
      – Riccardo
      Jun 2 '13 at 23:23










    • $begingroup$
      Aren't the rational numbers exactly the set of numbers with a terminating expansion in some base?
      $endgroup$
      – Andrew
      Oct 28 '15 at 19:55



















    2












    $begingroup$

    Irrational numbers were known to the ancient Greeks, as I expect you know. But it took humankind another 2000 years to come up with a satisfactory definition of them. This was mainly because nobody realised that a satisfactory definition was lacking.



    Once humankind realised this, various suggestions were proposed. One suggestion (Dedekind's) defined a real number as two infinite sets of rational numbers, which 'sandwiched' the real number; another suggestion (Cauchy's) defined a real number as an equivalence class of sequences obeying a certain convergence criterion. The details are available in many places.



    But the important point is that all of the reasonable definitions turned out to be equivalent -- the set of real numbers according to Dedekind's definition was 'the same' as the set of real numbers according to Cauchy's definition, although the definitions look completely different.



    Now, to your question: another reasonable definition of a real number is a non-terminating decimal expansion (we say non-terminating just to clear up the ambiguity that arises between e.g. 123.4599999... and 123.46 -- only the first is allowed). It turns out that this definition is equivalent to all the others.



    So your intuition is correct. But strictly speaking, your question is flawed: instead of asking whether every real number can be represented in this way, you should ask whether this representation of the real numbers is a valid one. And it is.






    share|cite|improve this answer









    $endgroup$





















      2












      $begingroup$

      Every real number $x$ has a decimal expression



      $$x = a_0.a_1a_2a_3ldots. $$



      Proof: Picture $x$ on the real line. Certainly $x$ lines between two consecutive integers; let $a_0$ be the lower of these, so that



      $$ a le x < a_0+1.$$



      Now divide the line between $a_0$ and $a_0+1$ into ten equal sections. Certainly $x$ lies in one of these sections, so we can find $a_1$ between $0$ and $9$ such that



      $$ a_0 + frac{a_1}{10} le x < a_0 + frac{a_1+1}{10} .$$



      Similarly, we can find $a_2$ such that



      $$ a_0 + frac{a_1}{10} + frac{a_2}{10^2} le x < a_0 + frac{a_1+1}{10} + frac{a_2+1}{10^2} ,$$



      and so on. If we do this enough times, the sum $a_0 + frac{a_1}{10} + frac{a_2}{10^2} + ldots$ gets as close as we like to x.





      From A Conscise Introduction to Pure Mathematics, Fourth Edition, by Martin Liebeck, pg 22.






      share|cite|improve this answer











      $endgroup$





















        1












        $begingroup$

        Yes, every real number has a decimal representation.



        Numbers of the form $n/10^k$ where $n$ and $k$ are integers and $n neq 0$ have two representations each (e.g. 1.000... and 0.999... represent the same real number). Depending on your conventions, zero has either one or two representations: e.g. $0$ and $-0$ in the latter case. Every other real number has only one decimal representation.



        Conversely, every decimal number that is all zeroes on the left is the representation of some real number. e.g. the decimal



        $$ ...000011.000... $$



        is the number eleven. (recall that any digit that isn't written is zero, so the decimal "11" really has zeroes to its left and right, as notated explicitly above)



        In standard notation, decimals that are not all zeroes on the left such as



        $$ ...11111.000... $$



        do not represent real numbers.





        There are generalized notations that allow some left-infinite decimals to represent real numbers (the number above would be -1/9). There are also other number systems that can be represented with decimals, such as the 10-adic numbers. It may be confusing to try and learn about such things at this point, though....






        share|cite|improve this answer









        $endgroup$













        • $begingroup$
          "It may be confusing to try and learn about such things at this point, though...." Well, exactly. I was wondering why you brought it up here.
          $endgroup$
          – TonyK
          Jun 2 '13 at 22:55






        • 2




          $begingroup$
          @TonyK: Because it serves several useful purposes, such as: (1) it points out that curiosity of this sort is useful for mathematicians, (2) it pre-emptively answers any readers who do think about such things, (3) it quashes the idea that left-infinite decimals are an inherently stupid idea that should never have been brought up, (4) gives the interested reader (possibly including the OP in the future) something to look into, (5) exemplifies the point that notation is what we choose it to be, rather than something with inherent meaning, ....
          $endgroup$
          – Hurkyl
          Jun 3 '13 at 10:43











        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%2f409658%2fcan-every-real-number-be-represented-by-a-possibly-infinite-decimal%23new-answer', 'question_page');
        }
        );

        Post as a guest















        Required, but never shown

























        5 Answers
        5






        active

        oldest

        votes








        5 Answers
        5






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes









        11












        $begingroup$

        Suppose $x$ is a positive real number. It can be shown that $nmapsto 10^n$ is a map that is unbounded above in the integers, so by Archimedean property, there is some integer $n$ with $10^{n+1}ge x$. Take the least such $n$ (why must one exist?), and let $a_{-n}$ be the greatest element $a$ of ${0,1,2,...,8,9}$ such that $acdot 10^n<x$ (why must one exist?). Now, given $a_{-n},a_{-n+1},...,a_{m}$ for some $minBbb Z$, we let $a_{m+1}$ be the greatest element $a$ of ${0,1,2,...,8,9}$ such that $$acdot 10^{-(m+1)}<x-sum_{j=-m}^na_{-j}cdot10^j$$ (why must one exist?) Recursively, this determines a sequence $a_{-n},a_{-n+1},...$ of elements of ${0,1,2,...,8,9}$ such that for all integers $mge-n$ we have $$S_m:=sum_{j=-m}^na_{-j}cdot 10^j<x.$$ In fact, $S_{-n},S_{-n+1},...,S_m,...$ is a non-decreasing sequence of positive numbers, so since bounded above by $x,$ this sequence converges to some number no greater than $x$ by the Monotone Convergence Theorem. We can even do better than that, and show that the sequence of partial sums $S_n$ converges to $x$ (why?). The series thus determined is the infinite decimal expansion of $x$.



        If $x$ had been negative, we could acquire a decimal expansion for $-x$ in this way, and then the opposite of that would be a decimal expansion for $x$. $0$ has a decimal expansion, too, so all real numbers have a decimal expansion, and moreover, all of them (except arguably $0$) have an infinite decimal expansion (though some also have a finite decimal expansion).






        share|cite|improve this answer











        $endgroup$


















          11












          $begingroup$

          Suppose $x$ is a positive real number. It can be shown that $nmapsto 10^n$ is a map that is unbounded above in the integers, so by Archimedean property, there is some integer $n$ with $10^{n+1}ge x$. Take the least such $n$ (why must one exist?), and let $a_{-n}$ be the greatest element $a$ of ${0,1,2,...,8,9}$ such that $acdot 10^n<x$ (why must one exist?). Now, given $a_{-n},a_{-n+1},...,a_{m}$ for some $minBbb Z$, we let $a_{m+1}$ be the greatest element $a$ of ${0,1,2,...,8,9}$ such that $$acdot 10^{-(m+1)}<x-sum_{j=-m}^na_{-j}cdot10^j$$ (why must one exist?) Recursively, this determines a sequence $a_{-n},a_{-n+1},...$ of elements of ${0,1,2,...,8,9}$ such that for all integers $mge-n$ we have $$S_m:=sum_{j=-m}^na_{-j}cdot 10^j<x.$$ In fact, $S_{-n},S_{-n+1},...,S_m,...$ is a non-decreasing sequence of positive numbers, so since bounded above by $x,$ this sequence converges to some number no greater than $x$ by the Monotone Convergence Theorem. We can even do better than that, and show that the sequence of partial sums $S_n$ converges to $x$ (why?). The series thus determined is the infinite decimal expansion of $x$.



          If $x$ had been negative, we could acquire a decimal expansion for $-x$ in this way, and then the opposite of that would be a decimal expansion for $x$. $0$ has a decimal expansion, too, so all real numbers have a decimal expansion, and moreover, all of them (except arguably $0$) have an infinite decimal expansion (though some also have a finite decimal expansion).






          share|cite|improve this answer











          $endgroup$
















            11












            11








            11





            $begingroup$

            Suppose $x$ is a positive real number. It can be shown that $nmapsto 10^n$ is a map that is unbounded above in the integers, so by Archimedean property, there is some integer $n$ with $10^{n+1}ge x$. Take the least such $n$ (why must one exist?), and let $a_{-n}$ be the greatest element $a$ of ${0,1,2,...,8,9}$ such that $acdot 10^n<x$ (why must one exist?). Now, given $a_{-n},a_{-n+1},...,a_{m}$ for some $minBbb Z$, we let $a_{m+1}$ be the greatest element $a$ of ${0,1,2,...,8,9}$ such that $$acdot 10^{-(m+1)}<x-sum_{j=-m}^na_{-j}cdot10^j$$ (why must one exist?) Recursively, this determines a sequence $a_{-n},a_{-n+1},...$ of elements of ${0,1,2,...,8,9}$ such that for all integers $mge-n$ we have $$S_m:=sum_{j=-m}^na_{-j}cdot 10^j<x.$$ In fact, $S_{-n},S_{-n+1},...,S_m,...$ is a non-decreasing sequence of positive numbers, so since bounded above by $x,$ this sequence converges to some number no greater than $x$ by the Monotone Convergence Theorem. We can even do better than that, and show that the sequence of partial sums $S_n$ converges to $x$ (why?). The series thus determined is the infinite decimal expansion of $x$.



            If $x$ had been negative, we could acquire a decimal expansion for $-x$ in this way, and then the opposite of that would be a decimal expansion for $x$. $0$ has a decimal expansion, too, so all real numbers have a decimal expansion, and moreover, all of them (except arguably $0$) have an infinite decimal expansion (though some also have a finite decimal expansion).






            share|cite|improve this answer











            $endgroup$



            Suppose $x$ is a positive real number. It can be shown that $nmapsto 10^n$ is a map that is unbounded above in the integers, so by Archimedean property, there is some integer $n$ with $10^{n+1}ge x$. Take the least such $n$ (why must one exist?), and let $a_{-n}$ be the greatest element $a$ of ${0,1,2,...,8,9}$ such that $acdot 10^n<x$ (why must one exist?). Now, given $a_{-n},a_{-n+1},...,a_{m}$ for some $minBbb Z$, we let $a_{m+1}$ be the greatest element $a$ of ${0,1,2,...,8,9}$ such that $$acdot 10^{-(m+1)}<x-sum_{j=-m}^na_{-j}cdot10^j$$ (why must one exist?) Recursively, this determines a sequence $a_{-n},a_{-n+1},...$ of elements of ${0,1,2,...,8,9}$ such that for all integers $mge-n$ we have $$S_m:=sum_{j=-m}^na_{-j}cdot 10^j<x.$$ In fact, $S_{-n},S_{-n+1},...,S_m,...$ is a non-decreasing sequence of positive numbers, so since bounded above by $x,$ this sequence converges to some number no greater than $x$ by the Monotone Convergence Theorem. We can even do better than that, and show that the sequence of partial sums $S_n$ converges to $x$ (why?). The series thus determined is the infinite decimal expansion of $x$.



            If $x$ had been negative, we could acquire a decimal expansion for $-x$ in this way, and then the opposite of that would be a decimal expansion for $x$. $0$ has a decimal expansion, too, so all real numbers have a decimal expansion, and moreover, all of them (except arguably $0$) have an infinite decimal expansion (though some also have a finite decimal expansion).







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited Aug 18 '17 at 16:40

























            answered Jun 2 '13 at 23:31









            Cameron BuieCameron Buie

            85.6k772160




            85.6k772160























                4












                $begingroup$

                The answer is yes. The fact that $mathbb{Q}$ is dense in $mathbb{R}$ gives us the start line to reach every real number as a sequence of increasing long sequence of digits. ($ 1, 1.4, 1.41, 1.414, dots rightarrow sqrt{2} $)



                to compute even more digits we have lots of algorithms.



                if your question is "I think about $x$ random real number, what's the decimal representation?" I will answer, "is between $a$ and $a+1$ ($a in mathbb{N}$) ? If yes, is between $a,1$ and $a,2$ for example (if no I will ask you for $a,2$ and $a,3$ ...) and so on.



                At every step I will build a sequence of digits that converge to your number. :)



                Obviously there are different sequences that converge to the same number ($1=0,overline{9}$)
                and I use a intuitively means of convergence.






                share|cite|improve this answer











                $endgroup$









                • 1




                  $begingroup$
                  It's not the fact that $mathbb Q$ is dense in $mathbb R$ though, is it? It's the fact that numbers with a terminating decimal expansion are dense in $mathbb R$.
                  $endgroup$
                  – TonyK
                  Jun 2 '13 at 22:57










                • $begingroup$
                  Ok, but numbers with a terminating (=finite?) decimal expansion are rational no?
                  $endgroup$
                  – Riccardo
                  Jun 2 '13 at 23:12










                • $begingroup$
                  Yes, but the converse is not true.
                  $endgroup$
                  – TonyK
                  Jun 2 '13 at 23:15










                • $begingroup$
                  Yes of course :)
                  $endgroup$
                  – Riccardo
                  Jun 2 '13 at 23:23










                • $begingroup$
                  Aren't the rational numbers exactly the set of numbers with a terminating expansion in some base?
                  $endgroup$
                  – Andrew
                  Oct 28 '15 at 19:55
















                4












                $begingroup$

                The answer is yes. The fact that $mathbb{Q}$ is dense in $mathbb{R}$ gives us the start line to reach every real number as a sequence of increasing long sequence of digits. ($ 1, 1.4, 1.41, 1.414, dots rightarrow sqrt{2} $)



                to compute even more digits we have lots of algorithms.



                if your question is "I think about $x$ random real number, what's the decimal representation?" I will answer, "is between $a$ and $a+1$ ($a in mathbb{N}$) ? If yes, is between $a,1$ and $a,2$ for example (if no I will ask you for $a,2$ and $a,3$ ...) and so on.



                At every step I will build a sequence of digits that converge to your number. :)



                Obviously there are different sequences that converge to the same number ($1=0,overline{9}$)
                and I use a intuitively means of convergence.






                share|cite|improve this answer











                $endgroup$









                • 1




                  $begingroup$
                  It's not the fact that $mathbb Q$ is dense in $mathbb R$ though, is it? It's the fact that numbers with a terminating decimal expansion are dense in $mathbb R$.
                  $endgroup$
                  – TonyK
                  Jun 2 '13 at 22:57










                • $begingroup$
                  Ok, but numbers with a terminating (=finite?) decimal expansion are rational no?
                  $endgroup$
                  – Riccardo
                  Jun 2 '13 at 23:12










                • $begingroup$
                  Yes, but the converse is not true.
                  $endgroup$
                  – TonyK
                  Jun 2 '13 at 23:15










                • $begingroup$
                  Yes of course :)
                  $endgroup$
                  – Riccardo
                  Jun 2 '13 at 23:23










                • $begingroup$
                  Aren't the rational numbers exactly the set of numbers with a terminating expansion in some base?
                  $endgroup$
                  – Andrew
                  Oct 28 '15 at 19:55














                4












                4








                4





                $begingroup$

                The answer is yes. The fact that $mathbb{Q}$ is dense in $mathbb{R}$ gives us the start line to reach every real number as a sequence of increasing long sequence of digits. ($ 1, 1.4, 1.41, 1.414, dots rightarrow sqrt{2} $)



                to compute even more digits we have lots of algorithms.



                if your question is "I think about $x$ random real number, what's the decimal representation?" I will answer, "is between $a$ and $a+1$ ($a in mathbb{N}$) ? If yes, is between $a,1$ and $a,2$ for example (if no I will ask you for $a,2$ and $a,3$ ...) and so on.



                At every step I will build a sequence of digits that converge to your number. :)



                Obviously there are different sequences that converge to the same number ($1=0,overline{9}$)
                and I use a intuitively means of convergence.






                share|cite|improve this answer











                $endgroup$



                The answer is yes. The fact that $mathbb{Q}$ is dense in $mathbb{R}$ gives us the start line to reach every real number as a sequence of increasing long sequence of digits. ($ 1, 1.4, 1.41, 1.414, dots rightarrow sqrt{2} $)



                to compute even more digits we have lots of algorithms.



                if your question is "I think about $x$ random real number, what's the decimal representation?" I will answer, "is between $a$ and $a+1$ ($a in mathbb{N}$) ? If yes, is between $a,1$ and $a,2$ for example (if no I will ask you for $a,2$ and $a,3$ ...) and so on.



                At every step I will build a sequence of digits that converge to your number. :)



                Obviously there are different sequences that converge to the same number ($1=0,overline{9}$)
                and I use a intuitively means of convergence.







                share|cite|improve this answer














                share|cite|improve this answer



                share|cite|improve this answer








                edited Jun 12 '16 at 14:09









                Supreeth Ravish

                235




                235










                answered Jun 2 '13 at 21:54









                RiccardoRiccardo

                4,9531442




                4,9531442








                • 1




                  $begingroup$
                  It's not the fact that $mathbb Q$ is dense in $mathbb R$ though, is it? It's the fact that numbers with a terminating decimal expansion are dense in $mathbb R$.
                  $endgroup$
                  – TonyK
                  Jun 2 '13 at 22:57










                • $begingroup$
                  Ok, but numbers with a terminating (=finite?) decimal expansion are rational no?
                  $endgroup$
                  – Riccardo
                  Jun 2 '13 at 23:12










                • $begingroup$
                  Yes, but the converse is not true.
                  $endgroup$
                  – TonyK
                  Jun 2 '13 at 23:15










                • $begingroup$
                  Yes of course :)
                  $endgroup$
                  – Riccardo
                  Jun 2 '13 at 23:23










                • $begingroup$
                  Aren't the rational numbers exactly the set of numbers with a terminating expansion in some base?
                  $endgroup$
                  – Andrew
                  Oct 28 '15 at 19:55














                • 1




                  $begingroup$
                  It's not the fact that $mathbb Q$ is dense in $mathbb R$ though, is it? It's the fact that numbers with a terminating decimal expansion are dense in $mathbb R$.
                  $endgroup$
                  – TonyK
                  Jun 2 '13 at 22:57










                • $begingroup$
                  Ok, but numbers with a terminating (=finite?) decimal expansion are rational no?
                  $endgroup$
                  – Riccardo
                  Jun 2 '13 at 23:12










                • $begingroup$
                  Yes, but the converse is not true.
                  $endgroup$
                  – TonyK
                  Jun 2 '13 at 23:15










                • $begingroup$
                  Yes of course :)
                  $endgroup$
                  – Riccardo
                  Jun 2 '13 at 23:23










                • $begingroup$
                  Aren't the rational numbers exactly the set of numbers with a terminating expansion in some base?
                  $endgroup$
                  – Andrew
                  Oct 28 '15 at 19:55








                1




                1




                $begingroup$
                It's not the fact that $mathbb Q$ is dense in $mathbb R$ though, is it? It's the fact that numbers with a terminating decimal expansion are dense in $mathbb R$.
                $endgroup$
                – TonyK
                Jun 2 '13 at 22:57




                $begingroup$
                It's not the fact that $mathbb Q$ is dense in $mathbb R$ though, is it? It's the fact that numbers with a terminating decimal expansion are dense in $mathbb R$.
                $endgroup$
                – TonyK
                Jun 2 '13 at 22:57












                $begingroup$
                Ok, but numbers with a terminating (=finite?) decimal expansion are rational no?
                $endgroup$
                – Riccardo
                Jun 2 '13 at 23:12




                $begingroup$
                Ok, but numbers with a terminating (=finite?) decimal expansion are rational no?
                $endgroup$
                – Riccardo
                Jun 2 '13 at 23:12












                $begingroup$
                Yes, but the converse is not true.
                $endgroup$
                – TonyK
                Jun 2 '13 at 23:15




                $begingroup$
                Yes, but the converse is not true.
                $endgroup$
                – TonyK
                Jun 2 '13 at 23:15












                $begingroup$
                Yes of course :)
                $endgroup$
                – Riccardo
                Jun 2 '13 at 23:23




                $begingroup$
                Yes of course :)
                $endgroup$
                – Riccardo
                Jun 2 '13 at 23:23












                $begingroup$
                Aren't the rational numbers exactly the set of numbers with a terminating expansion in some base?
                $endgroup$
                – Andrew
                Oct 28 '15 at 19:55




                $begingroup$
                Aren't the rational numbers exactly the set of numbers with a terminating expansion in some base?
                $endgroup$
                – Andrew
                Oct 28 '15 at 19:55











                2












                $begingroup$

                Irrational numbers were known to the ancient Greeks, as I expect you know. But it took humankind another 2000 years to come up with a satisfactory definition of them. This was mainly because nobody realised that a satisfactory definition was lacking.



                Once humankind realised this, various suggestions were proposed. One suggestion (Dedekind's) defined a real number as two infinite sets of rational numbers, which 'sandwiched' the real number; another suggestion (Cauchy's) defined a real number as an equivalence class of sequences obeying a certain convergence criterion. The details are available in many places.



                But the important point is that all of the reasonable definitions turned out to be equivalent -- the set of real numbers according to Dedekind's definition was 'the same' as the set of real numbers according to Cauchy's definition, although the definitions look completely different.



                Now, to your question: another reasonable definition of a real number is a non-terminating decimal expansion (we say non-terminating just to clear up the ambiguity that arises between e.g. 123.4599999... and 123.46 -- only the first is allowed). It turns out that this definition is equivalent to all the others.



                So your intuition is correct. But strictly speaking, your question is flawed: instead of asking whether every real number can be represented in this way, you should ask whether this representation of the real numbers is a valid one. And it is.






                share|cite|improve this answer









                $endgroup$


















                  2












                  $begingroup$

                  Irrational numbers were known to the ancient Greeks, as I expect you know. But it took humankind another 2000 years to come up with a satisfactory definition of them. This was mainly because nobody realised that a satisfactory definition was lacking.



                  Once humankind realised this, various suggestions were proposed. One suggestion (Dedekind's) defined a real number as two infinite sets of rational numbers, which 'sandwiched' the real number; another suggestion (Cauchy's) defined a real number as an equivalence class of sequences obeying a certain convergence criterion. The details are available in many places.



                  But the important point is that all of the reasonable definitions turned out to be equivalent -- the set of real numbers according to Dedekind's definition was 'the same' as the set of real numbers according to Cauchy's definition, although the definitions look completely different.



                  Now, to your question: another reasonable definition of a real number is a non-terminating decimal expansion (we say non-terminating just to clear up the ambiguity that arises between e.g. 123.4599999... and 123.46 -- only the first is allowed). It turns out that this definition is equivalent to all the others.



                  So your intuition is correct. But strictly speaking, your question is flawed: instead of asking whether every real number can be represented in this way, you should ask whether this representation of the real numbers is a valid one. And it is.






                  share|cite|improve this answer









                  $endgroup$
















                    2












                    2








                    2





                    $begingroup$

                    Irrational numbers were known to the ancient Greeks, as I expect you know. But it took humankind another 2000 years to come up with a satisfactory definition of them. This was mainly because nobody realised that a satisfactory definition was lacking.



                    Once humankind realised this, various suggestions were proposed. One suggestion (Dedekind's) defined a real number as two infinite sets of rational numbers, which 'sandwiched' the real number; another suggestion (Cauchy's) defined a real number as an equivalence class of sequences obeying a certain convergence criterion. The details are available in many places.



                    But the important point is that all of the reasonable definitions turned out to be equivalent -- the set of real numbers according to Dedekind's definition was 'the same' as the set of real numbers according to Cauchy's definition, although the definitions look completely different.



                    Now, to your question: another reasonable definition of a real number is a non-terminating decimal expansion (we say non-terminating just to clear up the ambiguity that arises between e.g. 123.4599999... and 123.46 -- only the first is allowed). It turns out that this definition is equivalent to all the others.



                    So your intuition is correct. But strictly speaking, your question is flawed: instead of asking whether every real number can be represented in this way, you should ask whether this representation of the real numbers is a valid one. And it is.






                    share|cite|improve this answer









                    $endgroup$



                    Irrational numbers were known to the ancient Greeks, as I expect you know. But it took humankind another 2000 years to come up with a satisfactory definition of them. This was mainly because nobody realised that a satisfactory definition was lacking.



                    Once humankind realised this, various suggestions were proposed. One suggestion (Dedekind's) defined a real number as two infinite sets of rational numbers, which 'sandwiched' the real number; another suggestion (Cauchy's) defined a real number as an equivalence class of sequences obeying a certain convergence criterion. The details are available in many places.



                    But the important point is that all of the reasonable definitions turned out to be equivalent -- the set of real numbers according to Dedekind's definition was 'the same' as the set of real numbers according to Cauchy's definition, although the definitions look completely different.



                    Now, to your question: another reasonable definition of a real number is a non-terminating decimal expansion (we say non-terminating just to clear up the ambiguity that arises between e.g. 123.4599999... and 123.46 -- only the first is allowed). It turns out that this definition is equivalent to all the others.



                    So your intuition is correct. But strictly speaking, your question is flawed: instead of asking whether every real number can be represented in this way, you should ask whether this representation of the real numbers is a valid one. And it is.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered Jun 2 '13 at 23:15









                    TonyKTonyK

                    43k356135




                    43k356135























                        2












                        $begingroup$

                        Every real number $x$ has a decimal expression



                        $$x = a_0.a_1a_2a_3ldots. $$



                        Proof: Picture $x$ on the real line. Certainly $x$ lines between two consecutive integers; let $a_0$ be the lower of these, so that



                        $$ a le x < a_0+1.$$



                        Now divide the line between $a_0$ and $a_0+1$ into ten equal sections. Certainly $x$ lies in one of these sections, so we can find $a_1$ between $0$ and $9$ such that



                        $$ a_0 + frac{a_1}{10} le x < a_0 + frac{a_1+1}{10} .$$



                        Similarly, we can find $a_2$ such that



                        $$ a_0 + frac{a_1}{10} + frac{a_2}{10^2} le x < a_0 + frac{a_1+1}{10} + frac{a_2+1}{10^2} ,$$



                        and so on. If we do this enough times, the sum $a_0 + frac{a_1}{10} + frac{a_2}{10^2} + ldots$ gets as close as we like to x.





                        From A Conscise Introduction to Pure Mathematics, Fourth Edition, by Martin Liebeck, pg 22.






                        share|cite|improve this answer











                        $endgroup$


















                          2












                          $begingroup$

                          Every real number $x$ has a decimal expression



                          $$x = a_0.a_1a_2a_3ldots. $$



                          Proof: Picture $x$ on the real line. Certainly $x$ lines between two consecutive integers; let $a_0$ be the lower of these, so that



                          $$ a le x < a_0+1.$$



                          Now divide the line between $a_0$ and $a_0+1$ into ten equal sections. Certainly $x$ lies in one of these sections, so we can find $a_1$ between $0$ and $9$ such that



                          $$ a_0 + frac{a_1}{10} le x < a_0 + frac{a_1+1}{10} .$$



                          Similarly, we can find $a_2$ such that



                          $$ a_0 + frac{a_1}{10} + frac{a_2}{10^2} le x < a_0 + frac{a_1+1}{10} + frac{a_2+1}{10^2} ,$$



                          and so on. If we do this enough times, the sum $a_0 + frac{a_1}{10} + frac{a_2}{10^2} + ldots$ gets as close as we like to x.





                          From A Conscise Introduction to Pure Mathematics, Fourth Edition, by Martin Liebeck, pg 22.






                          share|cite|improve this answer











                          $endgroup$
















                            2












                            2








                            2





                            $begingroup$

                            Every real number $x$ has a decimal expression



                            $$x = a_0.a_1a_2a_3ldots. $$



                            Proof: Picture $x$ on the real line. Certainly $x$ lines between two consecutive integers; let $a_0$ be the lower of these, so that



                            $$ a le x < a_0+1.$$



                            Now divide the line between $a_0$ and $a_0+1$ into ten equal sections. Certainly $x$ lies in one of these sections, so we can find $a_1$ between $0$ and $9$ such that



                            $$ a_0 + frac{a_1}{10} le x < a_0 + frac{a_1+1}{10} .$$



                            Similarly, we can find $a_2$ such that



                            $$ a_0 + frac{a_1}{10} + frac{a_2}{10^2} le x < a_0 + frac{a_1+1}{10} + frac{a_2+1}{10^2} ,$$



                            and so on. If we do this enough times, the sum $a_0 + frac{a_1}{10} + frac{a_2}{10^2} + ldots$ gets as close as we like to x.





                            From A Conscise Introduction to Pure Mathematics, Fourth Edition, by Martin Liebeck, pg 22.






                            share|cite|improve this answer











                            $endgroup$



                            Every real number $x$ has a decimal expression



                            $$x = a_0.a_1a_2a_3ldots. $$



                            Proof: Picture $x$ on the real line. Certainly $x$ lines between two consecutive integers; let $a_0$ be the lower of these, so that



                            $$ a le x < a_0+1.$$



                            Now divide the line between $a_0$ and $a_0+1$ into ten equal sections. Certainly $x$ lies in one of these sections, so we can find $a_1$ between $0$ and $9$ such that



                            $$ a_0 + frac{a_1}{10} le x < a_0 + frac{a_1+1}{10} .$$



                            Similarly, we can find $a_2$ such that



                            $$ a_0 + frac{a_1}{10} + frac{a_2}{10^2} le x < a_0 + frac{a_1+1}{10} + frac{a_2+1}{10^2} ,$$



                            and so on. If we do this enough times, the sum $a_0 + frac{a_1}{10} + frac{a_2}{10^2} + ldots$ gets as close as we like to x.





                            From A Conscise Introduction to Pure Mathematics, Fourth Edition, by Martin Liebeck, pg 22.







                            share|cite|improve this answer














                            share|cite|improve this answer



                            share|cite|improve this answer








                            edited Jan 23 at 12:52

























                            answered Jan 28 '18 at 18:07









                            Bora M. AlperBora M. Alper

                            5171610




                            5171610























                                1












                                $begingroup$

                                Yes, every real number has a decimal representation.



                                Numbers of the form $n/10^k$ where $n$ and $k$ are integers and $n neq 0$ have two representations each (e.g. 1.000... and 0.999... represent the same real number). Depending on your conventions, zero has either one or two representations: e.g. $0$ and $-0$ in the latter case. Every other real number has only one decimal representation.



                                Conversely, every decimal number that is all zeroes on the left is the representation of some real number. e.g. the decimal



                                $$ ...000011.000... $$



                                is the number eleven. (recall that any digit that isn't written is zero, so the decimal "11" really has zeroes to its left and right, as notated explicitly above)



                                In standard notation, decimals that are not all zeroes on the left such as



                                $$ ...11111.000... $$



                                do not represent real numbers.





                                There are generalized notations that allow some left-infinite decimals to represent real numbers (the number above would be -1/9). There are also other number systems that can be represented with decimals, such as the 10-adic numbers. It may be confusing to try and learn about such things at this point, though....






                                share|cite|improve this answer









                                $endgroup$













                                • $begingroup$
                                  "It may be confusing to try and learn about such things at this point, though...." Well, exactly. I was wondering why you brought it up here.
                                  $endgroup$
                                  – TonyK
                                  Jun 2 '13 at 22:55






                                • 2




                                  $begingroup$
                                  @TonyK: Because it serves several useful purposes, such as: (1) it points out that curiosity of this sort is useful for mathematicians, (2) it pre-emptively answers any readers who do think about such things, (3) it quashes the idea that left-infinite decimals are an inherently stupid idea that should never have been brought up, (4) gives the interested reader (possibly including the OP in the future) something to look into, (5) exemplifies the point that notation is what we choose it to be, rather than something with inherent meaning, ....
                                  $endgroup$
                                  – Hurkyl
                                  Jun 3 '13 at 10:43
















                                1












                                $begingroup$

                                Yes, every real number has a decimal representation.



                                Numbers of the form $n/10^k$ where $n$ and $k$ are integers and $n neq 0$ have two representations each (e.g. 1.000... and 0.999... represent the same real number). Depending on your conventions, zero has either one or two representations: e.g. $0$ and $-0$ in the latter case. Every other real number has only one decimal representation.



                                Conversely, every decimal number that is all zeroes on the left is the representation of some real number. e.g. the decimal



                                $$ ...000011.000... $$



                                is the number eleven. (recall that any digit that isn't written is zero, so the decimal "11" really has zeroes to its left and right, as notated explicitly above)



                                In standard notation, decimals that are not all zeroes on the left such as



                                $$ ...11111.000... $$



                                do not represent real numbers.





                                There are generalized notations that allow some left-infinite decimals to represent real numbers (the number above would be -1/9). There are also other number systems that can be represented with decimals, such as the 10-adic numbers. It may be confusing to try and learn about such things at this point, though....






                                share|cite|improve this answer









                                $endgroup$













                                • $begingroup$
                                  "It may be confusing to try and learn about such things at this point, though...." Well, exactly. I was wondering why you brought it up here.
                                  $endgroup$
                                  – TonyK
                                  Jun 2 '13 at 22:55






                                • 2




                                  $begingroup$
                                  @TonyK: Because it serves several useful purposes, such as: (1) it points out that curiosity of this sort is useful for mathematicians, (2) it pre-emptively answers any readers who do think about such things, (3) it quashes the idea that left-infinite decimals are an inherently stupid idea that should never have been brought up, (4) gives the interested reader (possibly including the OP in the future) something to look into, (5) exemplifies the point that notation is what we choose it to be, rather than something with inherent meaning, ....
                                  $endgroup$
                                  – Hurkyl
                                  Jun 3 '13 at 10:43














                                1












                                1








                                1





                                $begingroup$

                                Yes, every real number has a decimal representation.



                                Numbers of the form $n/10^k$ where $n$ and $k$ are integers and $n neq 0$ have two representations each (e.g. 1.000... and 0.999... represent the same real number). Depending on your conventions, zero has either one or two representations: e.g. $0$ and $-0$ in the latter case. Every other real number has only one decimal representation.



                                Conversely, every decimal number that is all zeroes on the left is the representation of some real number. e.g. the decimal



                                $$ ...000011.000... $$



                                is the number eleven. (recall that any digit that isn't written is zero, so the decimal "11" really has zeroes to its left and right, as notated explicitly above)



                                In standard notation, decimals that are not all zeroes on the left such as



                                $$ ...11111.000... $$



                                do not represent real numbers.





                                There are generalized notations that allow some left-infinite decimals to represent real numbers (the number above would be -1/9). There are also other number systems that can be represented with decimals, such as the 10-adic numbers. It may be confusing to try and learn about such things at this point, though....






                                share|cite|improve this answer









                                $endgroup$



                                Yes, every real number has a decimal representation.



                                Numbers of the form $n/10^k$ where $n$ and $k$ are integers and $n neq 0$ have two representations each (e.g. 1.000... and 0.999... represent the same real number). Depending on your conventions, zero has either one or two representations: e.g. $0$ and $-0$ in the latter case. Every other real number has only one decimal representation.



                                Conversely, every decimal number that is all zeroes on the left is the representation of some real number. e.g. the decimal



                                $$ ...000011.000... $$



                                is the number eleven. (recall that any digit that isn't written is zero, so the decimal "11" really has zeroes to its left and right, as notated explicitly above)



                                In standard notation, decimals that are not all zeroes on the left such as



                                $$ ...11111.000... $$



                                do not represent real numbers.





                                There are generalized notations that allow some left-infinite decimals to represent real numbers (the number above would be -1/9). There are also other number systems that can be represented with decimals, such as the 10-adic numbers. It may be confusing to try and learn about such things at this point, though....







                                share|cite|improve this answer












                                share|cite|improve this answer



                                share|cite|improve this answer










                                answered Jun 2 '13 at 21:55









                                HurkylHurkyl

                                112k9120262




                                112k9120262












                                • $begingroup$
                                  "It may be confusing to try and learn about such things at this point, though...." Well, exactly. I was wondering why you brought it up here.
                                  $endgroup$
                                  – TonyK
                                  Jun 2 '13 at 22:55






                                • 2




                                  $begingroup$
                                  @TonyK: Because it serves several useful purposes, such as: (1) it points out that curiosity of this sort is useful for mathematicians, (2) it pre-emptively answers any readers who do think about such things, (3) it quashes the idea that left-infinite decimals are an inherently stupid idea that should never have been brought up, (4) gives the interested reader (possibly including the OP in the future) something to look into, (5) exemplifies the point that notation is what we choose it to be, rather than something with inherent meaning, ....
                                  $endgroup$
                                  – Hurkyl
                                  Jun 3 '13 at 10:43


















                                • $begingroup$
                                  "It may be confusing to try and learn about such things at this point, though...." Well, exactly. I was wondering why you brought it up here.
                                  $endgroup$
                                  – TonyK
                                  Jun 2 '13 at 22:55






                                • 2




                                  $begingroup$
                                  @TonyK: Because it serves several useful purposes, such as: (1) it points out that curiosity of this sort is useful for mathematicians, (2) it pre-emptively answers any readers who do think about such things, (3) it quashes the idea that left-infinite decimals are an inherently stupid idea that should never have been brought up, (4) gives the interested reader (possibly including the OP in the future) something to look into, (5) exemplifies the point that notation is what we choose it to be, rather than something with inherent meaning, ....
                                  $endgroup$
                                  – Hurkyl
                                  Jun 3 '13 at 10:43
















                                $begingroup$
                                "It may be confusing to try and learn about such things at this point, though...." Well, exactly. I was wondering why you brought it up here.
                                $endgroup$
                                – TonyK
                                Jun 2 '13 at 22:55




                                $begingroup$
                                "It may be confusing to try and learn about such things at this point, though...." Well, exactly. I was wondering why you brought it up here.
                                $endgroup$
                                – TonyK
                                Jun 2 '13 at 22:55




                                2




                                2




                                $begingroup$
                                @TonyK: Because it serves several useful purposes, such as: (1) it points out that curiosity of this sort is useful for mathematicians, (2) it pre-emptively answers any readers who do think about such things, (3) it quashes the idea that left-infinite decimals are an inherently stupid idea that should never have been brought up, (4) gives the interested reader (possibly including the OP in the future) something to look into, (5) exemplifies the point that notation is what we choose it to be, rather than something with inherent meaning, ....
                                $endgroup$
                                – Hurkyl
                                Jun 3 '13 at 10:43




                                $begingroup$
                                @TonyK: Because it serves several useful purposes, such as: (1) it points out that curiosity of this sort is useful for mathematicians, (2) it pre-emptively answers any readers who do think about such things, (3) it quashes the idea that left-infinite decimals are an inherently stupid idea that should never have been brought up, (4) gives the interested reader (possibly including the OP in the future) something to look into, (5) exemplifies the point that notation is what we choose it to be, rather than something with inherent meaning, ....
                                $endgroup$
                                – Hurkyl
                                Jun 3 '13 at 10:43


















                                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%2f409658%2fcan-every-real-number-be-represented-by-a-possibly-infinite-decimal%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

                                'app-layout' is not a known element: how to share Component with different Modules

                                android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

                                WPF add header to Image with URL pettitions [duplicate]