The argument that you are making with the limits assumes that space is infinite but discrete, right? — Mephist
A piece of space is discrete if it allows only a finite number of possible positions (points). So I've assumed an infinite number of possible positions - if its not discrete, it must be continuous. From Wikipedia:
"Formally, a linear continuum is a linearly ordered set S of more than one element that is densely ordered, i.e., between any two distinct elements there is another (and hence infinitely many others), and which "lacks gaps" in the sense that every non-empty subset with an upper bound has a least upper bound."
So all continua are (in the above sense) alike in that they can be subdivided forever, so we can write:
points(0,1) = points(0,2)
At this point, there is a one-to-one correspondence between the left and right side so they have the same 'size' so the equals sign seems maybe justified.
points(0,1) = points(0,1) + points(1,2)
Now there is a still a one-to-one correspondence between the left and right side, however, when it is written like this, it appears to part from common sense. I know this corresponds to the convention ∞=∞+∞. I also know that if two things are identical and you change one of them, then they cannot be identical anymore.
I just cannot get my head around continua, they just seem impossible. It is possibly the use of the equals sign to represent a one-to-one correspondence that is the problem. It maybe that it is invalid logically to write:
points(0,1) = points(0,2)
It comes back to Galileo's paradox - the above are equal in the sense of a one-to-one mapping but at the same time, one is clearly twice the other. I think that it is not valid to compare the size of two infinities (as Galileo believed) - they are fundamentally undefined so have no size and cannot be compared. If something never ends, then it can never have a size and never be fully defined. I do not believe Cantor has added anything our the understanding of infinity - he has detracted from it - Galileo was on the right lines.
So coming back to my original starting place, my assumption that one of the following must be true:
1. points(0,1) = points(0,2)
2. points(0,1) < points(0,2)
3. points(0,1) > points(0,2)
seems incorrect. It seems I should instead have written:
1. UNDEFINED != UNDEFINED
2. UNDEFINED !< UNDEFINED
3. UNDEFINED !> UNDEFINED
So I think that maths cannot model actual infinity or continua. Does that mean these things do not exist in the real world? I think that maybe the case. If continua exist, then that implies that the informational content of 1 light year of space is the same as the informational content of 1 centimetre of space - in the sense that both 'containers' record the position of a particle to an identical, infinite, precision. This flaunts 'the whole is greater than the parts'. I trust that axiom more than I trust Cantor's math.