Can every real number be represented by a (possibly infinite) decimal?
$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?)
real-analysis number-systems
$endgroup$
add a comment |
$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?)
real-analysis number-systems
$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
add a comment |
$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?)
real-analysis number-systems
$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
real-analysis number-systems
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
add a comment |
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
add a comment |
5 Answers
5
active
oldest
votes
$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).
$endgroup$
add a comment |
$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.
$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
|
show 1 more comment
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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....
$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
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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).
$endgroup$
add a comment |
$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).
$endgroup$
add a comment |
$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).
$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).
edited Aug 18 '17 at 16:40
answered Jun 2 '13 at 23:31
Cameron BuieCameron Buie
85.6k772160
85.6k772160
add a comment |
add a comment |
$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.
$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
|
show 1 more comment
$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.
$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
|
show 1 more comment
$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.
$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.
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
|
show 1 more comment
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
|
show 1 more comment
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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.
$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.
answered Jun 2 '13 at 23:15
TonyKTonyK
43k356135
43k356135
add a comment |
add a comment |
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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.
$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.
edited Jan 23 at 12:52
answered Jan 28 '18 at 18:07
Bora M. AlperBora M. Alper
5171610
5171610
add a comment |
add a comment |
$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....
$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
add a comment |
$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....
$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
add a comment |
$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....
$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....
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
add a comment |
$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
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
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