Why is adding the same as extending a length?

Question

I've come to realize that the more I study some math subjects the more I question some results or ideas that seemed trivial or obvious to me. My question is about the real numbers and their geometric interpretation as a line.

I get that real numbers being complete and ordered are naturally visualized as a number line. Now, consider two positive numbers $a$ and $b$ and find them in the number line. We define the binary operation $a•b$ like this: "take a compass and open it from O to $b$, now draw a circle with such compass with $a$ as its center. The point on the right where the circle intersects the line is $a•b$".

This, of course, corresponds to $a+b$ but the reason is not that obvious to me. Intuitively we use addition when we "add" something so if I'm "adding" a line segment with length $a$ to another line segment with length $b$ the length of the resulting line must be $a+b$. But with a formal definition of addition (via Dedekind cuts for example) that property of addition doesn't seem that clear to me. I guess my question is: why must addition correspond to $a•b$? Why, if I have a line segment of length 3/2 and other one of length 5/3 can I be sure that if I arrange them so that one starts exactly when the other one ends, the length of the resulting line will be 19/6?

Please forgive me if this question is too obvious or trivial. Thank you!

Answer 1

In your example, if you multiply by $6$, you make it about integers. That is, $$ \frac32+\frac53=\frac16 \, (9+10)=\frac16\, (9\,\bullet\,10)=\frac32\,\bullet\,\frac53. $$ All you need to believe the above equalities is that the two operations agree on the integers (you can see the integer as "counting units" to see it as a length), and that dividing by an integer preserves scale.

Once you have the argument for the rationals, it extends to the reals by continuity.

Answer 2

Let's completely forget all notions of number entirely.

It's not hard to show this operation (which I will call $\oplus$ rather than $\bullet$) has nice algebraic properties: it's commutative, associative, and it respects the ordering on line segments.

Alongside $\oplus$, we could pick some segment to be a unit, and use another geometric construction to define an operation $\otimes$.

These two operations on line segments have very good algebraic properties; without using any notion of number, we've still managed to construct a system in which we can do arithmetic, algebra, and analysis — in fact, once we add in a notion of direction, these operations satisfy the complete ordered field axioms.

What is the length of a line segment? The line segment itself. Addition is literally defined as "extending a length".

---

I believe this overall description is a relatively accurate description of actual history — e.g. that Greek geometers did algebra with line segments, considering the segments themselves as a notion of quantity; e.g. see Euclid's elements, book 2. The real number system came into being precisely as numeric representations of these geometric objects

In fact, AFAIK, for a long time mathematicians considered numbers quantifying length and numbers quantifying area as completely different kinds of numbers, rather than the point of view today where both kinds of quantities are described by the same number system, but possibly with units attached.

The perspective that treats real numbers as being more fundamental than geometric notions is, I think, mainly an artifact of how math is taught in modern times.

Answer 3

There is an imagined (or abstract ) collection called the set of real numbers with operations and ordering so that it becomes what is technically called a real number system which is an ordered field with the least upper bound (or better called the order completeness property) .This is separate from reality ,it is a matter for set theory and its logic .Now the reason for the wide interest is that it has a natural interpretation in reality as the points of a straight line drawn say on a big piece of paper ,well of course you only show a piece of the line but ignore that. Your question is really how do you assign a real number to the points on the drawn line . Well first you just mark 0 somewhere . Then you put 1 somewhere ,say to the right of 0 Now do your compass construction with a=0 and b=1 ,The real number 2(by definition)= 1+1 is assigned to the point obtained with the compass ,Now repeat the construction to get the positions or 3=2+1 ,4=3+1 , 5 =4+1 etc .Science would just say use equal spacing . Now there is a lot of work with induction type arguments to get just the integers placed right and things like 5+3 = (5 + 2) + 1 =(5+1)+1)+ 1 to understand where to put a+b for just integers .Now you have to figure out where the fractions go and then one fills in the the rest of the reals by assuming the drawn line is what is called a continuum (between any 2 distinct points no matter how close there are points in between . This is not physically true if you look under a powerful microscope at your hand drawn line but is an idealization that is useful . Any way when you are done you should see empirically ,as clear as any part of physical science that is you do your compass construction on a and b that the point you get does correspond to the abstract real number a+b . Well what you are asking about is really not trivial . One last point .One can logically construct the real number system from the integers in set theory and each step of the construction can be interpreted on your drawn line . All this interpreting is empirical ,real science ,not just abstract mathematics (which is more precise ) ,it is accepted experimentally because it works. Hope this helps .

Answer 4

Based on the handout, section 7: $(A_1,B_1)+(A_2,B_2)=(A_1+A_2,B_1+B_2)=(A_3,B_3)$ is a Dedekind cut defining addition. Quoting from handout: "$A_3$ is the set of all rationals of the form $a_1 + a_2$ where $a_1 \in A_1$ and $a_2 \in A_2$". Similarly for $B_3$.

If the definition of $∙$ in terms of rationals being equivalent to $+$ is sufficiently well established for you by the other answers, then the quantities $A_1+A_2,B_1+B_2$ can be reformulated as $A_1∙A_2,B_1∙B_2$. Thereby, yielding a clear relationship between the definition of addition in terms of Dedekind cuts and the $∙$ operator. And extending $∙$ to the reals.