Hyers–Ulam constants of Hilbert spaces (Q4548983)

Suppose that \(E\) is a real Banach space. The Jung constant \(J(E)\) of \(E\) is the infimum of all \(r>0\) such that every set \(A\subseteq E\) with \(d(A)=\inf \{\|x-y\|; x, y\in A\}\leq 2\) is contained in a ball of radius \(r\). It is clear that \(1\leq J(E)\leq 2\). The Hyers-Ulam constant \(H(E)\) of \(E\) is the infimum of all \(c>0\) such that for each surjective \(\varepsilon\)-nearisometry \(f:E\rightarrow E\) there exists a surjective isometry \(T:E\rightarrow E\) satisfying \(d(f,T)=\sup\{\|f(x)-T(x)\|; x\in E\}\leq c\varepsilon\). Recall that an \(\varepsilon\)-nearisometry (or \(\varepsilon\)-isometry) is a map \(f:E\rightarrow E\) satisfying \(|\|f(x)-f(y)\|-\|x-y\||<\varepsilon\), \(x, y\in E\). In \textit{D. H. Hyers} and \textit{S. M. Ulam} [Bull. Am. Math. Soc. 51, 288-292 (1945; Zbl 0060.26404)] it was shown that \(H(E)\leq 10\). It was proved by \textit{P. Šemrl} [Houston J. Math. 24, 699-706 (1998; Zbl 0973.46015)] that \(H(E)\leq J(E)\). In the paper under review, the authors show that for every Hilbert space \(E, H_c(E)=H(E)=J(E)\) where \(H_c(E)\) denotes the constant defined as \(H(E)\) but considering only continuous surjective nearisometries \(f:E\rightarrow E\). They also conjecture that the equality \(H(E)=J(E)\) holds for all Banach spaces \(E\).