I know this has been hammered out before, but

  • Thread starter sennyk
  • Start date
  • #1
73
0

Main Question or Discussion Point

[SOLVED] I know this has been hammered out before, but ...

When I was in high school, my math teacher showed us that 0.99999... is equal to 1. He went through the fraction proof and I was literally amazed; however, I've also wondered why 0.99999... can't be considered an irrational number.

My first guess is that there is a least upper bound which is 1. I always thought that irrational numbers never have a least upper bound. But then I thought that the only definition is that an irrational is a number that can't be expressed as a fraction of integers.

Any other thoughts?
 

Answers and Replies

  • #2
D H
Staff Emeritus
Science Advisor
Insights Author
15,393
682
First off, 0.999... must be rational because it repeats. Irrational numbers do not have a repeating decimal. Secondly, this "I always thought that irrational numbers never have a least upper bound" is wrong. Irrational numbers, like rational numbers represent a point on the number line. There is no fuzziness whatsoever when it comes to real numbers. Thirdly, this subject has been treated ad nauseum. I suggest you search "0.999..."

EDIT:
A quick google search for 0.999... limited to this site alone yields 700+ hits; handy link http://www.google.com/search?q=0.999...+site:physicsforums.com".
 
Last edited by a moderator:
  • #3
HallsofIvy
Science Advisor
Homework Helper
41,795
925
When I was in high school, my math teacher showed us that 0.99999... is equal to 1. He went through the fraction proof and I was literally amazed; however, I've also wondered why 0.99999... can't be considered an irrational number.
Even if it weren't equal to 1 it wouldn't be irrational. As D.H. said, any repeating decimal is rational.

My first guess is that there is a least upper bound which is 1. I always thought that irrational numbers never have a least upper bound.
"least upper bound" of what? sets of numbers or sequences of numbers have least upper bounds. If you are talking about a "least upper bound" of the sequence of "partial decimals", .9, .99, .999, .9999, etc., then, yes, the least upper bound of that sequence is 1. And since the sequence is increasing it converges to that least upper bound-which is the definition of the value of an infinite such a sequence of digits.

But your statement "irrational numbers never have a least upper bound" is completely wrong: Any real number, rational or irrational, can be written as a decimal expansion which has that number as its "least upper bound" and limit.

But then I thought that the only definition is that an irrational is a number that can't be expressed as a fraction of integers.

Any other thoughts?
I'm not sure what you mean by that last. That certainly is one definition and, I think the most commonly used one. But that doesn't mean that you can't the prove other properties that an irrational number must have. One of the most important is that an irrational number, expressed as a decimal, must NOT be "eventually repeating".

A few years ago, on another forum, a person asked, "How do you prove that a rational number can be written as a fraction". I stared at that for some time before I realized that the person asking must have learned "eventually repeats" as the definition of rational number- which is completely valid.
 
  • #4
73
0
Thanks for the replies. I guess I had forgotten the repeating rule. I'm reading some math wikis and I've seen the proof explaining why 2^(1/2) has to be irrational. It starts by proving that there can't be a rational solution (i.e. written as a fraction). Because of that I wondered if the decimal repeating rule was something that I imagined.
 
  • #5
352
0
What's this "fraction proof"?
 
  • #6
D H
Staff Emeritus
Science Advisor
Insights Author
15,393
682
What's this "fraction proof"?
Assume [itex]\surd 2[/itex] is rational. This means there exists a pair of relatively prime integers p, q such that p2 = 2q2. Since p is an integer by assumption, the only way p2 can be even is if p itself is even. Writing p=2r, where r is an integer, the relation p2=4r2=2q2 implies that q too is even. Thus both p and q must be even, contradicting the assumption that p and q are relatively prime.
 
  • #7
352
0
I know that; I was talking about the "fraction proof" that 0.9... = 1.
 
  • #8
73
0
1/3 = 0.33...
3/3 = 3 * 1/3 = 3 * 0.33... = 0.99... = 1
 
  • #9
HallsofIvy
Science Advisor
Homework Helper
41,795
925
Of course, that depends upon first accepting that 1/3= 0.333... which I would consider no more "obvious" than 0.9999...= 1.

The other common "proof":
If x= 0.999...., then 10x= 9.9999.... so 10x- x= 9x= 9 and x= 1
depends upon accepting that those operations, applied to an infinite decimal, are valid. That's true but, again, no more obvious, in my opinion, than 0.999...= 1.

What I would consider a real proof consists of appealing to the definition of "decimal expansion": 0.99999.... is limit of the sequence 0.9, 0.99, 0.999, ... or, equivalently, the sum of the infinite series [itex]\Sum_{n=0}^\infty 0.9(0.1)^n[/itex]. That's a geometric series so its sum is
[tex]\frac{0.9}{1- 0.1}= \frac{0.9}{0.9}= 1[/tex]
 
  • #10
352
0
Mhm Sennyk, that's what I thought was meant by the "fraction proof" and it begs the question as HallsofIvy pointed out. Someone who doesn't believe that [tex]\sum^\infty_{n=1}\frac{9}{10^n}=1}[/tex] is equally unlikely to believe that [tex]\sum^\infty_{n=1}\frac{3}{10^n}=\frac{1}{3}[/tex] (or at least should be, if their beliefs are consistent)
 
Last edited:
  • #11
In my ignorant opinion, I think this just shows how flawed our knowledge of algebra is. If .999... 1, than I would hope I can answer every math question ever with 0/0 seeing as how 0/0 can be anything, but that is meaningless. So, why isn't .999... meaningless? Just because there is a rule out there that says you can divide by .999..., doesn't really mean you can. Just like there was a theory that you couldn't go faster than the speed of sound, and just like special relativity which will one day be meaningless.

You can never have .999... as a tangible number anyways, so whats the point.
 
Last edited:
  • #12
CRGreathouse
Science Advisor
Homework Helper
2,820
0
You can never have .999... as a tangible number anyways, so whats the point.
I have 0.999... mouths.
 
  • #13
uart
Science Advisor
2,776
9
In my ignorant opinion, I think this just shows how flawed our knowledge of algebra is. If .999... 1, than I would hope I can answer every math question ever with 0/0 seeing as how 0/0 can be anything, but that is meaningless. So, why isn't .999... meaningless? Just because there is a rule out there that says you can divide by .999..., doesn't really mean you can. Just like there was a theory that you couldn't go faster than the speed of sound, and just like special relativity which will one day be meaningless.

You can never have .999... as a tangible number anyways, so whats the point.
So by that same logic we can conclude that 0.333... is also meaningless and therefore that 1/3 does not have a decimal representation. Your logic is wrong.
 

Related Threads for: I know this has been hammered out before, but

  • Last Post
Replies
17
Views
5K
Replies
4
Views
1K
Replies
6
Views
11K
Replies
1
Views
769
Replies
3
Views
1K
Replies
10
Views
4K
Replies
1
Views
605
Top