Rulers in a bounded model

We are going to figure out what distance measurement can look like if we scrunch a whole line into a finite interval.  To start with, we will review a familiar ratio that we use to locate points on a line.

Graph CA/CB, ratio on a line

Graph a "scrunched distance"

This time, imagine that you begin with a number line with numbers going 0, 1, 2, 3, … (and all the numbers in between) in the positive direction and  …, -3, -2, -1, 0 in the other direction.  Now suppose that you compress the whole line into a segment. (Technically, this means a function from the number line to the segment, but don't think of the details of that for now.)

Graph logarithm of |CA/CB|

Return to the first graph.  Consider the part of the graph between A and B.