Revisiting the foundations of Barbilianʼs metrization procedure

In the present work we prove that one of Barbilianʼs theorems from 1960 regarding the metrization procedure in the plane admits a natural extension depending on a bilinear form and the relative position of two Apollonian hyperspheres. This result allows us to pursue two fundamental ideas. First, that all the distances with constant curvature can be described by Barbilianʼs metrization principle. Secondly, that all the Riemannian metric corresponding to these distances can be obtained with the same unique procedure derived from the main theorem in the text (Theorem 2.5). We show how the hyperbolic metric of the disk, the hyperbolic metric on the exterior of the disk and the hyperbolic metric on the half-plane can be obtained in the same way using Theorem 2.5, which appears here for the first time and is an extension of a Barbilian classical result (Barbilian, 1960 [7]). Furthermore, we obtain metrics corresponding to quadratic forms with signature that includes minus. By considering the norms provided by either Lorentz or Minkowski (pseudo-)inner product as influence functions, two oscillant distances can be generated in some subsets of Lorentz or Minkowski plane. The extension of 1960 Barbilianʼs theorem mentioned above allow us to obtain the metrics attached to these two Barbilian distances on corresponding subsets of Lorentz and Minkowski 2-dimensional spaces. The geometric study concludes that these metrics are generalized Lagrange metrics. A result concerning the distance induced by a Riemannian metric as a local Barbilian distance is also proved.