Please forgive my intrusion, but has it been shown or demonstrated that ‘0.000…1’ is indeed a valid number?
I can’t find an example of how it's used, or even how it's defined, anywhere in the literature. My best guess is that it's an attempt to assign an actual number to an infinitesimal; in other words:
infinitesimal = 0.000...1
Is it a hyperreal number?
Welcome Slings and Arrows.
You will not find a number of the form ‘0.000…1’ in the current literature, because it is based on probably new notion that uses the difference between transfinite cardinals like |
N|< P(|
N|)< P(P(|
N|))< ... etc. ad infinitum, and even goes beyond the concept of collection by logically define the difference between 0-dimesional space and 1-dimesional space.
If 0-dimesional space is represented by a point and 1-dimesional space is represented by a line, then a point is at the domain of the line, where the line (if not taken as a collection of points) is at AND not at the domain of the point.
By using visual spatial representation it can be addressed, for example, by __
.__
From the observation of the point with respect to the line, being AND not being at the domain of the point is observed as logical contradiction, but it is not a contradiction if the observation is done from the line with respect to the point.
As can be seen by __
.__ , being AND not being at the domain of the point is simply the natural property of the line (if not taken as a collection of points) with respect to the point, and by this reasoning actual infinity is at the level of the non-composed line, which is beyond any amount of collection of points along it.
By using the notion of different observations, I asked myself, how a collection with P(|
N|) elements looks like from a collection with |
N| elements?
In order to do such an observation I used, without loss of generality, the number of the form
0.999...10 that has |
N| places (filled by symbol 9) at the right side of the floating point.
By looking at it I have realized that I can construct a number that has |
N| symbols (filled by symbol 0) at the right side of the floating point (represented as
0.000...) and then I used symbol
...110 that represents the uncountable level of P(|
N|), which looks like a single element from the countable level of |
N| elements, so by observing P(|
N|) from |
N|, you get number
0.000...110 that has countable part (represented by
0.000...) and uncountable part (represented by
...110).
This kind of number can be used as a complement from number
0.999...10 to number
1, written as
0.999...10 +
0.000...110 =
1
For more details please look at:
http://www.internationalskeptics.com/forums/showpost.php?p=10621469&postcount=348
http://www.internationalskeptics.com/forums/showpost.php?p=10621635&postcount=349
-------------------
The standard definition of convergence uses infinite sequence of partial sums (and in the case of
0.999...10 that sequence is (
0.910,
0.9910,
0.99910, ...) that is used in order to prove that
0.999...10 =
1, and this proof observes the infinite from the finite).
Here is the standard definition of convergence (
http://en.wikipedia.org/wiki/Sequence#Definition_of_convergence):
that can be written as follows:
for all ε > 0, there exists a natural number
N in
N such that for all n ≥
N, |a
n -
L| < ε.
As can be seen, this definition uses natural numbers as the indexes of a
n (which is some term in some infinite sequence of partial sums (and in the case of
0.999...10 the used infinite sequence of partial sums is (
0.910,
0.9910,
0.99910, ...) that has numbers <
0.999...10)) in order to prove, for example, that
0.999...10 =
1.
So according to the standard definition of convergence and by using the case of infinite sequence of partial sums (
0.910,
0.9910,
0.99910, ...), where
L=1, |a
n -
L| must be > 0, or in other words, there is an unclosed gap between a
n and
L, in this example, that is taken as irrelevant (from the mainstream point of view) in order to conclude that, for example,
0.999...10 =
1.
-------------------
I find this gap as relevant because it is the result of forcing the finite on the infinite, and I claim that we can't use the finite in order to conclude meaningful notion about
0.999...10 that has |
N| places.
-------------------
So my definition of limit is as follows:
Let
X be a placeholder for that is summed.
If |
X -
L| = 0 then
L is called the limit of
X.