[bjornsing]

Infinity is a pretty strange concept. :) I'm not sure arguing over it in this format is meaningful, but for the fun of it:

Consider that the integral of the ruler function from 0 to 1 is 0 (as is stated in your reference 1). In layman's terms you could express this as "there are infinitely more irrational than rational numbers between 0 and 1". At the same time, "for every two rational numbers there are infinitely many rational numbers in-between them". What sort of "picture" is this compatible with?

I still think that the only picture that really makes any sense is a solid line at any finite magnification, yet empty space at infinite magnification.

[thaumasiotes]

I don't understand the point you're trying to make?

The Cantor set shares the property that "for every two [points in the set] there are infinitely many [points in the set] in between", but no one would describe it as looking like a line. It's rather sparse.

[bjornsing]

What I take issue with is an "image" of two rational numbers as two separate dots, with empty space in-between. That's a very deceiving image IMHO, since I cannot think of a sane way to produce it.

The Cantor set is very different. It's even easy to give an example of two points in the set that can (sanely) be depicted with empty space in-between: 1/3 and 2/3. If I'm not mistaken that example also disproves your stated conjecture... ;)

[thaumasiotes]

First of all, let me point out that 1/3 and 2/3 are both rational numbers, so if you can imagine them with empty space between, you've imagined two rational numbers with empty space between.

> It's even easy to give an example of two points in the [Cantor] set that can (sanely) be depicted with empty space in-between: 1/3 and 2/3. If I'm not mistaken that example also disproves your stated conjecture... [that between any two points in the set, there is a third one] ;)

Fair enough. Consider, then, the intersection of the Cantor set with the irrational numbers (you can think of this as the "open Cantor set"). It is, obviously, a subset of the Cantor set, and really does have the property described.

Since I'm feeling embarrassed about that last time, a proof follows:

-----

The Cantor set consists of all real numbers in the interval [0,1] which have a "decimal" expansion in trinary which does not contain the digit 1. That is to say, they can be expressed in terms of powers of (1/3) such that the coefficient of each power of 1/3 is either 0 or 2. (1/3 would usually be represented in trinary as 0.1, but is in the Cantor set because of its representation as 0.02222222...)

Let a,b be two irrational numbers in the Cantor set, a less than b. There is some decimal place at which they diverge, and since a is smaller, it has a 0 at that point, while b has a 2. Since a is irrational, it also has a 0 at some later point in its expansion (if every digit after that were 2, then a's expansion would be repeating and a would be rational). The number constructed by substituting a 2 for a 0 at that index is greater than a, less than b, and in the Cantor set.

Graphical representation of the proof:

    a = 0.......0......
    b = 0.......2......

then

    a = 0.......0....0.....
    c = 0.......0....2.....
    b = 0.......2..........