Caractérisation métrique de l'espace de Hilbert, des espaces vectoriels et de certains groupes métriques. (Q5971870)

An Hand der in vorstehend referierter Note eingeführten Begriffe charakterisiert Verf. Gruppenräume. Z. B: Notwendig und hinreichend, damit \(M\) Raum einer abelschen, semivektoriellen, quasinormierten Gruppe ist, ist die Gültigkeit von: (1) zu je zwei Punkten \(a\) und \(b\) gibt es eine Quasisymmetrie, die \(a\) und \(b\) vertauscht, mit dem Zentrum \(\mathfrak{m} (a, b)\); (2) zu je zwei Punkten \(a\) und \(m\) \textit{einen} Punkt \(b=\mathfrak{b} (a, m)\) mit \(m =\mathfrak{m}(a, b)\); (3) für je drei Punkte \(\overline{a, b, c}\) ist \(\overline{\mathfrak{m} (a, c), \mathfrak{m} (b, c)}=\overline{a,\mathfrak{m}(a, b)}\). Notwendig und hinreichend für die Euklidizität (endlicher oder unendlicher Dimension) von \(G\) ist: Vollständigkeit, vollkommene Konvexität (d.h. die ``Strecken'' sind gewöhnliche Strecken), \(\overline{\mathfrak{m} (a, c), \mathfrak{m} (b, c)} = \dfrac{1}{2}\overline{a, b}\), \(\overline{c, \mathfrak{m} (a, b)}= \dfrac{1}{2}\varphi(\overline{ca},\overline{cb},\overline{ab})\) (IV 7 B.)