\(K\)-rotund complex normed linear spaces (Q1813666): Difference between revisions

A normed linear space \(X\) over the complex numbers is said to be \(K\)-rotund if each point \(x\in X\), \(\| x\|=1\), cannot be represented in the form \((x_1+x_2+\ldots+x_{K+1})/(K+1)\) where \(\| x_k\|=1\), \(k\in \{1,2,\ldots,K+1\}\) and the set \(\{x_1,x_2,\ldots,x_{K+1}\}\) is linearly independent. If \(X\) is \(K\)-rotund then \(X\) is \((K+1)\)-rotund. The authors generalise a theorem of \textit{A. E. Taylor} [Duke Math. J. 5, 538--547 (1939; Zbl 0022.05402)] and \textit{S. R. Foguel} [Proc. Am. Math. Soc. 9, 325 (1958; Zbl 0089.09001)] to show that all continuous linear functionals on subspaces of \(X\) (\(\dim X\geq K+1\)) have at most \(K\) linearly independent norm-preserving extensions to \(X\) if and only if its conjugate \(X^*\) is \(K\)-rotund. \(K\)-rotundity is compared with \(K\)-local uniform rotundity and \(K\)-uniform rotundity and full \(K\)-convexity as in a paper by \textit{B.-L. Lin} and \textit{X.-T. Yu} [J. Math. Anal. Appl. 110, No. 2, 407--410 (1985; Zbl 0592.46014)].