doronshadmi
Penultimate Amazing
- Joined
- Mar 15, 2008
- Messages
- 13,320
jsfisher said:Every element of your second set {0.9, 0.99, 0.999, ...} is the sum of a finite sequence of elements from your first set {0.9, 0.09, 0.009, ...}.
The value 1 is the sum of an infinite sequence of elements. Big difference between sums over finite and infinite sequences.
jsfisher said:Given any two real numbers X and Y where X < Y, there is another number Z between them. (That is, X < Z and Z < Y).
Jsfisher, did you notice that each Z < h < Y expression in your proof by contradiction, and each X < Z < Y expression of "dense" definition, are both equivalent to each finite member of the set {0.9, 0.99, 0.999, ...}?
This is exactly the reason of why Y has no immediate predecessor (which is equivalent to the reason of why 1 > any finite member of the non-finite set {0.9, 0.99, 0.999, ...}).
By using only the Standard Mathematics framework, let us use here the "Big difference between sums over finite and infinite sequences", exactly as you claim jsfisher.
Now jsfisher, by following your own arguments do you understand that you can show that "there is always another real number between any two real numbers" exactly because you are always based on a finite case (each "X < Y < Z" or "Z < h < Y" expression is a finite case exactly as each member of the set {0.9, 0.99, 0.999, ...} is a finite case)?
EDIT:
Again, by using only arguments taken from Standard Math, it is easily shown that "Z < h < Y" or "X < Z < Y" expression is not equivalent to the sum of the non-finite members of the set {0.9, 0.09, 0.009, ...} (because if it is equivalent to the sum of the non-finite members of the set {0.9, 0.09, 0.009, ...}, then, according to Stndard Math, Y must = to this sum, which prevents from us to use "< Y" expression
in both "Z < h < Y" or "X < Z < Y" expressions).
By using only Standard Math reasoning, the proof by contradiction and the "dense" definition do not hold exactly because there is a "big difference between sums over finite and infinite sequences" under Standard Math framework.
Last edited: