A two-dimensional Hahn-Banach theorem

From MaRDI portal





If \(V\) is a subspace of a real Banach space \(X\) and \(\widetilde{T}\) is an operator on \(V\), then an operator \(T\) on \(X\) is an extension of \(\widetilde{T}\) if the restriction of \(T\) to \(V\) is \(\widetilde{T}\). Then: \(e(\widetilde{T}; X) := \inf\{\|T\|: T\) is an extension of \(\widetilde{T}\}\) and \(e(\widetilde{T}) := \sup\{e(\widetilde{T}; X): X\supseteq V\}.\) The classical Hahn-Banach theorem states that for every rank one operator \(\widetilde{T}\), \(e(\widetilde{T}) = \|\widetilde{T}\|\). \textit{L. Nachbin} [Trans. Am. Math. Soc. 68, 28-46 (1950; Zbl 0035.35402)] showed that if \(V\) is \(n\)-dimensional and \(e(\widetilde{T}) = \|\widetilde{T}\|\) for every operator \(\widetilde{T}\) on \(V\) then \(V\) is isometrically isomorphic to \(\ell^n_{\infty}\). The main theorem here is that if \(V\) is two dimensional then \(e(\widetilde{T}) > \|\widetilde{T}\|\) for every \(\widetilde{T}\) on \(V\) if and only if \(V\) is both smooth and strictly convex. The methods used and the subsequent corollaries are of independent interest.











This page was built for publication: A two-dimensional Hahn-Banach theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4523194)