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

Verf. gibt an, daß man bei der \textit{Jordan-von Neumann}schen Charakterisierung des \textit{Hilbert}schen Raumes (Ann. of Math. (2) 36 (1935), 719-723; JFM 61.0435.*) mit der schwächeren Voraussetzung auskommt: \(\left|\dfrac{x+y}{2}\right|\) ist eine Funktion \[ \dfrac 12\varphi \left(|x|, |y|, |x-y|\right) \] von \(|x|\), \(|y|\) und \(|x-y|\) mit der Eigenschaft \(\varphi(\alpha,0,\alpha)=\alpha\). Diesen Satz stellt Verf. in einen allgemeineren Zusammenhang durch die folgenden Betrachtungen: \(M\) sei ein metrischer Raum. \(m\) heißt \textit{Rotationszentrum}, wenn eine Isometrie \(f\) von \(M\) mit \(m\) als Fixpunkt existiert, und ein \textit{Quasisymmetriezentrum}, wenn \(f\) eine Involution ist und mit einem geeigneten \(K\) gilt: \(\overline{f(x),x} \geqq K\overline{m,x}\); schließlich ein \textit{Symmetriezentrum}, wenn obendrein \(\overline{f (x), x}= 2\overline{m, x}\) ist. Sei \(G\) sogar eine metrische abelsche Gruppe. \(G\) heißt \textit{quasinormiert}, wenn ein \(K\) existiert, für das \(|2x|>K |x|\) gilt (\(x \neq 0\)), \textit{normiert}, wenn \(|2x|=2|x|\) gilt, \textit{vollkommen normiert}, wenn ``zwischen'' 0 und \(2x\) kein Punkt \(y\) mit \(|y|=|x|\) existiert, \textit{semivektoriell}, wenn zu jedem \(x\) genau ein Element \(\dfrac{x}{2}\) mit \(2\cdot\dfrac{x}{2}=x\) existiert. (IV 7 B.)