Über die Waldsche Axiomatik des Zwischenbegriffes. (Q559477)

Jedem Punktetripel \(a,b,c\) eines metrischen Raumes \(M\) sei ein Punkt des dreidimensionjalen cartesischen Raumes \(R_3\) mit den Koordinaten \[ x=ab, \quad y=bc, \quad z=ac \] zugeordnet. Die Punktetripel von \(M\) sind dann auf die durch die Ungleichungen \[ x\geqq 0, y\geqq 0, z\geqq 0, (x+y-z)(x-y+z)(-x+y+z)\geqq 0 \] definierte Teilmenge des \(R_3\) abgebildet, und das \textit{Wald}sche Ergebnis (vgl. die vorstehend besprochene Arbeit) läßt sich in eine Aussage über den \(R_3\) übersetzen.