10
$\begingroup$

I read this question: Hilbert's Foundations of Geometry Axiom II, 1 : Why is this relevant? and its answer by Eric Wofsey. In this answer, it is stated that "lies between" a primitive notion in Hilbert's Foundations of Geometry.

Why is it a primitive notion? Can't we define that a point $B$ is between points $A$ and $C$ if $AB < AC$ and $BC < AC$? Or maybe that a point $B$ is between points $A$ and $C$ if $AC=AB+BC$?

$\endgroup$
  • 9
    $\begingroup$ Can you define $<$ and $+$ first? $\endgroup$ – Git Gud Aug 14 '16 at 14:18
  • 2
    $\begingroup$ It's a matter of taste. $\endgroup$ – Aretino Aug 14 '16 at 14:24
  • 2
    $\begingroup$ @GitGud Good point. I wanted to say that lengths are just real numbers, so define them as you define real numbers, but I see that Hilbert doesn't use these. $\endgroup$ – wythagoras Aug 14 '16 at 14:24
  • 5
    $\begingroup$ @wythagoras I think one of the goals of axiomatic geometry is do without actual numbers until the point where you define them. $\endgroup$ – Git Gud Aug 14 '16 at 14:25
12
$\begingroup$

The ''lies between'' notion is the basis used by Hilbert to define an ''order'' between points on a straight line. The axioms that define such a notion are called Axioms of Order in his book, and introduced thusly:

The axioms of this group define the idea expressed by the word “between,” and make possible, upon the basis of this idea, an order of sequence of the points upon a straight line, in a plane, and in space. The points of a straight line have a certain relation to one another which the word “between” serves to describe.

So obviously we can substitute these axioms with some other definition of order, as, e.g. in Birkoff's axioms, where the order is introduced via real numbers. But the importance of the Hilbert axiomatization of geometry is exactly that it does not use the real numbers.

$\endgroup$
9
$\begingroup$

Actually, "betweenness" can be defined from Hilbert's other primitive notions, in two steps:

1. For points $A, B, C$ say that "$A$ is closer to $B$ than to $C$", notated $AB\le AC$, iff for every line $\ell$ that contains $B$, there is a point $X$ on $\ell$ such that $AX=AC$.

2. For points $A, B, C$ say that "$B$ is between $A$ and $C$" iff the points are collinear, and $AB\le AC$ and $CB\le CA$.

Hilbert could have formulated his axioms based on these definitions (viewed as abbreviations) instead of making "between" a primitive notion. However, he probably wouldn't have considered that an improvement. He probably wasn't particularly focused on minimizing the number of primitive notions at any cost, and there would have been several costs:

  1. The axioms themselves would be more complex to state, and less clearly true about pre-formal intuitive geometry.

  2. It might be desirable/interesting to be able to cordon off the part of the theory that is invariant under (nonsingular) affine transformations of space -- but that can't be done if betweenness (which is an affine concept) were dependent on congruence (which isn't).

  3. Geometry in one dimension would not be a matter of simply restricting one's attention to a single line and points on it, because the definition of $AB\le AC$ depends on the possibility that $\ell$ may be different from the line $AB$.

  4. It would be unclear whether Hilbert's somewhat wonky "completeness" axiom (which basically asserts that we only want to consider maximal models of the other axioms) would work in this setting. At least a priori one could imagine a model that declared $A$ to be closer than $B$ than to $C$ simply because one of the lines through $B$ had gaps in it that allowed it to pass through the circle $AC$ without actually intersecting -- and this we could have deeply nonstandard models that were nonetheless maximal.


(Edit: Wikipedia's article on Tarski's geometry suggests the following simpler drop-in replacements for the definitions above, which avoid speaking about lines at all:

1. For points $A, B, C$ say that $AB\le AC$ iff for every point $Z$ such that $AZ=CZ$, there is an $X$ such that $AX=BX=CZ$.

2. For points $A, B, C$ say that "$B$ is between $A$ and $C$" iff $AX\le AB$ and $CX\le CB$ implies that $X$ must be the point $B$.

The costs above would still hold for these.)

$\endgroup$
  • $\begingroup$ Most or all of the other axioms apply to complexified Euclidean geometry which lacks order and between-ness. Hence, there is probably some obstacle to deducing the properties of a between-ness relation from these definitions. $\endgroup$ – zyx Aug 15 '16 at 3:47
  • $\begingroup$ @zyx: I'm not proposing that the properties of betweenness can be deduced from these definitions -- just that they could have been used in the same axioms instead of a primitive notion. $\endgroup$ – Henning Makholm Aug 15 '16 at 6:47
  • $\begingroup$ It is not the same notion unless one assumes completeness. For example, the rational points in the Euclidean plane satisfy all the affine geometry and order axioms, but the relation of 1-2 will not declare $AB \leq AC$ in all cases where B is closer to A than C. Tarski's (1.) has the same problem but (1.)+(2.) is more robust and could conceivably be equivalent to betweenness without having all the line/circle intersections that exist over the reals. $\endgroup$ – zyx Aug 15 '16 at 20:16
  • $\begingroup$ @zyx: It is the same notion in the intended model, so if you start out with a complete theory for geometry that has "between" as a primitive concept and expand it using these definition in all the axioms, then you still have a complete theory for geometry, proving the same theorems. Note well during this expansion I'm retaining all the axioms that (intuitively) provide for properties of "betweennes"; I'm just mechanically unfolding all instances of the betweenness predicate within them. $\endgroup$ – Henning Makholm Aug 16 '16 at 8:46
6
$\begingroup$

Affine geometry can be done over an arbitrary field, including finite fields where one can't have a meaningful notion of order.

On the other hand, if one is working over the field $\mathbb{R}$ of course one has a notion of order given by the usual order on the reals.

Hilbert is interested in developing axiom systems that would describe more general frameworks that are, on the one hand, not limited to the real numbers, and on the other don't even depend on having a background field at all. To put it another way, the relation of betweenness is more general than that of order.

$\endgroup$
2
$\begingroup$

Why is [the relation "is between"] a primitive notion? Can't we define that a point $B$ is between points $A$ and $C$ if $AB < AC$ and $BC < AC$? Or maybe that a point $B$ is between points $A$ and $C$ if $AC=AB+BC$?

This assumes that a distance function is given whose values can be ordered. Without the between-ness axiom the geometry could be coordinatized by a non-orderable field such as complex numbers, and an ordering of distances would break the correspondence between points on a line segment and distances. And if distances do correspond to points on a line, without an ordering of the line there is no trichotomy and there does not always exist a permutation of any $3$ points on a line for which one is "between" the others.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.