Certain subsets on which every bounded convex function is continuous (Q2644335): Difference between revisions

Let \(E\) be a Banach space and \(D\) a nonempty, open and convex subset of \(E.\) The paper is concerned with the characterization of those subsets \(A\) of \(D\) such that any convex function \(f:D\to \mathbb R\) which is bounded above on \(A\) is continuous on \(D.\) The family of all such subsets of \(D\) is denoted by \(\mathcal C_\Lambda(D).\) In Theorem 2.3 the authors prove that a symmetric subset \(A\) of \(D\) is in \(\mathcal C_\Lambda(D)\) if and only if (i) span\,\((A)\) is of finite codimension in \(E\), and (ii) \(i_r\)co\((A)\neq \emptyset\), where \(i_r(Z)\) denotes the interior of a set \(Z\) relative to the affine span of \(Z\). In Theorem 3.3 they show that, in general, these conditions are sufficient for \(A\,\) to be in \(\mathcal C_\Lambda(D)\) (Theorem 3.2). It is unknown if these conditions are also necessary. The similar problem for linear functionals is also considered. Denoting by \(\mathcal L_\Lambda(D)\) the family of all subsets \(A\) of \(D\) such that any linear functional which is bounded on \(A\) is continuous on \(E, \) the authors prove that \(\mathcal C_\Lambda(D) = \mathcal L_\Lambda(D)\).