Ein Beitrag zum Mengerschen Begriff des fastmetrischen Raumes. (Q2597320)

\(F(x, y; p, q)\) sei für \(p^2 + q^2 > 0\) positiv, in bezug auf \(p, q\) positiv homogen vom Grad 1, \((x, y, p, q)\)-stetig und genüge der Lipschitzbedingung \[ |F(x_1, y_1; p, q) - F(x_2, y_2; p, q)|\leqq L\sqrt{p^2 + q^2} \sqrt{(x_1-x_2)^2 + (y_1 - y_2)^2}. \] Bildet man mit \(F\) die Abstandsfunktion \[ \varrho(P_1, P_2) = F(x_1, y_1; x_2 - x_1, y_2 - y_2) \] für \(P_1 = (x_1, y_1)\), \(P_2 = (x_2, y_2)\), so ist nach \textit{Menger} (Fundam. Math., Warszawa, 25 (1935), 441-458; JFM 61.0548.*) der durch \(\varrho\) definierte Raum fastmetrisch, sofern die zu \(F\) gehörige Indikatrix konvex ist. Verf. beweist die Umkehrung, nämlich, daß der durch \(\varrho\) definierte Raum nur dann fastmetrisch ist, wenn die Indikatrix in jedem Punkt \((x, y)\) konvex ist. (IV 15.)