What is the largest number less than 1?

  • Thread starter Magnus
  • Start date
In summary: There is an infinite number of integers between 0 and 1. None of them are 1, so none of them are equal to .999.... In fact, the set of integers between 0 and 1 is identical to the set of integers between 0 and 2. This is true for any two integers: as long as they are different, there are just as many integers between them as there are between 0 and 1.- WarrenIn summary, there is no largest number less than 1 among the real, rational, or irrational numbers. This can be proven through various mathematical proofs, including the fact that as the number of nines in the decimal representation approaches infinity, the resulting quantity is equal
  • #1
Magnus
19
0
How can you represent the largest # that is less than 1?
 
Mathematics news on Phys.org
  • #2
Originally posted by Magnus
How can you represent the largest # that is less than 1?

lim x
x-->1
 
  • #3
Can you represent that in decimal form?
 
  • #4
Wouldn't .9 (with a line over the 9, sorry, I haven't read the "How to post math functions" thread) be sufficient?

__
.9
 
  • #5
The line over it means infinity.

So couldn't you also say .999... ?
 
  • #6
Among the real numbers (or the rational numbers, or the irrational numbers) there is no largest number less than 1.

Among the integers, 0 is the largest number less than 1.
 
  • #7
How can there be no largest # less than 1? that doesn't make any sense.
 
  • #8
Why would you think there is a largest?

Here's a short proof there isn't a largest number less than 1:

Assume that there is a largest number less than 1. Let's represent this number by [tex]\inline{x}[/tex].

Now, consider the number [tex]\inline{y=(1+x)/2}[/tex]

First, notice that [tex]\inline{y>x}[/tex]:

[tex]
y = \frac{1+x}{2} > \frac{x+x}{2} = x
[/tex]

Now, notice that [tex]\inline{y<1}[/tex]:

[tex]
y = \frac{1+x}{2} < \frac{1+1}{2} = 1
[/tex]

So consider carefully what we have proven:

If we assume there is a largest number less than 1, we can find a number less than 1, yet larger than the largest number less than 1.

That is a contradiction; our assumption that there is a largest number less than 1 must be false.
 
  • #9
Hurkyl,
I understand your reasoning, and it does make complete sense...

I do have a question, however..
Is there a number greater than .999... and less than 1?
How would you represent that number?
 
  • #10
Originally posted by one_raven
Hurkyl,
I understand your reasoning, and it does make complete sense...

I do have a question, however..
Is there a number greater than .999... and less than 1?
How would you represent that number?
The number [tex]\inline{0.99\overline{9}}[/tex] is equal to one.

The limit [tex]\inline{\lim_{x \rightarrow 1} x}[/tex] also equals one.

Hurkyl is correct; there is no largest real number less than one. No matter how many nines you put in a row, I can make a number with more. In the limit as the number of nines reaches infinity, the resulting quantity is one.

- Warren
 
  • #11
I can't believe that there is no largest # less than 1. There has to be, in theory.

If you can say that .999... = 1 then how can you not in mathamatics represent the largest # that is less than 1?

the .999... = 1 rule only works because you NEVER reach the end of infinity.

I like sound laws and such, and I love math and physics... and at the same time am a hard core programmer at heart. Logic is key to me.

I could never write .999... = 1, I could say 1 = 1 and .999... = .999... but not 1 = .999...

I would say that .999... is the largest # less than 1 because as you go out there in decimal places whatever place your at you can just add a .----1 to that to achieve your value of 1... but yea, you'll never even approach infinity cause it extends forever. Damn you infinity!
 
  • #12
...I love math ...
...I would say that .999... is the largest # less than 1 because...
You may love math, but you don't know what it is if you don't realize that math is based on rigor. If you want to hold on to your opinion about there being a largest number less than 1, then you must find a fault with Hurkyl's proof.

If you don't understand Hurkyl's proof, here's another thing to think about. Consider the mapping

[tex]y={1\over 1-x}[/tex]

and for x, use the real number interval [0->1) (This means, all the real numbers from 0 to 1, but excluding 1.) This interval gets mapped to [1->infinity). You will see that there being no largest real number x less than 1 is analogous to saying there is no largest real number y. (I am assuming you agree that there is no largest real number.)
 
  • #13
All the proofs so far have been perfectly adequate, but here's another one:

for a nunber x where:

[tex]0 < x < 1[/tex]

we know that:

[tex]0 < \sqrt{x} < 1[/tex]

and

[tex] x < \sqrt{x}[/tex]

Lets say that there is a largest number between 0 and 1, what is it's sqaure root? if it greater than it's square root, it is greater than 1, if it is equal to it's square root it is equal to 1 and if it's square root is greater than itself then we have generated a number that is larger than the largest number less than 1 so it can't be the largest number less than 1!
 
  • #14
I like sound laws and such, and I love math and physics... and at the same time am a hard core programmer at heart. Logic is key to me.

I could never write .999... = 1, I could say 1 = 1 and .999... = .999... but not 1 = .999...

I would say that .999... is the largest # less than 1 because as you go out there in decimal places whatever place your at you can just add a .----1 to that to achieve your value of 1... but yea, you'll never even approach infinity cause it extends forever.

Logic is key? Your last sentence has no logic in it at all. You seem to be confusing logic with handwaving. In particular what is your DEFINITION of .999...?
 
Last edited by a moderator:
  • #15
Originally posted by Magnus
The line over it means infinity.

So couldn't you also say .999... ?

Sorry, the largest WHOLE number less than 1 is, by definition, 0.
.9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999 etc. infinitum is not a whole number
 
  • #16
Originally posted by theEVIL1
Sorry, the largest WHOLE number less than 1 is, by definition, 0.
.9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999 etc. infinitum is not a whole number

0.9... recurring IS a whole number it is equal to 1.
 
  • #17
Originally posted by jcsd
0.9... recurring IS a whole number it is equal to 1.

um.sure it is...how then can you explan that .999 infinitum will NEVER reach 1?
Must be that new math
 
  • #18
Originally posted by theEVIL1
um.sure it is...how then can you explan that .999 infinitum will NEVER reach 1?
Must be that new math

No it's very old maths, most peope are taught the following sometime during their secondary eductaion:

x = 0.99999...

=>

10x = 9.9999... =>

10x -x = 9x = 9 =>

x = 1
 
  • #19
I can't believe that there is no largest # less than 1. There has to be, in theory.

Why?

If you can say that .999... = 1 then how can you not in mathamatics represent the largest # that is less than 1?

I don't see the connection.

the .999... = 1 rule only works because you NEVER reach the end of infinity.

No, the rule works because it is a logical consequence of the definitions.

I could never write .999... = 1, I could say 1 = 1 and .999... = .999... but not 1 = .999...

Can you write [tex]\inline{1/2=2/4}[/tex]? [tex]\inline{1}[/tex] and [tex]\inline{0.\bar{9}}[/tex] are two different representations of the same number, just like [tex]\inline{1/2}[/tex] and [tex]\inline{2/4}[/tex].

I would say that .999... is the largest # less than 1 because as you go out there in decimal places whatever place your at you can just add a .----1 to that to achieve your value of 1... but yea, you'll never even approach infinity cause it extends forever. Damn you infinity!

This is where your problem lies; you are imagining [tex]\inline{0.\bar{9}}[/tex] as some sort of process instead of as a number.

While it is certainly true you can get the value [tex]\inline{0.\bar{9}}[/tex] through a process (such as taking the limit of [tex]\inline{0.9, 0.99, 0.999, \ldots}[/tex]), [tex]\inline{0.\bar{9}}[/tex] is a number. It does not change, it does not approach anything; it is simply a number.
 
  • #20
...how then can you explan that .999 infinitum will NEVER reach 1?
Must be that new math

No one needs to explain it- it's not true.

.999 "infinitum", by which I presume you mean the infinite sequence of 9s, is, by definition, the infinite series .9+ .09+ ...+ 9(.1)n+... which can be proven to be exactly equal to 1 (it's a very easy geometric series- you should have learned how to sum those in secondary school).
 
  • #21
Hi Magnus,

Let us look at the opposite side of this problem.

x = 0

Can you find the smallest number, which is bigger then x?
 
  • #22
Excellent point.

I do believe you guys.

The way I see .999... is basically.. a number that extends forever, it starts in the tens, goes to hundereds, thousands, etc. etc.. each time becoming closer and closer to 1. I see it becoming infinitely close to 1 as itself extends infinitely. Its just so hard to picture a # that starts off not as 1 become one just because it has no end.

IE: if you line it up.
1.000
0.999...

1 != 0
. = .
0 != 9
0 != 9
0 != 9

Thats my hangup.

I understand the big picture that infinity has no bounds. It's just mind boggling really.

Kina like, what's outside of the universe?
 
  • #23
Consider this.

First of all we must work with Real numbers, this is a matter of how the Real number system is defined. So what is a Real number? One important feature of Real numbers is the identity of each digit with an integer. To restate, there is a one to one coorespondenc beteen the digits of a Real Number and the integers. This where the construction which has "an infinite number of zeros followed by a 1" fails the test of a Real number, what integer cooresponds to that one?

In that sense the smallest Real number cannot be written specifically but we can write:
[tex] 10^{-N} , \in \bold {N}[/tex]
and claim that in general this is the form taken by the smallest Real number. Of course we cannot actually represtent the smallest Real number as there is no largest Integer.

Ok, here is the whole point of this post.

consder this

.1 + .999... = 1 + .0999...
.01 + .999... = 1 + .00999...

Can you see that if I have added a small number to .999... to get one plus a number consisting of a finite number of zeros followed by an infinite "tail" of 9s.

Now we can do this in general to get

[tex] 10^{-N} + .999... = 1 + . (N-1 zeros)..999... [/tex]
I can now write
[tex] 10^{-N} + .999... > 1 \forall N \in \bold N [/tex]


So no matter how small of a Real number I add to .999... I get 1 + a bit more.

There is only one number for which it is true, 1. Thus .999... =1
 
Last edited:
  • #24
One important feature of Real numbers is the identity of each digit with an integer.

No, that is not an important feature of the real numbers. That is a feature of the symbols used in one specific way of representing the real numbers. One could represent the real numbers in Roman numerals and they would still have the same properties. The properties of the real numbers are independent of how they are represented.
 
  • #25
Originally posted by Magnus
I can't believe that there is no largest # less than 1. There has to be, in theory.
Here's another way to think of it without the mathematical proof (sorry guys). Can you think of a number greater than .9 and less than 1? Sure: .99. How about greater than that and less than one? Sure: .999. How about...

As you can see, you can keep doing that forever. Thats how infinity works. Its about the same as asking if there is any number greater than infinity: Nope.
 
  • #26
Originally posted by HallsofIvy
No, that is not an important feature of the real numbers. That is a feature of the symbols used in one specific way of representing the real numbers. One could represent the real numbers in Roman numerals and they would still have the same properties. The properties of the real numbers are independent of how they are represented.

It certianly is a key feature, I do not care what number system you use there is only a Countable number of digits in a Real number. That is the key feature, it is indeed indepentent of the representation but the countablility of the digits is essential and that is what I am referring to.

Edit;
I thing I am seeing the point of confusion. Perhaps you thought I was speaking of the actual digits, ie 0,1,2,3,4,5,6,7,8,9. That was not my meaning at all.

The fractional part of every Real number can be represented as

[tex] \sum_{n=0}^\infty d_n 10^{-n}[/tex]

Were the [tex]d_n \in \{0,1,2,3,4,5,6,7,8,9\}[/tex]

The correspondence with the integers I am speaking of is the index n. This is of course a base 10 Real number if you choose to represent the number in a different base the number rasied to a power will change as will the set of basic digits.

I am not sure that Roman numerals dealt well with fractions! Seems it was the Arabic numerals and the place value system which allowed this development.
 
Last edited:
  • #27
  • #28
correction on the limit example:

wouldn't it be:

lim x
x --> 1 (x approaches 1 from the negative side!)
 
  • #29
Hi Shahil,

If you are talking about my pdf on actual and potential infinities, then (-oo,0) is the mirror image of (0,oo), so we need only one of them for the example.
 
  • #30
One important feature of Real numbers is the identity of each digit with an integer. To restate, there is a one to one coorespondenc beteen the digits of a Real Number and the integers.

This cannot be an important feature of the real numbers because you cannot even write the statement (or even the spirit of the statement) "there is a one to one coorespondenc beteen the digits of a Real Number and the integers" in the basic theory of real numbers.

What HallsofIvy was trying to say is that this is an important feature of the decimal representation (or base-n representation) of the real numbers, not an important feature of real numbers themselves.


There are at least two kinds of infinities: actual infitiny, potential infinity.

As mauch as i know, Math language uses only potential infinity.

It would be great if anyone knew what you meant by actual or potential infinity.
 
Last edited:
  • #31
hey organic

actually my correction was on the suggestion prudenceoptimus made!
 
  • #32
When 1.000... and 0.999... are two representations of the same number then:

1.00... = 0.999...

0.100... = 0.0999...

0.0100... = 0.00999...

0.00100... = 0.000999...

0.000100... = 0.0000999...

0.0000100... = 0.00000999...

Therefore we can write:

0.100... + 0.0100... = 0.0999... + 0.00999...

0.0100... + 0.00100... = 0.00999... + 0.000999...

But this is not true because:

0.1100... not= 0.0999... + 0.00999... = 0.10999...8

0.01100... not= 0.00999... + 0.000999... = 0.010999...8

and so on ...

The unreachable digit is 8 and not 9, therefore 1.000... cannot be represented by 0.999...
 
  • #33
by defintion a number represented by an infinite number of decimal places does not have a last decimal place, i.e. it does not terminate.
 
  • #34
This is not the last digit but the limit digit or the unreachable digit of 0.999...


Therefore 1.000... is not the limit of 0.999...
 
  • #35
You don't give up, do you? Where did you get the idea for an 'unreachable' digit?

This limit stuff is not a process that is happening. It's not as if nature (or math) is contineously writing nines after your 0.999999... For all intents and purposes, that has already happened.

Look again at jcsd's very elegant proof:
For any nunber [tex]x[/tex] where:

[tex]0 < x < 1[/tex]

we know that:

[tex]0 < \sqrt{x} < 1[/tex]

and

[tex] x < \sqrt{x}[/tex]

Lets say that there is a largest number between 0 and 1, what is it's square root? If it greater than it's square root, it is greater than 1, if it is equal to it's square root it is equal to 1 and if it's square root is greater than itself then we have generated a number that is larger than the largest number less than 1 so it can't be the largest number less than 1!
As long as you can't tell what's wrong with that, maybe you should just accept that you're wrong. Because you are.

By the way: what's the use of your double-posting?
 

Similar threads

  • General Math
Replies
7
Views
506
  • General Math
Replies
24
Views
1K
  • General Math
Replies
1
Views
275
  • General Math
Replies
15
Views
2K
Replies
3
Views
3K
  • Introductory Physics Homework Help
Replies
2
Views
492
  • General Math
Replies
8
Views
2K
Replies
4
Views
1K
  • General Math
Replies
8
Views
4K
Replies
2
Views
1K
Back
Top