No label defined (Q4337915)

Let \((X,|\cdot|)\) be a real Banach space of dimension \(\geq 2\). \textit{Przesławski} and \textit{Yost} [Lipschitz selections extensions and retractions, preprint] consider a pair \((x,y)\) of points in \(X\) with \(|y|<1<|x|\). Then there is a unique \(z(x,y)\) in the open segment \((x;y)\) with \(|z|=1\). They put \(\omega(x,y)= \frac{|x-z(x,y)|}{|x|-1}\) and define the function (called tangential modulus) \(\xi_X: [0,1)\to\mathbb{R}\) by \[ \xi_X(\beta)= \sup\{\omega(x,y): |y|\leq \beta<1<|x|\}, \qquad \beta\in [0,1). \] The author in part I [Rev. Anal. Numér. Théor. Approx. 25, No. 1-2, 241-248 (1995; Zbl 0870.46013)] proves \[ \xi_X(\beta)= \sup\{|u-v|: |u|=1,\;x\in X,\;u\perp x,\;\min_{\lambda\geq 0}|(1-\lambda)u+ \lambda v|= \beta\}, \] where the symbol \(\perp\) denotes Birkhoff's orthogonality in \(X\), namely: \(x\perp y\) if \(|x|\leq|x+\lambda y|\) for all \(\lambda\in \mathbb{R}\). In the present paper the author proves, among others, the tangential modulus satisfies the following inequality: \(\xi_X(\beta)\geq \xi_H(\beta/\sqrt{2})\), \(0\leq \beta<1\), where \(\xi_H(\beta)= (1-\beta^2)^{-1/2}\) is the tangential modulus of Hilbert space.