Strong Minkowski separation and co-drop property (Q2481798)

The present article is inspired by [\textit{L.\,X.\thinspace Cheng, Y.\,C.\thinspace Zhou}, and \textit{F.\,Zhang}, Proc.\ Am.\ Math.\ Soc.\ 124, No.\,12, 3699--3702 (1996; Zbl 0863.46003)]. A subset \(A\) of a locally convex space \(X\) has the co-drop property provided that for each closed convex subset \(B\) of~\(X\) with \(0\notin \text{cl}(A-B)\) there is \(a\in A\) satisfying \(D(a,B)\cap A=\{a\}\). As usual, \(D(a,B)=\text{co}(\{a\}\cup B)\) is the drop from \(a\) to~\(B\). The author shows that a bounded convex set \(A\) has the co-drop property if and only if each continuous linear functional on \(X\) attains its maximum on~\(A\). Some relevant matters are discussed.