No label defined (Q4530583)

If a continuous function \(f:\mathbb{R} \to\mathbb{R}\) vanishes on a dense set \(T\) in \(\mathbb{R}\), then it vanishes on the whole \(\mathbb{R}\). Let then call the set \(T\) stationary for the class of all continuous functions. The definition of a stationary set for a class of functions in a general setting is the following. Let \(X\) be a nonempty set and \({\mathcal K}\) be a given class of functions \(f:X\to \mathbb{R}\). The set \(T\subset X\) is stationary for the class \({\mathcal K}\) iff \(f|_T =0 \Rightarrow f=0\). During the 23-rd Summer Symposium in Real Analysis in Łodz in 1999 S. Marcus posed the following problem: Characterize the stationary sets for the class of Jensen convex functions. A result concerning S. Marcus' problem has obtained by \textit{M. Babilonova} [Solution of a problem of S. Marcus concerning \(I\)-convex functions, Preprint Series in Mathematical Analysis Preprint MA 15 Silesian University Opava (1999)]. In the result of Babilonova the assumptions that the functions in question are defined on the whole space and that the space itself is just \(\mathbb{R}^n\) are essential. In the present paper the authors consider a Hausdorff locally convex space for S. Marcus' problem. Namely they prove the following theorem 1: Let \(D\neq \emptyset\) be an open convex subset of a Hausdorff locally convex space \(X\). A set \(T\subset X\) is stationary for the class \(J(D)\) iff \(D\subset \text{clconv}_\mathbb{Q} T\) and \(T\in {\mathcal A}(X)\). Here \({\mathcal A}(x): =\{T\subset X\): every Jensen convex function \(f:D\to\mathbb{R}\), with \(D\supset T\), upper bounded on \(T\) is continuous\}; \(J(D)\) the class of all Jensen convex functions on \(D\); \(\text{conv}_\mathbb{Q} T=\mathbb{Q}\)-convex hull of the set \(T\subset X\). As a consequence of this theorem the authors get the following result in the case \(X=\mathbb{R}^n\) and \(T\subset X\) is symmetric with respect to a point. Namely they prove the following theorem 2: Let \(\varphi\neq D\subset \mathbb{R}^n\) be an open convex set and let \(T\) be a subset of \(D\) admitting a point of symmetry. Then \(T\) is stationary for the class \(J(D)\) iff \(\text{conv}_\mathbb{Q} T=D\). For the entire collection see [Zbl 0983.00041].